A Demonstrao do Quinto Postulado de Euclides por Ptolomeu

Ptolomeu, ou Claudius Ptolemaeus, foi gegrafo e astrnomo e viveu no

sculo II, em Alexandria. Foi o autor de um famoso tratado de astronomia em
13 livros, que chegou at atualidade atravs de uma traduo
rabe: Almagesto.
Porm, num outro livro que Ptolomeu apresenta a sua demonstrao do
quinto postulado de Euclides. O livro (que no chegou at nossos dias)
intitulava-se Que linhas prolongadas de ngulos menores que dois ngulos
retos encontram-se uma com a outra.
O ttulo pode hoje no fazer muito sentido. Mas, se tomar em conta que
a se apresenta um estudo sobre o quinto postulado de Euclides (e at uma
demonstrao), compreende-se que o que Ptolomeu afirma no ttulo do livro
precisamente o quinto postulado de Euclides, no sentido em que os ngulos
que refere so os dois ngulos tambm referidos no dito postulado como
menores que dois retos.
A propsito da proposio 29 e referindo-se a Ptolomeu, Proclus
escreve: a sua demonstrao [do quinto postulado] utiliza muitos dos
teoremas estabelecidos pelo autor dos Elementos precedentes a este [a
proposio 29] (Proclus, sc. V, 365.8-10). Embora no reproduza toda a
argumentao que Ptolomeu utilizou para demonstrar esses teoremas, Proclus
apresenta as demonstraes de Ptolomeu para as proposies 28 e 29
dosElementos e para o quinto postulado de Euclides.

Proposio 28 - Se uma linha reta ao cortar outras duas, fizer o ngulo

externo igual ao ngulo interno oposto do mesmo lado, ou se a soma dos
ngulos internos do mesmo lado for igual a dois ngulos retos, ento, as
linhas retas so paralelas entre si.
Vejamos a demonstrao da proposio 28 do livro I dos Elementos de
Euclides feita por Ptolomeu a partir do modo como Proclus a transcreve:
Sejam AB e CD duas linhas retas cortadas por uma linha reta EFGH de
modo a fazer os ngulos BFG e FGD iguais a dois ngulos retos. Eu digo
que as linhas retas so paralelas, isto , no secantes. Se possvel, sejam
FB e GD prolongadas at se encontrarem em K. Ento, como a linha reta
GF corta a linha AB, ela faz os ngulos AFG e BFG iguais a dois ngulos
retos. Do mesmo modo, como GF corta CD, ela faz os ngulos CGF e DGF
iguais a dois ngulos retos. Conseqentemente os ngulos AFG, BFG,
CGF e DGF so iguais a quatro ngulos retos, dos quais dois, BFG e DGF,
esto determinados como iguais a dois ngulos retos; por este motivo os
outros dois ngulos, AFG e CGF, so tambm iguais a dois ngulos
retos. Se ento, quando os ngulos internos so iguais a dois ngulos
retos as linhas FB e GD quando prolongadas encontram-se uma outra
em K, logo tambm FA e GC quando prolongadas iro encontrar-se, pois
os ngulos AFG e CGF so tambm iguais a dois ngulos retos. As linhas
retas iro encontrar-se ou em ambos os lados ou em nenhum se estes [os
ngulos internos deste lado], como aqueles [ngulos internos do outro
lado], forem iguais a dois ngulos retos. Suponhamos ento que FA e GC
encontram-se em L. Ento as linhas retas LABK e LCDK cercam uma
rea, o que impossvel. por isso impossvel que linhas se encontrem
quando os ngulos internos so iguais a dois ngulos retos. Por isso elas
so paralelas. (Proclus, sc V, 362.20-363.18).

Na transcrio apresentada v-se que Ptolomeu utiliza uma definio de

paralelismo que coincide com a de Euclides, ou seja, as linhas retas so
paralelas se no se intersectarem (no secantes). No esse o seu erro na
demonstrao do postulado.
sabido que esta proposio demonstrvel, no entanto, a dada altura,
Ptolomeu parece cometer um erro ao no justificar devidamente um passo da

demonstrao, em que conclui do particular para o universal uma suposio.

