1

Geometrias Euclidianas e no-Euclidianas. Desenvolvimento e Histria

[Texto traduzido para o portugus por, Gaspar, M.T. do livro Euclidean and nonEuclidean geometries. Development and History de M arvin Jay Grennberg]
Captulo 1
A Geometria de Euclides
O postulado das paralelas ... foi na antiguidade a
soluo final de um problema que deve ter preocupado os
matemticos gregos por um longo perodo antes de
Euclides.
Hans Freudenthal

A Origem da Geometria
A palavra geometria vem do grego geometrein (geo: terra, e metrein: medir);
geometria era originalmente a cincia de medir terras. O historiador grego Herdotos
(sc. V a.C.) credita aos agrimensores egpcios a origem da geometria, mas outras
civilizaes antigas (babilnios, hindus, chineses) tambm possuam muitas
informaes geomtricas.
A geometria antiga era de fato uma coleo de regras e mtodos obtidos por meio de
experimentao, observao de analogias, adivinhao e intuio. Em resumo, era um
assunto emprico no qual respostas aproximadas eram normalmente suficientes para
propsitos prticos. Os babilnios de 2000 a 1600 a.C. consideravam que o
comprimento da circunferncia de um crculo era igual a trs vezes seu dimetro, i.e.,
eles utilizavam = 3. Este foi o valor obtido pelo arquiteto romano Vitruvius e
encontrado tambm na literatura chinesa. Foi considerado sagrado pelos antigos judeus
sancionado na escritura (Reis I 7:23) uma tentativa do rabino Nehemiah para mudar o
valor de para

22
7

foi rejeitada. Os egpcios de 1800 a.C. de acordo com o papiro

2

16
Rhind, utilizavam, para o valor aproximado 3,1604 . 1
9

Algumas vezes os egpcios faziam conjecturas corretas outras vezes no. Eles
encontraram a frmula correta para determinar o volume de um tronco de pir6amide de
base quadrada uma realizao notvel. Por outro lado, eles achavam que uma frmula
para calcular rea que era correta para retngulos podia ser aplicada para calcular a rea
de qualquer quadriltero. A geometria egpcia no era uma cincia no sentido grego,
somente um conjunto de regras de clculo sem qualquer motivao ou justificativa.
Os babilnios foram muito mais avanados que os egpcios em aritmtica e lgebra.
Alm disso, eles conheciam o teorema de Pitgoras em um tringulo retngulo o
quadrado do comprimento da hipotenusa igual a soma dos quadrados dos
Nos ltimos anos valores aproximados para com vrias casas decimais so encontrados com o
auxlio de computadores; com cinco casas decimais aproximadamente 3.14159. Em 1789 Johann
Lambert provou que no era igual nenhuma frao (nmero racional), e em 1882 F. Lindemann provou
que um nmero transcendente, no sentido de que ele no soluo de nenhuma equao algbrica
com coeficientes racionais.
1

