Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ci o
Demostración.
er tiv
Sean l y r las rectas coplanares dadas, l diferente de r y sea t una recta que corta a l y r en los
puntos B y B' respectivamente y de modo que:
m ca
al
A' Bˆ ' B CBˆ B' .
co du
no l e
a
so ri
U te
Figura 79.
a
Razonemos por reducción al absurdo, esto es, supongamos que los ángulos alternos internos
son congruentes y que l no es paralela a r.
Entonces se cortarán en un punto D. Podemos suponer que se cortan en el mismo semiplano
respecto a t en que están C y C' (Ver Figura 79).
Consideremos el triángulo B B' D . Como A' Bˆ ' B CBˆ B' (hipótesis) entonces, BBˆ ' D B' Bˆ A
(1). (Teorema 24).
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Ahora, por el axioma de construcción de segmentos, existe E en la semirrecta B ' A' tal que
B' E BD .
Unamos B con E. los triángulos B B' D y B B' E son congruentes (L-A-L), de donde:
EBˆ B' BBˆ ' D
ci o
Y como BE y BA están en el mismo semiplano respecto a t, por el axioma de construcción del
er tiv
ángulo BE BA , lo que nos dice a la vez que E BA , es decir E pertenece a la recta l.
m ca
al
r l.
Contradicción con la hipótesis ya que habíamos supuesto que l y r eran dos rectas diferentes.
co du
COROLARIO 1.
Si dos rectas intersectadas por una secante determinan con ella ángulos
no l e
COROLARIO 2.
so ri
Si dos rectas intersectadas por una secante determinan con ella ángulos alternos
externos congruentes, entonces dichas rectas son paralelas.
U tea
COROLARIO 3.
M
Si dos rectas son perpendiculares a una tercera, todas ellas coplanarias, entonces las
dos primeras son paralelas entre sí.
Demostración.
Sean l t y r t , l , r , t . Demostremos que l // r .
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
Figura 80.
er tiv
Como l t , entonces ABˆ B ' es recto.
m ca
Como r t entonces A' Bˆ ' B es recto y por la tanto su ángulo adyacente C ' Bˆ ' B es recto. Así
al
que ABˆ B' C ' Bˆ ' B por ser ambos rectos. Se sigue entonces que la secante t hace con las rectas 1
co du
y r ángulos alternos internos congruentes, luego por el teorema de los ángulos alternos
internos, l // r .
no l e