Axioma de Orden para el Plano

Axioma O
9
: Dado un plano , tres puntos , , a b c no colineales y una recta K _ ; si , ) I aKb y c K
entonces:
(I) , ) I aKc o
(II) , ) I bKc
Observacin: En todo este curso el o usado nunca es excluyente.
Teorema 44: Sean , , a b c tres puntos no colineales, K _ . Si c K y , ) I aKb entonces se verifica una y solo
una de las siguientes condiciones:
(I) , ) I bKc
(II) , ) I aKc
Semiplano
Dados , a b K : aRb si y solo si , ) I aKb .
La frmula aRb se lee los puntos a y b estn del mismo lado respecto de la recta K .
Teorema 45: La relacin R definida sobre K por aRb si y solo si , ) I aKb cumple:
(I) R es relacin de equivalencia
(II) 2 K R =
Se tiene que el conjunto K queda particionado en dos subconjuntos
1 2
W W ' de manera nica, tal que
1 2
K W W = ' y K cumple las siguientes propiedades:
(1) Si
1
, p q W , )
2
o , p q W entonces , ) I pKq
(2) Si
1
p W y
2
q W entonces , ) I pKq
Esto es: {
1 2
, K R W W =
Los conjuntos
1
W y
2
W se dicen semiplanos determinados por K .
La recta K se dice frontera o borde de los semiplanos por
1 2
y W W .
En general, dado un plano y una recta K _ se tiene
1 2
W K W = ' ' .
Los semiplanos
1 2
y W W se llaman complementarios y se simbolizan:
1 2
W W
+
= ,
1 2
W W
+
= .
Un semiplano W queda unvocamente determinado por su frontera K y un punto p W .
Para indicar este hecho escribiremos:
, )
p
W K = , se lee semiplano de frontera K que contiene al punto p
El semiplano complementario de W se indica: , )
p
W K
+
+
= .
El semiplano
p
K determina unvocamente al nico plano que los contiene. Para indicar este hecho
escribiremos:
, )
p
P K = plano generado por
p
K .
Sea W K W
+
= ' ' , sean
1
F ,
2
F figuras tales que:
1
F = 2,
2
F = 2,
1
F W _ y
2
F W
+
_ escribiremos
, )
1 2
I F KF para simbolizar la recta K esta entre las figuras
1
F y
2
F , esto es, las figuras estn en lados
opuestos respecto de la recta K .
Teorema 46: Sean , M N dos rectas distintas N _ , M _ entonces el semiplano con frontera M es distinto de
cada uno de los semiplanos determinados por la recta N .
Teorema 47: Sea K una recta, b K entonces , )
b
p W K
+
+
= si y solo si , ) I pKb .
Teorema 48: Sea W _ un semiplano con frontera K , si a K y p W entonces , ) H ap W _ .
Teorema 49: Dado un plano , un semiplano W _ de frontera K y un segmento abierto , ) pq entonces:
, ) pq W _ si y solo si pq K W _ ' y pq K _ .
Observacin:
Dado un punto sobre una recta L , la recta queda dividida en dos semirrectas.
Dada una recta L sobre un plano sabemos que quedan determinados dos semiplanos con frontera L .
Anlogamente dado un plano en el espacio S , el espacio S queda dividido en dos semiespacios con
frontera .
Consideremos el espacio S , un plano , dos puntos , p q S , diremos que el plano esta entre los puntos y p q , y
se simboliza , ) I p q si y solo si:
, p q
Existe un punto a : , ) I paq
Observacin: El semiespacio con frontera es la clase de equivalencia con respecto a la relacin R definida para
, p q S del siguiente modo: pRq si y solo si , ) I p q
La relacin anterior es R de equivalencia y 2 S R =
Si la interseccin de los planos y es la recta K entonces para cualquier par de puntos , p q K , , , p q
se tiene: , ) I p q si y solo si , ) I pKq
Haces y Semihaces de Semirrectas
Haz: Sea p un punto sobre el plano P llamaremos haz determinado por p al conjunto de todas las semirrectas con
origen en p .
Se simboliza
p
y el punto p es llamado vrtice del haz .
Tomemos ahora dos semirectas complementarias y A A
+
sobre el haz
p
.
La recta K A p A
+
= ' ' determina sobre el plano P dos semiplanos y W W
+
.
La clase de las semirrectas
{
, A A
+
queda dividida en dos clases disjuntas F y F
+
, donde F tiene las
semirrectas del haz
p
contenidas en el semiplano W y F
+
tiene todas las semirrectas de
p
contenidas en
W
+
.
Los conjuntos F y F
+
son llamados semi-haces complementarios.

{ {
, :
p
F H A A H W
+
= _

{
: F H H F
+ +
=
Adems: si B F entonces B F
+ +
.
Definicin 8: Sea el haz
p
, F semi-haz de
p
B ,
1 2
, ,...,
n p
A A A , se dice que
1 2
, ,...,
n
A A A son co-semi-axiales si
1 2
, ,...,
n
A A A F .
Condicin necesaria y suficiente para un conjunto de semirrectas sea co-semi-axiales.
Teorema 50: Sea
p
un haz,
1 2
, ,...,
n p
A A A , sea F un semi-haz de
p
con semirrecta final A,
1 2
, ,...,
n
A A A F
entonces se verifica que para cada a A existe una semirrecta B de origen a que corta a cada
i
A , 1,..., i n = en un
nico punto.
Teorema 51: Sea
1 2
, ,...,
n p
A A A entonces las siguientes condiciones son equivalentes:
(I)
1 2
, ,...,
n
A A A son co-semi-axiales.
(II) Existe una rcta L que corta a cada
i
A en un nico punto.
Teorema 52: Sea un semi-haz. Sea
1 2
, ,...,
n
A A A y A una semirrecta final de entonces
1 2
, ,...,
n
A A A son co-
semi-axiales.
Relacin de Intermediacin entre Semirrectas.
Definicin 9: Sea un haz
p
y sean las semirrectas , ,
p
A B C , diremos que la semirrecta C esta entre y A B y
escribiremos , ) I ABC si se verifica:
(I) , , A B C son co-semi-axiales.
(II) Para toda recta L que intersecta a , , A B C en los puntos , , a b c
respectivamente entonces , ) I acb .
Definicin 10: Sean las semirrectas , ,
p
A B C , diremos que la recta , ) L B esta entre y A C y escribiremos
, ) , ) I AL B C si se verifica que para toda recta L que intersecta a A, , ) L B , C en los puntos , , a b c respectivamente
entonces , ) I abc .
Teorema 53: Sea
p
un haz, , ,
p
A B C . Si , , A B C no son co-semi-axiales y las rectas , ) , ) , ) , , L A L B L C son
distintas entonces se cumple:
, ) , ) , ) , ) , ) , ) y y I AL B C I BL C A I CL A B
Teorema 54: Sea
p
, haz y tres semirrectas , ,
p
A B C , si se verifica , ) I ABC entonces:
(i) , ) , ) I AL B C y
(ii) Las semirrectas y A B estn en un semiplano con frontera , ) L C .
Teorema 55: Sea
p
un haz, , ,
p
A B C tres semirrectas co-semi-axiales distintas y sea la recta L que intersecta a
, , A B C en los puntos , , a b c respectivamente entonces:
Si , ) I abc entonces , ) I ABC
Teorema 56: Si es un semi-haz y , ,
p
A B C entonces:
(I) Si , ) I ABC entonces las semirrectas , , A B C son distintas.
(II) Si , ) I ABC entonces , ) I BAC .
(III) Si , ) I ABC entonces , ) I CBA .
Todas las propiedades de la relacin de intermediacin para los puntos establecidos anteriormente son tambin
aplicables para esta relacin.
Teorema 57: Si las semirrectas , , A B C semi-haz son distintas entonces: , ) , ) , ) o o I ABC I BCA I CAB
Teorema 58: Si es un semi-haz entonces:
(I) Si , A B y A B = entonces existe una semirrecta , ) : C I ABC .
(II) Si , A B y A B = entonces existe una semirrecta , ) : C I ACB .
Teorema 59: Sean , , , A B C D entonces tenemos:
(I) Si , ) I ABC y , ) I BCD entonces , ) I ABD .
(II) Si , ) I ABD y , ) I BCD entonces , ) I ABC .
(III) Si , ) I ABC y , ) I BCD entonces , ) I ACD .
(IV) Si , ) I ABD y , ) I BCD entonces , ) I ACD .
Teorema 60: Sean , , , A B C D si se cumple , ) I ABC y , ) I ADC y B D = entonces se verifica
, ) , ) o I ADB I BDC .
Teorema 61: Si la semirrecta A es la semirrecta final del semi-haz entonces para dos semirrectas distintas
y B C se tiene , ) , ) o I ABC I ACB .
Teorema 62: Sea un semi-haz con una semirrecta final y A A
+
entonces dadas , B C , si , ) I ABC entonces
, )
I BCA
+
.
Otros resultados:
Teorema: Sea un haz y tres semirrectas co-semi-axiales , , A B C . Si , ) I ABC entonces:
(I) Las semirrectas , B C se encuentran en un mismo semiplano con semirrectas finales y A A
+
.
(II) La semirrecta B pertenece a todo semi-haz _ que contenga las semirrectas y A C .
Teorema: Dado un haz y tres semirrectas distintas , , A B C si las semirrectas , , A B C son co-semi-axiales y
, ) I ABC entonces:
(I) Las semirrectas , , A B C
+
no son co-semi-axiales.
(II) Las semirrectas , , A B C
+ +
son co-semi-axiales y
, )
I CA B
+ +
.
Teorema: Dado el haz , tres semirrectas co-semi-axiales , , A B C y los puntos a A y c C entonces:
, ) I ABC si y solo si , ) B ac = 2
Semi-Haces Ordenados
Sea un semi-haz con recta final A y sean , B C diremos que B precede a C y escribiremos
B C < si y solo si , ) B ac = 2
Definicin 11: Diremos que: B C _ si y solo si o B C B C < = .
Teorema 63: Sea un semi-haz con semirrecta final A, sean , B C , sobre se define:
B C < si y solo si , ) I ABC .
B C _ si y solo si o B C B C < =
entonces _ es un orden total sobre .
Observacin: " " _ ordena a todas las semirrectas desde A hasta A
+
.