2
comprimentos dos catetos bem antes do nascimento de Pitgoras. Recentemente as
pesquisas de Otto Neugebauer revelaram a antes desconhecida influncia da lgebra
babilnica na matemtica grega.
Porm, os gregos, comeando com Tales de Mileto, insistiam que afirmaes
geomtricas deveriam ser demonstradas pelo raciocnio dedutivo ao invs de por
tentativa e erro. Tales estava familiarizado com os resultados parcialmente corretos e
parcialmente errados transmitidos da matemtica egpcia e babilnica. Ao determinar
quais resultados estava correto, ele desenvolveu a primeira geometria lgica (tales
tambm famoso por predizer o eclipse do sol em 585 a.C.) O desenvolvimento
metdico de teoremas por meio de provas era uma caracterstica da matemtica grega e
inteiramente novo.
A sistematizao comeou com Tales e continuou durante os dois sculos seguintes
com Pitgoras e seus discpulos. Pitgoras era respeitado por seus contemporneos
como um profeta religioso. Ele pregava a imortalidade da alma e a reencarnao. Ele
organizou uma fraternidade de crentes que tinham rituais prprios de purificao e
iniciao, seguiam uma dieta vegetariana e viviam juntos em regime de comunho de
bens. Os pitagricos diferiam das outras seitas religiosas na crena de que a elevao da
alma e a unio com Deus era encontrada por meio do estudo da msica e da matemtica.
Na msica, Pitgoras calculou a razo correta dos intervalos harmnicos. Na
matemtica, ele ensinou os mistrios e as extraordinrias propriedades dos nmeros. O
livro VII dos Elementos de Euclides o texto da teoria dos nmeros ensinada na escola
Pitagrica.
Os pitagricos ficaram muito abalados quando descobriram comprimentos
irracionais, como 2 (ver cap. 2). Inicialmente eles tentaram manter a descoberta em
segredo. O historiador Proclus escreveu: bem conhecido que o homem que primeiro
tornou pblico a teoria dos irracionais morreu em um naufrgio, a fim de que o
inexprimvel e o inimaginvel deva sempre permanecer velado. Como os pitagricos
2 um nmero, eles utilizavam uma lgebra geomtrica e
no consideravam
representavam 2 e outros comprimentos irracionais por meio de segmentos ( 2 pela
diagonal de um quadrado unitrio).
A sistematizao da geometria plana pela escola pitagrica foi concluda em torno de
400 a.C nos Elementos do matemtico Hipcrates (no confundir com o mdico de
mesmo nome). Embora este trabalho esteja perdido, podemos seguramente dizer que ele
cobre a maior parte dos livros I-IV dos Elementos de Euclides, que aparecem
aproximadamente um sculo depois. Os pitagricos nunca desenvolveram uma teoria
das propores que fosse vlida tambm para comprimentos irracionais. Isto foi
realizado por Eudoxus cuja teoria foi includa no livro V dos Elementos de Euclides.
O quarto sculo a.C. viu o florescimento da Academia de Plato de cincia e filosofia
(fundada em 387 a.C.). na Repblica Plato escreve O estudo da matemtica
desenvolve e coloca em ao um recurso mental mais valioso que mil olhos, porque por
meio dele apenas a verdade pode ser percebida.Plato ensinou que o universo das
idias mais importante do que o mundo material dos sentidos, o segundo sendo apenas
uma sombra do primeiro. O mundo material uma caverna sem luz em cujas paredes s
vemos as sombras do verdadeiro, mundo exterior iluminado pelo sol. Os erros dos
sentidos devem ser corrigidos pelo raciocnio que melhor aprendido pelo estudo da
matemtica. O mtodo Socrtico do dilogo essencialmente aquele da prova indireta,
pela qual mostra-se que uma afirmao no vlida se ela conduz a uma contradio.

3
Plato repetidamente citou a proa da irracionalidade do comprimento da diagonal de um
quadrado unitrio como ilustrao do mtodo da prova indireta (a reduo ao absurdo).
O ponto principal que esta irracionalidade do comprimento nunca poderia ter sido
descoberta por meio de medidas fsicas, que sempre incluem uma pequena margem
experimental de erro.
Euclides foi um discpulo da escola platnica. Por volta de 300 a.C. ele deu um
tratamento definitivo a geometria grega e a teoria dos nmeros nos treze volumes dos
Elementos. Na composio desta obra-prima Euclides aproveitou a experincia e
realizao dos seus predecessores dos sculos precedentes: a dos pitagricos para os
livros I-IV, VII e IX, a de Arquitas para o livro VIII, a de Eudoxus para os livros V, VI
e XII e a de Teetetos para os livros X e XIII. Desta forma o trabalho de Euclides
substituiu completamente as tentativas mais antigas de apresentar a geometria que
poucos traos permanecem destes esforos. lamentvel que os herdeiros de Euclides
no tenham recebido direitos autorais pelo seu trabalho, pois ele o autor mais lido da
historia da humanidade. Sua abordagem da geometria dominou o ensino do assunto por
mais de dois mil anos. Embora, o mtodo axiomtico usado por Euclides seja o
prottipo de tudo o que ns chamamos hoje de matemtica pura puro no sentido de
pensamento puro: nenhum experimento fsico precisa ser realizado para verificar se a
afirmao est correta somente as argumentaes nas demonstraes precisam ser
verificadas.
Os Elementos de Euclides puro tambm porque no contm aplicaes prticas. De
fato, a geometria de Euclides tem uma imensa quantidade de aplicaes em problemas
prticos de engenharia, mas eles no so mencionados nos elementos. De acordo com a
lenda, um estudante iniciante da geometria perguntou a Euclides, O que eu ganho para
aprender estas coisas? Euclides chamou um escravo, dizendo, D a ele uma moeda, j
que ele deve lucrar com o resultado daquilo que ele aprende. Atualmente esta atitude
com relao as aplicaes persiste entre muitos matemticos puros eles estudam
matemtica por ela mesma, por sua beleza intrnseca e elegncia.
Surpreendentemente, como veremos depois, a matemtica pura sempre mostra ter
aplicaes nunca imaginadas pelos seus criadores o ponto de vista no prtico da
matemtica pura no final das contas til para a sociedade. Alm disso, aquelas partes d
matemtica que no foram aplicadas so tambm vlidas para a sociedade, como
trabalho esttico comparvel a msica e a arte ou como contribuio para a ampliao
da conscincia e compreenso humana. 2
O Mtodo Axiomtico
Os matemticos fazem uso da tentativa e erro, clculos de casos especiais, intuio
de qualquer outro meio para descobrirem teoremas. O mtodo axiomtico um mtodo
utilizado para provar que os resultados esto corretos. Inicialmente, as demonstraes
feitas para alguns resultados importantes em matemtica foram incompletas (ns
veremos que inclusive Euclides fez isto). Sem problemas provas corretas seriam
fornecidas depois (algumas vezes muito tempo depois) e o mundo matemtico ficaria
satisfeito.
As provas nos garantem que os resultados esto corretos. Em muitos casos elas
tambm nos fornecem resultados mais gerais. Por exemplo, os egpcios e hindus
conheciam por experimentao que se um tringulo tem lados de comprimentos 3, 4, e,
2

