Tarea 6.

Expresiones equivalentes al quinto postulado de

Euclides.

Quinto postulado de Euclides.

“Y que si una recta (secante) al incidir sobre dos rectas hace los ángulos
internos del mismo lado, menores a dos rectos, las dos rectas prolongadas
indefinidamente se encontrarán en el lado en el que están los (ángulos)
menores a dos rectos.”

Expresión equivalente 1.
Un resultado lógicamente equivalente al quinto postulado de Euclides es el
siguiente, el cual fue publicado por John Playfair (1748-1819) en 1795:
Axioma de Playfair: “Dados un punto p y una recta L que no pasa por p, existe
una y solo una recta M, distinta de L, tal que pasa por p y es paralela a L.”
Demostración de la expresión equivalente 1.
Queremos demostrar que existe una recta paralela a l que pasa por P y también
queremos demostrar que l es la única recta paralela a l que pasa por P.
Existencia: Como trazo auxiliar elegimos
un punto Q sobre l y trazamos la recta r
que pasa por P y Q. Trazamos la rectas
que pasa por P y que forma ángulos
alternos internos iguales con l y r como
trasversal. Por proposición 23 del Libro I
de Euclides.
Por la Proposición 27, l y s son paralelas.
Y con esto demostramos la existencia de
una recta que pasa por el punto P que es paralela a la recta l. Ahora veamos si
esta recta es única.

Unicidad: Supongamos que existe otra recta c que pasa por P y es paralela a l.
Entonces también es transversal a la recta c y por Euclides 1:27, los ángulos
alternos internos son iguales y por lo tanto c = s.
Por proposición 27 de Euclides, estamos suponiendo que C ll l. De manera lógica
esto significa que el trazo realizado de la recta C es equivocado y coincide con S,
y por tanto solo hay una y solo una recta que pasa por ese punto.
De forma lógica podemos decir que este enunciado es equivalente al 5to
postulado de Euclides ya que al no ser alternos internos iguales hay en si dos
posibilidades, que son iguales o que no lo son y por ende se cortan al prolongarse
indefinidamente por la derecha o por la izquierda.
Expresión equivalente 2.
Un ángulo exterior de un triangulo es igual a la suma de los dos ángulos interiores
no adyacentes a él.
Expresión equivalente 3.
La suma de los ángulos interiores de cualquier triangulo es igual a dos rectos.