Professional Documents
Culture Documents
, ento intercepta em Q. Caso contrrio, Uma
semi-reta de n est entre e uma semi-reta PX PY 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
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.