Para informaes mais detalhadas sobre a matemtica antiga, ver Bartel van der Waerden, Science
Awakening (oxford University Press, 1961).

4
5, ele um tri6angulo retngulo. Mas os gregos provaram que se um tringulo tem lados
de comprimento a, b e c, e se a 2 + b 2 = c 2 , ento o tri6angulo um tringulo retngulo.
Seria necessrio uma quantidade infinita de experimentos para verificar este resultado
(e, alm disso, s medimos coisas aproximadamente). Finalmente, a prova nos fornece
um enorme insight das relaes entre diferentes coisas que ns estudamos, obrigandonos a organizar nossas idias de um modo coerente.
O que o mtodo axiomtico? Se eu desejo convencer voc, por meio do raciocnio
puro a acreditar em alguma afirmao S1, eu poderia mostrar como esta afirmao segue
logicamente de alguma outra afirmao S2 que voc j aceita. Porm, se voc no
acredita em S2 eu terei que mostrar a voc como S2 segue logicamente de alguma outra
afirmao S3. Talvez eu tenha que repetir este procedimento vrias vezes at chegar em
alguma afirmao que voc j aceita, uma que eu no preciso justificar. Esta afirmao
desempenha o papel de um axioma (ou postulado). Se eu no pudesse chegar a uma
afirmao que voc aceitaria como base do meu argumento, eu ficaria preso em uma
regresso infinita dando uma demonstrao aps outra sem terminar.
Desta forma, existem dois requisitos que devem ser satisfeitos para garantir que uma
prova est correta.
Requisito 1: Aceitar algumas afirmaes chamadas axiomasou postulados sem
justificativa.
Requisito 2: Entender como e quando uma afirmao segue logicamente de outra,
i.e., entender algumas regras de raciocnio.
A grande faanha de Euclides foi selecionar um pequeno nmero de postulados
simples, afirmaes que foram aceitas sem justificativas, e ento deduzir delas 465
proposies, muitas complicadas e nem todas intuitivamente obvias, que continham
todo conhecimento geomtrico de sua poca. Uma das razes dos Elementos ser um
belo trabalho que tanto foi deduzido de to pouco.
Termos Indefinidos
Ns discutimos os requisitos que devem ser satisfeitos para garantir que uma prova
est correta. Aqui est um dos requisitos que admitiremos:
Requisito 0: Mutuo entendimento das palavras e smbolos utilizados no discurso.
No deve haver problema em conseguir o entendimento mutuo uma vez que usamos
termos que nos So familiares e os utilizamos de forma consistente. Se eu utilizo um
termo no familiar, voc tem o direto de exigir uma definio para este termo.
Definies no podem ser dadas arbitrariamente; elas esto sujeitas a regras de
raciocnio mencionadas (mas no especificadas) no requisito 2. Se, por exemplo, eu
defino um ngulo reto como um ngulo que mede 90o, e ento defino um ngulo de 90o
como sendo um ngulo reto, eu violaria a regra que contra o raciocnio circular.
Por outro lado, ns no podemos definir todos os termos que ns utilizamos. A fim
de definir um termo ns utilizamos outros termos, e para definir estes termos utilizamos
ainda outros termos, e assim por diante. Se no fosse permitido considerar alguns
termos indefinidos, ns nos envolveramos em uma regresso infinita.
Euclides tentou definir todos os termos geomtricos. Ele definiu uma linha reta
como aquela que jaz, por igual, com seus pontos sobre si mesma. Esta definio no
muito til; para entende-la voc j deve ter uma imagem de uma linha. Assim, melhor
considerar linha como um termo indefinido. Analogamente, Euclides definiu um

