Matemtica Universitria, N.

6, Dezembro de 1987, 25-48,

Geometrias No-Euclidianas'
Manfredo Perdigo do Carmo

Instituto de M atemtica Pura e Aplicada - CNPq

Estrada Dona Castorina 110, Jardim Botnico
22.460 - Rio de Janeiro, RJ

1. Perspectiva H istrica
Como se sabe, Euclides foi o primeiro a apresentar, de ma
neira sistemtica, a M atemtica como cincia dedutiva. Isto signi
fica que toda afirmao deve ser deduzida logicamente de outras
afirmaes mais simples, e assim sucessivamente. E claro que no
comeo dessa cadeia devem existir algumas afirmaes no de
monstradas, que Euclides chamou de postulados (aquilo que se
pode). Euclides procurou escolher como postulados afirmaes
que, por sua simplicidade, seriam aceitas por qualquer pessoa de
bom senso e que eram, em um certo sentido, evidentes por si mes
mas.
Os quatro primeiros postulados de Euclides, enunciados a se
guir (v. |6 ]), satisfazem plenamente s condies de simplicidade
e evidncia acima mencionadas (no 2 deste artigo apresentare
mos uma axiomtica completa da Geometria; por enquanto, nos
contentaremos com a verso de Euclides):
1

. Dois pontos determinam uma reta.

*Este artigo foi publicado inicialmente no nmero especial de abril de 1979

do Noticirio da SBM. A verso atual inclui pequenas modificaes feitas a
partir de sugestes de Elon Lages Lima, a quem agradeo.

25

26
2. A partir de qualquer ponto de uma reta dada possvel
marcar um segmento de comprimento arbitrrio.
3. E possvel descrever um crculo com centro arbitrrio e raio
arbitrrio.
4. Todos os ngulos retos so iguais. (O ngulo reto defi
nido do seguinte modo: se duas retas que se cortam forman quatro
ngulos iguais, o ngulo comum assim determinado chamado
reto.)
O quinto e ltimo postulado, entretanto, enunciado por Euclides da seguinte maneira:
5. Se uma reta r corta duas outras retas r\ e T2 (no mesmo
plano) de modo que a soma dos ngulos interiores de um mesmo
lado de r menor do que dois retos, ento r\ e r 2 , quando prolon
gadas suficientemente, se cortam daquele lado de r. (Fig. 1 ).

Figura 1
Postulado 5: se a + /? < tt, ento ri e se encontram.
E claro que o prprio Euclides deve ter considerado o Postu-

27
lado 5 como pouco evidente. Isto confirmado pelo fato de que
ele retardou o quanto possvel o uso deste postulado. Por exem
plo, possvel provar sem utilizar o Postulado 5, que a soma dos
ngulos internos de um tringulo no excede dois retos (v. [8 ] p.
38); o mesmo se passa com os trs casos clssicos de igualdade
de tringulos. Em verdade, Euclides demonstra as 26 primeiras
proposies do Livro I dos Elementos (v. [6 ]) sem recurso ao Pos
tulado 5.
Existem vrias formas equivalentes do Postulado 5, das quais
a mais famosa atribuida a Playfair (que em 1795 publicou uma
edio dos Elementos de Euclides) e que se enuncia da maneira
seguinte:
5. Por um ponto p fora de uma reta dada r passa nao mais
que uma paralela a r. (Euclides define retas paralelas como aque
las que prolongadas indefinidamente no se encontram.)
Convm observar que o fato de passar por p alguma paralela
reta r era conhecida por Euclides e pode ser deduzido dos quatro
primeiros postulados. O ponto essencial do enunciado acima
o fato de passar por p apenas uma tal paralela. Provavelmente,
Euclides conhecia o enunciado 5, e a razo pela qual preferiu apre
sentar o seu postulado na forma 5 pode estar relacionada com o
fato de que a forma 5 enuncia um fato negativo, o que os gregos
preferiam evitar.
Seja como for, o Postulado 5 (chamado o Postulado das pa
ralelas) definitivamente no-evidente e, durante vrios sculos,
gemetras de todas as origens tentaram demonstr-lo a partir dos
outros postulados. Embora sem aplicaes prticas imediatas, o
problema teve, como logo veremos, implicaes filosficas e ma
temticas da maior importncia.
E conveniente observar que Euclides usava em seus argumen
tos, alm dos postulados mencionados, outros fatos que eram con
siderados na poca como inteiramente bvios e que Euclides no
se preocupou em explicitar. Em verdade, uma tal preocupao no
tempo de Euclides no seria natural. A concepo filosfica da
poca, influenciada principalmente pelas idias de Plato, consi

