El Quinto Postulado de Euclides

Euclides, para las numerosas generaciones que se han

nutrido de su substancia, ha sido quiz menos un profesor
de geometra que un profesor de lgica. (Brunschvig)
En matemtica, ninguna afirmacin falsa puede ocultarse
o hacerse invisible, pues las demostraciones deben seguir
siempre el hilo de la intuicin pura y avanzar a travs de
una sntesis siempre evidente. (Kant)

Quinto Postulado
P5: Si una lnea recta incidente sobre dos lneas rectas
hace ngulos internos por un mismo lado menores que
dos ngulos rectos, entonces las dos lneas rectas
prolongadas indefinidamente se encuentran por el lado
en que estn los ngulos menores que dos ngulos
rectos.

Definicin 23
Def. 23: lneas rectas paralelas son lneas rectas
coplanares que prolongadas indefinidamente en ambos
sentidos, no se encuentran en ninguno de los dos
No implica unicidad de las paralelas, ni equidistancia

Quinto postulado
Antecedente: una recta transversal incide sobre otras dos y
determina ngulos menores que dos ngulos rectos
Consecuente: las dos rectas se encuentran al prolongarlas
por el lado de la recta incidente en que estn los ngulos
menores que dos rectos
Contraposicin: Si las rectas no se encuentran (paralelas),
los ngulos no son menores que dos rectos.

Unicidad de las paralelas

Caso lmite: los ngulos determinados son iguales a dos
rectos
Implcitamente definicin 23 y postulado 5 implican la
unicidad de la paralela.
Demostrar el quinto postulado equivale a mostrar que la
recta incidente forma ngulos internos iguales a dos
rectos.
Def 23 y p5 restringen el paralelismo a equidistancia. La
definicin 23, dado p5 pierde generalidad.

Intentos de (y avances en
la) demostracin del quinto
postulado
Ptolomeo (85-165)
Proclo (410-485)
Omar Jayam (1050(?)-1123)
Nasir Edin (1210-1274)
Giordano Vitale (1633-1711)
Giovanni Gerolamo Saccheri (1667-1733)

Paralelismo como
Proclo atribuye equidistancia
la concepcin de las rectas paralelas como rectas
equidistantes a Posidonio (si no hay equidistancia, no hay
paralelismo):
Tal es el concepto euclidiano de paralelismo; pero Posidonio dice que dos
rectas son paralelas cuando estando situadas en un plano, no se acercan ni
se alejan, siendo iguales las perpendiculares trazadas desde los puntos de
una a la otra, mientras que las rectas que hacen cada vez menores esta
perpendiculares se inclinan una sobre otra; y como la perpendicular basta
para definir las alturas de las reas y las distancias entre rectas, cuando
las perpendiculares son iguales tambin lo son distancias entre las rectas,
pero cuando hay mayores y menores, las rectas se acercan en el lado en
que estn las perpendiculares ms pequeas.

Proclo
Proclo, en sus comentarios, critic el quinto postulado del siguiente modo: Debe
ser borrado por completo de los postulados porque se trata de un teorema
henchido de dificultades, que Tolomeo se puso a resolver en un libro, y su
demostracin requiere varias definiciones y teoremas. Ms an: La proposicin
conversa es efectivamente demostrada por el propio Euclides como un teorema.
La afirmacin" de que puesto que cuando las rectas son prolongadas ms y ms,
alguna vez se cortarn parece plausible pero no necesaria. Por esto, es claro que
debemos dar una prueba de este teorema, que es ajeno al carcter especial de los
postulados
Se senta incmodo con la nocin de paralelismo como equidistancia. Paradoja de
Gmino: las asntotas tambin son paralelas en cuanto no se encuentran por ms
que se prolonguen segn la def. 23 pero no lo son en el sentido de Posidonio
Problema: demostrar el quinto postulado directa o indirectamente

Ptolomeo
Ptolomeo: trat de demostrar el quinto postulado usando
los otros 9 axiomas y los teoremas del 1 al 28 que no
dependen del quinto postulado
Teorema: si las rectas son paralelas, los ngulos internos
son iguales a dos rectos

Ptolomeo