5
ponto como aquele de que nada parte. novamente, no muito informativo.
Assim, tambm aceitaremos ponto como um termo indefinido. Aqui esto os cinco
termos geomtricos indefinidos que sero a base para definir todos os outros termos
geomtricos da geometria euclidiana plana:
ponto
reta
estar sobre [pertence ou est contido] (como em dois pontos pertencem a um a
nica reta)
estar entre ( como em o ponto C est entre os pontos A e B)
congruente
Para a geometria slida, teremos que introduzir outro termo geomtrico indefinido,
plano, e, estender a relao de estar sobre permitindo que pontos pertenam
planos e retas estejam contidas em planos. Neste livro (a menos que se estabelea o
contrrio) restringiremos a nossa ateno para a geometria plana, i.e. a um nico
plano. Assim, definimos o plano como o conjunto de todos os pontos e linhas, todos que
esto sobre ele.
Existem expresses que so frequentemente utilizadas como sinnimos de estar
sobre. Em vez de dizer o ponto P est sobre a reta algumas vezes dizemos que
passa por P ou que P pertence a . Se o ponto P pertence s retas
e m, ns
dizemos que e m tm um ponto em comum ou que e m se interceptam (ou se
encontram) no ponto P.
Existem outros termos matemticos que usaremos, e que sero acrescentados a nossa
lista de termos indefinidos desde que ns no seja possvel defini-los; eles foram
omitidos porque no so termos especificamente de natureza geomtrica, mas so
aqueles que Euclides chamou de noes comuns. Contudo como pode existir alguma
confuso sobre estes termos, faremos alguns comentrios.
A palavra conjunto hoje fundamental em toda matemtica; ela utilizada agora
no ensino fundamental, assim obviamente vocs esto familiarizados com sua
utilizao. Pense que ele como uma coleo de objetos. Duas noes relacionadas
so pertencer a um conjunto ou ser um elemento (ou membro) de um conjunto,
como convencionamos pontos pertencem ao plano. Se todos os elementos de um
conjunto S so tambm elementos de um conjunto T, dizemos que S est contida em
ou parte de ou um subconjunto de T. Retas esto contidas no plano. Por
exemplo, o conjunto de todas as crianas um subconjunto do conjunto de todas as
pessoas.
Na linguagem de conjuntos ns dizemos que os conjuntos S e T so iguais se todo
elemento de S elemento de T, e vice-versa. Por exemplo, o conjunto S de todos os
autores dos Elementos de Euclides (provavelmente) igual ao conjunto cujo nico
elemento Euclides. Consequentemente, igual significa idntico.
Euclides utilizou a palavra igual com diferentes sentidos, como na afirmao de
que os ngulos da base de um tringulo issceles so iguais. A sua inteno foi dizer
que os ngulos da base de um tringulo issceles tm a mesma medida em graus, no
que eles so ngulos idnticos. Assim, para evitar confuso no usaremos a palavra
igual no sentido de Euclides. Ao invs disso, usaremos o termo indefinido
congruente e diremos que os ngulos da base de um tringulo issceles so

