You are on page 1of 7

1

Geometrias Euclidianas e no-Euclidianas. Desenvolvimento e Histria



[Texto traduzido para o portugus por, Gaspar, M.T. do livro Euclidean and non-
Euclidean geometries. Development and History de Marvin J ay Grennberg]

Captulo 5
Histria do Postulado das Paralelas
Como o duende Puck [a faanha de provar Euclides V] conduziu-me para cima e para
baixo, para cima e para baixo atravs de muitas noites acordado: mas sempre, da mesma
forma que eu pensei eu tinha, alguma falcia inesperada era bvia para me derrubar, e o
duende arteiro pularia, rindo ho, ho, ho!
C. L. Dodgson (Lewis Carroll)
Permita-nos resumir o que fizemos at agora descobrimos certas lacunas nas
definies e postulados de Euclides para a geometria plana. Preenchemos estas lacunas
e solidificamos as bases desta geometria apresentando (uma verso modificada) dos
axiomas e definies de Hilbert. Construmos ento uma estrutura de teoremas sobre
estas bases. No entanto, a estrutura at aqui levantada no se apia no postulado das
paralelas, e chamamos esta estrutura de geometria neutral. Uma das razes para
postergar uma construo ligada ao postulado das paralelas que confiamos menos nele
do que nos outros axiomas.
Aqui est a formulao de Euclides do quinto postulado: Caso uma reta,
encontrando duas retas, faa os ngulos interiores e sobre o mesmo lado, menores do
que dois retos, as duas retas, se prolongadas indefinidamente, encontram-se sobre o lado
em que esto os ngulos menores do que dois retos.
Voc pode achar que este postulado mais complicado do que os outros, e tambm
pode achar que nega-lo poderia ir contra o senso comum. Albert Einstein uma vez disse
que senso comum , como um assunto de fato, nada mais que camadas de noes
preconceituosas armazenadas em nossas memrias e emoes a maior parte antes dos
dezoito anos.
Que o prprio Euclides no confiava completamente neste postulado fica provado
pelo fato dele adiar seu uso em uma prova o tanto quanto possvel at sua vigsima
nona proposio. Os gregos da poca de Euclides e dos sculos seguintes ao dele
tambm duvidaram do postulado.
Proclo
Proclo [410-485 d.C.], cujos comentrios uma das principais fontes de informao
sobre a geometria grega, criticou o postulado das paralelas como segue: Este deve
certamente ser riscado dos Postulados em geral; porque ele um teorema envolvendo
muitas dificuldades, que Ptolomeu, em um certo livro, colocou-se para resolver ... A
afirmao que desde que [as duas retas] convergem mais e mais a medida que so
prolongadas, elas se encontraro plausvel mas no necessria. Proclo d o exemplo
de uma hiprbole que se aproxima de sua assntota tanto quanto voc queira sem
encontra-la. Este exemplo mostra que o oposto das concluses de Euclides pode, pelo
menos, ser imaginado. Proclo diz: claro ento que devemos tentar provar o presente
teorema e que ele estranho para a natureza especial dos postulados.

2

Figura 5.1





Por cerca de dois mil anos alguns dos melhores matemticos tentaram provar o
quinto postulado de Euclides. O que significa, de acordo com nossa terminologia, ter
uma prova? No deve ser necessrio assumir o postulado das paralelas como um
axioma; devemos ser capaz de prov-lo dos outros axiomas. Se formos capazes de
provar Euclides V deste modo ele se tornaria um axioma da geometria neutral e a
geometria neutral incluiria toda geometria euclidiana.
A primeira tentativa de prova conhecida foi por Ptolomeu. Sem entrar nos detalhes
do seu argumento (ver Heath, pp. 204-206), podemos dizer que ele assumiu o postulado
das paralelas de Hilbert sem perceber. Ns vimos no Captulo 4 que o postulado das
paralelas de Hilbert logicamente equivalente a Euclides V (Teorema 4.5), de forma
que Ptolomeu estava assumindo o que ele estava tentando provar, i.e., seu raciocnio era
essencialmente circular.
Proclo tentou provar o postulado das paralelas como segue: So dadas duas retas
paralelas e m. Suponha que n intercepta m em P. Desejamos provar que n intercepta
tambm (cf. Proposio 4.7). Seja Q o p da perpendicular de P a ( Corolrio 1 do
Teorema 4.1). Se n coincide com PQ