Como los ngulos internos del mismo lado de la secante son, necesariamente, iguales, menores
o mayores que 2 rectos, sean AB y GD 2 paralelas cortadas por la recta HZ. Digo que esta
recta no forma ngulos internos del mismo lado de ella que valgan ms de 2 rectos. En efecto,
si los ngulos formados por las rectas AZ y ZH, GH y HZ son mayores que 2 rectos, los
formados por BZ y ZH, DH y HZ seran menores que 2 rectos, y como tambin son mayores
que 2 rectos, porque las rectas AZ y GH no son ms paralelas que las ZB y HD, resulta que si
la recta que incide sobre las AZ y GH forma ngulos internos mayores que 2 rectos, la que
incide sobre ZB y HD tambin forma ngulos internos mayores que 2 rectos; pero, estos
ngulos internos tambin son menores que 2 rectos, lo cual es imposible; y del mismo modo
demostrara que la secante forma ngulos internos menores que 2 rectos; luego, si los ngulos
internos no son mayores ni menores que dos rectos, tienen que ser iguales a dos rectos.

Ptolomeo
H 1: los ngulos son mayores a dos rectos
H 2: los ngulos son menores a dos rectos
Conclusin: los ngulos internos por el otro lado de la
transversal son al mismo tiempo menores y mayores que dos
rectos (contradiccin)
T: no son mayores ni menores luego son iguales a dos rectos.
Error de Ptolomeo: el argumento de que dos rectas de un lado
de la transversal no son ms paralelas que dos rectas del otro
lado de la transversal presupone la unicidad de la paralela

Demostracin de Proclo
El mismo Proclo dio una demostracin del quinto
postulado suponiendo el axioma de Aristteles: si dos
rectas que forman un ngulo, a partir de un punto se
prolongan al infinito, el intervalo entre ambas se puede
hacer mayor que toda magnitud finita, luego la distancia
entre las rectas puede hacerse mayor que cualquier
magnitud finita dada prolongando suficientemente las
rectas.

 Dadas dos rectas paralelas m y l. Suponer que n es distinta de

m y que corta a m en P. Sea Q el pie de la perpendicular desde
P a l. Veamos que n corta a l. Si n coincide con la recta PQ, n
corta a l. Si n no coincide con la recta PQ una de las
semirectas de n la PY est entre la semirecta PQ y una
semirecta de m. Sea X el pie de la perpendicular de Y hasta m.
Ahora si Y se desliza hasta el final de n, el segmento XY crece
indefinidamente y como la distancia entre m y l es constante,
en algn momento deber cruzar l

Omar Jayam
Primero en estudiar el problema del quinto postulado
utilizando los denominados cuadrilteros de Saccheri.
Jayam construy cuadrilteros con lados iguales y dos
ngulos rectos en la base y mostr que si los lados
perpendiculares a la base son iguales, los ngulos
posteriores a los de la base son iguales. Demostr tambin
que el bisector perpendicular de la base es bisector
perpendicular del lado opuesto a la base.

Cuadrilteros de Saccheri
H: cuadriltero ABCD con
AC = BD, A=B=1
ngulo recto
T: D=C
El postulado de Euclides
es equivalente a decir que
D y C son rectos

Nesir Edin
Prueba el quinto postulado a condicin de que se acepte la siguiente
premisa: si dos lneas rectas r y s son la una perpendicular y la otra
oblicua aun segmento, AB, las perpendiculares trazadas de s hacia r
son menores que AB por el lado en que s forma un ngulo agudo
con AB y mayores que AB por el lado en que s forma un ngulo
obtuso con AB.

Giordano Vitale
Demostr el siguiente teorema: sea ABCD un cuadriltero
cuyos ngulos A y B son rectos, cuyos lados AD y BC
son iguales y tal que HK es una perpendicular trazada
desde el punto H del lado DC hasta el punto k de la base
AB del cuadriltero, entonces, los ngulos en C y en D
son iguales, cuando el segmento HK es igual al segmento
AD, los ngulos en C y en D son rectos y CD equidista a
AB

Teorema de Vitale