28
derava as entidades matemticas como possuindo uma existncia
a priori e fornecendo um modelo exato para o mundo real. A
Geometria era, portanto, absoluta e devia ser possvel base-la em
fatos simples e intuitivos. Foi precisamente a anlise do Postulado
das paralelas, e o fracasso de todas as tentativas de demonstrlo, que forou lentamente uma nova concepo da Matemtica em
que todos os elementos de uma teoria devem ser cuidadosamente
explicitados. Voltaremos ao assunto adiante.
A maior parte das tentivas de demonstrao do Postulado 5
admitiam fatos que ou eram equivalentes a ele ou no podiam
ser demonstrados usando unicamente os outros quatro postula
dos. Por xemplo, Proclus (500 d.C.) admitia que a distncia
entre duas paralelas limitada; Wallis (1616-1703) admitia que
dado um tringulo existe um tringulo semelhante a ele com rea
arbitrria; Legendre (1752-1833) admitia que dado um ngulo e
um ponto p no seu interior, possvel passar por p uma reta que
encontra os dois lados do ngulo (Fig. 2). No passaremos em
revista os detalhes destas tentativas, contentando-nos em indicar
ao leitor curioso as referncias [l] e [4].

Figura 2
O fato de por todo p no interior do ngulo (6c) passar uma reta
que corta b e c equivalente ao Postulado 5.

Um dos esforos mais bem orientados nesta direo devido a

G. Saccheri (1667-1733), que considerou a seguinte situao. Seja

29
A B C D um quadriltero, onde os ngulos e B so retos e o lado
AC igual ao lado BC (Fig. 3). Saccheri provou que os ngulos
C e D so iguais (v. [4], p, 39). Se ambos so retos, possvel
concluir da o Postulado 5. Restaria provar que as hipteses de
serem ambos agudos ou ambos obtusos levaria a uma contradio.

B
F ig u ra 3

O quadriltero de Saccheri

A hiptese de ambos C e D serem ngulos obtusos leva fa

cilmente a uma contradio com os quatro outros postulados (v.
[4], p. 42). Saccheri jamais conseguiu demonstrar corretamente
que a hiptese de serem ambos C e D agudos leva igualmente a
uma contradio. O ponto im portante do seu trabalho que na
tentativa de demonstrar este fato, ele obteve vrias proposies
interessantes que decorrem de se negar o Postulado 5. Concluise, por exemplo, nesta hiptese, que duas retas paralelas no so
equidistantes: ou elas se aproximam assintoticamente, ou possuem
uma normal comum, a partir da qual se afastam indefinidamente
(v. Fig. 4).
Lambert (1728-1777) retomou a hiptese do ngulo agudo de
Saccheri e tentou, de maneira mais cuidadosa, obter uma con
tradio. Da mesma maneira que Saccheri, ele obteve proposies

30
estranhas, porm nenhuma contradio. Entre as proposies as
sim obtidas, deve ser destacada aquela que afirma que a dife
rena para dois ngulos retos da soma dos ngulos internos de
um tringulo no zero, como na geometria usual, porm propor
cional rea do tringulo; um fato paradoxal que a constante de
proporcionalidade assim obtida parecia ser uma constante abso
luta e universal.

paralela

] normal com u m

I
-4----------------------------(b)

(a)

Figura 4

Comportamento das paralelas quando se nega o Postulado 5.

Aparentemente, o primeiro a perceber, com algumas hesitaes,

a natureza real do poblema foi Gauss. Em uma carta a Olbers
em 1817 (v. [9], p. 332), Gauss menciona estar convencido que
a necessidade da Geometria (euclidiana) jamais poderia ser de
monstrada e que, em contraste com a Aritmtica (que era para
Gauss uma concepo a priori), a Geometria deveria ser classifi
cada junto com a Mecnica (uma cincia experimental). Isto'era
na poca uma concepo filosoficamente audaciosa pois contradi
zia frontalmente as idias de Kant.
Que Gauss estava de posse das idias fundamentais das geometrias no euclidianas confirmado por uma carta escrita a
Taurinus em 1824 (v. |9), p. 341-342), de qual extramos a se-

31
guinte citao A hiptese que a soma dos ngulos internos de
um tringulo menor do que 180^ conduz a uma geometria sepa
rada, totalmente diferente de nossa geometria (euclidiana), que
em si prpria inteiramente consequente, e que desenvolvi de ma
neira inteiramente satisfatria para mim, de tal modo que posso
nela resolver qualquer problema, exceto a determinao de uma
constante que no pode ser fixada a priori.
Como veremos adiante, as concepes de Gauss estavam re
lacionadas com suas descobertas em Geometria Diferencial. Sem
querer entrar em detalhes no momento, mencionaremos apenas o
seguinte fato. Gauss havia provado que nas superfcies de curva
tura negativa constante (por exemplo, a superfcie da Fig. 5), se
considerarmos como retas as curvas que realizam a menor distncia
(medida na superfcie) entre dois pontos (tais curvas so chamadas
geodsicas) ento a diferena para dois retos da soma dos ngulos
internos de um tringulo traado na superfcie proporcional
rea do tringulo; a constante de proporcionalidade precisa
mente o valor absoluto da curvatura. Este resultado, que um
caso particular de um resultado hoje conhecido como o teorema
de Gauss-Bonnet (v. [2], p. 264), coincidia com o resultado de
Lambert mencionado anteriormente, e indicava a possibilidade de
existncia de uma geometria onde no fosse vlido o Postulado das
paralelas.