, ento intercepta em Q. Caso contrrio, Uma
semi-reta de n est entre e uma semi-reta PX PY PQ

de m (ver Exerccio 15, Captulo


3). Tome X o p da perpendicular de Y a m.
Agora, como o ponto Y se afasta sem limites do ponto P em n, o segmento XY cresce
indefinidamente em tamanho e consequentemente torna-se maior do que o segmento
PQ. Portanto, Y deve atravessar para o outro lado de , portanto n deve encontrar .

P X
Y
Z Q
n
m

Figura 5.2





O pargrafo precedente o corao do argumento de Proclo; um argumento muito
sofisticado, envolvendo movimento e continuidade. Alm disso, possvel mostrar que
cada etapa do argumento est correta exceto que no se deduz a concluso! (no
Exerccio 6 pede-se para provar que XY cresce indefinidamente, onde
indefinidamente significa sem limite. Por exemplo,
1 3 7 15 31
, , , ,
2 4 8 16 32
, ... cresce mas
no indefinidamente no sentido de sem limite, porque os nmeros so sempre
menores do que um; um um limite para estes nmeros.)
3
Como podemos justificar a ltima etapa? Permita-nos baixar uma perpendicular YZ
de Y a . Voc pode dizer que (1) X, Y e Z so colineares, e (2)XZ . Ento,
quando XY torna-se maior do que PQ, XY deve tambm ser maior do que XZ, assim Y
deve estar do outro lado de . Aqui a concluso segue, de fato, das afirmaes (1) e (2).
O problema que no existem justificativas para estas afirmaes!
PQ
Se isto o deixa perplexo, pode ser porque a Figura 5.2 faz com que as afirmaes (1)
e (2) paream corretas. Voc lembra, porm, que no permitido usar um diagrama
para justificar uma etapa de uma prova. Cada etapa deve ser provada de axiomas
fixados ou teoremas previamente provados. (Mostraremos depois que no possvel
provar, na geometria neutral, as afirmaes (1) e (2). Elas s podem ser provadas na
geometria Euclidiana e utilizando o postulado das paralelas; isto torna o argumento de
Proclo circular.)
Esta anlise do argumento errado de Proclo ilustra quanto cuidadoso voc deve ser ao
pensar sobre retas paralelas daqui por diante. Voc provavelmente visualiza retas
paralelas como os trilhos de uma estrada de ferro, eqidistantes um do outro em todo
lugar, e as ligaes dos trilhos paralelas a ambos. Esta imagem s vlida na geometria
Euclidiana. Sem o postulado das paralelas, a nica coisa que podemos dizer sobre duas
retas que so paralelas que, por definio de paralela elas no tm ponto em
comum. Voc no pode assumir que elas so eqidistantes; no pode assumir que elas
possuem um segmento perpendicular comum. Como Humpty Dumpty observou:
Quando eu uso uma palavra ela significa o que eu desejo que ela signifique, nem mais
nem menos.
Wallis
A prxima tentativa importante para provar o postulado das paralelas foi feita pelo
astrnomo e matemtico persa Nasiraddin (1201-1274). Como sua tentativa de provar
tem vrias hipteses no justificadas, permita-nos passar para J ohn Wallis (1616-
1704)
1
Wallis desistiu de tentar provar o postulado das paralelas na geometria neutral.
Em vez disso, ele props um novo axioma, que ele achava mais plausvel do que o
postulado das paralelas e, ento provou o postulado das paralelas deste novo axioma e
os axiomas da geometria neutral.





Figura 5.3
A
C
B
D
F
E
POSTULADO DE WALLIS: So dados qualquer tringulo ABC e qualquer
segmento DE. Existe um tringulo DEF (tendo DE como um dos seus lados) que
semelhante ao tringulo ABC (denotado DEF ABC ).
Lembre que tringulos semelhantes so tringulos cujos vrtices podem ser
colocados em correspondncia um a um de modo que ngulos correspondentes so

1Wallis foi o principal matemtico ingls antes de Isaac Newton. Em sua obra Arithmetica infinitorum
(que Newton estudou), Wallis introduz o smbolo para infinito, desenvolve frmulas para certas
integrais, e apresenta sua famosa frmula produto infinita
2 2 4 4 6 6 8...
2 1 3 3 5 5 7 7...

=