Nesta demonstrao Ptolomeu queria provar que duas linhas que satisfazem
certas condies nunca se intersectam, mas no pode faz-lo ao provar que
um absurdo que as linhas que satisfazem essas condies se encontram
sempre, que o que feito quando diz que se FB e GD se encontram, ento
AF e CH tambm se encontram (por ambas satisfazerem as tais condies).

O que Ptolomeu tinha que provar era que se FB e GD se encontrarem

isso implica um absurdo. Contudo, aparentemente, Ptolomeu no se limita a
tomar por hiptese que FB e GD se encontram, pois, diz que se FB e GD se
encontram, ento AF e CH tambm se encontraro por estarem nas mesmas
condies. Ora, ento, j est a supor que todas as linhas nas referidas
condies (os ngulos internos que fazem, num dos lados, com uma reta que
as intersecte a ambas, so iguais a dois ngulos retos) se intersectam, no
pondo a hiptese que, algumas vezes, se encontram, mas no
necessariamente sempre. S assim seria a negao da proposio e que se
reduzida ao absurdo provaria a proposio, como pretendia. O erro de lgica
que Ptolomeu comete que para provar que:
A= Todas as retas com as quais uma terceira reta que as
intersecte faz ngulos internos num lado cuja soma igual a 180, no se
intersectam,
No basta provar que absurdo:
B=Todas as retas com as quais uma terceira reta que as intersecte
faz ngulos internos num de um lado cuja soma igual a 180,
intersectam-se.
Este tipo de demonstrao vlida se demonstrarmos que a negao da
proposio que pretendemos provar leva a um absurdo. Contudo, a negao
de:
A C=H retas com as quais uma terceira reta que as intersecte
faz ngulos internos num lado cuja soma igual a 180, e que se
intersectam.
Ptolomeu supe que todas as retas com as quais uma terceira reta que
as intersecte faz ngulos internos num lado cuja soma igual a 180 se
intersectam e, portanto apenas prova:

D=H retas com as quais uma terceira reta que as intersecte faz
ngulos internos, de um lado, cuja soma igual a 180, e que no se
intersectam.
Nesta demonstrao, o erro acaba por no ter conseqncias, pois,
aquilo que Ptolomeu supe sem apresentar justificao, pode ser demonstrado.
Para a demonstrao estar completa, Ptolomeu teria de justificar o que diz e
mostrar que, se de um lado estas retas se intersectam, o mesmo teria de
acontecer do outro lado.

Citando Heath (1925, p. 204): Seria mais claro se tivesse sido mostrado
que os dois ngulos internos num lado de EH so respectivamente iguais aos
dois ngulos no outro lado, nomeadamente BFG a CGF e FGD a AFG; donde,
ao assumir que FB e GD encontram-se em K, podemos tomar o tringulo KFG
e coloc-lo (por exemplo, atravs da rotao em torno do ponto mdio de FG)
de modo a que FG caia onde est GF na figura e GD caia sobre FA, e assim
FB tem de cair sobre GC; por isso, como FB e GD encontram-se em K, GC e
FA tambm tm de encontrar-se num ponto correspondente L.
Vejamos agora a demonstrao apresentada por Ptolomeu para a
proposio 29. Mais uma vez, Ptolomeu no usa o quinto postulado. Mas,
como era de esperar, a demonstrao est incorreta, pois impossvel prov-la
sem este postulado.
Proposio 29 - Uma linha reta que corta duas linhas retas paralelas faz
os ngulos alternos iguais entre si, o ngulo externo igual ao ngulo
interno oposto e a soma dos ngulos internos do mesmo lado igual a
dois ngulos retos.
Eis a transcrio de Proclus da demonstrao de Ptolomeu:
Eu digo, por isso, que a recproca tambm verdadeira, isto , que
quando linhas retas paralelas so cortadas por uma linha reta, os ngulos
internos no mesmo lado so iguais a dois ngulos retos. Como
necessrio que a linha que corta as linhas paralelas faa os ngulos
internos no mesmo lado ou iguais a dois ngulos retos ou menores ou
maiores que dois ngulos retos. Sejam AB e CD linhas paralelas, e seja
GF uma reta que cai sobre elas. Eu digo que no faz os ngulos internos
no mesmo lado maiores que dois ngulos retos. Pois se os ngulos AFG
e CGF so maiores que dois ngulos retos, os restantes ngulos BFG e
DGF, so menores que dois ngulos retos. Mas estes mesmos ngulos
so tambm maiores que dois ngulos retos; pois AF e CG no so mais