H:
ABCD es un cuadriltero
<A y <B son rectos
AD =BC
H es un punto en CD, K en AB
HK es perpendicular
T: <D=<C
Si HK = AD, entonces <D=<C= 1 recto
CD equidista de AB

Teorema de Vitale
Demostracin
Proposicin
a. Unir A con C, B con D
b. AB=AB, AD=BC, <A=<B
c. ABD=ABC
d. AC=BD
e. AC=BD, AD=BC, DC=DC
f. ACD=BCD
g. <D=<C

Justific.
(H, p1)
(H,a)
(b.t4)
(c.)
(d, H)
(e, t8)
(f.)

John Wallis:
Propuso un nuevo postulado que
supuso ms plausible que el quinto
postulado (por medio del primero
prob el segundo)
Postulado de Wallis: para cualquier
figura existe una figura semejante de
magnitud cualquiera.
Con ello poda deducir la existencia de
un cuadriltero en el que la suma de
ngulos es igual a 4 ngulos rectos de
donde habra podido deducir el quinto
postulado

Saccheri

Euclides vindicado de toda mancha

o conato geomtrico mediante el
cual se establecen los verdaderos
primeros principios de toda la
geometra
23 definiciones
4 postulados
Negacin del postulado 5
28 proposiciones libro I
Hiptesis de la infinitud de la recta
Hiptesis de la continuidad de la
recta
Postulado de Eudoxio-Arqumedes

Cuadrilteros de Saccheri
Proposicin I: si un cuadriltero
tiene dos ngulos consecutivos
en A y en B rectos y los lados
AD y BC desiguales entonces de
los ngulos en C y en D es
mayor el adyacente al lado
menor, es menor el adyacente al
lado mayor, si los lados son
iguales, entonces los ngulos son
iguales.

Cuadrilteros de Saccheri
.

Hiptesis de Saccheri
El postulado de Euclides es equivalente a decir que los
ngulos iguales C y D son rectos. Saccheri consider
dos alternativas las tres alternativas posibles:
H del ngulo recto: C=D=1 recto (HR)
H del ngulo agudo: C=D<1 recto (HA)
H del ngulo obtuso: C=D>1 recto (HO)
Con base en estas H y los 9 axiomas de Euclides supuso
que HA y HO deban conducir a contradicciones,
demostrando la verdad de HR

Saccheri
Saccheri demostr una serie de teoremas tratando de encontrar la
contradiccin al asumir la HA y HO, sin embargo aunque
encontr afirmaciones contrarias a la experiencia, no encontr
contradicciones conceptuales.
Con respecto a sus predecesores avanz en la demostracin del p5
al considerar que desde el punto de vista puramente lgico no se
poda excluir el examen de ninguna de las posibilidades (HA, HO
y HR) aunque dos de ellas (HA y HO) parecieran contraintuitivas.
Sin embargo, sus prejuicios lo condujeron a formular la
Proposicin XXXIII: La hiptesis del ngulo agudo es
absolutamente falsa, porque repugna a la naturaleza de la lnea
recta.

Conclusiones
Klgel present en 1763 como disertacin de la
universidad de Gttingen una recensin de los principales
intentos para demostrar la teora de las paralelas donde
examina ms de treinta demostraciones del quinto
postulado concluyendo que tales demostraciones son
insuficientes y sugiriendo:
sera posible, sin duda, que rectas que no se cortan,
diverjan que tal cosa sea un contrasentido lo sabemos
no por rigurosas consideraciones ni en virtud de claros
conceptos de lneas rectas y curvas, sino ms bien,
mediante la experiencia y el juicio de nuestros ojos

Conclusiones
Esta evolucin desde la geometra euclidiana a la no
euclidiana cuyo transito se produjo a travs de los intentos de
demostracin del p5 contribuy a que los matemticos
privilegiaran finalmente como criterio de validez racional la
consistencia conceptual (consistencia lgica) a pesar de lo
contraintuitivas que pudieran ser sus conclusiones sobre la
correspondencia exacta entre las proposiciones matemticas y
la experiencia
Son independientes los juicios de la lgica y la matemtica
(las relaciones conceptuales) de la informacin perceptual y
la experiencia sensible?