..
4
congruentes. Na geometria euclidiana prova-se que os lados correspondentes de
tringulos semelhantes so proporcionais (ver Exerccio 18), por exemplo, cada lado do
pode ser igual a duas vezes o lado correspondente do DEF ABC . Assim, o
significado intuitivo do postulado de Wallis que voc pode aumentar ou diminuir um
tringulo tanto quanto voc queira, sem distoro.

P
S
R
Q
n
m

Figura 5.4





Usando o postulado de Wallis, o postulado das paralelas pode ser provado como
segue:
Prova: Dado um ponto P que no pertence a , construa uma paralela m a passando
por P como antes traando uma perpendicular PQ

a e construindo m perpendicular
a . Seja n qualquer outra reta que passa por P. Devemos mostrar que n intercepta .
Como antes, consideramos uma semi-reta de n com origem em B que est entre uma
semi-reta de m e

(cf. Proposio 3.16 e Corolrio 1 do teorema 4.1 para a existncia


e unicidade de todas as nossas perpendiculares).
PQ
PQ
Agora aplicamos o postulado de Wallis ao tringulo PSR e segmento PQ. Ele nos
diz que existe um ponto T tal que PSR semelhante ao tringulo PQT . Alm disso,
T est do mesmo lado de que R (Exerccio 7). PQ


P
S
R
Q
n
m



T

Figura 5.5



Por definio de tringulos semelhantes, TPQ RPS . Mas como estes ngulos
tm a semi-reta PQ como um lado comum e desde que T e R esto do mesmo lado
de , o nico modo deles serem congruentes serem iguais (Axioma C-4). Deste
modo, n e se encontram em T; m , portanto, a nica reta paralela a que passa por P.
PS =

PQ
No existe nenhuma razo para considerar o postulado de Wallis mais plausvel do
que Euclides V, porque se verifica que ele logicamente equivalente a Euclides V (ver
Exerccio 8).
Saccheri e Lambert
Nos exerccios 9 11 discutiremos outras tentativas para provar o postulado das
paralelas, particularmente a prova incorreta de Legendre e Wolfgang Bolyai. Aqui
5
devemos mencionar o trabalho do padre J esuta Girolamo Saccheri (1667-1773). Pouco
antes de sua morte ele publicou um pequeno livro intitulado Euclides ab omni naevo
vindicatus (Euclides Livre de Todas as Falhas), que no foi realmente percebido at um
sculo e meio mais tarde, quando Eugenio Beltrami o redescobriu.
A idia de Saccheri foi usar o argumento de reduo ao absurdo. Ele assumiu a
negao do postulado das paralelas e tentou chegar a uma contradio. Especificamente,
ele estudou certos quadrilteros (Figura 5.6) cujos ngulos da base so retos e cujos
lados adjacentes s bases so congruentes. Estes quadrilteros logo aps tornaram-se
conhecidos como quadrilteros de Saccheri. fcil provar na geometria neutral que os
outros ngulos do quadriltero so congruentes (Exerccio 1), i.e., . C D
Existem trs casos possveis:
Caso 1: Os ngulos e so retos. C D
Caso 2: Os ngulos e so obtusos. C D
Caso 3: Os ngulos e so agudos. C D


A B
C D
Figura 5.6
Quadriltero de Saccheri