paralelas que FB e GD, logo, se a linha que cai sobre AF e CG faz os

ngulos internos maiores que dois ngulos retos, ento tambm a linha
que cai sobre FB e GD faz os ngulos internos maiores que dois ngulos
retos. Mas estes mesmos ngulos so menores que dois ngulos retos
(pois os quatro ngulos AFG, CGF, BFG e DGF so iguais a quatro
ngulos retos), o que impossvel. Analogamente ns podemos provar
que a linha que cai sobre as paralelas no faz os ngulos internos na
mesma direo menores que dois ngulos retos. Se, ento, ela o faz nem
maiores nem menores que dois ngulos retos, a nica concluso restante
que a linha que cai nelas faz os ngulos internos na mesma direo
iguais a dois ngulos retos. Tendo isto sido demonstrado, a proposio
perante ns [o quinto postulado] pode ser incontestavelmente
provada.(Proclus, sc V, 365.17-366.15).

Ao apresentar esta demonstrao, Ptolomeu cr que, provado isto, nada

o impede de demonstrar o quinto postulado de Euclides. De fato, Ptolomeu tem
razo ao afirmar que, provada esta proposio, pode provar o quinto postulado
de Euclides. Contudo, esta demonstrao incorreta. Ptolomeu apresenta o
argumento de que, se AB e CD so paralelas, como FB e GD so to paralelas
de um lado quanto AF e CG so do outro, ento a soma dos ngulos internos
de um lado teria de ser igual soma dos ngulos internos do outro.
Mas, como Proclus referir no seu comentrio a esta demonstrao, ele
no poderia assumir isso. O que este argumento tem que lhe permitir
demonstrar esta proposio e depois o quinto postulado o fato de que,
afirmar que FA e GC so to paralelas para um lado quanto FB e GD so para
o outro, equivalente a afirmar que, por qualquer ponto exterior a uma reta,
passa uma nica paralela (Axioma de Playfair), que equivalente ao quinto
postulado de Euclides. Logo, se no est a ser suposto o quinto postulado de
Euclides, este argumento no vlido e, portanto a demonstrao incorreta.
Assim sendo, se o quinto postulado no suposto, Ptolomeu comete
nesta demonstrao um erro lgico do mesmo tipo do que cometeu na
demonstrao da proposio anterior, pois para provar que:
A=Sempre que uma reta cai sobre duas retas paralelas faz ngulos
internos do mesmo lado iguais a dois ngulos retos

No basta provar que absurdo

B=Existe uma reta que sobre duas retas paralelas ou faz ngulos
internos do mesmo lado maiores que dois retos (nos dois lados da reta)
ou faz ngulos internos do mesmo lado menores que dois retos (nos dois
lados da reta)
Como faz Ptolomeu. A negao de:
A C=Existe uma reta que cada sobre duas retas paralelas, no faz
ngulos internos do mesmo lado iguais a dois ngulos retos
O que deixa em aberto a hiptese de haver de um lado da reta ngulos
internos menores que dois ngulos retos e do outro maiores que dois ngulos
retos.Para provar que os ngulos internos so retos Ptolomeu supe, tendo em
vista um absurdo, que a soma dos ngulos internos num lado menor ou maior
que dois retos. Mas tambm supe (embora julgue deduzir) que os ngulos
internos do outro lado verificaro exatamente a mesma propriedade, ou seja,
pressupe que, se de um lado so maiores, do outro tambm o sero.
Ora, o que tinha de provar era que, se de um lado os ngulos fossem
maiores ou menores que dois ngulos retos, ento sim estaramos
necessariamente perante um absurdo (no forando a que do outro lado isso
se verificasse, pois isso s verdade se considerar o quinto postulado ou seu
equivalente).
Depois de julgar demonstrada a proposio 29 sem utilizar o quinto
postulado de Euclides, Ptolomeu prossegue para a demonstrao do prprio
postulado (sem ter conscincia que, para demonstrar a proposio 29, j o
havia utilizado implicitamente):
Eu digo que, se uma linha reta cai sobre duas linhas retas e faz os
ngulos internos no mesmo lado menores que dois ngulos retos, as
linhas retas se prolongadas encontrar-se-o nesse lado em que os
ngulos so menores que dois ngulos retos. Suponhamos que elas no
se encontram. Mas se elas so no secantes no lado em que os ngulos
so menores que dois ngulos retos, muito mais sero elas no secantes
no outro lado em que os ngulos so maiores que dois ngulos retos,
pelo que as linhas retas sero no secantes em ambos os lados; e se
assim for, elas so paralelas. Mas foi provado que a linha que cai sobre
paralelas far os ngulos internos no mesmo lado iguais a dois ngulos

