Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
Demostración.
Sea ∠BAC y ∠BAD ángulos suplementarios
Reemplazando B’, C’, D’ por otros puntos sobre las mismas líneas podemos asumir que
AB≅AB’, AC≅AC’, y AD≅AD’. Dibujamos las líneas BC, BD, B’C’ y B’D’.
Primero consideramos los triángulos ABC y AB’C’. Por hipótesis tenemos AB≅AB’,
AC≅AC’ y ∠BAC≅ ∠B’AC’, entonces por el axioma de congruencia 6 concluimos que
estos triángulos son congruentes. En particular BC≅B’C’ y ∠BCA≅ ∠B’C’A.
Enseguida consideramos los triángulos BCD y B’C’D’. Donde AC≅AC’ y AD≅AD’ y
C*A*D y C’*A*D’, entonces por el axioma de congruencia 3 concluimos que CD≅C’D’.
1
Utilizando BC≅B’C’ y ∠BCA≅ ∠B’C’A probados anteriormente, podemos aplicar
nuevamente el axioma de congruencia 6, observando que los triángulos BCD y B’C’D’ son
congruentes. En particular, BD≅B’D’ y ∠BDA≅ ∠B’D’A.
Ahora consideremos los triángulos BDA y B’D’A. Del paso previo tenemos BD≅B’D’ y
∠BDA≅ ∠B’D’A. Pero por hipótesis tenemos DA≅D’A. Entonces una tercera aplicación
del axioma de congruencia 6 nos muestra que los triángulos BDA y B’D’A son
congruentes. En particular, ∠BAD≅ ∠B’AD’. ∎
Demostración.
Sea un triángulo cualquiera ABC prolonguemos los lados AC, BC de este triángulo y
trazamos una paralela al lado AB por el punto C, de la siguiente manera:
Por el lema 1 tenemos que ∠𝑏 ≅ ∠𝑥, ∠𝑎 ≅ ∠𝑦, por el ejercicio 1 tenemos que ∠𝑐 ≅ ∠𝐶,
luego podemos observar que ∠𝑎 + ∠𝑏 + ∠𝑐 ≅ 180°, es decir, los ángulos internos de un
triángulo son congruente a dos ángulos rectos. ∎
Actividad 3. Axiomas de Continuidad y Paralelismo | Luis Gerardo Aguilar Cruz
Referencias
Efímov, N. (1984). Geometría superior. Moscú: MIR.
Hartshorne, R. (2000). Geometry: Euclid and Beyond. New York: Springer.
UnADM. (s.f.). Geometrías no Euclidianas. Unidad 1. Axiomas de Hilbert. Obtenido de Aula
virtual UnADM: https://unadmexico.blackboard.com