6
congruentes. Analogamente, no dizemos que se AB igual a CD, ento o ABC
issceles. (Se AB igual a CD, de acordo com nosso uso da palavra igual o ABC
no um tringulo e sim, apenas um segmento.) Ao invs disso, diremos que se AB
congruente a AC, ento o ABC issceles. Este uso do termo indefinido congruente
mais geral que aquele com o qual vocs esto acostumados; ele se aplica no apenas a
tringulos mas a ngulos e a segmentos tambm. Para entender o uso desta palavra,
imagine objetos congruentes como tendo o mesmo tamanho e forma.
De fato, devemos especificar (como Euclides fez em suas noes comuns) que
uma coisa congruente a si mesma, e que coisas congruentes a uma mesma coisa
so congruentes uma a outra. Afirmaes como estas sero includas depois entre os
axiomas de congruncia (Captulo 3).
A lista de termos geomtricos indefinidos da pgina 5 devida a David Hilbert
[1862-1943]. Sua obra, The Foundations of Geometry (1899), no esclareceu apenas as
definies de Euclides mas, tambm preencheu as lacunas de algumas das provas de
Euclides. Hilbert reconheceu que a prova de Euclides para o critrio de congruncia de
tringulos lado-ngulo-lado era baseada em uma hiptese no declarada (o princpio da
superposio), e que este critrio tinha que ser tratado como um axioma. Ele tambm
baseou-se no trabalho mais antigo de Moritz Pash, que e, 1882 publicou a primeira obra
rigorosa sobre geometria; Pasch explicitou as hipteses no declaradas de Euclides
sobre estar entre( os axiomas de estar entre sero estudados no captulo 3). Alguns
outros matemticos que trabalharam para estabelecer uma base rigorosa para a
geometria Euclidiana foram: G. Peano, M. Pieri, G. Veronese, O. Veblen, G. de B.
Robinson, E. V. Huntington, e H. G. Forder. Estes matemticos utilizaram listas de
termos indefinidos diferentes da utilizada por Hilbert. Pieri usou somente dois termos
indefinidos (como conseqncia, porm, seus axiomas eram mais complicados).
Os Primeiros Quatro Postulados de Euclides
Euclides baseou a sua geometria em cinco hipteses fundamentais, chamadas
axiomas ou postulados.
Postulado 1 de Euclides: Para qualquer ponto P e para qualquer ponto Q diferente
de P existe uma nica reta que passa por P e Q.
Este postulado descrito informalmente dizendo dois pontos determinam uma nica
reta. Denotaremos a nica reta que passa por P e Q por PQ .
Para apresentar o segundo postulado, devemos fazer nossa primeira definio.
Definio. Dados dois pontos A e B. O segmento AB o conjunto cujos elementos
so os pontos A e B e todos os pontos que pertencem a reta AB e esto entre A e B. os
dois pontos A e B so chamados extremidades do segmento AB. 3

Segmento AB

Figura 1.2

A
3

Reta AB

Observao sobre a notao: Em muitos textos do ensino fundamental a notao AB utilizada para
segmento AB.

Postulado 2 de Euclides: Para qualquer segmento AB e qualquer segmento CD

existe um nico ponto E tal que B est entre A e E e o segmento CD congruente ao
segmento BE.
C

Figura 1.3
CD BE
A

Este postulado descrito algumas vezes informalmente dizendo que qualquer

segmento AB pode ser prolongado a um segmento BE congruente a um dado segmento
CD. Observe que neste postulado utilizamos o termo congruente com o novo
significado e utilizamos a notao usual CD BE para expressar o fato que CD
congruente a BE.
A fim de apresentar o terceiro postulado, devemos introduzir outra definio.
Definio: Dados dois pontos O e A. O conjunto de todos os pontos P tais que o
segmento OP congruente ao segmento AO chamado de circulo com centro O, e cada
um dos segmentos OP chamado um raio da circunferncia.
Segue do axioma de congruncia citado anteriormente (uma coisa congruente a si
mesma) que como OA OA , A tambm um ponto sobre a circunferncia a pouco
definida.
Postulado III de Euclides. Para todo ponto O e todo ponto A diferente de O existe
um crculo com centro O e raio AO.

A
Figura 1.4
Crculo de centro O e raio OA