Figura 5

Uma superfcie com curvatura constante negativa.

32
Gauss, entretanto, nunca publicou suas concluses. Escre
vendo a Bessel em 1829 (v. [9], p. 343) ele menciona que talvez
nunca torne pblico os seus resultados por temer a gritaria dos
becios.
A construo explcita de uma geometria, rejeitando o Postu
lado 5 e obtendo sistematicamente os resultados entrevistos por
Saccheri, Lambert e Gauss, foi publicada de maneira indepen
dente e quase simultnea por N. Lobachewski (russo) em 1829
e J. Bolyai (hngaro) em 1832 (Tradues dos trabalhos origi
nais de Lobachewski e Bolyai se encontram nas referncias [l] e
[9]). Tal geometria hoje chamada geometria hiperblica, e sua
existncia mostra que o Postulado 5 independente dos outros
postulados. Como j havia sido observado por Lambert, a geome
tria hiperblica contm uma certa constante k e se aproxima da
geometria euclidiana quando A: 0. Deste modo, a determinao
de qual geometria a mais adequada para descrever o mundo real
, como havia previsto Gauss, um problema experimental.
A independncia do Postulado das paralelas abriu imensas
perspectivas ao desenvolvimento da geometria. Era natural proce
der em seguida anlise crtica dos outros postulados. Entretanto,
como Gauss havia tambm previsto, a aceitao destas novas idias
foi extremamente lenta e feita com grande relutncia. S em 1868,
Beltrami provou (com restries) que a geometria hiperblica no
poderia conter uma contradio que j no estivesse na geometria
euclidiana.Voltaremos ao trabalho de Beltrami dentro em pouco.
Antes, precisamos mencionar o extraordinrio trabalho de Riemann em 1854; Sobre os fundamentos nos quais se assenta a
geometria ([9], p. 461-497), que se mostrou pioneiro na atitude
crtica que iria dominar a geometria dcadas mais tarde. Segundo
Riemann, o objetivo da geometria tratar de modelos gerais aos
quais se podem adicionar hipteses particulares (as de Euclides,
por exemplo), a validade das quais verificada experimentalmente
pela Fsica (v. [9], p. 497). Como um exemplo de modelo geral,
Riemann desenvolveu as idias principais do que hoje chamamos
Geometria Riemanniana; com hipteses adicionais, tal geometria
reobtm a geometria euclidiana, a geometria hiperblica e uma ou
tra geometria, chamada elptica, sobre a qual falaremos adiante.

33
O trabalho de Riemann s foi publicado em 1868. Neste
mesmo ano, Beltrami publicou o trabalho que mencionamos an
teriormente, onde mostrou que em uma superfcie de curvatura
negativa constante, tomando as geodsicas como retas, todos os
resultados obtidos por Lobachewski eram verificados. Isto fornecia
um modelo concreto para a geometria hiperblica e mostrava que
uma tal geometria era no-contraditria.
O modelo de Beltrami possuia, entretanto, um defeito. To
das as superfcies de curvatura negativa constante conhecidas na
poca possuiam certas arestas (v. Fig. 5); isto impedia que algu
mas geodsicas pudessem ser prolongadas indefinidamente, o que
contradiz o Postulado 2. Beltrami parece no ter se preocupado
com esta objeo. No irrazovel supor que Gauss conhecia tanto
o resultado de Beltrami como a objec mencionada. O problema
que as arestas de uma superfcie de curvatura negativa constante
proveem do fato de elas estarem colocadas em (neste caso, tais
arestas sempre existem, como Hilbert provou em 1901, v. [2], p.
446). Como o conceito de superfcie abstrata (isto sem relao
com o R^), que pode resolver a objeo acima, no era conhecido
por Gauss, a sua hesitao em publicar suas concluses torna-se
compreensvel.
Um modelo mais satisfatrio da geometria hiperblica foi obti
do por F. Klein em 1871. O modelo de Klein est relacionado com
os seus trabalhos sobre a geometria projetiva (v. [9], p. 616-645).
Apresentaremos adiante um modelo da geometria hiperblica que
foi introduzido por Poincar em fins do sculo passado. A com
preenso detalhada do modelo de Poincar requer elementos de
geometria diferencial. E curioso observar que Poincar introdu
ziu este modelo pela necessidade de resolver problemas ligados
teoria das funes de variveis complexas. As geometrias noeuclidianas encontravam assim uma aplicao inesperada.
Provavelmente a aplicao mais importante das geometrias
no-euclidianas foi a sua influncia na concepo matemtica do
sculo vinte. A existncia de tais geometrias mostrou a necessi
dade de se raciocinar com rigor e manter a intuio sob controle.
Sob a influncia de Cauchy e Weierstrass, uma crtica anloga vi
nha sendo feita, simultaneamente, Anlise. Isto provocou o de

