Semirrecta: Sea L una recta dada y a un punto fijo de L , estudiaremos ahora una relacin R definida sobre L a

dada por: , ) si y solo si

a
pR q I paq
Nota: el smbolo
a
pR q se lee el punto p y el punto q estn del mismo lado respecto del punto a .
Lema 2:
a
R es una relacin de equivalencia sobre L a y tal que 2
a
L a R = .
Observacin:
(1) Teorema 28: Sea a L entonces existen dos conjuntos disjuntos y A B tales que L a A B = ' y se
verifican:
(I) Si , p q A entonces , ) I paq
(II) Si , p q B entonces , ) I paq
(III) Si y p A q B entonces , ) I paq
(2) Los conjuntos y A B reciben el nombre de semirrectas determinadas por el punto a . Una semirrecta es una
clase de equivalencia determinada por la relacin R .
(3) El punto a se dice el origen de las semirrectas y A B .
(4) Las semirrectas y A B se llaman semirrectas complementarias y se denotan: A B
+
= y B A
+
=
(5) Con la terminologa anterior se puede afirmar que:
Si A es una semirrecta con origen en a L entonces L A a A
+
= ' ' .
Esto es, para cada punto de una recta, esta se puede descomponer como la unin de tres conjuntos
disjuntos dos a dos, uno de ellos unitario.
Las semirrectas se denotan con letras , , , A B C D . La semirrecta A determina a la recta L . Para
simbolizar este hecho escribiremos , ) L L A = , L es la nica recta que contiene a la semirrecta.
La semirrecta A de origen a queda determinada por uno cualquiera de sus puntos.
Sea p A entonces escribiremos , ) A H ap = , semirrecta de origen a que pasa por p . No debe
invertirse el orden de a y p .
Notaremos con , ) A H ap
+ +
= semirrecta complementaria de , ) H ap .
Teorema 29: Sea , ) H ab , , ) p H ab si y solo si vale una de las siguientes condiciones: , ) , ) p b I apb I abp = . .
Observacin: , ) , ) p H ab I pab
+
=
Definicin 4: Llamaremos semirrecta de origen a y determinada por b al conjunto:
, ) , ) , ) { : H ab p L I apb I abp p b = . . =
Teorema 30: Sean , a p L con a p = entonces se verifica:
(I) , ) , ) ap H ap _
(II) , ) , ) H ap ap _
Teorema 31: Sean , a b L , a b = y L A a A B b B
+ +
= ' ' = ' ' , a B y b A
+
entonces
(I) A B _
(II) B A
+ +
_
(III) A B
+
= 2
(IV) , ) A B ab
+
=
Teorema 32: Sean , A B dos semirrectas sobre L con orgenes , a b respectivamente, con a b = entonces A B _ s y
solo si a B y b A .
Teorema 33: Sean , A B dos semirrectas sobre la recta L con origen y a b respectivamente, entonces si A B _
entonces , ) B a ab A = ' y , ) ab A = 2.
Teorema 34: Para cada par de puntos distintos , a b L se cumple , ) , ) , ) H ab H ba ab = .
Teorema 35: Dadas las semirrectas , , A B C sobre la recta L , si B A _ y C A _ entonces o B C C B _ _ .
Orientacin de una Recta: Dadas , A B : A B si y solo si A B B A _ . _ .
Nota: La frmula A B se lee A y B tienen la misma orientacin.
Teorema 36: es una relacin de equivalencia sobre y 2 = .
Semirrecta Semirrectas
Observacin:
(1) Del teorema anterior resulta que el conjunto queda particionado en dos conjuntos
1 2
y no vacos tales
que:

1 2
' =

1 2
= 2
Si
1
, A B entonces o A B B A _ _ .
Si
2
, A B entonces o A B B A _ _ .
Si
1
A y
2
B entonces A B _ y B A _ .
(2) Cada conjunto
i
, 1, 2 i = , recibe el nombre de orientacin o sentido de la recta L .
(3) Toda recta tiene exactamente 2 orientaciones.
(4) Si queremos una recta orientada se necesita una recta y una orientacin.
(5) El par , ) ,
i
L se llama eje y lo notaremos , ) ,
i
L = .
Orden sobre los puntos de un eje: Consideremos un eje , ) ,
i
L = sobre la recta L y dos puntos , p q L . Sabemos
que dado un punto y una recta quedan determinadas dos semirrectas, como hemos elegido una direccin, dado un
punto y una recta queda determinada una nica semirrecta.
Notaremos con y
p q
A A las semirrectas determinadas por los puntos y p q respectivamente sobre el eje , ) ,
i
L = .
Definicin 5: Sea , ) , L = un eje y , p q L
(1) Diremos que p q si p q = y
q p
A A .
(2) Diremos que p q si p q = o p q .
La frmula p q se lee p precede estrictamente a q .
La frmula p q se lee p precede a q .
Teorema 37: La relacin es una relacin de orden total sobre L .
Teorema 38:
(I) Sea un eje, A una semirrecta sobre L de origen a entonces { : A p a p = , { : A p p a
+
= .
(II) Si , a b L , a b entonces la orientacin de , ) H ab es la misma del eje y la orientacin de , ) H ba es
la opuesta al eje .
Adems , ) { : ab p a p b = .
Teorema 39: Dados tres puntos , , a b c L entonces , ) I abc si y solo si o a b c c b a .
Relacin de intermediacin para una semirrecta y dos puntos
Definicin 7: Sea un plano y una semirrecta B de origen en p , diremos que la semirrecta B esta entre los puntos
a y c , se simboliza , ) I aBc si y solo si:
, a c B
Existe { , ) : b B p I abc '
Teorema 40: Si la recta K intersecta a la recta , ) L ac en el punto b , entonces las siguientes condiciones son
equivalentes:
(1) , ) I aKc
(2) , ) I abc
Teorema 41: Si la recta K y , ) L ac son disjuntas entonces , ) I aKc .
Teorema 42:
(I) Si , ) I aKc entonces a y c son distintos.
(II) Si , ) I aKc entonces , ) I cKa .
Teorema 43:
(I) Sea el plano , si a , K , K y a K entonces existe un punto c tal que , ) I aKc .
(II) Dado un plano , si , a c , a c = entonces existe una recta K tal que , ) I aKc .