retos. Os mesmos ngulos so por isso iguais a dois ngulos retos e

menores que dois ngulos retos, o que impossvel. (Proclus, sc. V,
366.15-367.3).
Ptolomeu demonstrou que, nas condies referidas, as retas se
intersectam. Em seguida, completa a demonstrao e prova que elas se
intersectam do lado em que a soma dos ngulos internos menor que dois
ngulos retos e no na direo em que maior:
Sejam AB e CD duas linhas retas, e seja EFGH uma linha cada sobre
elas que faz os ngulos AFG e CGF menores que dois ngulos retos. Por
isso os outros ngulos so maiores que dois ngulos retos. Agora j foi
demonstrado que as linhas retas no so no secantes. Mas se elas se
encontram uma com a outra, ser ou no lado de A e C ou no lado de B e
D. Assumamos que elas se encontram no lado de B e D no ponto K. Ento
como os ngulos AFG e CGF so menores que dois ngulos retos e os
ngulos AFG e BFG so iguais a dois ngulos retos, se o termo comum, o
ngulo AFG, subtrado, o ngulo CGF ser menor que o ngulo BFG.
Segue-se que o ngulo externo do tringulo KFG menor que o interno
oposto, o que impossvel. Conseqentemente elas no se encontram
neste lado. Mas elas encontram-se. Portanto elas encontram-se no outro
lado, naquele em que os ngulos so menores que dois ngulos
retos.(Proclus, sc. V, 367.12-367.27).

E assim termina a demonstrao de Ptolomeu do quinto postulado de

Euclides. Ou melhor, so estes os trechos da demonstrao de Ptolomeu que
chegaram at ns. Porque estes trechos so transcries feitas por Proclus da
obra de Ptolomeu, no podemos saber ao certo se Proclus ter reproduzido
com exatido a argumentao de Ptolomeu. Resta-nos acreditar nas palavras
de Proclus que declara citar Ptolomeu na totalidade das trs demonstraes
apresentadas.
REFERNCIAS

Autor do Artigo: MARQUES, Hugo. "As tentativas de demonstrao do

Quinto Postulado dos Elementos de Euclides". Faculdade de Cincias da
Universidade de Lisboa. 2004
BONOLA, Roberto, Non-Euclidean Geometry, traduo inglesa de H. S. Carslaw;
New York: Dover Publications Inc, 1955.
LOBACHEVSKY, Nicholas, The Theory of Parallels, traduo inglesa de George
Bruce Halsted, in BONOLA, Roberto, Non-Euclidean Geometry, traduo inglesa
de H. S. Carslaw; New York: Dover Publications Inc, 1955.
BOLYAI, John, The Science of Absolute Space, traduo inglesa de George Bruce
Halsted, in BONOLA, Roberto, Non-Euclidean Geometry, traduo inglesa de H. S.
Carslaw; New York: Dover Publications Inc, 1955.
DUDLEY, Underwood, Mathematical Cranks, Washington D.C.: The Mathematical
Association of America, 1992 .
HEAT, Thomas, L., The thirteen books of Euclids Elements translated with
introduction and commentary (volume 1), New York: Dover Publications Inc, 1956
(edio original 1925).
GREENBERG, Marvin Jay, Euclidean and Non-Euclidean Geometries:
Development and History, San Francisco: W. H. Freeman and Company, 1980.
PROCLUS, A Commentary on the first book os Euclids Elements, traduo inglesa
de Glenn R. Morrow, New Jersey: Princeton University Press, 1970.
VELOSO, Eduardo, Geometria, Temas Actuais: Materiais para Professores,
Lisboa: IIE, 1998.