34
senvolvimento do mtodo axiomtico, que dominou boa parte da
matemtica durante as primeiras dcadas deste sculo, e permitiu
a criao de teorias matemticas com um alto nvel de abstrao.
A prpria geometria euclidiana foi cuidadosamente analisada por
Hilbert em 1899 (v. [9], p. 852-899) e fundamentada de modo
a evitar todas as ambiguidades e lacunas que se encontravam em
Euclides. Uma exiomtica recente da Geometria, devida a Pogorelov [8 ], ser apresentada adiante.
O mtodo axiomtico, instrumento na criao do qual a anlise
do Postulado das paralelas desempenhou um papel importante,
hoje indispensvel na Matemtica. Ele mostrou que existe uma
certa liberdde na criao de entes matemticos. Esta liberdade,
entretanto, no ilimitada; caso contrrio, a M atemtica se es
facelaria em milhares de pedaos disjuntos e incompreensveis. O
ponto que o mtodo axiomtico apenas um mtodo til, e no
um guia criao matemtica. Tal guia continua sendo, como
sempre foi, a soluo de problemas bsicos e fundamentais da Ma
temtica. As entidades criadas fora desse contexto tm tido uma
vida efmera; aparentemente, como diria Plato, elas no exis
tem no mundo das idias. Deste modo, o problema filosfico da
existncia ou no da entidades matemticas a priori, continua em
aberto. Este , entretanto, um outro assunto, que a natureza da
presente exposio no nos permite abordar.

2. U m m odelo da G eom etria H iperblica

Passamos agora a apresentao do modelo de geometria hi
perblica introduzido por Poincar. Sero requeridos alguns co
nhecimentos de Geometria Diferencial, para os quais daremos re
ferncias explcitas.
Iniciaremos com uma verso mais rigorosa dos postulados da
geometria plana que encontrada em Euclides. Vrias escolhas so
possveis. Decidimo-nos pela recente verso simplificada de Pogorelov [8 ], que possui a vantagem adicional de poder ser utilizada
no ensino bsico da geometria. Uma axiomtica que difere ligei
ramente da verso original de Hilbert se encontra em G. Veriest
10], onde tambm se acha um tratamento elementar e completo

35
da geometria hiperblica.
Os postulados de Pogorelov para a geometria plana sao orga
nizados em seis grupos. Os conceitos fundamentais so ponto e
reta; o conjunto de todos os pontos chamado plano. Os pontos
sero representados por letras maisculas A, B, C etc., e as retas
por letras minsculas a, 6 , c, etc.
Os postulados do primeiro grupo so chamados postulados de
incidncia:
li- Dada uma reta a, existem pontos que pertencem a a e
pontos que no pertencem a a.
I2 . Dados dois pontos A e B, existe uma nica reta (indicada
por AB) tal que A 6 AB e B AB.
No segundo grupo se encontram os postulados de separao:
11]. Dados trs pontos em uma reta, um, e apenas um, deles
separa os outros dois.
- . Um ponto de uma reta divide esta reta em dois subconjun
tos chamados semi-retas. Dois pontos de uma mesma sem i-reta
no esto separados pelo ponto de diviso. Dois pontos de semiretas distintas esto separadas pelo ponto de diviso.
11 2

Estabelecido o conceito de separao pelos postulados acima,

podemos dizer que um ponto C de uma reta a est entre os pontos
^ e B de a se C separa A e B. Define-se o segmento A B de a
como o conjunto dos pontos de a que esto entre A e B.
II3 . Uma reta divide o plano em dois subconjuntos chamados
semi-planos. Se as extremidades de um segmento esto em um
mesmo semi-plano, o segmento no intersecta a reta de diviso.
Se as extremidades de um segmento pertencem a semi-planos dis
tintos, o segmento intersecta a reta de diviso.
E conveniente chamar um conjunto dado de pontos e (ou) re-