De fato, como estamos utilizando a linguagem de conjuntos ao invs de aquela de

Euclides, no h necessidade real de assumir este postulado; uma conseqncia da
teoria dos conjuntos que o conjunto de todos os pontos P com OP OA existe. Euclides
tinha em mente desenhar a circunferncia com centro O e raio AO, e este postulado diz
que tal desenho possvel, por exemplo, com um compasso. Analogamente, o
Postulado II permite estender um segmento AB desenhando o segmento BE com uma
rgua. Nosso modo de tratar purifica Euclides por eliminar todas as referncias ao
desenho. 4
4

Porm, um fascinante problema matemtico determinar que construes geomtricas so possveis

utilizando apenas rgua e compasso. S no sculo XIX foi possvel provar que problemas de construo
como os da trisseco de um ngulo arbitrrio, quadratura do crculo e duplicao do cubo eram
impossveis utilizando apenas rgua e compasso. Pierre Wantzel provou isto traduzindo o problema
geomtrico em um problema algbrico; ele provou que construes com rgua e compasso correspondem

8
Definio. A semi-reta AB o conjunto de pontos que pertencem reta AB :
aqueles pontos que pertencem ao segmento AB e todos os pontos C tais que B est entre
A e C. Dizemos que a semi-reta AB tem origem no ponto A e parte da reta AB .

Figura 1.5
Sem-reta AB

B
A

Definio. As semi-retas AB e BA so opostas se elas so distintas, tm a mesma

origem, e so parte da mesma reta AB = AC .

Figura 1.6
Sem-retas opostas

Definio. Um ngulo de vrtice A um ponto A junto com duas semi-retas

distintas no opostas de origem A (chamadas lados do ngulo).
B

Figura 1.7

ngulo com vrtice A

A
C

Utilizamos a notao

A,

BAC ou

CAB para este ngulo.

Definio. Se dois ngulos BAC e CAD tm um lado em comum AD e os

outros dois lados AB e AC so semi-retas opostas, os ngulos so suplementos um do
outro, ou ngulos suplementares.
D
Figura 1.8
ngulos Suplementares
B

Definio. Um ngulo
a ele.

BAD um ngulo reto se seu suplementar for congruente

a solues de certas equaes algbricas utilizando apenas as operaes de adio, subtrao,

multiplicao, diviso, e extrao de raiz quadrada. Para as equaes algbricas particulares obtidas do,
por exemplo, problema da trisseco de um ngulo arbitrrio, tal soluo impossvel porque razes
cbicas so necessrias. De fato, possvel trisseccionar ngulos utilizando outros instrumentos, tais
como, uma rgua com marca e compasso.

D
Figura 1.9
ngulos retos.
B

BAD

CAD

Ns conseguimos definir um ngulo reto sem recorrer a graus, utilizando a noo

indefinida de ngulos congruentes. Graus sero introduzidos formalmente no Captulo
4, embora ocasionalmente faamos referncia a eles em discusses informais.
Podemos agora enunciar o quarto postulado de Euclides.
Postulado IV de Euclides. Todos os ngulos retos so congruentes.
Este postulado expressa uma classe de homogeneidade; ainda que dois ngulos retos
possam estar muito longe um do outro, eles apesar disso tm o mesmo tamanho. O
postulado fornece, portanto, uma unidade de medida padro natural para ngulos. 5
O Postulado das Paralelas
Os quatro primeiros postulados de Euclides sempre foram facilmente aceitos pelos
matemticos. O quinto postulado (das paralelas), porm, foi altamente controverso at o
sculo XIX. De fato, como devemos ver posteriormente, consideraes de alternativas
para o postulado das paralelas de Euclides resultaram no desenvolvimento das
geometrias no euclidianas. Neste momento no iremos enunciar o quinto postulado em
sua forma original, como ela aparece nos Elementos. O motivo que queremos definir
nossos termos cuidadosamente para evitar dificuldades desnecessrias. Para maior
clareza, j fizemos algumas mudanas na apresentao de Euclides, tais como, chamar
segmentos (ngulos) de congruentes ao invs de iguais. Definir todos os termos
necessrios para tornar a verso original do postulado das paralelas de Euclides
compreensvel tomaria muito.A enuncia-lo at o Captulo 4.
Em lugar disso, apresentaremos um postulado mais simples (mostraremos depois ser
que equivalente ao original de Euclides). Esta verso algumas vezes chamada de
Postulado de Playfair porque ele est presente na introduo de John Plaiffair da
geometria euclidiana, publicada em 1795 embora fosse citado em aluso a introduo
de Proclus (410-485 d.C) que mais antiga. Ns o chamaremos postulado das paralelas
euclidiano porque ele distingue a geometria euclidiana das outras geometrias baseadas
em postulados das paralelas. A definio mais importante deste livro a seguinte:
Definio. Duas retas e m so paralelas se elas no se interceptam, i.e., se elas no
tm ponto em comum. Denotamos isto por
m.
Observe que estamos assumindo que as retas esto contidas em um mesmo plano
(por causa do nosso acordo de que todos os pontos e retas estariam sobre um mesmo
plano salvo quando dissssemos o contrrio). Observe tambm que a definio no diz
que as retas so eqidistantes, i.e. no diz que a distncia entre as duas retas a mesma
em todo lugar. No se iluda pelo desenho de retas paralelas no qual elas parecem ser
5

