Euclides no quería decir nada como “Dado: dos líneas paralelas” en cualquier lugar de su quinto postulado. Eso es porque no pudo mostrar su construcción. No fue hasta el Libro I, Proposición 27, que pudo construir líneas paralelas.
Lo diría así:
My5th : Si una línea recta que cae sobre dos líneas rectas hace que un par de ángulos correspondientes sean desiguales, entonces las dos líneas rectas no son paralelas.
Puedo usar My5th para probar la versión de Euclides del quinto postulado. Para hacerlo, agregaré dos proposiciones:
- Cómo calcular el volumen de una esfera de 4 dimensiones
- ¿Cuáles son los beneficios de la investigación en geometría (matemática pura)?
- ¿Cómo calcularías el área de superficie de una monocapa de 30 cc de agua?
- ¿Qué son los ángulos aliados?
- Cómo dibujar una perspectiva de 3 puntos sin configurar el ángulo de inclinación de la cámara
Proposición A (agregada, no usa 5ta)
Si una línea recta que cae sobre dos líneas rectas hace que la suma de los ángulos interiores en el mismo lado sea menor que dos ángulos rectos, entonces la suma de los ángulos interiores en el lado opuesto será mayor que dos ángulos rectos.
Proposición B (agregada, no usa la quinta)
Si una línea recta que cae sobre dos líneas rectas hace que los ángulos interiores en el mismo lado sean menos de dos ángulos rectos, las dos líneas rectas no se encontrarán en el lado opuesto.
Para probar la Proposición A, puede usar el hecho de que los ángulos adyacentes en una línea recta son suplementarios. Para probar la Proposición B, puede usar el teorema del ángulo exterior, Libro I, Proposición 16.
El quinto postulado original de Euclides puede ser etiquetado como Proposición C. Puede usar la Proposición A, la Proposición B y My5th para probarlo.
Proposición C (era la quinta de Euclides)
Si una línea recta que cae sobre dos líneas rectas hace que los ángulos interiores en el mismo lado sean menos de dos ángulos rectos, las dos líneas rectas, si se producen indefinidamente, se encuentran en ese lado en el que están los ángulos menos que los dos ángulos rectos.