36
tas uma figura do plano. Por definio, ngulo a figura formada
por duas semi-retas a e b com origem comum; o ngulo indi
cado por {ab) e a origem comum das sem i-retas a e b chamado
o vrtice de [ab). O grupo seguinte de postulados associa uma
noo de medida a segmentos e ngulos.
IIli. A todo segmento A B pode ser associado um nmero
real positivo que chamado o comprimento de A B (e indicado
por m{AB)).
1112 . Se o ponto C da reta A B est entre A e B^ ento
m{AB) = m{AC) + m{CB).
1113 . A todo ngulo (ab) pode ser associado um nmero real
positivo < 180 que a medida do ngulo em graus (indicada por
m{ab)). O ngulo formado por duas sem i-retas que pertencem a
uma mesma reta (= ngulo raso) mede 180'^.
Convm dizer que uma sem i-reta c que tem origem no vrtice
de um ngulo [ab] est entre a e b se c intersecta um segmento
cujos extremos esto em a e b.
1114 . Se a sem i-reta c est entre a e 6 , ento m[ab) = m[ac) +
m (c 6 ).
O quarto grupo de postulados introduz a noo de continui
dade em geometria.
IV 1 . Dado um nmero real positivo m e uma sem i-reta c,
possvel construir a partir da origem da sem i-reta um, e um nico,
segmento de comprimento m.
IV 2 . Dado um real positivo m < 180 e uma sem i-reta a,
possvel construir um ngulo [ab] cuja medida em graus m.
,
Por definio, um tringulo uma figura formada por trs
pontos A, B e C no pertencentes a uma mesma reta. Os segmen

37
tos AB, AC, C B so chamados lados do tringulo, que indicado
por ABC. Os ngulos formados pelos lados nos vrtices A, B e
C so indicados por A, B e C, respectivamente. O quinto grupo
contm um nico postulado, que um dos casos clssicos de igual
dade de tringulos.
V. Se em dois tringulos A B C e AiBiC i tem-se
m[A) m ( i), m{AB) = m {AiBi) e m{AC) m{AiCi)
ento:
m{B) = m(Bi), m{C) = m{Ci)

m{AB) = m(BiCi).

Finalmente, temos o Postulado das paralelas, que se enuncia

em forma de Playfair:
VI.
Por um ponto p que no pertence a uma reta c pode se
traar no mais de uma paralela a c.
A axiomtica da geometria que acabamos de apresentar
muito mais cuidadosa que a de Euclides. Os postulados de se
parao no estavam explcitos em Euclides, que tambm admitia
implicitamente as idias de medida, continuidade e o Postulado V.
O Postulado V significa que na geometria considerada existe uma
tal quantidade de movimentos (isometrias, na linguagem da Geo
m etria Diferencial) que sempre possvel deslocar um no outro,
sem deformaes, dois tringulos nas condies deste postulado.
Em termos de Geometria Diferencial, tal postulado implica que s
podemos construir geometrias naquelas superfcies S com a pro
priedade que dados dois pontos p, q E S, existe uma isometria
de S levando p em g; pelo Teorema egregium de Gauss ([12], p.
234), isto implica que S tem curvatura constante.
Construiremos agora um modelo de uma geometria onde va
lem todos os postulados acima menos o das paralelas. O espao
ambiente ser o semi-plano superior aberto.
=

y > 0 }.

38
Em
introduzimos uma maneira de medir comprimentos de
vetores pela seguinte regra: se o vetor as tem origem (a:, y) e
componentes
ento o comprimento \w\ de w definido por
(Fig. 6 ).
\ w \

Figura 6

No modelo de Poincar, o compiniento do vetor w dado por