Ao contrrio, no existe medida padro natural para comprimento na geometria de Euclides. Unidades
de comprimento (p, metro, etc.) podem ser escolhidas arbitrariamente. Um fato notvel sobre a
geometria hiperblica, por outro lado, que ela admite unidade de medida padro natural para
compri mento. (ver captulo 6)

10
eqidistantes. Ns queremos ser rigorosos aqui e, portanto, no devemos introduzir em
nas provas hipteses que no tenham sido apresentadas explicitamente. Ao mesmo
tempo, conclua que retas paralelas no so eqidistantes. Ns no estamos nos
comprometendo com nenhuma das possibilidades. Neste momento, a nica coisa que
sabemos com certeza sobre retas paralelas que elas no se encontram.
Postulado das Paralelas Euclidiano. Para toda reta
e todo ponto P que no
pertence a existe uma nica reta m passando por P que paralela a .
P
Figura 1.10
Retas e m so paralelas

Porque este postulado foi to controverso? Parece bvio para voc, talvez porque
voc tenha sido condicionado a pensar em termos euclidianos. Porm, se considerarmos
os axiomas da geometria como abstraes da experincia, podemos perceber uma
diferena entre este postulado e os outros quatro. Os dois primeiros postulados so
abstraes de nossas experincias de desenhar com uma rgua; o terceiro postulado
provm da nossa experincia em desenhar com o compasso. O quarto postulado talvez
seja o menos obvio embora ele derive de nossa experincia em medir ngulos com o
transferidor (onde a soma de ngulos suplementares 180o, de modo que se os ngulos
suplementares so congruentes cada um deles deve medir 90o).
O quinto postulado diferente porque no podemos verificar experimentalmente se
duas retas se interceptam ou no, uma vez que desenhamos apenas segmentos, no retas.
Podemos prolongar os segmentos mais e mais para ver se eles se encontram, mas no
podemos prolong-los sempre. Nosso nico recurso verificar o paralelismo
indiretamente, utilizando outros critrios exceto a definio.
Qual o outro critrio para que seja paralela a m? Euclides sugeriu desenhar uma
transversal (i.e. uma reta t que intercepta
e m em pontos distintos), e medir os
ngulos internos e em um lado de t. Euclides predisse que se a soma dos ngulos
e fosse menor do que 180o, as retas (se prolongadas suficientemente) se
encontrariam do mesmo lado de t que os ngulos e . Este fato, o teor do quinto
postulado de Euclides.
t

Figura 1.11
m

O problema com este critrio para paralelismo que ele logicamente equivalente
ao postulado apresentado no comeo desta pgina (ver tambm a Equivalncia do
Postulado das Paralelas, Captulo 4). Assim, ns no podemos utilizar este critrio para
nos convencer da veracidade do postulado das paralelas seria um raciocnio circular.