Querendo provar o primeiro caso, que eu o caso da geometria Euclidiana, Saccheri
tentou provar que os outros dois casos conduziam a contradies. Ele foi bem sucedido
na prova de que o Caso 2 conduz a uma contradio: Se os ngulos e forem
obtusos, a soma dos ngulos do quadriltero seria maior do que 360
C D
o
, contradizendo o
Corolrio 2 do teorema de Saccheri-Legendre (para verificar as hipteses do Corolrio
2, ver Exerccio 14).
Por mais que se empenhasse, ele no conseguiu uma contradio para o Caso 3, a
hiptese desfavorvel do ngulo agudo como ele a chamou. Ele deduziu muitos
resultados estranhos, mas nenhuma contradio. Finalmente, ele exclamou frustrado: A
hiptese do ngulo agudo definitivamente falsa, porque [ela ] inconsistente com a
natureza das retas! como se um homem tivesse descoberto um diamante raro, mas,
incapaz de acreditar no que via, anunciou que era vidro. Embora ele no tenha
reconhecido, Saccheri descobriu a geometria no- euclidiana.
Em um abordagem similar do postulado das paralelas, J ohann Heinrich Lambert
(1728-1777) estudou quadrilteros que possuam pelo menos trs ngulos retos que so
agora chamados aps ele (ver Exerccio 4). Ele tambm deduziu muitas proposies das
geometrias no-euclidianas da hiptese do ngulo agudo mas, diferente de Saccheri, ele
no afirmou que tinha encontrado uma contradio. Indo alm de Saccheri, Lambert
provou que a hiptese do ngulo agudo implica que a rea de um tringulo
6
proporcional a seu defeito, e conjecturou que esta hiptese combinava com a geometria
sobre uma esfera de raio imaginrio.
2
Wolfgang Bolyai
Existem tantas tentativas para provar Euclides V que em 1763 G. S. Klgel pde
apresentar uma tese de doutorado encontrando as falhas em 28 diferentes supostas
provas do postulado das paralelas expressando dvida que ele pudesse ser provado. O
matemtico e enciclopedista francs J . L. R. dAlembert chamou isto o escndalo da
geometria. Mesmo to tarde quanto 1823 o grande matemtico francs Legendre achou
que possua um prova (apresentamos uma de suas tentativas no Captulo 1). Os
matemticos ficaram desencorajados. O hngaro Wolfgang (Farkas) Bolyai escreveu a
seu filho J nos:
Voc no deve tentar esta abordagem para o postulado das paralelas. Eu conheo este
caminho para seu verdadeiro final. Eu tenho percorrido esta incompreensvel noite, que
extinguiu toda luz e alegria da minha vida. Eu rogo que voc abandone a cincia das paralelas ...
Eu acredito que me sacrificaria pela causa da verdade. Eu estava pronto para tornar-me um
mrtir que removeria a falha da geometria e a restituiria purificada para a humanidade. Eu
realizei muitos trabalhos; minhas criaes so to melhores quanto as dos outros e eu ainda no
consegui a satisfao completa ... Eu voltei atrs inconsolado, penalizado de mim mesmo e de
todos os homens.
Eu admito que esperava um pouco de desvio de suas linhas. Parece-me que tenho estado nestas
regies; que tenho viajado por todos os recifes deste infernal Mar Morto e volte sempre com o
mastro quebrado e vela rasgada.
A runa de minha disposio e minha queda data desta poca. Eu imprudentemente arrisquei a
minha vida e felicidade.
Mas o jovem Bolyai no foi dissuadido pelos conselhos do seu pai, porque ele tinha
uma idia completamente nova. Ele assumiu que a negao do postulado das paralelas
de Euclides no era absurda, e em 1823 escreveu a seu pai:
Agora meu plano definitivo publicar um trabalho sobre o postulado das paralelas assim que
eu complete e organize o material to uma oportunidade apresente-se; no momento eu ainda no
vejo claramente meu caminho at o fim, mas o caminho que tenho seguido fornece evid6encias
positivas de que o objetivo ser atingido, se ele possvel; eu no o consegui totalmente, mas
descobri tantas coisas maravilhosas que eu estou perplexo, e seria uma parcela perptua de m
sorte se eles fossem perdidos. Quando voc, meu querido pai, v-los, entender; no momento eu
no posso dizer nada exceto isto: que como resultado eu criei um estranho universo desconhecido.
Tudo que eu enviei a voc anteriormente como um castelo de cartas em comparao com uma
fortaleza. Eu estou convencido de que estas descobertas me traro fama se eles forem
completados.
Exploraremos este novo universo estranho nos captulos seguintes. Um sculo aps
J nos Bolyai ter escrito esta carta, o fsico ingls J . J . Thomson observou algo
alegremente:
Ns temos o espao de Einstein, espao de Sitter, universos em expanso, universos em
contrao, universos vibrando, universos misteriosos. De fato, a matemtica pura pode criar
universos apenas escrevendo uma equao, e de fato, se ele um individualista pode ter seu
prprio universo.
De fato, em 1949 o renomado lgico Kurt Gdel achou um modelo do universo que
satisfaz as equaes da gravitao de Einstein, no qual teoricamente possvel viajar
para o passado.
3

2
Beltrami provou depois que a geometria sobre uma pseudoesfera, satisfaz a hiptese do 6angulo agudo
(ver Captulo 10). Lambert tambm conhecido pelo desenvolvimento da trigonometria hiperblica e
pela prova de que quando x um nmero racional, e
x
e tg x so irracionais.
7





3
At agora, as tentativas de refutar o modelo de Gdel a partir de bases matemticas ou filosficas
falharam.