ji(;| = [\/u^ +

Intuitivamente, como se medssemos comprimentos de veto

res com uma rgua varivel, que exatamente a rgua euclidiana
no ponto (0 , 1 ), e cujo comprimento em um ponto (x,y) o da
rgua euclidiana multiplicado por y.
Do ponto de vista da Geometria Diferencial, estamos introdu
zindo em
uma primeira forma fundamental, cujos coeficien
tes so E \/y^^ F = 0, G = l/y'^- Como a curvatura Gaussiana
K de uma superfcie s depende da primeira forma fundamental,
podemos pensar em {R^)'^ como uma superfcie abstrata e calcular
K pela frmula, (v. [2], p. 237).
2y/G[WGJv

\y/G/n

Como K constante, estamos dentro da restries mencionada

anteriormente. No que se segue, convm indicar {R'^)'^, com a

39
maneira acima definida de medir comprimentos de vetores, por
H.
O comprimento de uma curva em H definido, como usual
mente, pela integral do comprimento do vetor tangente curva.
A distncia entre dois pontos p, q E H definida como o nfimo
dos comprimentos das curvas que ligam p a q.
Em Geometria Diferencial, as curvas que minimizam o compri
mento entre dois pontos prximos de uma superfcie so chamadas
geodsicas da superfcie. As geodsicas dependem s da primeira
forma fundamental e tem, portanto, sentido falar em geodsicas
de i/. E possvel mostrar (v. [2], p. 432) que as geodsicas de
H so os crculos euclidianos com centros no eixo Ox, e as retas
euclidianas perpendiculares a Ox (Fig. 6 ).
Vamos agora mostrar que os Postulados de I a V de Pogorelov
so satisfeitos em uma geometria na qual pontos so os pontos de
H e retas so as geodsicas de H .
O leitor verificar sem dificuldades os Postulados dos grupos
I, II e III. A primeira dificuldade aparece em verificar o Postulado
IV 1 . Em termos de Geometria Diferencial, isto equivale a provar
que a superfcie abstrata H completa ([2], p. 325), isto , qual
quer geodsica tem comprimento infinito.
A demonstrao deste fato no difcil. Consideremos, por
exemplo, um crculo de centro xq pertencente ao eixo Oj;. Escre
vendo
X - xq = p cos 6, y = P sen9,
obteremos coordenadas polares {p,0) para H, nas quais os coefi
cientes da primeira forma fundamental so: (v. [2], p. 431):
= 1 ,

f = 0. G = ^

sen^0
Como o crculo considerado dado por p = const., o seu compri
mento t a partir de algum 9q
p^sen^O^

= lim /

---sen^- > lim / ---sen^-dd\ = oo;

o mesmo argumento se aplica s retas verticais, o que completa a
verificao do Postulado IV i .

40
O leitor provar facilmente o Postulado IV 2 se atentar para
a seguinte observao. A medida do ngulo entre dois vetores no
modelo de Poincar igual medida euclidiana deste ngulo, isto
decorre do fato que em cada ponto todos os vetores foram multi
plicados por um mesmo fator positivo (a saber, l/y ) e, portanto,
o cosseno do ngulo entre estes vetores no se alterou.
A demonstrao do Postulado V, isto , a existncia de mui
tas isometrias em H , pode ser feita de vrias maneiras. Uma
delas, que suficientemente geral para ser aplicada em outras si
tuaes, utilizar o Teorema de Minding em Geometria Diferencial
(v. [2 ], p. 288) que afirma que dados dois pontos p e q e uma su
perfcie S 'de curvatura constante, existe uma isometria f : U V
de uma vizinhana U C S de p em uma vizinhana V C S e q
de modo que um par de vetores tangentes em p, arbitrrios e no
colineares, levado em um par arbitrrio de vetores tangentes em
q. As vizinhanas U e V dadas pelo Teorema de Minding so
vizinhanas onde valem coordenadas polares com origens em p e
9 , respectivamente (v. [2 ], p. 288). E possvel mostrar que, em
H , as coordenadas polares, com origem qualquer, so vlidas em
todo o H . Portanto U = V = H , e a. isometria considerada
uma aplicao f : H ^ H . O Postulado V decorre imediatamente
destas consideraes.
Finalmente, imediato verificar que o Postulado das paralelas
no vlido em H . Em verdade, de um ponto fora de uma reta
passa uma infinidade de paralelas a uma reta dada (v. Fig. 7).
Desta maneira, fica definitivamente estabelecida a existncia
de uma geometria onde todos os postulados usuais da geome
tria plana, menos o das paralelas, so verificados. Portanto, a
aceitao ou rejeio de um tal postulado , do ponto de vista
lgico, uma mera questo de escolha.
O modelo que acaba
mos de apresentar tem K = const. = 1. Se multiplicarmos todos
os comprimentos de nosso modelo por uma constante positiva l/c,
fcil verificar, usando a expresso de K acima apresentada, que
K fica multiplicada por c^. Isto no afeta os argumentos que
apresentamos para a verificao dos Postulados de I a V (e a novalidade de VI), e mostra que, dada uma constante c^, existe uma
geometria no euclidiana com curvatura K = c^. Portanto, a

41
geometria euclidiana [K = 0) pode ser considerada como um caso
limite das geometrias no-euclidianas quando i > 0 .
paralelas
a reta r

Figura 7

O Postulado das paralelas no se verifica no plano de Poincar.

Uma conseqiincia surpreendente das consideraes acima

que em uma geometria hiperblica da curvatura K = -c'^, pode
mos tomar o valor l/c como uma unidade de comprimento, isto ,
uma geometria hiperblica possui uma unidade de comprimento
intrnseca . Isto contrasta fortemente com o caso euclidiano,
onde uma tal unidade deve ser escolhida por meio de uma con
veno, e causou vrias controvrsias entre os pioneiros das geo
metrias no-euclidianas.
Esta exposio no estaria completa sem uma meno, ainda
que breve, do modelo de Klein. Tal modelo obtido tomando um
disco aberto D de raio um do plano, isto ,
> = { (!,!/)

x + y ^ < l ] ,

e introduzindo em D uma primeira forma fundamental (maneira

42
de medir comprimentos de vetores) dada por
1
E=
F = - xxy
G
=
_
0.2 _ y 2 )2
2 - y 2)2
(1
(1
(1
No difcil mostrar que as geodsicas desta superfcie abstra ta so dadas por equaes lineares em x e y, isto , so as
interseces das retas euclidianas do plano com D.

Figura 8

O modelo de Klein

possvel mostrar que a distncia entre dois pontos p e de

D, na mtrica considerada, dada por
qn
d[p,q) = 2- log--------h
qm pn
onde m e n so os pontos em que a reta euclidiana pq corta a
fronteira de D (v. Fig. 8 ). Decorre da que se q se aproxima da
fronteira de D, ento d{p,q) oo.
E possvel passar do modelo de Poincar para o modelo de
Klein por uma transformao que preserva comprimentos (isometria ). Contentar-nos-emos em descrever geometricamente uma tal

43
transformao (v. Fig. 9): o semi-plano H aplicado em um
hemisfrio
por meio de uma projeo estereogrica (v. [2 ],
p. 67) com origem em um ponto do equador de 5"^; por sua vez,
5"^ levado no interior de um disco D por meio de uma projeo
ortogonal.

Figura 9

Isometria de H com o modelo de Klein D : H levado, por uma

projeo esterogrfica de polo N , no hemisfrio , que
projetado ortogonalmente sobre D.

44
No modelo de Poincar, os ngulos so iguais aos ngulos eu
clidianos. Por outro lado, o modelo de Klein oferece a vantagem
de representar as geodsicas por retas. A convenincia de um ou
outro modelo depende do problema considerado. O leitor poder
achar interessante tomar, por exemplo, a referncia [1 0 ] e tentar
interpretar os resultados que a aparecem em algum dos modelos
mencionados. Convm alert-lo, entretanto, que para um tra
balho medianamente completo, necessrio desenvolver em mais
detalhes os modelos apresentados (em particular, a descrio das
isometrias destes modelos foi deixada inteiramente de lado). Ve
jamos alguns exemplos simples.
Os crculos da geometria hiperblica (definidos como o lugar
geomtrico dos pontos cuja distncia a um ponto dado constante)
so perpendiculares s geodsicas radiais (v. Lema de Gauss em
[2], p. 288) e so, no modelo de Poincar, crculos no sentido usual
(Fig. 10). Alm disto, os crculos que passem por um ponto fixo

Figura 10

Crculos e geodsicas radiais no modelo de Poincar.

e cujos centros tendem para o infinito ao longo de uma geodsica

no tendem, como na geometria euclidiana, para uma reta mas
para uma curva, chamada horociclo, que no modelo de Poincar

45
representado por um crculo tangente ao eixo Ox. Para maiores
detalhes sobre horocclos e outras curvas importantes da geometria
hiperblica, veja-se o captulo V de [11].
Um outro exemplo interessante o seguinte. Considere um
modelo da geometria hiperblica de curvatura K = const. < 0
e faa
Seja p um ponto fora de uma reta r e seja
d a distncia (hiperblica) de p a r. Por p passam vrias retas
que no encontram r (isto , paralelas a r ) . O conjunto de tais
retas preenche um ngulo, cujo complementar, indicado por 7c{d),
chamado o ngulo de paralelismo da Geometria em p relativamente
a reta r. Se a geometria fosse euclidiana, 7r[d) = 90^^. No nosso
caso, possvel calcular que
A frmula acima desempenhou um papel fundamental nas primei
ras investigaes sobre as geometrias nao-euclidianas e d uma
idia precisa da distribuio das paralelas em funo de e de k:
a medida que p se afasta de r, a quantidade de paralelas a r
passando por p aumenta; por outro lado, se k ^ oo tal quanti
dade tende para zero em todo p, e a geometria se aproxima de
Geometria Euclidiana.
Para concluir, gostaramos de fazer algumas observaes.
Primeiro, o leitor deve ter estranhado a aparente preferncia
da natureza pelo sinal negativo da curvatura. Que a curvatura
seja constante uma exigncia razovel, se queremos deslocar
tringulos sem deformaes; ou como diziam os gregos, se quere
mos que o espao seja igual a si mesmo em todos os seus pontos .
Entretanto, por que negativa? Em verdade, possvel construir
geometrias cujos modelos so superfcies de curvatura constante
positiva e nas quais o Postulado das paralelas se enuncia afirmando
que de um ponto fora de uma reta no se pode traar paralela
alguma a esta reta. E necessrio, entretanto, modificar convenien
temente os outros postulados. De acordo com tais modificaes,
obter-se ou a geometria esfrica (cujo modelo uma esfera) ou
a geometria elptica (cujo modelo uma esfera com os pontos
antpodas identificadas, i.., o plano projetivo real). Tais geome
trias foram essencialmente introduzidas no trabalho de Riemann

46
mencionado anteriormente. No entraremos aqui nos detalhes,
referindo-nos a [10], Gap. XI.
Neste contexto, deve ser explicitamente mencionado que as
geometrias esfrica e elptica no satisfazem s condies clssicas
de uma geometria no-euclidiana, isto , uma geometria na qual
os postulados de Euclides, com a nica exceio do das parale
las, sejam verificados. Neste sentido estrito, uma geometria noeuclidiana s ocorre com curvatura negativa constante.
Segundo, convm observar que em tudo o que fizemos, a res
tries dimenso dois foi simplesmente por convenincia de ex
posio. Por exemplo, um modelo de Poincar em dimenso trs
facilmente construdo tomando o semi-espao {{x,y, z) G
z>
0 } e definindo como comprimento do vetor w = [u,v,t) no ponto
{x, y, z) o valor

,kt>|,= ------------------\/u2 +
z
Para estender os mtodos de Geometria Diferencial das su
perfcies a esta situao, conveniente seguir as idias de Riemann
e definir uma generalizao da noo de superfcie abstrata que
hoje chamamos variedade diferencivel de dimenso n (v. [2], Gap.
5, Sec. 10). Introduzindo uma maneira de medir comprimentos de
vetores tangentes em uma variedade diferencivel, obteremos o que
hoje chamamos uma variedade Riemanniana, onde possvel defi
nir geodsicas, ngulos, isometrias e todos os conceitos necessrios
ao desenvolvimento de uma geometria. A noo de curvatura, em
bora um pouco mais difcil, tambm pode ser introduzida (v. [2 ],
p. 442), e possvel mostrar que a constncia da curvatura uma
condio necessria e suficiente para a existncia de muitas iso
metrias. Deste modo se verifica que geometrias no-euclidianas
existem em qualquer dimenso e so modeladas pelas variedades
Riemannianas de curvatura constante. A determinao de todas
estas variedades envolve problemas delicados de teoria dos grupos,
ainda no completamente resolvidos.
Este ponto de vista permite explicar um fato curioso obser
vado pelos fundadores das geometrias no-euclidianas. Gonsidere
no modelo de Poincar da geometria hiperblica de dimenso trs,
a rotao euclidiana do plano de um horocclo em torno de um eixo

REFERENCIAS

47

de simetria do horocclo. Nesta rotao, o horocclo gera uma su

perfcie chamada horoesfera. Havia sido observado que a geometria
euclidiana de dimenso dois vale na superfcie da horoesfera, um
fato que parecia paradoxal. Do nosso ponto de vista, isto signi
fica simplesmente, que como superfcie do espao hiperblico, a
horoesfera adquire uma mtrica que tem curvatura identicamente
nula, o que pode ser verificado pelo clculo.
Finalmente, seria agora natural levantar a restrio que a cur
vatura seja constante e estudar geometrias mais gerais que as geometrias euclidianas clssicas. Isto feito em Geometria Riemanniana, que hoje um vasto domnio de pesquisas, e para uma
introduo da qual mencionamos [3]. Outras generalizaes so
possveis, mas isto um assunto muito amplo que demandaria
mais espao e tempo do que o que nos dado no momento.

Referncias
[l] R, BONOLA, Non-Euclidean Geometries, Dover, 1955.
|2] M. DO CARMO, Differential Geometry of Curves and Surjaces,
Prentice Hall, New Jersey, 1976.
[3] M. DO CARMO, Geometria Riemanniana, Projeto Euclides,
IMPA, em impresso.
[4] D. GANS, An Introduction to Non-Euclidean Geometry, Academic
Press, New York, 1973.
[5] M. GREENBERG, Euclidean and Non-Euclidean Geometries,
Freeman and Co., San Francisco, 1974.
[6] T. L. HEATH, The Thirteen Books of Euclides Elements, original
de 1908; republicado pela Dover em 1925, 3 volumes.
[7] G. MARTIN, The Fondations of Geometry and the Non-Euclidean
Plane, Intext Educational Publishers, New York, 1975.
[8] A. V. POGORELOV, Geometria Elemental, traduo espanhola do
russo, Ed. Mir, Moscou, 1974.
[9] C. E. SJSTEDT, Le Axiome de Paralleles (em Interlingue). Interlingue Fundation, Upsala (Sucia), 1968.

48

REFERENCIAS

[10] G. VERRIEST, Introduction a la Geomtrie Non-Euclidienne par

la Mthode lmentaire, Gauthier-Villars, Paris, 1951.
[11] L. F. CARVALHO DA ROCHA, Introduo Geometria Hi
perblica, XVI Colquio Brasileiro de Matemtica, IMPA, 1987.
[12] V. F. KAGAN, Lohachewski, Editorial Mir, Moscou, traduo es
panhola de 1986.

[4], [5] e [10], particularmente os dois ltimos, sao excelentes

textos para um curso sobre geometrias no-euclidianas ao nvel
de graduao. [7] um texto mais ambicioso, e excelente para
referncias histricas, [l] um clssico do assunto. [9] contm
tradues em Interlingue de quase todos os artigos importantes no
desenvolvimento das geometrias no-euclidianas. Finalmente, [6
a clssica traduo para o Ingls dos Elementos de Euclides, com
um volume imenso de notas e referncias histricas. [H] uma
exposio elementar onde se desenvolve em detalhes o modelo de
Poincar. [12] uma biografia de Lobachewski, com excelentes
sees expositrias sobre geometrias no-euclidianas.