11
O prprio Euclides reconhece a natureza questionvel do postulado das paralelas,
porque ele evita utiliza-lo o quanto pde (at provar a 29a proposio do Livro I).
Tentativas para Provar o Postulado das Paralelas
Lembre-se da suposio inicial de que um axioma to simples e intuitivamente
obvio que no h dvidas quanto a sua validade. Desde o comeo, porm, o postulado
das paralelas foi atacado por no ser suficientemente razovel para qualifica-lo como
uma conjectura que no precisa ser demonstrada.Por dois mil anos matemticos
tentaram deduzi-lo dos outros quatro postulados ou substitu-lo por outro postulado, um
mais evidente. Todas as tentativas para deduzi-lo dos quatro primeiros postulados ou
substitu-lo por um outro postulado no foram bem sucedidas porque a demonstrao
sempre exigia uma hiptese oculta que era injustificvel. O postulado substituto, que
pretendia ser mais evidente, revelava-se logicamente equivalente ao postulado das
paralelas, portanto no se ganhava nada com a substituio. Examinaremos estas
tentativas com detalhes no Captulo 5, porque elas so muito instrutivas. Por enquanto
considerarmos um dos esforos.
O francs Adrien Marie Legendre (1752-1833) foi um dos melhores matemticos de
sua poca, contribuindo com importantes descobertas para vrias reas da matemtica.
Ele era obcecado pela prova do postulado das paralelas por mais de 29 anos publicou
uma tentativa aps outra em diferentes publicaes do seu trabalho lments de
Gometrie. 6
Aqui est uma das tentativas:
Dado um ponto P sobre a reta . Baixe uma perpendicular PQ de P em a Q. Seja
m a reta que passa por Q e perpendicular a PQ . Ento m paralela a desde que e
m possuem uma perpendicular comum PQ . Seja n uma reta qualquer que passa por P
distinta de m e PQ . Devemos provar que n intercepta .
n
P

Figura 1.12

B
A

Seja PR uma semi-reta de n entre PQ e a semi-reta de m de origem P. Existe m

ponto Rno lado oposto de PQ que no contm R tal que QPR ' QPR . Ento Q
est no interior do ngulo RPR ' Como a reta passa pelo ponto Q interior a RPR ' ,
deve interceptar um dos lados deste ngulo. Se intercepta PR , ento certamente
intercepta n. Suponhamos que intercepta PR ' m um ponto A. seja B o nico ponto

A traduo de Davies dos lments foi o livro didtico de geometria mais popular nos Estados Unidos
durante o sculo XIX. Legendre mais conhecido pelo mtodo dos mnimos quadrados em estatstica, a
lei da reciprocidade quadrtica em teoria dos nmeros, e os polinmios de Legendre em equaes
diferenciais. Suas tentativas para provar o postulado das paralelas levou a dois teoremas importantes da
geometria absoluta (ver Captulo 4).

12
pertencente a PR tal que PA PB . Ento PQA PQB(LAL) ; portanto
um ngulo reto, logo B pertence a (e n).

PQB

Voc deve achar que este argumento bastante plausvel. Como voc poderia
mostrar que ele est correto? Voc teria que justificar cada etapa, primeiro definindo
cada termo cuidadosamente. Por exemplo, voc teria que definir o que significa duas
retas serem perpendiculares caso contrrio como voc justificaria a afirmao de
que as retas
e m so paralelas porque elas tm uma perpendicular comum? (voc
primeiro teria que provar isto como um teorema separado, se voc pudesse). Voc teria
que justificar o critrio lado-ngulo-lado (LAL) de congruncia na ltima afirmao.
Voc teria que definir o interior de um ngulo, e provar que uma reta que passa pelo
interior de um ngulo deve interceptar um dos seus lados. Na prova de todas estas
coisas, voc teria que estar seguro de que utilizou apenas os quatro primeiros postulados
e no utilizou nenhuma afirmao equivalente ao quinto postulado, caso contrrio o
argumento seria circular.
Portanto existe muito trabalho a ser feito antes de podermos detectar alguma falha.
Nos prximos captulos faremos este trabalho preparatrio para podermos decidir
seguramente se a prova proposta por Legendre vlida ou no. (o argumento de
Legendre contm vrias afirmaes que no podem ser provadas dos quatro primeiros
postulados.) Como um resultado deste trabalho ns estaremos mais preparados para
entender os fundamentos da geometria euclidiana. Ns descobriremos uma grande parte
desta geometria independe da teoria das paralelas e igualmente vlida na geometria
hiperblica.