Você está na página 1de 102

Geometrias No-Euclidianas e a Geometria da Relatividade

Eligio Carlos Eduardo

Trabalho de Concluso do Curso Superior de Licenciatura em Matemtica, orientado


pelo Prof. Me. Henrique Marins de Carvalho.

IFSP
So Paulo
2013
Dados Internacionais de Catalogao na Publicao (CIP)

Eduardo, Eligio Carlos.


Geometrias No-Euclidianas e a Geometria da Relatividade /
Eligio Carlos Eduardo. - So Paulo: IFSP, 2013.
101f

Trabalho de Concluso do Curso Superior de Licenciatura em


Matemtica - Instituto Federal de Educao, Cincia e Tecnologia de
So Paulo
Orientador: Henrique Marins de Carvalho.

1. Geometrias No-Euclidianas. 2. Fsica. 3. Relatividade. 4.


Espaos. 5. Interdisciplinaridade. I. Ttulo do trabalho.
A Cincia feita de fatos, como uma casa feita de pedras; mas um conjunto de
fatos no cincia, assim como um monte de pedras no uma casa.

Henri Poincar
Minha Famlia
AGRADECIMENTOS

Agradeo primeiramente a Deus por me permitir a vida e poder fazer parte da


natureza e aprender sobre ela.

Agradeo especialmente minha mezinha, Dona Jonadir, por me ensinar o valor


moral da vida, o respeito s pessoas e vida; s minhas irms, grandes
educadoras, que me fizeram perceber precocemente o valor da educao e tambm
o gosto pela profisso.

minha esposa, Flvia, pela compreenso e por estar sempre do meu lado.

Aos meus amigos do IFSP pelo companheirismo e apoio no dia a dia, os quais, com
toda certeza, contriburam no meu aprendizado. Da Matemtica: Alberto, Ana C.
Cordeiro, Ana Olivia, Ana Toschi, Anderson (Bigafour), Anderson (Peruco), Andr
Rosale, Arnaldo, Cideni, David, Douglas, Denys, Fabrcio, Filipe, Laura, Leandro,
Helaine, Marco, Orlando, Thais, Talita, Willian; da Qumica: Carol Kakazu e Laura
Santos; aos meus colegas da Fsica: Douglas, Leandro e Admilson e tantos outros
que no citei.

Em especial agradeo a todos, pois todos foram igualmente especiais. Jamais


esquecerei os bons momentos que passei com vocs.

Aos professores do IFSP que me proporcionaram ainda mais gosto pela matemtica.
Em especial: ao professor Me. Henrique Marins de Carvalho, pela pacincia e
compreenso; ao Prof. Me. Jos Maria Carlini; Prof Dra. Cristina Lopomo; Prof.
Dra. Cleide Rizzatto; Prof. Dra. Delacir Poloni; ao Prof. Me. Csar Adriano Batista;
ao Prof. Me Amari Gular; Prof. Ma. Valria Luchetta; Prof. Dra. Mariana Baroni;
Prof. Dra. Graziela Tiago, em fim a todos os grandes mestres com os quais tive o
prazer de aprender.
RESUMO

O objetivo deste trabalho estudar as geometrias no-euclidianas e sua influncia


no desenvolvimento da Teoria da Relatividade, bem como a possibilidade deste
tema ser inserido no contexto da educao bsica. Este estudo parte das primeiras
teorias sobre as Geometrias No-Euclidianas, com o problema do quinto postulado
dos Elementos de Euclides e a tentativa para demonstr-los, at o surgimento dos
modelos de Geometrias No-Euclidianos e sua influncia na fsica, especificamente
na Teoria da Relatividade. Neste contexto, estudamos como as ideias no-
euclidianas mudaram a concepo de espao e geometria influenciando o
surgimento das teorias relativistas. Os conceitos geomtricos no-euclidianos esto
fortemente ligados Teoria da Relatividade. A partir de pesquisa bibliogrfica
mostraremos como se deu o desenvolvimento histrico das Geometrias No-
Euclidianas e tambm que conceitos como espaos curvos da Teoria da
Relatividade, s so possveis considerando o espao no-euclidiano. Tambm
feita uma anlise das possibilidades de insero no currculo bsico.

Palavras-chaves: Geometrias No-Euclidianas; Fsica; Relatividade; Espaos;


Interdisciplinaridade.
NON-EUCLIDEAN GEOMETRY AND THE RELATIVE GEOMETRY

ABSTRACT

The aim of this work is to study at non-Euclidean geometries and its influence at the
theory of relativitys development as well as the possibility of this topic be placed in
the context of basic education. The study of the early theories about non-Euclidean
geometries as the problem of the fifth postulate of Euclid's Elements and the
attempts to demonstrate them until the appearance non-Euclideans geometric
models and its influence in physics, specifically in relativity theory. In this context, we
study how ideas have changed the non-Euclidean concept of space and geometry
influencing the relativistic theories arise. The non-Euclidean geometric concepts are
strongly linked to the Theory of Relativity. Literature show us how was the historical
development of Non-Euclidean geometries and also that concepts such as curved
spaces of the Theory of Relativity are possible only considering the Non-Euclidean
space. Also an analysis of the possibilities of trying to add to the basic curriculum is
made.

Keywords: Non-Euclidean Geometry; Physics; Relativity; Spaces; Interdisciplinarity.


LISTA DE FIGURAS

Pg.

Figura 2.0 Representao de Ibn Qurra.................................................................26


Figura 2.1 Representao de Ibn Qurra.................................................................26
Figura 2.2 Construo de Ibn Qurra para demonstrar o 5 postulado....................27
Figura 2.3 Quadriltero de Saccheri.......................................................................29
Figura 2.4 Hiptese do ngulo agudo de Saccheri.................................................31
Figura 2.5 Quadriltero de Lambert .......................................................................31
Figura 3.0 Retas paralelas segundo Bolyai. ...........................................................38
Figura 3.1 Retas paralelas no postulado de Lobachevsky. ....................................40
Figura 3.2 Hiptese de Lobachevsky. ....................................................................41
Figura 3.3 Representao da horoesfera...............................................................43
Figura 3.4 Pseudoesfera. .......................................................................................47
Figura 3.5 Modelo de Klein.....................................................................................48
Figura 3.6 ngulo de paralelismo no modelo de Klein ...........................................49
Figura 3.7 Modelo do Disco de Poincar. ..............................................................51
Figura 3.8 Modelo do Semi-plano de Poincar. .....................................................52
Figura 3.9 Modelo de Representao da Geometria Elptica .................................55
Figura 3.10 Interseco de geodsicas..................................................................56
Figura 3.11 Regio fechada determinada por duas geodsicas. ...........................57
Figura 3.12 Alinhamento de trs pontos na eometria elptica.................................58
Figura 3.13 ngulo esfrico....................................................................................58
Figura 3.14 Tringulo esfrico................................................................................59
Figura 3.15 Curvatura de uma circunferncia. .......................................................62
Figura 3.16 Cculo osculante..................................................................................63
Figura 3.17 Curvatura dertermina a geometria.......................................................66
Figura 4.0 Interfermetro de Michelson-Morley .......................................................74
Figura 4.1 Diagrama de espao-tempo de Minkowski...........................................81
Figura 4.2 Desigualdade triangular na Relatividade Restrita.................................82
Figura 4.3 Desvio de um raio de luz pelo Sol ........................................................85
SUMRIO

Pg.
1 INTRODUO....................................................................................................19
2 GOMETRIA EUCLIDIANA ..................................................................................23
2.1 O quinto postulado ..........................................................................................24
2.1.1 O trabalho dos rabes . ................................................................................24
2.1.2 O Quadriltero de Saccheri. .........................................................................28
2.1.3 O Quadriltero de Lambert...........................................................................31
3 GEOMETRIAS NO-EUCLIDIANAS.................................................................35
3.1 Geometria Hiperblica..................................................................................36
3.1.1 O postulado de Lobachevsky ......................................................................39
3.1.3 Modelos de representao da Geometria Hiperblica ...............................45
3.2 Geometria Elptica .......................................................................................53
3.2.1 Postulados de Riemann e o modelo esfrica ............................................54
3.2.2 Alguns Resultados das investigaes de Riemann.....................................59
3.2.3 A ideia de curvatura.....................................................................................61
4 A GEOMETRIA DA RELATIVIDADE.................................................................67
4.1 O conceito de espao na Fsica ......................................................................67
4.2 Fsica pr-relatividade .....................................................................................71
4.3 Relatividade Restrita .......................................................................................75
4.3.1 Transformaes de Lorentz.........................................................................75
4.3.2 Contrao do espao O trem no-euclidiano ...........................................76
4.4 Geometria de Minkowski .................................................................................79
4.5 Relatividade Geral...........................................................................................82
4.5.1 Princpio da Equivalncia .............................................................................83
4.5.2 Desvio da luz pelo campo gravitacional .......................................................83
5 GEOMETRIAS NO-EUCLIDIANAS NA EDUCAO BSICA .......................87
5.1 O currculo de Matemtica ...........................................................................88
5.2 O currculo de Fsica ....................................................................................90
6 CONSIDERAES FINAIS ...............................................................................93
REFERNCIAS.........................................................................................................97
19

1 INTRODUO

Por vrios sculos os conceitos da geometria euclidiana foram considerados os que


melhor representavam a realidade fsica. Por volta da metade do sculo XIX,
tomaram fora ideias contrrias a isso, e surgiram vrios questionamentos sobre a
validade universal da geometria euclidiana, principalmente com relao ao quinto
postulado de Euclides. A descoberta das Geometrias no-Euclidianas gerou uma
grande revoluo na matemtica.

Embora no se tivesse dvidas da validade da geometria euclidiana, e que esta


correspondia realidade, havia certa insatisfao com seus fundamentos por causa
do carter no intuitivo do postulado das paralelas. Desde a antiguidade, diversos
autores tentaram substituir o postulado das paralelas por outro mais intuitivo, ou
demonstr-lo a partir dos demais postulados de Euclides com a finalidade de tornar
a geometria mais bem fundamentada.

Nesse intento, como veremos, surgiram as geometrias no-euclidianas que


funcionavam to bem quanto a prpria geometria de Euclides.

Com essa descoberta foi possvel introduzir novos objetos matemticos para
representar o mundo fsico. Paran (2008) afirma:

Muitos dos problemas do cotidiano e do mundo cientfico s so


resolvidos pelas geometrias no-euclidianas. Um exemplo so os
estudos que resultaram na Teoria da Relatividade, em que a
geometria do espao, usada por Albert Einstein, foi uma geometria
no-euclidiana, de modo que conceitos, como a luz se propaga ao
longo de geodsicas e a curvatura do espao determinada pela
natureza da matria que o preenche, foram fundamentais (PARAN,
2008, p. 56).

O surgimento das geometrias no-euclidianas teve forte repercusso na fsica,


basicamente por dois motivos. Primeiro, porque at o incio do sculo XIX muitos
autores acreditavam que a fsica de Newton era uma teoria verdadeira a priori do
mesmo modo que a geometria e que seus princpios bsicos podiam ser provados
a partir de postulados ou axiomas intuitivos. Essa viso foi desfeita, juntamente com
a concepo anloga a respeito da geometria. Segundo, a existncia de diferentes
20

geometrias tinha uma consequncia imediata na fsica, pois muitas teorias fsicas
utilizam a geometria (junto com pressupostos fsicos) em sua formulao.

Mesmo se os princpios bsicos da fsica (incluindo a mecnica) fossem mantidos, a


existncia de diferentes geometrias abriria a possibilidade de teorias fsicas
alternativas, que levassem s novas consequncias, pelo uso dessas geometrias
alternativas (SILVA, 2006).

Os conceitos da Teoria da Relatividade de Albert Einstein (1879 1955) esto


fortemente ligados aos conceitos das geometrias no-euclidianas. O
desenvolvimento da nova fsica de Einstein s foi possvel com uma mudana
radical de paradigma da concepo de espao, o qual por sua vez s foi possvel
devido ao surgimento das geometrias no-euclidianas.

Nesse sentido, partimos da questo se seria possvel apresentar os dois tpicos


numa abordagem que leva em considerao a educao bsica. Por isso, nesta
pesquisa, enfocamos o desenvolvimento das geometrias no-euclidianas e
investigamos a questo do espao e geometria da teoria da relatividade. Neste
trabalho consideramos, ainda, a importncia da histria da cincia e do
desenvolvimento histrico da matemtica, uma vez que o conhecimento cientfico
no se d de maneira isolada, neutra, sempre parte de um processo mais amplo e
dinmico.

Para dar conta do objetivo delineado, desenvolvemos este trabalho, dividindo-o da


seguinte forma:

Captulo 2: Geometria euclidiana, em que apresentamos a geometria de


Euclides, seus postulados e o problema do quinto postulado, bem como as
diversas intenes de demonstr-lo como teorema, o que resultou no
surgimento das geometrias no-euclidianas;

Captulo 3: Geometrias no-euclidianas, em que apresentamos as geometrias


no-euclidianas, propriamente ditas. Neste captulo figuram os trabalhos de
Bolyai, Gauss, Lobachevsky e Riemann na criao das geometrias no-
21

euclidianas clssicas: hiperblica e elptica. o captulo em que procuramos


apresentar os detalhes que serviriam de base para os fundamentos da Teoria
da Relatividade;

Captulo 4: Geometria da Relatividade, em que apresentamos as ideias


bsicas dessa teoria com outro enfoque. Discutimos a evoluo da ideia de
espao fsico e mostramos que os conceitos geomtricos no-euclidianos
esto intrinsecamente ligados Teoria da Relatividade;

Captulo 5: Geometrias no-euclidianas na educao bsica, em que


apresentamos possibilidades de incluso dessa disciplina na educao
bsica, da mesma forma que discutimos a possibilidade de apresentar tpicos
relacionados Teoria da Relatividade, com uma breve discusso sobre
currculo;

a) Capitulo 6: Consideraes finais a partir do levantamento bibliogrfico e das


anlises feitas.
22
23

2 GEOMETRIA EUCLIDIANA

Durante mais de dois mil anos a geometria Euclidiana era a que melhor
representava nosso mundo. A obra Elementos, de Euclides, tida como uma das
mais importantes j escritas. Nela, Euclides sintetiza todo conhecimento matemtico
da poca e, alm disso, fornece um modelo para o desenvolvimento rigoroso das
ideias matemticas que utilizado at os dias de hoje.

Elementos composto por treze livros (captulos). O livro I se inicia com 23


definies, cinco noes comuns e cinco postulados. As definies do nomes aos
objetos e conceitos bsicos que Euclides vai estudar. As noes comuns so regras
comumente aceitas sobre raciocnio e relaes que ele explicita. Os postulados, ou
axiomas, so afirmaes sobre os objetos em estudo que so consideradas
verdadeiras sem demonstrao. As definies, noes comuns e postulados so
tomados como ponto de partida a partir dos quais outras afirmaes, chamadas de
proposies, so demonstradas segundo rgidas regras lgicas. Uma proposio
significativa chamada de teorema, uma proposio cujo principal objetivo seja
demonstrar um teorema chamada de lema, e uma proposio que resulta
facilmente de um teorema chamada de corolrio.

O livro I de Os Elementos contm 23 definies, 5 postulados e 9 noes comuns.


Para ilustrar, colocamos a seguir algumas definies:

1. Ponto aquilo de que nada parte.


2. E linha comprimento sem largura.
3. E extremidades de uma linha so pontos.
7. Superfcie plana a que est posta por igual com os pontos sobre si
mesmo.
8. E ngulo plano a inclinao, entre elas, de duas linhas no plano, que se
tocam e no esto posta sobre uma reta.
9. E quando as linhas que contm o ngulo sejam retas, o ngulo chamado
retilneo.
24

10. E quando uma reta, tendo sido alteada sobre uma reta, faa os ngulos
adjacentes iguais, cada um dos ngulos reto, e a reta que se alteou
chamada uma perpendicular quela sobre a qual se alteou.
23. Paralelas so retas que, estando no mesmo plano, e sendo prolongadas
ilimitadamente em cada um dos lados, em nenhum se encontram.

Os cinco postulados do livro I:

1. Fique postulado traar uma reta a partir de todo ponto at todo ponto.
2. Tambm prolongar uma reta limitada, continuamente, sobre uma reta.
3. E, com todo centro e distncia, descrever um circulo.
4. E serem iguais entre si todos os ngulos retos.
5. E, caso uma reta, caindo sobre duas retas, faa os ngulos interiores e do
mesmo lado menores do que dois retos, sendo prolongadas as duas retas,
ilimitadamente, encontrarem-se no lado no qual esto os menores do que
dois retos.
(EUCLIDES, 2009, p. 97-98).

2.1. O quinto postulado

Desde o incio, o quinto postulado dos Elementos de Euclides gerou problemas.

E, caso uma reta, caindo sobre duas retas, faa os ngulos interiores
e do mesmo lado menores do que dois retos, sendo prolongadas as
duas retas, ilimitadamente, encontrarem-se no lado no qual esto os
menores do que dois retos. (EUCLIDES, 2009, p. 98).

possvel que o prprio Euclides tenha tentado adiar a incluso do mesmo. Os


quatro primeiros so declarados de forma sucinta, em menos de uma linha. Mas no
o que ocorre com o quinto postulado. Euclides s o utilizou pela primeira vez na
demonstrao da Proposio 291 do livro I (SAMUCO, 2005). Esse fato pode sugerir
que Euclides talvez no tenha ficado satisfeito com a forma do quinto postulado.

1
Proposio 29, I: A reta, caindo sobre as retas paralelas, faz tanto os ngulos alternos iguais entre si
quanto o exterior igual ao interior e oposto e os interiores e no mesmo lado iguais a dois retos.
25

Durante vrios sculos, muitos matemticos se perturbaram com o quinto postulado.


A formulao desse postulado requer uma sentena lgica muito mais complexa que
os demais, semelhante de alguns teoremas demonstrados por Euclides. Caso
fosse possvel eliminar esse postulado um sistema muito mais simples resultaria. O
objetivo dos gregos ao organizar a geometria em rigorosa forma dedutiva era
demonstrar teoremas. E, nesse sentido, dispor de postulados bvios e verdadeiros
implica credibilidade dos teoremas, visto que associamos a credibilidade dos
teoremas credibilidade dos postulados. O quinto postulado, diferente dos demais,
no apresenta essa caracterstica de ser obviamente verdadeiro.

Muito pensadores tentaram afastar o quinto postulado do sistema lgico. A idia era
buscar demonstrar que o quinto postulado no era independente dos demais. Quem
estudou Euclides, gregos, rabes, por exemplo, procuraram por diversas vezes
demonstrar que o quinto postulado era um teorema do sistema, dedutvel dos quatro
primeiros postulados.

O resultado disso foi o surgimento de vrios princpios geomtricos capazes de


substituir o quinto postulado, que associados aos outros postulados permitem
demonstrar os teoremas de Euclides. Um princpio conhecido como axioma de
Playfair2 pode substituir o quinto postulado de Euclides. No entanto, nenhum dos
princpios surgiu como alternativa mais simples que o postulado original.

2.1.1. O trabalho dos rabes

Durante a Idade Mdia, nos sculos IX e X, o quinto postulado foi mais estudado
pelos rabes do que na Europa, mediante a traduo dos livros de Euclides entre os
rabes. Entre eles, destacam-se os trabalhos de Thabit inb Qurra, Omar Khayyam e
Nasir Eddin al-Tusi (SILVA, 2006).

Conforme vemos em Silva (2006), encontramos uma boa referncia da descrio


dos trabalhos do primeiro e do ltimo autor.

2
Em 1795, John Playfair props o seguinte axioma: dada uma linha e um ponto fora dela, uma e
somente uma paralela linha dada passa por esse ponto. O axioma de Playfair interpretado como
uma nova forma do quinto postulado que, nesse formato passou a ser chamado de axioma XI (SILVA,
2006).
26

Thabit Ibn Qurra (836-910), no seu segundo tratado sobre a geometria de Euclides,
estabeleceu inicialmente que um segmento de linha poderia se mover sem ter seu
comprimento alterado, pois considerava que a ausncia de deformao das figuras
geomtricas quando h movimento, no era bvia (GRAY, 1989 apud SILVA, 2006
p.7). Na demonstrao da proposio 43, Euclides considera que um dos tringulos
pode ser movido e colocado sobre o segundo para fazer sua anlise. Ibn Qurra
introduz uma figura que ser muito utilizada nas tentativas de demonstrar o quinto
postulado: um quadriltero com dois lados iguais e opostos fazendo o mesmo
ngulo com a base, como na figura 2.0, onde os lados DA e CB so iguais, e os

ngulos DB e C B A so iguais.

FIGURA 2.0: Ibn Qurra FIGURA 2.1: Os ngulos da


considera um quadriltero base so retos e EF igual a
com ngulos iguais na base AB.
e lados AD e BC iguais.
Fonte: Silva (2006).
Fonte: Silva (2006).

Segundo a hiptese de Qurra, em um quadriltero no qual os ngulos da base so


ngulos retos, como na figura 2.1, e considerando EF igual a AB, pois essa linha
seria o deslocamento da base e portanto manteria o comprimento, ento o quarto
ngulo, AF , tambm seria reto. Baseado nessa hiptese, Ibn Qurra tentou provar
o quinto postulado usando a figura 2.2.

3
Proposio 4: Caso dois tringulos tenham dois lados iguais [aos] dois lados, cada um a cada um, e
tenham o ngulo contido pelas retas iguais igual ao ngulo, tambm tero a base igual base, e o
tringulo ser igual ao tringulo, e os ngulos restantes sero iguais aos ngulos restantes, cada um
a cada um, sob os quais se estendem os lados iguais (EUCLIDES, 2009).
27

Figura 2.2: Construo de Ibn Qurra para tentar demonstrar o quinto postulado.

Fonte: Silva (2006).

Na figura 2.2, as linhas l e m cortam uma terceira linha n , sendo que l e n so


perpendiculares (por hiptese). Assim, ele tomou um ponto W sobre m e traou a
perpendicular WZ at n . Se AZ menor que AE , ento algum mltiplo dele, AH
excede AE , e pode formar o tringulo retngulo AHN , onde N est sobre m . Pela
hiptese do quadriltero, NH no encontra l , pois se encontrasse, no formaria o
quadriltero que ele introduziu inicialmente (figura 2.0). Dessa forma, l deve
encontrar m e o quinto postulado est provado, ou seja, as linhas l e m se
encontram do lado em que a soma dos ngulos (os ngulos e ) somam menos
que dois retos.

Em sua demonstrao, Ibn Qurra assumiu uma das proposies, a proposio 29 do


livro I, que utilizava o quinto postulado, o que invalidou sua demonstrao (GRAY
apud SILVA, 2006, p.8).

O trabalho de outro rabe teve destaque na tentativa de demonstrao do quinto


postulado. Nasir Eddin AL-Tusi (1201 1274) tambm utilizou o quadriltero com
pelo menos dois ngulos retos e um raciocnio semelhante ao de Ibn Qurra para
fazer sua demonstrao. Porm falhou ao supor que linhas que pareciam convergir
28

de um lado efetivamente iriam se encontrar (SILVA, 2006, p.9). Essa demonstrao


foi a que causou maior interesse na Europa.

Outro matemtico rabe, Omar Khayyam (1048-1131), foi um dos que introduziram
uma nova abordagem nas tentativas de demonstrao do quinto postulado,
utilizando o mtodo de reduo ao absurdo. Khayyam considerou um quadriltero
ABCD, porm com os ngulos da base A e B retos e os dois lados (AD e BC)
adjacentes base iguais. Mostrou ento que os ngulos C e D eram iguais e
necessariamente retos, visto que as hipteses C e D agudos e C e D obtusos
levavam a contradio. Isto permitiu a Omar Khayyam deduzir a proposio 29 do
livro I (dos Elementos) e da o quinto postulado. No entanto, na sua demonstrao
utilizou a afirmao segundo a qual duas perpendiculares mesma reta so
paralelas, o que equivalente ao quinto postulado que pretendia provar (SAMUCO,
2005).

2.1.2 O quadriltero de Saccheri

Das diversas tentativas de demonstrao do quinto postulado, a que mais se


aproximou de uma soluo foi a de Giovanni Gerolamo Saccheri (1667-1733).
Saccheri foi um padre jesuta e professor de matemtica da Universidade de Pavia.
Sua obra mais conhecida Euclides livre de Todos os Erros de 1733, em que
praticamente descobriu a primeira Geometria No-euclidiana, ainda que o mesmo
no tenha observado que, com seus resultados, poderia ser construda uma nova
geometria sem contradio.

Uma maneira de resolver o problema do quinto postulado seria empregar o


raciocnio de demonstrao por absurdo (reductio ad absurdum), assim como fez
Omar Khayyam. Saccheri, assim como Lambert (1728-1777), utilizou esse mtodo.
Desse modo, sua ideia foi admitir por hiptese que o quinto postulado era
independente dos demais e mostrar que essa hiptese conduz a uma contradio
devendo, portanto, ser falsa. Sacchieri admitiu de inicio que os quatro primeiros
postulados de Euclides eram verdadeiros; admitiu, ainda, a hiptese de que
qualquer segmento possa ser prolongado indefinidamente, para torn-lo to extenso
29

quanto fosse desejvel. Admitiu a seguir, para efeito de discusso, que o quinto
postulado era falso.

Ele considera, ento, um quadriltero ABCD com dois ngulos retos em A e B, e


dois lados iguais AD e BC (figura 2.3), provando o seguinte lema:

Se um quadriltero ABCD tem os ngulos consecutivos A e B retos, e os lados AD e


BC iguais, ento o ngulo C igual ao ngulo D; mas se os lados AD e BC so
desiguais, dos dois ngulos C e D maior o que adjacente ao menor lado, e vice-
versa. (BONOLA, 1955 apud SILVA, 2006).

Figura 2.3: Quadriltero de Saccheri, com ngulos retos em A e B e lados AD e BC iguais.

Fonte: Silva (2006)

Conforme a hiptese de Euclides, os outros dois ngulos, C e D, tambm sero


retos, e para provar essa igualdade necessrio usar o quinto postulado.
Assumindo como hiptese inicial que ambos so obtusos ou agudos, o quinto
postulado estar sendo negado. Saccheri chamou esses ngulos de ngulos de topo
(BARKER, 1969), e dessa forma permitem lanar trs hipteses:

1 hiptese do ngulo reto ( C = D = ngulo reto), ento AB = CD

2 hiptese do ngulo obtuso ( C = D > ngulo reto), ento AB >CD

3 hiptese do ngulo agudo ( C = D < ngulo reto), ento AB<CD


30

Em qualquer retngulo que tenha aquela forma. Admitindo que o espao seja
uniforme, apenas uma dessas hipteses deve ser verdadeira. Partindo de suas
premissas, Saccheri pode revelar que o quinto postulado de Euclides deve ser
verdadeiro, caso verdadeiro a hiptese 1). Mas como admitiu a falsidades do quinto
postulado (para chegar contradio), deixou de lado a hiptese 1). Da mesma
forma abandonou a hiptese 2), dado as premissas que admitiu. Restou, ento, a
hiptese 3). Sacchieri tentou mostrar que essa hiptese era incompatvel com seus
pressupostos, onde achou que podia abandon-la devido a algumas estranhas
consequncias que apareciam. Uma vez que Saccheri tivesse obtido sucesso em
demonstrar que a hiptese 3) era logicamente incompatvel com seus pressupostos
estaria completa a demonstrao: teria chegado contradio que o mtodo
reductio ad absurdum procurara. Mas isso no ocorreu. No entanto, ainda que no
tenha percebido, conseguiu um resultado muito importante. Tentando demonstrar o
absurdo da hiptese 3), Saccheri pode deduzir logicamente fatos paralelos aos
teoremas de Euclides, mas diferentes deles. Nascia um tipo completamente novo de
Geometria.

Saccheri usou o seguinte raciocnio com relao hiptese 3 (hiptese do ngulo


agudo):

Dada uma linha l e um ponto P fora de l (Figura 2.4), as linhas que passam
por P esto divididas em trs famlias:

a) uma famlia infinita de linhas que se encontram com l ;

b) uma famlia infinita de linhas que nunca se encontram com l ;

c) duas linhas que so assintticas a l e que separam as duas


primeiras famlias.

Para nosso ponto de vista euclidiano, essas condies podem parecer absurdas.
Mas elas so impossveis de se negar logicamente. Com relao a isso, Saccheri
argumenta que seria contrrio natureza da linha reta... (SACCHERI apud SILVA,
2006).
31

Figura 2.4: Se fosse vlida a hiptese do ngulo agudo, partindo de P seria possvel traar
uma infinidade de linhas que nunca se encontram com l e uma infinidade de linhas que
sempre se encontram com l .

Fonte: Silva (2006).

2.1.3 O quadriltero de Lambert

Johann Heinrich Lambert (1728 1777), colega de Euler e Lagrange na Academia


das Cincias em Berlim, foi o primeiro a publicar a demonstrao de que
irracional. Fez importantes trabalhos sobre a teoria das paralelas, tendo escrito um
livro com esse ttulo, onde deduziu muitas propriedades da Geometria No-
euclidiana, embora no aceitasse claramente sua existncia (SAMUCO, 2005).

Da mesma forma que Saccheri, Lambert tentou provar o quinto postulado por meio
de um argumento indireto. Ele considerou um quadriltero com trs ngulos retos,
agora chamado de quadriltero de Lambert (COUTINHO, 2001).

Figura 2.5: Quadriltero de Lambert.

Fonte: Coutinho (2001).


32

Lambert, ento, sups trs hipteses para o quarto ngulo:

1. Hiptese do ngulo reto, o que equivale ao quinto postulado de


Euclides;
2. Hiptese do ngulo obtuso e;
3. Hiptese do ngulo agudo.

A primeira hiptese conduz geometria euclidiana. Da mesma forma que Saccheri,


Lambert rejeitou a hiptese do ngulo obtuso. Fez isso mostrando que sob essa
hiptese duas perpendiculares mesma reta intersectam-se. Isso na verdade no
resulta nenhuma contradio. Se a hiptese do ngulo obtuso fosse vlida, ento as
propriedades das figuras seriam como se traadas sobre uma esfera, ou seja,
curvadas. As linhas retas seriam como crculos mximos. No entanto, como os
crculos mximos se encontram em mais de um ponto, no possuem as
propriedades das linhas retas, e isso permite refutar a hiptese do ngulo obtuso
(ROSENFELD apud SILVA, 2006, p.11). Todavia, tambm no chegou contradio
ao tentar demonstrar a hiptese do ngulo agudo. Assim, Lambert obtm que sendo
vlidas as hipteses do ngulo obtuso e do ngulo agudo, o defeito4 na soma dos
ngulos de um tringulo seria proporcional rea deste tringulo.

Essa diferena conhecida como diferena do tringulo, e tem um papel muito


importante ma Geometria Hiperblica e seu valor igual a zero na Geometria
Euclidiana, na qual a soma dos ngulos internos de um tringulo 180.

No caso do quadriltero com o terceiro ngulo agudo (terceira hiptese), Lambert


conclui que quanto mais agudo fosse o ngulo, maior seria o quadriltero. Essa
anlise levou Lambert a descobrir que a soma dos ngulos de um tringulo poderia
ser inferior a dois ngulos retos.

Para a hiptese do ngulo agudo, Lambert conclui que, se comparada hiptese do


ngulo obtuso, poderia ocorrer o caso de uma esfera imaginria. Sobre esse fato

4
Defeito de um ngulo corresponde ao excesso sobre 180 ou a falta sobre 180 na soma de seus
ngulos na trigonometria esfrica. a diferena do tringulo visto anteriormente.
33

Lambert teria dito Estou quase inclinado a concluir que a terceira hiptese surge
com uma superfcie esfrica imaginria. (LAMBERT apud SAMUCO, 2005, p.20).

Assim, Lambert observa que a hiptese do ngulo obtuso vale para tringulos
esfricos e que a hiptese do ngulo agudo vale na superfcie de uma esfera de raio
imaginrio. Essas observaes sero comprovadas posteriormente por Riemann e
Lobachevsky.
34
35

3 GEOMETRIAS NO-EUCLIDIANAS

Vimos no captulo anterior que, com a negao do quinto postulado, era possvel
considerar novos objetos matemticos que permitiram o surgimento de novas
geometrias. Foram os matemticos Janos (ou mesmo Johann) BOLYAI (1802
1860), Nikolai Ivanovich LOBACHEVSKY (1792 1856), Carl Friedrich GAUSS
(1777 1855) e Georg Friedrich Bernhard RIEMANN (1826 1866) que plantaram
as bases para essas novas geometrias, que agora chamamos de geometrias no-
euclidianas, termo cunhado por Gauss, e que so, do ponto de vista lgico, to boas
e consistentes como a prpria geometria de Euclides.

Gauss foi o maior matemtico de sua poca e contribuiu muito para o


desenvolvimento das Geometrias No-euclidianas, como podemos ver recorrendo a
Barbosa (2009, apud SILVA, 2011, p. 13):

Nos anos crticos que antecederam a descoberta da nova geometria,


a figura dominante do mundo matemtico era Carl Friedrich Gauss
(1777 1855), que deu uma grande contribuio no desenvolvimento
de ideias que levaram sua descoberta. Poucos dos seus
resultados, fruto de muitos anos de pesquisa sobre os problemas
associados ao quinto postulado, foram tornados pblicos durante sua
vida. Algumas cartas a outros interessados naqueles problemas,
crticas de tratados sobre paralelas, e notas inditas descobertas
entre seus trabalhos, so toda a evidncia disponvel de que foi ele o
primeiro a entender claramente a possibilidade de uma Geometria
logicamente precisa e diferente da de Euclides (BARBOSA, 2009
apud SILVA, 2011, p. 13).

Por volta da dcada de 1820, ou talvez antes, Gauss parece ter-se convencido de
que possvel haver geometrias em que o quinto postulado deixa de ser vlido.
Nesse perodo, teria escrito ao amigo Taurinus:

A premissa de que a soma dos trs ngulos de um tringulo seja


menor que 180 conduz a uma curiosa geometria, muito diferente da
nossa (da geometria euclidiana), mas totalmente coerente que
desenvolvi para minha completa satisfao, de forma que sou capaz
de resolver nela qualquer problema, com exceo da determinao
de uma constante, que no pode ser fixada a priori... os trs ngulos
de um tringulo podem ser to pequenos quanto se queira, desde
que os lados sejam suficientemente grandes, ainda assim a rea do
tringulo no pode superar, nem mesmo atingir, certo limite,
36

independente de quando os lados sejam grandes (OShea, 2009,


p.93).

Segundo Silva (2006), Gauss escreve uma carta5 a Wolfgang Bolyai onde relata que
pensava no assunto h 40 anos. No entanto, o fato de apenas alguns de seus
resultados terem sido conhecidos durante sua vida pode ser compreensvel. Isso
porque, em seu tempo, a Inquisio ainda exercia grande presso sobre aqueles
que dominavam algum tipo de conhecimento e esses deveriam agir com prudncia.
Gauss era cuidadoso nas coisas que escrevia, e temia opor-se publicamente s
teorias de Immanuel Kant (1724 1804), cuja filosofia havia sido adotada pela igreja
catlica e considerada como dogma. Kant acreditava que a intuio deveria ser
adotada, em detrimento do rigor das demonstraes matemticas. Em sua obra,
Crtica da Razo Pura, de 1879, Kant se refere ao espao euclidiano como sendo de
uma necessidade inevitvel de pensamento. Para Kant, a geometria de Euclides
era a nica possvel.

3.1. Geometria Hiperblica

interessante o fato de algumas vezes na histria da cincia uma nova ideia ocorrer
em vrias pessoas mais ou menos simultaneamente. Isso ocorreu no sculo XVII
com a descoberta do clculo por Newton na Inglaterra e por Leibniz na Alemanha, e
tambm no sculo XIX com a descoberta da primeira Geometria No-euclidiana.

Conforme Coutinho (2001), a Geometria Hiperblica foi desenvolvida,


independentemente, por dois matemticos contemporneos: o russo Nicolai
Ivanovich Lobachevsky e, simultaneamente, o matemtico hngaro Janos Bolyai.

Em 1820 Janos Bolyai informou o seu pai, o tambm matemtico e amigo de Gauss,
Wolfgang (ou Farkas) Bolyai (1775 - 1856) que estava interessado na teoria das

5
Refere-se carta que Gauss escreve comentando o artigo de Janos Bolyai, filho de Wolfgang
Bolyai, Teoria absoluta do espao, escrito em 1829, que veremos a diante.
37

paralelas, ao qual o teria aconselhado a desistir da ideia6. No entanto Janos no


seguiu o conselho do pai.

Em 1823 Janos Bolyai em carta ao seu pai Wolfgang Bolyai escreveu:

Resolvi publicar um trabalho sobre a teoria das paralelas, to logo


tenha organizado o material e as minhas circunstncias o permitam.
No completei o meu trabalho, mas o caminho que segui torna quase
certo que o objetivo ser alcanado, se isso for de todo possvel; o
objetivo ainda no foi alcanado, mas tenho feito descobertas
maravilhosas que quase sou esmagado por elas, e seria motivo de
lamento se as perdesse. Quando as vires, querido pai, tambm
percebers... do nada criei um universo (SAMUCO, 2005).

O trabalho de Janos Bolyai entregue ao seu pai em 1829, que o publicou como um
apndice em seu livro. Aps vrios atrasos na publicao, o primeiro volume de Os
Ensaios sobre Elementos de Matemtica para Jovens Estudiosos, livro de Wolfgang
Bolyai, foi finalmente publicado em 1832, contendo o famoso Apndice de Janos
Bolyai com o ttulo A cincia do espao absoluto com uma demonstrao da
independncia da verdade ou falsidade do axioma XI de Euclides (que no pode ser
decidido a priori) e tambm a quadratura do circulo no caso da sua falsidade
(SAMUCO, 2005).

Segundo Silva (2006, p. 15), Janos pretendia seguir o mesmo caminho que Saccheri
e Lambert, mas, ciente dos erros de seu pai, acabou optando pelo mtodo dos
gregos, sem decidir, a priori, sobre a validade ou no do quinto postulado7. Tanto
Janos como Lobachevsky comearam suas teorias a partir da ideia de que mais de
uma paralela a uma dada linha reta poderia passar pelo mesmo ponto (o que
contraria uma das consequncias do quinto postulado de Euclides).

No trabalho de 1832, Janos fornece uma nova definio para paralela, que depende
do chamado ngulo de paralelismo:

Se o raio AM no cortado pelo raio BN, situado no mesmo plano,


mas cortado por qualquer outro raio BP compreendido no ngulo

6
Palavras de Wolfgang Bolyai ao seu filho: Pelo amor de Deus, eu lhe peo, desista! Tema tanto isso
quanto as paixes sensuais, porque isso tambm pode tomar todo o seu tempo, e priva-lo de sua
sade, paz de esprito e felicidade na vida!.
7
Ou seja, no considerou o quinto postulado parte do sistema de axiomas.
38

ABN, chamaremos o raio BN paralelo ao raio AM; Isto designado


por BN || AM. (BOLYAI, 1832, apud SILVA, 2006, p.16).

Podemos observar que a definio de paralelas usada por Janos Bolyai no implica
equidistncia entre os raios paralelos, o que nos leva a imaginar o raio BN como
sendo assinttico a AM, sem deixar de ser paralelo. Um esquema mostrado na
figura 3.0.

Figura 3.0: O raio BN paralelo ao raio AM, segundo a definio de Bolyai.

Fonte: Adaptado de Silva (2006).

Com base em seus resultados referentes s paralelas, assim definido, Bolyai provou
uma srie de teoremas para a Geometria Hiperblica, todos independentes do
quinto postulado. Um deles o que segue referente aos lados do tringulo: Em
qualquer tringulo esfrico, os senos dos lados so como os senos dos ngulos
opostos (BOLYAI, 1932, apud SILVA, 2006, p.16).

Na construo da Teoria Absoluta do Espao, Bolyai define paralelas e suas


propriedade independentemente do quinto postulado, e deduz uma geometria
independente do quinto postulado, onde aparece um parmetro i , que ele chama de
unidade absoluta de comprimento. Dessa forma, quando i tende a infinito, a
geometria se aproxima da euclidiana.
39

Como dissemos anteriormente, nesse mesmo perodo Lobachevsky desenvolveu


seu trabalho independentemente de Bolyai. Lobachevsky, que estudou na
Universidade de Kazan e onde foi professor de 1827 a 1846, apresentou seus
trabalhos sobre geometria no-euclidiana na revista de Kazan em 1829 e 1830.

Lobachevsky fez a primeira apresentao pblica de seus trabalhos numa


conferncia ao Departamento de Fsica-Matemtica da Universidade de Kazan,
onde se negava o quinto postulado. Ento submeteu um artigo pela Academia de
Cincias de So Petersburgo que inicialmente foi rejeitado.

Diferente de Bolyai, que embora tivesse plenas convices de suas ideias,


Lobachevsky aprofundou seus estudos procurando, de imediato, aplicaes para
sua nova geometria culminando em sua obra Pangeometia (1855). interessante
observar que este ltimo livro foi ditado, pois ele se encontrava cego, e publicado em
francs. Isso mostra a fora de sua mente e a confiana que tinha em seu trabalho.
E tambm o fato dessa publicao ter sido em francs, pode ter contribudo para
uma maior divulgao da Geometria Hiperblica como sendo devida a Lobachevsky.

Foram os trabalhos das mentes criativas Lobachevsky, Gauss e J. Bolyai que


desenvolveram a geometria no-euclidiana. No entanto, Lobachevsky foi o primeiro
a divulgar suas descobertas no temendo o impacto de seu trabalho. Mesmo assim
o reconhecimento de seu trabalho s se deu aps a sua morte. Em 1871, o
matemtico alemo Felix Klein (1849 - 1925) deu o nome de Geometria Hiperblica
nova geometria desenvolvida por esses trs matemticos.

3.1.1. O Postulado de Lobachevsky

A Geometria Hiperblica admite todos os postulados da geometria euclidiana, exceto


o quinto. A publicao de 1829, de Lobachevsky, continha os princpios bsicos da
nova geometria (chamada de Geometria Imaginria ou Pangeometria), em que
postula Por um ponto P fora de uma reta r passa mais de uma reta paralela reta r
(COUTINHO, 2001).
40

Figura 3.1: Modelo de retas paralelas na Geometria Hiperblicas. Entre as retas a e b


passam infinitas retas, que no interceptam r. Essas retas so chamadas de retas no-
secantes.

Fonte: Coutinho (2001).

Conforme Silva (2006), Lobachevsky baseia-se em definies diferentes da


geometria euclidiana e atribui propriedades diferentes para linhas retas:

1. Uma linha reta ajusta-se sobre si mesma em todas as posies. Com isto
quero dizer que durante a rotao de uma superfcie que contm, a linha
reta no muda seu lugar se ela passa por dois pontos fixos na superfcie
(com isso quero dizer que se giramos a superfcie contendo a reta por dois
pontos da linha, a linha no se move).

2. Duas linhas retas no podem se interceptar em dois pontos.

3. Se uma reta est num plano limitado por uma fronteira, ento essa reta
quando for suficientemente prolongada para os dois lados, deve
ultrapassar a fronteira e assim dividir o plano em duas partes.

4. Duas linhas retas perpendiculares a uma terceira se cortam, no importa o


quanto so prolongadas.

A seguir Lobachevsky apresenta um grupo de quinze teoremas geomtricos


independentes do postulado das paralelas. Esses teoremas servem de base para
41

compreenso das suas ideias relativas nova geometria. Aps, apresenta sua
definio de retas paralelas.

Definio 168: Todas as linhas retas que em um plano partem de um mesmo ponto
podem, com relao a uma linha reta no mesmo plano, ser divididas em duas
classes: as secantes e no-secantes. As linhas de fronteira desta e daquela classe
de linhas sero chamadas de paralelas linha dada. (LOBACHEVSKY, 1840, apud
SILVA, 2006, p.17).

Figura 3.2: Na definio de paralela de Lobachevsky, AF secante linha DC, AG no-


secante linha DC e AH paralela linha DC.

Fonte: adaptado de Samuco (2005).

Pelo ponto A (figura 3.2) traa-se a reta AD perpendicular a BC e a reta AE


perpendicular a AD. No ngulo ADE todas as retas que passam pelo ponto A
intersectam a reta DC, como por exemplo AF, ou algumas delas, como a
perpendicular AE, no intersectam DC. Assuma a possibilidade de que pode ser

8
Esta definio est aqui posta integralmente tal como aparece no trabalho de Lobachevsky. Assim,
Definio 16 refere-se definio de n. 16 do trabalho de Lobachevsky.
42

possvel que haja outras retas que no intersectam DC, como, por exemplo, AG, por
mais que sejam prolongadas. Entre as linhas secantes, como AF, e as linhas no
secantes, como AG, existem linhas como AH, paralelas a DC, que so linhas
fronteirias, uma vez que de um lado de AH, todas as linhas intersectam DC, como
AF; e do outro lado de AH, todas as linhas, todas as linhas no cortam DC, como
AG. O ngulo HAD entre a paralela AH e a perpendicular AD denominado por
Lobachevsky de ngulo de paralelismo, e denotado por ( p ) , em que p a
distncia AD.


Se ( p ) = , prolongando AE, obtemos AE que tambm ser paralelo ao
2
prolongamento da linha DC, ou seja, DB. Este caso corresponde geometria
euclidiana, que Lobachevsky chama de ordinria, em que a distncia entre as
paralelas constante.


Se ( p ) < , do lado oposto de AD, fazendo o mesmo ngulo DAK = ( p )
2
encontra-se uma reta AK, paralela ao prolongamento DB da reta DC, deste modo
sob esta hiptese devemos fazer uma distino dos lados de paralelismo: o lado em
que est AH e o lado em que est AK.


Desse modo, assim exposto, para a hiptese ( p ) = as retas podem apenas
2

intersectar BC ou serem paralelas a BC; mas se assumirmos que ( p ) < , ento
2
devemos admitir duas paralelas uma em cada lado de AD.

De posse dessa definio de paralelas, Lobachevsky estabeleceu novas


proposies como, por exemplo, as que seguem (LOBACHEVSKY, 1840 apud
SILVA, 2006, p.18):

18. Duas linhas so sempre mutuamente paralelas9.

9
Essa proposio pode ser entendida como: se duas linhas, AB e CD, prolongadas, satisfazem a
definio de paralelas de Lobachevsky, ento em qualquer ponto delas, elas sero paralelas.
43

19. Em um tringulo retilneo a soma dos trs ngulos no pode ser maior que
dois ngulos retos.

22. Se duas perpendiculares mesma reta so paralelas, ento a soma dos


ngulos de um tringulo retilneo igual a dois ngulos retos.

24. Quanto mais so prolongadas duas retas paralelas do lado do seu


paralelismo, mais elas se aproximam uma da outra.

25. Se duas retas so paralelas a uma terceira reta, ento as duas retas so
paralelas entre si.

31. Chama-se horociclo10 curva do plano na qual todas as perpendiculares


que passam pelo ponto mdio de cordas so paralelas entre si.

34. Chamar-se- horoesfera11 superfcie que resulta da rotao de um


horociclo em torno de um dos seus eixos, que juntamente com os outros eixos
do horociclo ser um eixo da horoesfera.

Figura 3.3: representa a horoesfera.


Fonte: Retirado de Silva (2006).

10
Tambm chamado de Curva Limitante, que, assim como a Curva Equidistante (ou hiperciclo)
definida a partir dos feixes de retas paralelas e das no-secantes da Geometria Hiperblica
(COUTINHO, 2001).
11
Em seu ltimo trabalho, Pangeometria (1855), Lobachevsky assumiu explicitamente que a
horoesfera uma esfera de raio infinito.
44

Na proposio 24, interessante notarmos como se ope ao fato de na Geometria


Euclidiana a distncia entre duas retas paralelas ser constante. Isso corrobora a
ideia de que Lobachevsky estava apresentando uma geometria no-euclidiana.

Lobachevsky consegue encontrar, para o tringulo esfrico, a relao entre o defeito


na soma dos ngulos do tringulo e a rea dele sobre a esfera.

Umas das consequncias dessa nova geometria, conforme j verificado por Gauss
em carta a Taurinus, que a soma dos ngulos internos de um tringulo menor
que 180. Na Geometria Hiperblica tringulos semelhantes no existem. Se dois
tringulos tm os ngulos iguais, ento eles so congruentes. Essas duas
consequncias esto relacionadas, pois a deficincia (diferena entre a soma dos
ngulos internos e dois ngulos retos) do tringulo varia com o tamanho do
tringulo. Ou seja, quanto maior o tringulo, maior a deficincia, e quando menor o
tringulo, mais prximo da geometria euclidiana ele est.

Com a inteno de encontrar aplicao para sua Pangeometria, e tendo em vista


que acreditava que isso seria possvel com experimentos de larga escala, como
medias astronmicas, Lobachevsky aplicou a teoria da geometria imaginria pra
determinar a paralaxe de uma estrela e comparar este valor com o encontrado
empiricamente. Isso mostra a determinao de Lobachevsky em tentar encontrar
explicao do espao fsico utilizando a Pangeometria. No entanto, no obteve
sucesso, pois em sua poca os dados astronmicos no eram de grande preciso.

Outra diferena entre os trabalhos de Lobachevsky e Bolyai foi o uso da


Pangeometria para o clculo de integrais definidas. Isso mostra, mais uma vez, que
ele estava interessado na aplicao da geometria no-euclidiana e no apenas na
sua axiomatizao:

Do que foi visto pode-se deduzir duas expresses do valor da rea


de um polgono fechado, uma expressa por uma integral definida, a
outra dependente somente da medida do ngulo de um polgono. Os
dois valores calculados devem ser iguais. Deste modo obtm-se um
novo mtodo de encontrar o valor de muitas integrais definidas,
45

valores que seriam difceis de solucionar de outro modo


(LOBACHEVSKY, 1867 apud SILVA, 2006, p. 22).

interessante notar, no entanto, como so to similares as ideias de Lobachevsky e


Janos Bolyai. Ambos abordam a geometria plana atravs da horoesfera no espao,
tendo ambos mostrado que a geometria na horoesfera, onde as retas so
interpretadas como horociclos, euclidiana (SAMUCO, 2005, p.45).

Alm disso, as ideias dos dois coincidiram, mais uma vez, quando mostraram que a
trigonometria esfrica euclidiana vlida na geometria neutral12, tendo construdo
uma aplicao da esfera para o plano no-euclidiano para deduzir as frmulas da
a
(a)
trigonometria no-euclidiana. Bolyai descobriu a frmula tg = e k , que
2
relaciona o ngulo de paralelismo com a reta que lhe corresponde. Essa equao
a chave da Trigonometria no-Euclidiana, sendo um ponto de convergncia com as
ideias de Lobachevsky (SAMUCO, 2005, p. 45).

Lobachevsky desenvolveu a Geometria Imaginria dando grande contribuio


analtica, enquanto que Janos Bolyai entrou mais profundamente na questo da
dependncia ou independncia dos teoremas da geometria relativamente ao quinto
postulado.

Dessa forma, Janos Bolyai e Lobachevsky mostraram que a Geometria no-


Euclidiana era matematicamente possvel e chegaram a esta concluso da mesma
maneira.

3.1.2. Modelos de representao da Geometria Hiperblica

Se a Geometria euclidiana consistente, assim tambm a Geometria hiperblica.


Com o intuito de verificar a consistncia da nova geometria, vrios modelos foram
desenvolvidos para visualiz-la e para poder expor seus objetos.Outro modo de
estudarmos a geometria hiperblica atravs de modelos. Dentre os mais

12
Nessa abordagem da geometria apresentado um sistema de postulados, exceto o quinto
postulado de Euclides, e a partir desses postulados vrias geometrias vo sendo definidas at chegar
chamada Geometria Neutra. A partir desse ponto e das consideraes que se faa possvel
chegar Geometria Euclidiana ou Geometria Hiperblica, por exemplo.
46

conhecidos esto o modelo de Beltrami Klein e o modelo Poincar. Vejamos esses


dois modelos.

3.1.2.1. Modelo de Beltrami Klein

O matemtico Eugnio Beltrami (1835 1900), em seu artigo Uma tentativa de


interpretao da geometria no-euclidiana (1868) descreve um modelo euclidiano
para a Geometria Hiperblica. Anos depois o alemo Flix Klein (1829 1925)
aplicou o conceito de mtrica projetiva do matemtico Arthur Cayley (1821 1895)
para introduzir um conceito de distncia no modelo proposto por Beltrami. Esse
modelo, ento, passou a ser conhecido como modelo de Beltrami Klein.

O trabalho de Beltrami mostra que numa superfcie de curvatura negativa constante,


tomando as geodsicas como retas, todos os resultados obtidos por Lobachevsky
podiam ser verificados.

Essa superfcie tridimensional chamada de pseudo-esfera e obtida pela rotao


de uma curva chamada tractriz13.

13
Segundo OShea (2009, p.291) a tractriz a curva no plano traada pela ponta de uma linha de
comprimento fixo que inicialmente aponta diretamente para cima, enquanto a outra ponta da linha se
move sobre uma linha reta horizontalmente sobre o plano.
47

Figura 3.4: PSEUDO-ESFERA. Temos duas retas (geodsicas) L2 e L3 que passam por um
ponto P, mas que no cruzam com a reta L1 e desta forma, as retas L2 e L3 so paralelas a
L1. (VILA, 20010 apud CAMARGO, 2012, p. 50).
Fonte: (VILA, 2010 apud CAMARGO, 2012, p. 50).

Segundo Coutinho (2001), na superfcie da pseudo-esfera, encontra-se a


possibilidade da confirmao do Postulado de Lobachevsky. Porm, o modelo de
Beltrami possui uma falha. As superfcies de curvatura negativa constante possuam
arestas, o que impedia o prolongamento de certas geodsicas para alm das
arestas que a pseudo-esfera possui e isso contraria o segundo postulado de
Euclides (lembre-se que a Geometria Hiperblica admite todos os postulados de
Euclides exceto o quinto).

Conforme argumenta OShea (2009, p.134), o problema tcnico desse modelo, de a


pseudosfera (pseudo-esfera) ter uma extremidade, que um habitante dessa
superfcie chegaria a essa extremidade num tempo finito. No ficou claro se
existiriam superfcies de curvatura14 negativa constante e sem extremidade.

Klein apresentou outro modelo que no tinha esse problema, e que tambm se
apoiava na Geometria Euclidiana.

Mais adiante teremos um tpico especfico sobre o tema curvatura. TROQUE DEPOIS PELA
14

SEO especfica, NA SEO 3.4 (POR EXEMPLO) VEREMOS....


48

No modelo elaborado por Klein, como podemos ver em Coutinho (2001), considera-
se fixado um crculo no plano euclidiano. Neste modelo, considera-se apenas a
regio do interior desse crculo, o qual passa a ser o plano de Lobachevsky. As retas
do plano lobachevskyano so cordas do crculo sem considerar suas extremidades.

Conforme a figura 3.5, por P traam-se as retas PA e PB paralelas reta AB. As


infinitas retas que passam por P e situadas no interior do ngulo , so as retas no-
secantes.

Figura 3.5: Modelo de Klein.


Fonte: Coutinho (2001, p. 42).

Conforme Coutinho (2001), para completar este modelo, necessrio que as retas
tenham uma extenso infinita dentro de uma rea finita. O mesmo autor argumenta
que possvel vencer esta dificuldade introduzindo uma unidade de medida varivel,
isto , seu tamanho diminui na medida em que se aproxima da fronteira do plano
(circunferncia do crculo). Matematicamente no h nenhuma dificuldade nisso.
Pense, por exemplo, na seguinte situao: faltam duas unidades de distncia para
chegar extremidade (do crculo) e os passos diminuem, por exemplo, na razo 2.
1 1 1 1
Ento a soma infinita 1 + + + + + ... de comprimentos de passos (com o
2 4 8 16
primeiro passo valendo uma unidade) jamais alcanar o valor 2.
49

No modelo de Beltrami-Klein, duas retas dizem-se paralelas se no tiverem pontos


em comum. De acordo com a figura 3.5 pelo ponto P (conforme a prpria construo
do modelo) passam pelo menos duas retas AN e BM paralelas a AB.

Desse modelo possvel extrair importantes consequncias que facilitam o


entendimento de certos resultados da Geometria Hiperblica:

1 O ngulo de paralelismo agudo, sendo este ngulo formado por uma das
paralelas e a perpendicular do ponto P a AB (Figura 3.6 A);

2 O ngulo de paralelismo varivel, isto , depende da distncia do ponto P


reta AB;

3 duas retas distintas e perpendiculares reta AB formam um quadriltero PQMK


(Figura 3.6 B), que o retngulo da Geometria Hiperblica.

A B

Figura 3.6: O ngulo de paralelismo (A) e o quadriltero (B) da Geometria Hiperblica de


acordo com o modelo de Beltrami-Klein.
Fonte: Coutinho (2001).

Deste ltimo (figura 3.6B) possvel extrair um resultado caracterstico muito


importante dessa geometria: a soma dos ngulos internos de um tringulo menor
do que 180.

A seguir veremos um modelo mais sofisticado, principalmente com relao


definio de retas e a de distncia (comprimento) entre dois pontos.
50

3.1.2.2. Modelo de Poincar

O grande matemtico francs Henry Poincar (1864 1912) foi um dos maiores
matemticos de todos os tempos e autor da famosa Conjectura de Poincar, que
hoje um teorema demonstrado. Os modelos propostos por Poincar para a
geometria hiperblica, desenvolvidos entre 1882 e 1887, so o modelo do disco e o
modelo do semi-plano.

Modelo do Disco de Poincar

Assim como no modelo de Klein, Poincar apresenta seu modelo no interior de um


disco euclidiano. Ao fazer isso, Poincar substitui alguns termos como retas e
pontos por entidades concretas. O ponto usado no sentido habitual. No entanto,
conforme Coutinho (2001, p.44), nesse modelo, as retas so arcos de crculos
perpendiculares ao crculo (do disco), que representa o plano hiperblico. Essas
retas so chamadas de reta-h, para caracteriz-las como retas hiperblicas.

Os pontos de interseo das retas com circulo, que o bordo do disco, so pontos
que no pertencem ao plano hiperblico, denominados de pontos ideais ou finais da
reta hiperblica. Este o ponto mega ( ).

Se duas retas-h interceptam-se num ponto A, a medida do ngulo formado entre


elas , por definio, a medida do menor ngulo formado pelas semi-retas
euclidianas tangentes aos arcos (retas-h) no ponto A. Ou seja, no modelo do Disco
de Poincar os ngulos entre as tangentes, so medidos como no caso euclidiano,
utilizando-se as retas (euclidianas) tangentes s retas-h (ou seja, os arcos do
modelo).
51

Figura 3.7: Modelo do Disco de Poincar.


Fonte: Coutinho (2001, p.45).

Para o modelo de Poincar, falta conhecer qual a mtrica utilizada para medir a
distncia entre dois pontos no interior do disco. Veremos que est mtrica no a
euclidiana, pois se assim o fosse, uma reta-h teria um comprimento finito e teramos
o problema da pseudo-esfera de Beltrami.

O Semi-Plano de Poincar

Iremos definir os seguintes objetos matemticos.

Proposio: seja P = H = { ( x, y ) R 2 / y > 0}.

Uma reta tipo I um subconjunto de H da forma La ={( x, y ) H / x = a}, onde a

um nmero real fixado.

Uma reta tipo II (reta dado centro e raio) um subconjunto de H da forma


Lc , r = { ( x, y ) H / ( x c) 2 + y 2 = r 2 } onde c e r so nmeros reais fixados com r > 0.

O conjunto H com as retas assim definido chamado de Semi - Plano de Poincar


(ou Semi-Plano Superior) para geometria hiperblica.
52

Figura 3.8: modelo do Semi-plano de Poincar.


Fonte: autores.

Com essas definies, Poincar desenvolve uma mtrica para calcular a distncia
entre dois pontos na Geometria Hiperblica.

Seja P = ( x1 , y1 ) e Q = ( x2 , y 2 ) dois pontos no semi-plano de Poincar.

A distncia de Poincar dada por:

y
a) d H ( P, Q) = ln 2 , se x1 = x2 , ou seja se P, Q La .
y1

x1 c + r

y1 se P, Q L .
b) d H ( P, Q) = ln
x2 c + r c, r


y2

Com a distncia de Poincar assim definida, podemos notar que o comprimento de


um segmento de reta no depende da ordem pela qual se escreve P e Q. Se, por
exemplo, d ( P, Q) = ln ( A) , ento,

1
d (Q, P ) = ln = ln ( A) = ln ( A)
A

Isto d ( P, Q) = d (Q, P ).
53

Vimos que a medida de ngulos tem o significado euclidiano usual e, portanto, a


congruncia de ngulos tambm o tem. Conforme argumenta Samuco (2005, p. 50),
esta a principal vantagem do modelo de Poincar em relao ao modelo de
Beltrami-Kein.

3.2. Geometria Elptica

Com a descoberta de Boliay e Lobachevsky e os avanos das ideias relacionadas


Geometria Hiperblica, ficou em aberto a possibilidade de haver outras geometrias.
Na abordagem feita anteriormente, para o quadriltero de Saccheri os ngulos de
topo so agudos. No obstante, a hiptese do ngulo de topo do quadriltero de
Saccheri ser obtuso carecia de uma verdadeira e rigorosa fundamentao
geomtrica, isso at a metade do sculo XIX. Nesse sentido, sem dvida, as
investigaes e reflexes que fez Georg Bernhard Riemann (1854) constituem um
tema valioso para Geometria em geral e para fsica moderna, como veremos no
captulo 4, seo 4.5.

Segundo Boyer (2010, p. 377), em 1854 Riemann tornou-se Privatdozent (professor-


adjunto) na Universidade de Gttingen, Alemanha, e segundo o costume da
universidade ele foi designado para apresentar uma Habilitationschrift (palestra de
habilitao) perante o corpo docente. Foi a famosa aula inaugural na qual Riemann
apresentou suas ideias geomtricas.

Conforme OShea (2009, p.111), como tema da aula, Riemann submeteu trs
tpicos ao corpo docente. A escolha do tpico coube a Gauss, seu orientador, que
optou pelo terceiro da lista que tem como ttulo Das Funes que Sustentam a
Geometria e podemos supor alguma influncia de Gauss nos resultados de
Riemann. De todos os artigos comparveis a esse em tamanho, nenhum se
mostrou mais rico em implicaes em toda histria da matemtica (EVES, 2004, p.
614).
54

Para a Geometria riemanniana, assim como na Geometria Hiperblica, a melhor


maneira de captar a lgica dos sistemas geomtricos de geometrias curvas
atravs de modelos de representao euclidianos. O modelo ideal para Geometria
riemanniana a superfcie de uma esfera (COUTINHO, 2001, p. 73). claro que
esse modelo alude apenas um caso especial dessa geometria, em que a
superfcie em considerao tem uma curvatura igual em todos os pontos
(constante).

Na Geometria Elptica abandona-se a noo de estar entre e a reta no carrega


mais o sentido de infinita como na Geometria Euclidiana, e passa a ser ilimitada. As
retas so os crculos mximos ou geodsicas da superfcie esfrica. Vejamos os
postulados de Riemann e algumas de suas consequncias.

3.2.1 Postulados de Riemann e o Modelo Esfrico para Geometria Elptica

Na superfcie esfrica P = { ( x, y, z ) R 3 : x 2 + y 2 + z 2 = r 2 }.

Retas so intersees com planos que passam pela origem.

Segundo Legarda (2011, p. 201) Os postulados que seguem so a base para


Geometria riemanniana:

1) dois pontos distintos determinam ao menos uma geodsica (crculos


mximos);

2) as geodsicas so de comprimento finito, porm ilimitadas;

3) no existem geodsicas paralelas, isto , dois crculos mximos se


intersectam em ao menos um ponto.

Segundo Coutinho (2001, p. 73), com relao a este ltimo postulado, evita-se o
inconveniente de as retas se encontrarem em mais de um ponto, considerando os
pontos como sendo idnticos.
55

Figura 3.9: Modelo de Geometria Elptica.


Fonte: Coutinho (2001, p. 74)

Conforme a figura 3.9, os crculos mximos, ou seja, as retas ACA e ADA,


perpendiculares reta BCDE, intersectam-se nos pontos antpodas A e A, que so
a extremidade de um mesmo dimetro da esfera. A geodsica perpendicular s
geodsicas ACA e ADA a polar comum dos pontos A e A, e estes dois pontos
so os plos da geodsica BCDE. A distncia de A e A a qualquer ponto da
geodsica BCDE constante. Podemos notar (figura 3.9) que duas geodsicas
secantes como as geodsicas ACA e ADA tm em comum uma nica geodsica
perpendicular BCDE.

Na geometria esfrica, dados dois pontos distintos A e B sobre uma circunferncia


mxima, a distncia entre esses pontos a menor poro da circunferncia que os
contm. Mesmo que por A e B outros crculos possam ser considerados, a distncia
entre eles sempre medida sobre o nico crculo mximo determinado por A e B.

Na Geometria Esfrica, os crculos so mximos quando os planos que interceptam


a esfera passam pelo centro da esfera. Pode-se observar que o centro do crculo
mximo coincide com o centro da esfera correspondente. A reta a circunferncia
desse crculo e quaisquer outros crculos sero considerados menores.
56

Um caso particular da geometria esfrica pode ser visto na figura 3.10. Todas as
circunferncias mximas perpendiculares a uma dada geodsica se interceptam em
um ponto. De acordo com a figura 3.10, na superfcie esfrica, as geodsicas h, k, n
e m, perpendiculares a uma mesma geodsica l se interceptam no ponto P. No
caso da geometria euclidiana estas retas seriam paralelas entre si.

Figura 3.10: todas as geodsicas se interceptam em ao menos um ponto.


Fonte: Legarda (2011, p. 202)

Nessa abordagem do modelo, duas geodsicas determinam uma regio S da


superfcie esfrica: as geodsicas k e n ( veja figura 3.11).
57

Figura 3.11: Regio fechada determinada por duas geodsicas.


Fonte: Legarda (2011, p. 202).

Um contra-senso euclidiano desse resultado que, na geometria euclidiana, duas


retas no encerram entre si uma superfcie.

Na geometria esfrica, dados trs pontos arbitrrios C, D e E em um crculo mximo,


h trs casos que se verificam (veja figura 3.12):

a) D se encontra entre os pontos E e C;

b) C se encontra entre os pontos D e E;

c) E se encontra entre os pontos C e D.


58

Figura 3.12: alinhamento de trs pontos na geometria elptica.


Fonte: Legarda (2011, p. 202).

O ngulo sobre a esfera, chamado de ngulo esfrico, a interseco de uma reta


(circunferncia mxima) e a sua medida a mesma do ngulo plano formado pelas
tangentes tiradas do ponto de interseco. (figura 3.14).

Figura 3.13: ngulo esfrico.


Fonte: Antunes (2009, p. 35).

Dados trs pontos A, B e C, distintos e no pertencentes todos a uma mesma


circunferncia mxima, a figura formada pelos arcos de circunferncias, que unem
esses pontos dois a dois, chama-se tringulo esfrico (figura 3.14).
59

Figura 3.14: Tringulo esfrico.


Fonte: Antunes (2009, p. 35).

Na Geometria Euclidiana, duas retas no encerram entre si uma superfcie.

3.2.2 Alguns resultados das investigaes de Riemann

Ao elaborar seus estudos, Riemann distingue a noo de espao e geometria, que


uma estrutura adicional num espao. Dada essa nova conceituao, e
3
principalmente com relao aos estudos matemticos de curvas e superfcies em R ,
afirma Ferreirs (1992):

Neste caso, Riemann passava a esboar avanadas teorias de


geometria diferencial por meio da qual analisava a noo de espao
geomtrico e fsico com uma sofisticao sem precedentes
(Ferreirs, 1992 apud Legarda, 2011, p. 172).

Segundo OShea (2009, p. 113), Riemann definiu espao como consistindo em


pontos, e uma variedade como um tipo particular de espao que consiste em regies
em que os pontos podem ser designados por colees de nmeros.

A variedade mais simples, denominada geralmente de R, a reta numrica. A


segunda variedade mais simples o plano R2, que podemos considerar como sendo
60

pares ordenados de nmeros reais. Em seguida vem o espao tridimensional R3,


que o conjunto cujos pontos so triplas ordenadas de nmeros reais.

Riemann, ento, generaliza a ideia de variedade. Se n um inteiro positivo,


podemos pensar o conjunto de todas as colees de nmeros reais como um
espao, chamado de espao n-dimensional, indicado por Rn. Uma variedade n-
dimensional um conjunto em que o conjunto de pontos prximos a um ponto dado
parece (ou seja, homeomorfo a) uma regio no espao n-dimensional (OSHEA,
2009, p. 114).

Conforme Boyer (2010, p. 377), Riemann percebeu que entre as regras mais
importantes em qualquer geometria, est a regra para achar a distncia entre dois
pontos que esto infinitesimalmente prximos um do outro.

Riemann encontrou uma forma muito interessante de especificar distncias dentro


de uma variedade, to importante quanto aquelas noes primitivas de Euclides. De
acordo com OShea:

Ele observou que, encontrada uma forma de medir a velocidade ao


longo de uma trajetria numa variedade, o clculo diferencial oferece
um meio automtico de medir os comprimentos de curvas nessa
variedade (equaes diferenciais), a lgebra (e a trigonometria) nos
d automaticamente um meio de medir ngulos. Usamos a palavra
mtrica para significar uma regra para medir a velocidade ao longo
de uma curva ou para medir a distncia entre dois pontos. De acordo
com Riemann, as duas regras so a mesma coisa (OSHEA, 2009, P.
115).

O ponto de partida de Riemann foi a frmula da distncia entre dois pontos


infinitesimalmente prximos. Na geometria euclidiana essa mtrica dada por

ds 2 = dx 2 + dy 2 + dz 2 .

Riemann destacou que se podem usar muitas outras frmulas de distncia, mas
nesse caso as propriedades do espao e da geometria ficam determinados pela
mtrica escolhida. Um espao com uma mtrica da forma
61

ds 2 = g11dx 2 + g12 dxdy + g13 dxdz

+ g 21dydx + g 22 dy 2 + g 23 dydz

+ g 31dzdx + g 32 dzdy + g 33 dz 2 ,

Onde os g ij so constantes ou funes de x, y e z, conhecido agora como espao

de Riemann e a geometria desse espao como geometria riemanniana. O espao

euclidiano o caso particular em que g ij = 1 sempre que i = j e g ij = 0 se i j.

Segundo Eves (2004, p. 614), posteriormente, Albert Einstein e outros iriam


encontrar no conceito amplo de espao de Riemann o contexto necessrio para a
teoria da relatividade.

Conforme Legarda (2011), pode-se dizer que a noo primitiva de variedade, desde
o ponto de vista topolgico, permitiu a Riemann (1854) esboar o marco conceitual
de uma geometria generalizada, contemplando a possibilidade de ir mais alm de
uma estrutura geomtrica euclidiana ou no-euclidiana.

A geometria no-euclidiana era at ento, e havia sido por muitas dcadas, um


aspecto da matemtica um tanto margem at ser completamente integrada atravs
das ideias notavelmente gerais de Riemann (BOYER, 2010, p. 377).

3.2.3 A Ideia de curvatura

At aqui definimos situaes geomtricas sobre superfcies curvas e falamos de


curvatura do espao. No entanto, ainda no elaboramos uma compreenso muito
esclarecedora deste tema. Por consider-lo muito importante, vamos tentar dar
algum sentido a este tpico, terminando por apresentar a abordagem de Riemann
para curvatura.

Mas, afinal, o que curvatura? A ideia de curvatura pode ser entendida como sendo
a medida de quo fechada uma curva em cada ponto da mesma.
62

A curva mais simples que conhecemos cuja curvatura constante em todos os


pontos a circunferncia. A curvatura de uma circunferncia de raio R dada por
1
K= . Quanto maior for o raio, menor a curvatura.
R

Figura 3.15: Curvatura de uma circunferncia.


Fonte: adaptado de Universidade Federal do Cear (2013).

Mas e se a curva for variada, ou seja, no constante? Como podemos medir sua
curvatura?

Conforme a Universidade Federal do Cear (2013), para encontrar a curvatura num


ponto P de uma curva qualquer, procedemos da seguinte maneira: desenhamos
uma circunferncia no lado cncavo da curva de tal modo que o nico ponto em
comum entre a curva e a circunferncia seja o prprio ponto P. Como podem existir
vrias circunferncias com essas caractersticas, tomamos aquela com maior raio
possvel. Essa circunferncia recebe o nome de crculo osculante15.

15
Isto , o crculo que beija a curva. Termo cunhado, provavelmente por Leibniz (Universidade
Federal do Cear, 2013).
63

Figura 3.16: Crculo osculante para determinar curvaturas no constantes.


Fonte: Gonzlez (2010).

Desse modo, a curvatura da curva no ponto P ser igual curvatura do crculo


osculante nesse mesmo ponto onde se tocam. De acordo com a figura 3.18, a
curvatura ser k=1/r, pois r o raio do crculo osculante.

Devemos observar que a curvatura o inverso do raio, de modo que a unidade de


medida o inverso do metro e se chama dioptria.16

E no caso de uma superfcie? Como determinar a curvatura?

Segundo Silva (2006, p. 27), em 1827, Gauss apresentou Sociedade Real de


Gttingen o trabalho Disquisitiones generales circa superfcies curvas, que se tornou
o trabalho fundamental introduzindo a geometria diferencial em superfcies curvas
quaisquer. Neste trabalho, Gauss tratou de curvatura de uma superfcie curva de um
modo diferente do que era conhecido desde Euler (SILVA, 2006, P. 27). O trabalho
de Gauss servir como base para o desenvolvimento posterior da geometria no-
euclidiana por Riemann (1854).

16
Dioptria o popular grau dos culos, isto , 1 grau = 1 dioptria. Por exemplo, uma lente de culos
com 0,5 graus (ou 0,5 dioptrias) tem raio de curvatura igual a 2 metros (Universidade Federal do
Cear, 2013).
64

Em seu trabalho, Gauss mostrou que no era necessrio sair do espao do


observador para estud-lo. Dessa forma, Gauss encontrou equaes para curvatura
que dependiam das coordenadas intrnsecas superfcie, o que lhe permitiu definir
seu Theorema Egregium (teorema notvel) e a concluir a seguinte frmula:

+ +
K = lim
0 rea ()

que, em geral varia de ponto para ponto.

E ento, o teorema Gauss-Bonnet (~1850), que a relao entre o valor total


(integral) da curvatura de Gauss e a topologia global da superfcie:

s Kds = 2E

Onde s a rea da superfcie e E o chamado nmero de Euler.

Usando esse resultado, possvel encontrar que o ngulo faltante (de um tringulo)
de uma superfcie igual curvatura de Gauss dessa superfcie.

O que disse Riemann

A ideia de curvatura do espao segundo Riemann (1854 apud O Shea, 2009, p.


115) a seguinte. Dada a noo de linhas retas (geodsicas num espao
riemanniano), pode-se definir tringulos: so figuras limitadas por trs segmentos
geodsicos. E dados os tringulos, pode-se definir curvatura. Numa variedade
bidimensional (o R2), a curvatura em um ponto apenas um nmero que mede o
desvio em relao a 180 da soma dos ngulos internos de um tringulo com vrtice
naquele ponto. Mais precisamente, a medida do desvio em relao a 180
medida que se reduz a rea do tringulo. Curvatura positiva significa que o tringulo
tem mais de 180, curvatura negativa, menos de 180, e curvatura zero, que a soma
dos ngulos do tringulo exatamente igual a 180.

Numa variedade com dimenso maior que 2, temos muitos planos bidimensionais
passando por um ponto. Tambm podemos ter curvaturas diferentes para tringulos
65

geodsicos que sejam tangentes para os diferentes planos passando pelo ponto.
Com relao a esse fato, argumenta Oshea (2009, p. 116):

Curvatura no um nmero, mas toda uma coleo, uma para cada


par de direes em um ponto - cada par de direes determina um
plano no espao de direes, e este, por sua vez, determina uma
superfcie traada pelas geodsicas tangentes s direes no plano.
(Oshea, 2009, p. 116).

O grande trabalho desenvolvido por Riemann para descrever as diferentes


curvaturas em diferentes direes chamado de Tensor de Curvatura de Riemann.
Como veremos mais adiante esse importantssimo instrumento matemtico foi usado
por Einstein na teoria da Relatividade Geral.

Conforme Costa (1995, p 59) a teoria dos tensores tem origem no clculo diferencial
absoluto de Ricci e Levi-Civita. Um tensor pode ser entendido como um super
vetor. Se, num espao de trs dimenses, so necessrios trs componentes para
definir um vetor um nmero para cada coordenada, x, y, z , para definir um tensor
em tal espao so necessrios nove nmeros 32.

A seguir esto representados um esquema escalar, Vetorial e tensorial. Nessa


ordem:

2 1 2 3

8, 4 , 2 4 8
8 1 3 9

Riemann foi alm da definio de Gauss para curvatura. Ele definiu que o espao
era plano se e somente se todo tringulo no espao tiver 180 (ou seja, a soma de
seus ngulos internos medir 180). Isto , o caso quando a curvatura em todos as
direes planas zero. Portanto, um espao plano se e somente se tivermos
vlido o que chamamos de pacote euclidiano. Ou seja, se e somente se o teorema
de Pitgoras for vlido; se e somente se o quinto postulado de Euclides for vlido.

Essa definio dada por Riemann resume trs milnios de geometria! (OSHEA,
2009, p. 116). Dessa ltima definio podemos tirar, tambm, que o clebre
Teorema de Pitgoras equivalente ao quinto postulado.
66

Ento, pelo que vimos, a curvatura determina a geometria do espao. Assim, temos:

Figura 3.17: Curvatura determina a Geometria do espao.


Fonte: <http://plato.if.usp.br/~fma0374d/aula11/node4.html>.

Como vimos, Riemann distingue a noo de espao e geometria permitindo-lhe


elaborar de maneira generalizada a prpria geometria. Os trabalhos de Riemann
proporcionaram avanos muito importantes na fsica, como veremos. Mas, afinal,
qual o espao de que estamos falando? Qual a noo de espao que temos?
Essas discusses sero feitas no prximo captulo.
67

4 A GEOMETRIA DA RELATIVIDADE

Neste captulo iremos investigar as relaes da teoria da relatividade e qual a


influncia do pensamento no-euclidiano nas concepes geomtricas relativsticas.
Basicamente gostaramos de discutir quais foram as ideias com as quais Einstein
converteu a geometria no-euclidiana em uma linguagem natural para a Fsica, ao
mesmo tempo em que apresentamos algumas consequncias naturais da teoria.

4.1 O conceito de espao na Fsica

Na fsica, em geral, podemos qualificar o espao como contnuo, isotrpico,


homogneo17, finito ou infinito, quando no considerado um puro sistema de
relaes. Em certos campos bem determinados, essa concepo fsica do espao
baseada na geometria euclidiana. Por exemplo, para fazer um mapa da cidade de
So Paulo podemos usar uma geometria plana, mas para um mapa das Amricas
devemos usar uma geometria esfrica. No entanto, tais qualificaes no so
acessveis aos nossos sentidos.

Para o homem primitivo, espao era apenas um conjunto de orientaes concretas,


uma multido de direes locais. Esse espao primitivo era geralmente associado ao
espao comum ao grupo, famlia ou tribo. Certos eventos astronmicos ou
meteorolgicos, como o nascer e o pr do Sol, as tempestades e as enchentes,
conferiam a algumas direes algum valor cuja importncia todos reconheciam.

A intuio geomtrica humana consideravelmente mais forte do que a algbrica


por uma razo bvia: desde a Idade da Pedra, temos grande experincia em
movimentao espacial, mas muito pouca em contagem.

A ideia de espao aparece muito cedo na filosofia grega. Segundo Aristteles, os


pitagricos atribuam aos nmeros uma espcie de espacialidade:

Tambm os pitagricos diziam que o vcuo existe e penetra nos


cus pela respirao sem limite. Segundo eles, os cus respiram o

17
Homogneo significa que suas propriedades so as mesmas em qualquer direo local definida
sobre ele. Ser isotrpico significa que suas propriedades no dependem da direo em que so
consideradas.
68

prprio vcuo, o qual separa e divide os objetos naturais prximos


entre si. Em primeiro lugar, o caso dos nmeros, pois o vazio
delimita a sua natureza. (ARISTTELES apud JAMMER, 2010, p.
32).

Ainda segundo Jammer (2010), para o prprio Aristteles o conceito de lugar seria:

O lugar de uma coisa no parte da coisa em si, mas aquilo que


abarca; o lugar imediato ou apropriado de uma coisa no menor
nem maior o que coisa; o lugar em que a coisa est pode ser
abandonado por ela e, portanto, separvel dela; por ltimo, todo e
qualquer lugar implica e envolve os correlatos de acima e abaixo,
e as substncias elementares tm um tendncia natural a se mover
para seus lugares prprios, ou repousar neles quando neles se
encontram e tal movimento para cima ou para baixo, e tal
repouso acima ou abaixo. (JAMMER, 2010, p. 41).

Na concepo aristotlica de espao, uma pedra abandonada de certa altura sofria


uma tendncia natural de se mover para Terra, pois este era o lugar natural da
pedra. O universo, em si, era plano.

O conceito de espao foi enriquecido e tornado mais complexo por Galileu e


Newton, medida que o espao tem de ser institudo como causa independente do
comportamento inercial dos corpos, se quisermos dar um significado exato ao
princpio clssico da inrcia e, a partir da, lei clssica do movimento. (EINSTEIN
apud JAMMER, 2010, p. 18).

O problema clssico do espao foi criado nos sculos XVII e XVIII. Nessa ocasio,
pela primeira vez se analisou o espao euclidiano como um todo. Figuras como
Leibniz e Newton tinham vises opostas do conceito de espao, conforme aponta
Ferreirs (2004):

Newton defende, nos Principia, que o espao tem que ser absoluto,
uma entidade autnoma, distinta dos objetos materiais e que os
condiciona. Trata-se de um receptculo tridimensional homogneo,
um imenso recipiente de todos os fenmenos externos ou
materiais.

Entretanto, Leibniz defende que seria arbitrrio conceber o espao


como um absoluto, e que no se pode encontrar nos fenmenos
prova alguma de que se trata de uma entidade autnoma e real. Se
trataria, ao contrrio, de uma entidade derivada e ideal ainda que
nada arbitrria que decifraria o emaranhado de relaes entre os
objetos materiais (...), o espao no seria mais que a ordem de
69

coexistncia entre as coisas, o conjunto de relaes que se do em


um instante de tempo. (FERREIRS, 2004, p. 12).

Para Newton, o espao era algo continente de tudo que existe, esttico e imutvel.
No ponto de vista de Leibniz, o espao era apenas a ordem dos dados coexistentes:
Spatium est ordo coexistendi (LEIBNIZ apud JAMMER, 2010, p.26).

Para Isaac Barrow, antigo professor de Isaac Newton e um convicto de que


geometria euclidiana era um modelo ideal do espao fsico, ao responder
pergunta: como estamos seguros de que os princpios geomtricos se aplicam
natureza?, afirma :

Estes princpios so derivados da razo inata. Os objetos sensveis


so unicamente os agentes que os despertam. Mas os princpios da
geometria so confirmados mediante a experincia e continuar
assim, porque o mundo desenhado por Deus imutvel. A geometria
, ento, uma cincia perfeita e segura. (CURVELLO, 2002, p. 21).

Curvello (2002) argumenta, ainda nesse sentido, que os filsofos do sculo XVII e
XVIII formularam perguntas questionando os fundamentos da fsica newtoniana,
principalmente Hobbes, Locke e Leibniz contestaram as leis matemticas, no que
Leibniz deixou certo espao para dvida quando distingue o mundo possvel e o
mundo real, isto , o mundo matematicamente possvel e o mundo das experincias
reais. No entanto, nessa poca o trabalho mais importante foi Treatise of human
nature (1739), de David Hume, que negou a existncia das leis necessrias dos
eventos no universo. Hume observou que se ocorrem sequncias de um
determinado fenmeno, os seres humanos concluiriam que sempre ocorrer da
mesma forma tal fenmeno.

Immanuel Kant (1721 1804) sem dvida sofreu profunda influncia da polmica
entre Leibniz e Newton, principalmente conservando muitos dos enfoques desse
ltimo, e nega Hume. Para Kant, tudo que conhecemos com relao ao espao,
geometria e espacialidade dos fenmenos observados, tudo isso compatvel com
a mera intersubjetividade do espao. Nosso conhecimento da geometria euclidiana
demonstra, segundo Kant, que a representao do espao necessariamente a
mesma para todos ns: intersubjetivo.
70

Para Kant, o espao e o tempo so a priori, isto , no dependem de nenhuma


forma de experincia por serem gerados no interior da prpria razo:

Eu demonstro o valor da soma dos ngulos do tringulo fazendo uma


construo no espao. Mas, por que a demonstrao se opera to
bem em minha folha de papel quanto no quadro negro... ou quanto
no solo em que Scrates traava figuras geomtricas para um
escravo? porque o espao, assim como o tempo, um quadro que
faz parte da prpria estrutura de meu esprito. O espao e o tempo
so quadros a priori, necessrios e universais de minha percepo...
O espao e o tempo no so, para mim, aquisies da experincia.
So quadros a priori de meu esprito, nos quais a experincia vem se
depositar. Eis que as construes espaciais do gemetra, por mais
sintticas que sejam, so a priori, necessrias e universais. (KANT
apud ABDALLA, 2005, p.6).

Kant foi o filsofo mais influente de seu tempo. Suas ideias influenciaram
profundamente toda a cincia e, sem dvida, a matemtica. Gauss sofreu notvel
influncia de Kant. (FERREIRS, 2004, p. 12)

O final do sculo XIX registrou os maiores avanos com relao teoria do espao,
com o advento das Geometrias no-euclidianas, como visto no captulo anterior. Um
dos fatos importantes para concretizao das novas ideias de espao colocado
com o conceito de infinito em geometria, pela abordagem de Riemann. Podemos
distinguir espao infinito de espao ilimitado. Isto , o espao representado por uma
superfcie esfrica finito, mas, j que no possui limites, ilimitado.

A outra concepo de espao, fundamental para generalizao da relatividade, a


dada por Minkowski. A estrutura geomtrica de Minkowski constitui um conjunto de
pontos gerando um espao-tempo de quatro dimenses plano, isento de curvatura,
dotado de uma mtrica especial. Veremos esta estrutura na seo 4.4.

4.2 Fsica p-relatividade

A forma que estudamos a Fsica hoje na escola baseada originalmente nos


trabalhos de Galileu e Newton. A maneira do como fazer fsica primeiro foi
sistematizada em um cuidadoso planejamento experimental por Galileu, e tambm
na obteno das mais simples equaes matemticas por Newton (e tambm
Kepler). Essas foram as grandes contribuies desses autores.
71

A lei fundamental da mecnica de Galileu-Newton, conhecida como lei da inrcia,


afirma: Um corpo suficientemente afastado de outros corpos permanece em estado
de repouso ou de movimento retilneo uniforme. (EINSTEIN, 1999, p. 18).

Essa proposio admite um sistema de referncia, ou sistema de coordenadas na


descrio da mecnica.

No caso da mecnica newtoniana, quando nos movemos de um referencial para


outro, as regras de transformao so as seguintes:

x ' = x vt
y '= y
z '= z
t '= t

Nessa relao consideramos um referencial S ' se movendo em relao a um


referencial inercial18 S . A regra acima define uma transformao de Galileu, ou
grupo de Galileu.

As transformaes de Galileu tm como consequncia a lei da adio da velocidade.


Por exemplo, segundo essa lei, para um homem que caminha dentro do vago de
um trem em movimento com velocidade constante, no sentido do comprimento deste
e na mesma direo de seu movimento, sua velocidade em relao ao leito da
estrada dada por:

W =v+w

Onde w sua velocidade dentro do trem e v a velocidade do trem.

At a metade do sculo XIX, todos os fenmenos fsicos podiam ser descritos


utilizando as regras criadas por Newton. Era o auge do pensamento mecanicista,
que teve grande influncia nas cincias, na filosofia, na economia e em praticamente
todas as reas do conhecimento.

18
Isto , um referencial onde vale a lei da inrcia.
72

Nessa mesma poca, porm, alguns fatos novos comearam a mostrar que uma
nova rea da Fsica se iniciava, exigindo uma nova teoria, a eletromagntica.

O fsico e matemtico escocs James C. Maxwell, baseado nos trabalhos de Gauss


sobre o fluxo do campo eltrico E e magntico B, atravs de uma superfcie fechada,
e dos trabalhos de Faraday sobre a lei de gerao da fora eletromotriz, da obra de
Ampre sobre o campo magntico produzido por uma corrente eltrica sintetiza um
conjunto de equaes, acrescentando a chamada corrente de deslocamento. As
equaes de Maxwell podem ser escritas da seguinte forma:


E=
0

B = 0

B
E =
t

E
B = 0 J + 0 0
t

Onde 0 a constante de permissibilidade eltrica do espao livre e 0 a

permeabilidade magntica do espao livre. Essas equaes, juntamente com a lei


de Lorentz (1853 1928) sobre a fora produzida sobre uma carga eltrica em
movimento pelos campos E e B, formam a base para a fsica que rege os
fenmenos eltricos e magnticos, o eletromagnetismo.

interessante ressaltar, aqui, que o formalismo matemtico encontrado por Maxwell


para descrever suas equaes tem como pano de fundo a lgebra dos quatrnios ou
quadrivetores, desenvolvida por Willian R. Hamilton (1805 1865). O mesmo
princpio utilizado por Minkowski na generalizao da Relatividade Restrita.
(MARTINS, 1995, p. 68).

Assim, at o final do sculo XIX, as leis fundamentais da fsica eram:

1) as leis do movimento de Newton,

2) a lei da gravitao de Newton, e


73

3) as leis do eletromagnetismo de Maxwell Lorentz.

A fsica parecia formar um sistema consistente e completo. Mas j no sculo XIX,


essa fsica clssica comeou a apresentar inconsistncia. A Teoria da Relatividade
resolveu essa inconsistncia e completou a fsica clssica. (LESCHE, 2005, p. 11).

Qual era a inconsistncia da fsica clssica? Primeiro, os fenmenos


eletromagnticos, que ocorrem na velocidade da luz, parecem no obedecer lei de
adio de velocidade. Outro ponto que na mecnica de Newton todos os
referencias inerciais so equivalentes. O lado direito da equao fundamental da

dinmica F = m a invariante sob as transformaes de Galileu. Ou seja,

x ' = x vt . Derivando em relao ao tempo duas vezes para obter a acelerao:

d 2x' d 2x
= 2 .
dt 2 dt

Observamos que so idnticas as aceleraes de um corpo no sistema S e S. Isso


significa que foras iguais provocam em ambos os sistemas de referencial igual
efeito. Por isso, invariante.


O eletromagnetismo uma teoria das foras do lado esquerdo da equao F = m a ,
mas as equaes de Maxwell no so invariantes sob a transformao de Galileu.
(LESCHE, 2005, p. 11).

Das equaes de Maxwell deriva-se a velocidade de propagao da onda


eletromagntica, que a constante:

1
c=
0 0

e as transformaes de Galileu alteram velocidades. Assim, a eletrodinmica parecia


ter um referencial privilegiado.
74

Por esse motivo, pensou-se que as ondas eletromagnticas se propagavam como


as ondas elsticas, num meio chamado ter. Isso introduziu alguns fenmenos
novos, como velocidades diferentes para a luz se ela se movia na mesma direo do
ter ou em direo diferente.

Muitas experincias foram feitas para tentar comprovar a existncia do ter, mas
nenhuma delas foi bem sucedida. A mais famosa foi a experincia de Michelson
Morley19 (EMM). Eles projetaram um interfermetro que emitia dois feixes de luz
perpendiculares, um dos quais seguia na direo do movimento da Terra pelo ter.
Desse modo, o raio de luz tinha uma velocidade que se somava velocidade da
Terra na ida, e se subtraa da Terra na volta.

Figura 4.0: Desenho esquemtico do interfermetro de Michelson-Morley.


Fonte: Cherman (2004, p. 91).

Na figura 4.0, o raio de luz que seguiu paralelo ao movimento da Terra percorre a
distncia entre P e M1, com velocidade c+v (na ida) e c-v (na volta). O outro raio de

luz, perpendicular, tem velocidade c2 + v2 (ida e volta). Como a distncia


percorrida por ambos a mesma, e as velocidades so diferentes, eles levam
tempos diferentes para chegar ao coletor; portanto, deveriam apresentar
interferncia. Mas isso no ocorreu.

19
Os americanos Albert A. Michelson (1852-1931) e Edward W. Morley (1838-1923).
75

O experimento foi repetido vrias vezes e por vrios pesquisadores, mas nenhuma
evidncia do ter foi comprovada. A construo desse experimento uma boa
oportunidade para se discutir a validade do Teorema de Pitgoras, ou seja, a mtrica
euclidiana quando se trata de deslocamentos a velocidade da luz.

4.3 Relatividade Restrita

A teoria da Relatividade restrita de Albert Einstein (1879 1955) baseada nos


seguintes postulados:

P1: As leis da Fsica so as mesmas para os observadores situados em qualquer


referencial inercial;

P2: A velocidade da luz no vcuo tem sempre o mesmo valor c em todas as


direes e em todos os referenciais inerciais.

Michelson e Morley descobriram, em 1887, com o resultado do famoso experimento,


que a velocidade da luz a mesma em todos os referenciais. Isso viola a lei da
adio da velocidade, de acordo com a qual qualquer objeto ou sinal est parado no
referencial inercial que se desloca com a mesma velocidade (NATRIO, 2010, p.
10).

Einstein foi o primeiro a compreender que isso significava que as frmulas das
transformaes de Galileu no podiam estar completamente corretas, e que teriam
que ser substitudas pelas frmulas das Transformaes de Lorentz.

4.3.1 Transformaes de Lorentz

O desenvolvimento da Relatividade Restrita (RR) comea por novas leis de


transformao de coordenadas espaciais entre sistemas inerciais de referncia,
como S e S ' da seo 4.2.
76

Lorentz20 (1853 1928) foi capaz de criar um grupo de transformaes (grupo de


Lorentz) que podia explicar as lacunas nos experimentos de Michelson e Morley.

Conforme Fagundes (2009, p. 27), Einstein redescobriu, independentemente, essas


equaes em sua nova teoria. Considerando os postulados P1 e P2 e de hipteses
fsicas, o resultado :

t vx / c 2
t' = ,
1 (v / c ) 2
x vt
x '= .
1 (v / c) 2

Onde c representa a velocidade da luz (cerca de 300.000 quilmetros por segundo).

interessante notar que essa transformao no faz sentido se | v / c | 1, pois ento


o denominador se tornaria imaginrio ou nulo. Segue que na Relatividade Restrita,

| v | < c : o mdulo da velocidade relativa entre dois referenciais sempre menor


que c.

De acordo com Natrio (2010, p. 11), a Teoria da Relatividade Restrita, proposta por
Einstein em 1905, resume-se em explorar as consequncias dessas transformaes.

4.3.2 Contrao do Espao O Trem no Euclidiano

Uma das consequncias da Teoria da Relatividade Restrita o efeito da contrao


do espao (comprimento). Para ilustrar como esse efeito se ope Geometria
Euclidiana, onde os comprimentos so constantes, iremos propor o seguinte
problema terico:

Como encaixar um trem que mede 1,5 quilmetros, por muito tempo, dentro de um
tnel que mede 1,0 quilmetro?

20
Hendrik Lorentz, fsico holands, prmio Nobel de Fsica (1902).
77

O que temos de fazer, de acordo com a Teoria da Relatividade Restrita, calcular a


velocidade mnima que pode permitir que esse fenmeno ocorra. Vamos
desconsiderar a escala, isto , os valores considerados so adimensionais e que
podem ser quilmetros, metros, milhas, etc. Os dados do problema que importam
que o trem tenha 1,5 unidades de comprimentos e o tnel tem 1,0 unidades de
comprimento.

As Transformaes de Lorentz Einstein nos fornecem:

l '
l =
v2
1 2
c

Observe que se | v | << c o termo dentro da raiz aproximadamente igual a 1, e ento


l l'.

Voltemos ao nosso problema. O que queremos obter a velocidade que o nosso


trem tem de se mover de forma que seu tamanho se reduza de 1,5 para 1,0 (para
poder encaixar dentro do tnel), quando medido por um observador que no se
move com o trem. A fim de obter esse valor, vamos trabalhar a relao acima e ver o
que obtemos:
78

l '
l =
v2
1
c2

v2 l '
1 =
c 2
l

2 2
v 2 l ' v2 l '
1 2 = 2 = 1
c l c l

2
l '
v = c 1
l

2
1,0
v = c 1 0,7454c
1,5

A concluso disto que o trem tem de ter pelo menos 74,54% da velocidade da luz
para reduzir seu comprimento e caber dentro do tnel. De outro modo, na geometria
euclidiana ningum fala de contrao do espao pelo fato de o mdulo da diferena
de coordenadas x de dois pontos, A e B, em geral, ser menor que a distncia entre
os pontos: | x A x B | d ( A, B).

Assim,

- na geometria euclidiana comprimentos so constantes.

-Na contrao de Lorentz da relatividade restrita, o comprimento depende do


observador.

- A Relatividade Restrita modifica a geometria.

Outra consequncia da Teoria da Relatividade Restrita, e que novamente contrria


geometria euclidiana onde o tempo uma entidade absoluta, a chamada
dilatao do tempo. Para o tempo relativstico, as transformaes de Lorentz
fornecem:
79

t ' v2
t = ; = 1
c2

O efeito da dilatao temporal da Relatividade Restrita pode ser explorado


didaticamente por meio do chamado paradoxo dos gmeos. Nesse experimento
mental, um gmeo permanece na Terra ao passo que o outro viaja a uma velocidade
prxima a da luz para uma estrela vizinha e retorna aps alguns anos. O viajante
ser ento mais novo do que o outro que tinha ficado!

4.4 Geometria de Minkowski

A percepo de que a relatividade especial podia ser tratada como uma geometria
do espao-tempo foi desenvolvida por Hermann Minkowski (1864 1909) que
apresentou uma formulao baseada em quadrivetores, de Hamilton. (MARTINS,
1995, p. 68).

Nessa geometria o espao e o tempo so entidades indissociveis e passam a


formar um contnuo espao-tempo.

Em 1908, Minkowski apresenta uma conferncia sobre espao e tempo. No


relatrio sobre o assunto, Minkowski comeou com estas palavras:

Os pontos de vista sobre o espao e o tempo que pretendo


apresentar-lhes provm do terreno da fsica experimental, e a reside
sua fora. So radicais. Daqui em diante, o espao, por si s, e o
tempo, por si s, esto condenados a desvanecer-se em meras
sombras, e apenas um tipo de unio dos dois conservar uma
realidade independente. (MINKOWSKI apud PAIS, 1995, p. 175).

De acordo com Einstein (1999, p. 49), o mundo dos eventos fsicos na geometria de
Minkowski naturalmente de quatro dimenses no sentido espao temporal,
configurando eventos que so descritos por quatro nmeros, a saber, as trs
coordenadas espaciais e uma coordenada temporal: (x, y, z, t).

Vale ressaltar, aqui, que essa abordagem no-euclidiana, pois a Geometria


Euclidiana s estuda entes geomtricos com at trs dimenses. (MARTINS, 1995).
80

Minkowski observou que a transformaes de Lorentz da Relatividade restrita pode


ser caracterizada de uma maneira ainda mais simples, se em lugar de t
introduzirmos como varivel de tempo a quantidade 1 ct . Minkowski publicou seu
trabalho mostrando que as variveis t e x, y, z, que representam o tempo e o local
de um evento na Relatividade Restrita, podem ser consideradas coordenadas de um
espao no-euclidiano (FAGUNDES, 2009, p. 75). Portanto:

x1 = x
x2 = y
x3 = z
x4 = 1 ct ,

Isso fornece a mtrica de Minkowski no intervalo:

s 2 = x 2 + y 2 + z 2 c 2 t 2

Em notao diferencial:

ds 2 = dx 2 + dy 2 + dz 2 c 2 dt 2

Cabe aqui um comentrio. Na mecnica de Newton temos como elemento de linha:

ds 2 = dx 2 + dy 2 + dz 2

O tempo no est envolvido, pois, do ponto de vista newtoniano, o espao uma


entidade absoluta assim como o tempo, que precisamente a concepo
geomtrica euclidiana. Desse modo, vale a mtrica euclidiana, isto , o Teorema de
Pitgoras para calcular distncias.

Alguns livros representam a mtrica de Minkowski da seguinte forma:

s 2 = c 2 t 2 x 2 y 2 z 2 .

Com essa variao da mtrica, vamos definir intervalo entre dois eventos e1 e e2

Q(e1 , e2 ) = c 2 t 2 x 2 y 2 z 2 .
81

a chamada distncia temporal. Ela a chave para determinao da geometria do


espao-tempo (LESCHE, 2005, p. 47). A distncia temporal uma grandeza
absoluta e no depende da escolha de um referencial. A histria do evento e1
representada pelo diagrama de espao-tempo, conforme figura 4.1.

Figura 4.1: diagrama de espao-tempo.


Fonte: Lesche (2005, p. 60).

Dado que a distncia temporal definida anteriormente seja a, b e c eventos, sendo b


um evento intermedirio, isto , b mais tarde que a e mais cedo que c, ento, na
geometria de Minkowski vale a desigualdade inversa:

(a, c) (a, b) + (b, c).


82

Figura 4.2: desigualdade triangular : 5s + 4s < 12,76.


Fonte: Lesche (2005, p. 84).

Isso exatamente o contrrio do que se passa na Geometria Euclidiana, onde o


comprimento de um lado de um tringulo sempre menor que a soma dos
comprimentos dos outros dois lados (desigualdade triangular).

4.5 Relatividade Geral

A Relatividade Geral envolve uma abordagem matemtica bem mais complexa. Mas,
o interessante que vrios conceitos desta teoria ns j abordamos no captulo 3,
com a descrio das geometrias no-euclidianas.

Iremos apresentar algumas noes bsicas da Teoria da Relatividade Geral, de


forma que possamos explorar os conceitos da Geometria No-euclidiana presentes
nesta teoria. Ou, nas palavras de Einstein:

O nosso prximo exemplo ser ainda mais fantstico (....). Temos de


abordar um novo problema, o da conexo entre a teoria da
relatividade geral e a geometria (EINSTEIN, 2008, p. 186).

A Teoria da Relatividade Geral uma generalizao da Teoria da Relatividade


Restrita, que considera a geometria de Minkowski como ponto de partida.
83

Segundo Costa (1995, p. 67), com a Teoria da Relatividade Geral, Einstein resolveu
ao mesmo tempo o problema da gravitao e o problema de exprimir as leis dos
fenmenos naturais mediante equaes vlidas para qualquer sistema de referncia.
Nessa nova teoria, a gravitao deixa de ser uma fora de ao instantnea
distncia e se reduz geometria do Universo.

Conforme argumenta Cherman (2004, p. 105), Einstein precisava avanar, mas seu
arcabouo matemtico terico no permitia. Sua frustrao com relao a isso pode
ser comprovada em carta a seu amigo Marcel Grossman (1878 1936), onde pede
desesperado: Grossman, voc tem que me ajudar, seno fico louco! (CHERMAN,
2004, p. 106).

E ento, Grossman apresenta Einstein s Geometrias No-Euclidianas. A geometria


de 4-dimensional, descoberta por Minkowsky, estendida por Einstein para um
espao-tempo curvo. Dessa forma, Einstein combina a mtrica de Minkowski com a
geometria curva de Riemann para obter seu espao-tempo curvo.

Conforme Cherman (2004, p. 108), Grossman, alm de apresentar Einstein s


Geometrias No-Euclidianas, tambm lhe mostrou alguns resultados do calculo
tensorial, que a ferramenta utilizada por Riemann para medir a curvatura do
espao no ponto, j vista em 3.2.3.

4.5.1 Princpio da Equivalncia

Conforme Natrio (2005, p. 59), em 1907, dois anos aps publicar a Teoria da
Relatividade Restrita, Einstein teve, nas suas prprias palavras, o pensamento mais
feliz de sua vida. Esta ideia, a que mais tarde deu o nome de Princpio de
Equivalncia, resume-se a isto: para um observador em queda livre, tudo se passa
como se no houvesse gravidade (a ideia do elevador). O princpio de equivalncia
nos diz que a massa inercial e a massa gravitacional so as mesmas. Para teoria da
relatividade Geral, o ponto bsico o princpio de equivalncia.

4.5.2 Desvio da luz pelo Campo Gravitacional


84

A luz sofre atrao gravitacional. No tem massa, mas ainda assim muda de
caminho na presena da matria (campo gravitacional). Mas por que a luz se curva?

Conforme Costa (1995, p 68), na Teoria Geral da Relatividade, a velocidade da luz


no mais uma constante absoluta, e a trajetria do raio luminoso no uma reta,
mas uma geodsica. A lei da gravitao de Newton apenas uma aproximao, e a
nova teoria a compreende como caso particular. Nesse contexto, deixa de valer a
geometria euclidiana e passamos a considerar a geometria riemanniana.

Em sua forma final, a relatividade geral amarra a geometria do espao-tempo


quantidade de matria e energia nele existentes. Isso apresentado por meio de
uma equao tensorial:

1 8
R g R = 2 G
2 c

Nessa equao, R o Tensor de Ricci, g o Tensor mtrico, R o escalar de

8
curvatura, G constante gravitacional de Einstein, e o chamado Tensor de
c2
energia-momento. Essa equao relaciona termos que dizem respeito geometria
do espao-tempo ( esquerda) e termos que se referem ao contedo de massa e
energia ( direita).

De modo geral, podemos dizer que enquanto a matria diz ao espao como se
curvar, o espao reage de volta e diz matria como se mover. Isto , a geometria
do espao-tempo diz matria como se mover, e a matria reage de volta dizendo
ao espao como se curvar. Esta a ideia bsica por trs da Teoria da Relatividade
Geral (MAIA, 2009, p 46).

Em um campo gravitacional, a trajetria de um raio luminoso deve sofrer uma


curvatura, semelhante curvatura que experimenta um corpo lanado atravs desse
campo. De acordo com a teoria, um raio luminoso que passa rente a um corpo
celeste desviado na direo deste. O ngulo de desvio de um raio luminoso que
passa prximo ao Sol dado por:
85

4GN M S
=
RS c 2

Onde GN a constante gravitacional, M S a massa do Sol, RS o raio do Sol e c a


velocidade da luz. Substituindo os valores das constantes encontramos:

= 1,75 " de arco.

Segundo a teoria de Einstein (1999, p. 104), metade deste desvio deve-se ao


campo de atrao (newtoniano) do Sol e metade modificao geomtrica do
espao (curvatura) provocada pelo Sol.

Figura 4.3: Ilustrao do desvio de um raio de luz procedente de uma estrela pelo Sol: Sua
posio aparente fica a um ngulo da posio normal.
Fonte: Fagundes (2009, p. 81).

Conforme Costa (1995), esse valor do ngulo de desvio de um raio luminoso que
passa prximo ao Sol o dobro previsto da Teoria de Newton.

Para comprovar a medio era necessrio observar estrelas com posies celestes
prximas borda do Sol. Isso foi feito pela primeira vez em 1919, por ocasio de um
86

eclipse solar total. Foram organizadas duas equipes de astrnomos, uma em Sobral
(CE), no Brasil, e outra em Prncipe, na frica. Os resultados foram:

em Sobral, = 1,98 " 0,16 " ;

em Prncipe, = 1,61" 0,40 ".

considerados muito bons para uma confirmao terica acima. Esta medio foi
repetida muitas vezes. Em 1975, o efeito foi observado com ondas de rdio do
quasar (fonte de rdio quasar-estrela) 3C279, com timo resultado = 1,76 "0,02
(FAGUNDES, 2009, p. 82).

Um importante resultado da Teoria da Relatividade Geral foi obtido por Karl


Schwarzschild (1873 1916) j em 1916. Schwarzschild aplicou a frmula a um
objeto compacto de forma esfrica (uma estrela, um planeta, por exemplo), e seus
resultados foram surpreendentes. Ele encontrou uma regio em que os efeitos
gravitacionais eram to violentos, em que o espao-tempo estava to curvado, que
nem a prpria luz conseguia escapar. A existncia desses objetos celestes, que
mais tarde foram denominados de buraco negro, corresponde ao colapso
gravitacional de uma estrela de grande massa. Quando a estrela chega ao fim de
sua vida, consumindo todo seu combustvel nuclear a gravidade vence a presso,
que antes mantinha a estrela em equilbrio, e colapsa sobre si mesma. O resultado
um intenso campo gravitacional em uma regio muito pequena do espao, a
singularidade.

Para regies assim, a Geometria Hiperblica possibilita aplicao, como na predio


da rbita de objetos submetidos a esses campos gravitacionais intensos (CALDEIRA
& CARVALHO, 2008).

A teoria da relatividade, restrita e geral, foi testada ao longo do tempo desde sua
formulao terica e tem se mantido nas previses.
87

5 GEOMETRIAS NO-EUCLIDINAS NA EDUCAO BSICA

Pelo que vimos at aqui, acreditamos que seja necessrio se considerar a insero,
o papel e a importncia das Geometrias no-Euclidianas no mbito da Geometria
Escolar. Trata-se aqui da possibilidade das geometrias no-euclidianas serem
inseridas na educao bsica, bem como propostas que as relacionem com fsica
moderna (Teoria da Relatividade).

De um lado temos, conforme argumenta Porto e Porto (2008), que existe atualmente
uma tendncia crescente de se inserirem nos programas de fsica do ensino mdio
temas relacionados fsica moderna. Sobre isso os autores argumentam:

Sua insero nos programas escolares se defronta muitas vezes com


obstculos associados dificuldade de se transmitirem de forma
clara conceitos bastante complexos e desenvolvidos em linguagem
matemtica avanada. (PORTO & PORTO, 2008, p. 1).

Diante disso, acreditamos que uma abordagem que considera as geometrias no-
euclidianas como fundamento terico seja conveniente. Isso porque muito dos
conceitos geomtricos abstratos presentes na matemtica da teoria da relatividade
so desenvolvidos no ensino das geometrias no-euclidianas. Outro aspecto positivo
de uma abordagem assim com relao interdisciplinaridade, j que os conceitos
da teoria da relatividade esto fortemente ligados aos conceitos das geometrias no-
euclidianas como vimos. Ento, por que no aproximar o aluno dos dois tpicos ao
mesmo tempo?

Conforme Eisenstaedt & Fabris (2004, p. 185) a obra Introduo Teoria da


Relatividade, de Manoel Amoroso Costa, fsico-matemtico brasileiro, publicado em
1922 o primeiro livro brasileiro sobre a Relatividade Geral, reeditado pela UFRJ em
1995. Segundo os autores o livro surpreende ainda hoje pela sua limpidez, preciso
e conciso.

Amoroso Costa (1995) dedica um captulo s para tratar das geometrias no-
euclidianas, cujo ttulo O espao no-euclidiano. Nele, o autor discute o
surgimento das geometrias no-euclidianas e sua relao com a nova fsica de
Einstein. interessante observar como o primeiro livro brasileiro sobre o assunto,
88

escrito na poca do fervor das novas ideias, dedica notvel destaque s geometrias
no-euclidianas. Isso se ope maioria dos textos atuais sobre o tema Relatividade
que consideram pouca ou nenhuma relao.

5.1 O currculo de matemtica

Nos ltimos anos, surgiram nos meios educacionais oportunidades para incluso de
contedos advindos das diversas Geometrias, Euclidiana e no-Euclidiana, aos
conhecimentos geomtricos escolares considerados como adequados formao
de alunos para o sculo XXI. Esses contedos tm sido objetos de discusso entre
os membros de vrias associaes de profissionais da Matemtica: matemticos,
professores e educadores matemticos de vrios pases (KALEFF & NASCIMENTO,
2004, p. 1).

Como resultado dessa discusso, citamos o documento referente ao Ensino


Fundamental, os PCN Matemtica 5 a 8 srie (BRASIL, 1998), que apresenta a
matemtica que deve ser trabalhada com os jovens e adolescentes:

Fruto da criao e inveno humanas, a Matemtica no evolui de


forma linear e logicamente organizada. Desenvolveu-se com
movimentos de idas e vindas, com rupturas de paradigmas.
Frequentemente um conhecimento foi amplamente utilizado na
cincia ou na tecnologia antes de ser incorporado a um dos sistemas
lgicos formais do corpo da Matemtica. Exemplos desse fato podem
ser encontrados no surgimento dos nmeros negativos, irracionais e
imaginrios. Uma instncia importante de mudana de paradigma
ocorreu quando se superou a viso de uma nica geometria do real,
a geometria euclidiana, para aceitao de uma pluralidade de
modelos geomtricos, logicamente consistentes, que podem modelar
a realidade do espao fsico (BRASIL, 1998, p. 25).

Existem vrias tentativas de se inserirem as geometrias no-euclidianas na


educao bsica. Com relao a isso, nossa maior motivao o Currculo de
Matemtica do Estado do Paran, elaborado no ano de 2008. Esse documento
curricular inclui elementos de Geometrias No-Euclidianas no rol de contedos a
serem ensinados nos nveis de ensino fundamental e mdio. O contedo
estruturante Geometrias desdobrado em: geometria plana; geometria espacial;
geometria analtica; noes bsicas de geometrias no-euclidianas.
89

Para o Ensino Fundamental, o contedo Noes de Geometrias No-Euclidianas


contempla os seguintes contedos: geometria projetiva (pontos de fuga e linhas do
horizonte), geometria topolgica (conceitos de interior, exterior, fronteira, vizinhana,
conexidade, curvas e conjuntos abertos e fechados) e noes de geometria dos
fractais.

No caso do Ensino Mdio, os contedos indicados com relao aos elementos de


Noes de Geometrias No-Euclidianas so: geometria dos fractais, geometria
projetiva, geometria Hiperblica e geometria elptica.

Como uma das justificativas para tal insero, o documento apresenta:

Muitos dos problemas do cotidiano e do mundo cientfico s so


resolvidos pelas geometrias no-euclidianas. Um exemplo so os
estudos que resultaram na Teoria da Relatividade, em que a
geometria do espao, usada por Albert Einstein, foi uma geometria
no-euclidiana, de modo que conceitos, como a luz se propaga ao
longo de geodsicas e a curvatura do espao determinada pela
natureza da matria que o preenche, foram fundamentais
(COURANT & ROBBINS apud PARAN, 2008, p. 56).

Por outro lado, embora haja uma crescente discusso de se inserirem as geometrias
no-euclidianas na educao bsica, devemos atentar para o fato de que
professores de ensino Fundamental e Mdio, com longa experincia profissional,
apresentam um quase total desconhecimento das geometrias no-euclidianas
(KALEFF & FRANCA, 2008).

Segunda a pesquisa de Kaleff & Franca (2008), que analisaram informaes junto
ao Fundo FNDE, sobre o Programa Nacional Do Livro Didtico (PNLD) e sobre o
Programa Nacional do Livro do Ensino Mdio (PNLEM), ambos do MEC, esses
autores concluem que, das colees de livros mais solicitadas pelas escolas, a
apresentao didtica dos contedos geomtricos aos alunos, as menes s
geometrias no-euclidianas so espordicas, de carter meramente ilustrativo
quanto ao seu valor histrico para o desenvolvimento da Matemtica e das Cincias.
90

A maioria dos livros didticos no faz meno sobre a existncia de outras


geometrias, no entanto, quando o fazem apenas a ttulo de ilustrao, sem
qualquer aprofundamento terico.

Destacamos, ainda, que os cursos de Formao de Professores de Matemtica, em


geral, no tm contemplado em suas estruturas curriculares estudos das geometrias
no-euclidianas. Isso pode ser comprovado no levantamento feito por Cabariti
(2004) das grades curriculares de Licenciatura em Matemtica de diversas
universidades pblicas e privadas do Estado de So Paulo, em que os dados
levantados mostram que das 11 Universidades consultadas, apenas quatro incluem
essa disciplina (ou tpicos relacionados) em suas grades, sendo que, em duas
delas, essa disciplina figura como optativa (CABARITI, 2004, p. 20).

5.2 O currculo de fsica

No que diz respeito disciplina de Fsica, pesquisas apontam para uma


necessidade de atualizao curricular e a introduo de conceitos de Fsica
Moderna na grade curricular do ensino mdio. Algumas razes para isso so:

O despertar da curiosidade dos alunos e ajud-los a reconhecer a Fsica


como um empreendimento humano;

Os estudantes ouvem falar em temas como buracos negros e big bang na


televiso ou em filmes de fico cientfica, mas nunca nas aulas de fsica;

O ensino de temas atuais da fsica pode contribuir para transmitir aos alunos
uma viso mais correta dessa cincia e da natureza do trabalho cientfico,
superando a viso linear do desenvolvimento cientfico, hoje presente nos
livros didticos e nas aulas de fsica (OSTERMANN & MOREIRA apud
OLIVEIRA et al., 2007).

Segundo Dominguini et al. (2012), com relao aos livros didticos aprovados pelo
PNLD 2012, percebe-se maior empenho dos autores em inserir a Fsica Moderna
como contedo de Ensino Mdio. Nesse contexto, dos 10 livros de fsica aprovados
pelo PNLD 2012, apenas 01 (Gonalves Filho e Toscano, 2010) no aborda o tema
91

Teoria da Relatividade como contedo de Fsica Moderna. A concluso do autor


que, no PNLD 2012, todos os autores acreditam que fsica moderna no apenas
um suplemento fsica clssica e sim algo a ser tratado como assunto
imprescindvel aos alunos. Desse modo, todos os autores passam a dar maior
enfoque a este contedo aos livros didticos.

Na seo anterior apresentamos o currculo do Estado do Paran como modelo


inovador, que incluiu as geometrias no-euclidianas no currculo estadual. No
entanto, no que se refere ao currculo de fsica, no existe o mesmo empenho dos
educadores sobre o ensino de Fsica Moderna ou mesmo do tpico Teoria da
Relatividade. O mesmo documento estadual que havia sido citado, na disciplina de
matemtica, como sendo uma aplicao da Geometria No-Euclidiana. Ou seja, no
houve consenso entre os currculos dessas matrias afins.
92
93

6 CONSIDERAES FINAIS

Neste trabalho procuramos apresentar as Geometrias No Euclidianas, ao mesmo


tempo em que lidamos com outro tema, no menos abstrato, a Teoria da
Relatividade, buscando resgatar tanto seus aspectos histricos, filosficos, a ntima
relao com os conceitos geomtricos, bem como sua importncia para o ensino.

O anseio por tornar mais simples os fundamentos da matemtica acabou mostrando


que os fundamentos precisavam ser revistos. Negando o quinto postulado dos
Elementos, foi possvel desenvolver outras geometrias diferentes da geometria
euclidiana, mas que funcionavam to bem quanto ela.

A existncia de geometrias onde a soma dos ngulos de um tringulo poderia ser


maior ou menor que dois ngulos retos implicava em um novo conceito de espao.
Um espao que poderia existir apenas como objeto matemtico, mas que tambm
poderia existir fisicamente, como propunha Lobachevsky atravs de suas tentativas
de aplicao. Essas teorias no foram muito bem aceitas inicialmente, at serem
resgatadas pelas novas teorias fsicas que surgiram.

A Teoria da relatividade de Einstein mudou as bases da Fsica alterando conceitos


to fundamentais como espao e tempo. Essa nova Fsica s possvel quando se
considera uma geometria No-Euclidiana.

Acreditamos que a incluso dos contedos das Geometrias no-Euclidianas nas


classes de educao bsica, Ensino Fundamental II e Mdio, seja conveniente, ao
mesmo tempo em que defendemos a incluso do tema Fsica moderna, com o
tpico Teoria da Relatividade no currculo do Ensino Mdio.

Devido importncia das geometrias no-euclidianas para o desenvolvimento da


teoria da relatividade, acreditamos que esta no pode ser negligenciada na
apresentao daquela. Conceitos como espaos 4-dimensionais ou mais e espaos
curvos, negativo ou positivo, s podem ser considerados se sairmos da geometria
euclidiana.
94

Pensamos que as relaes entre as geometrias no-euclidianas e a fsica ainda


podem ser aprofundadas, e que as apresentadas neste trabalho so apenas uma
exposio inicial. Investigaes podem ser feitas por profissionais da educao que
deseja explorar tais ideias e fazer da interdisciplinaridade entre as cincias tema de
seus trabalhos.

Existem muitos trabalhos acadmicos na rea de pesquisa pura que utilizam


modelos no-euclidianos tais como os apresentados neste texto. Por exemplo, o
caso de Belo (2007) que utiliza o modelo da pseudoesfera para investigaes da
Mecnica Quntica. Cabe ao professor ter contato com essas pesquisas e tentar
traduzir esses resultados para educao bsica.

Outro exemplo muito importante de geometria no-euclidiana, e que no tratamos


neste trabalho, o da Geometria Fractal. Essa geometria, embora tenha abordagem
diferente, considerada justamente aquela em que no vale a geometria euclidiana.
A geometria Fractal caracterizada por ter ntimas relaes com o mundo natural.
Logo, com a Fsica. Isso fica evidente em Conde (2011) em sua dissertao A
Distribuio Fractal de Galxias (...). Atualmente, muitas outras pesquisas de ponta
consideram o modelo Fractal, principalmente pesquisas em biologia, biomatemtica
e biofsica.

Ainda h muito que se fazer para tornar popular entre os educadores e alunos o
ensino das geometrias no-euclidianas, bem como a Teoria da Relatividade. Como
possibilidade para um trabalho futuro, deixamos como possvel proposta a
elaborao de atividades que envolvam a matemtica do equipamento GPS (Global
Positioning System) que possibilita tratar dos dois temas ao mesmo tempo, conforme
Alves (2006) pode nos dar alguma ideia.

Esse equipamento de uso quotidiano, presente em grande parte dos aparelhos


celulares mais modernos, tem seu funcionamento baseado num modelo de
geometria no-euclidiano (Geometria Elptica), assim como na comunicao do
aparelho com os satlites geoestacionrios indispensvel se considerar os efeitos
relativsticos para correo do tempo. Assim sendo, poderia se configurar um
excelente dispositivo didtico para se ensinar conceitos abstratos, de forma
95

interdisciplinar, envolvendo uma tecnologia atual e mostrando que a matemtica, a


cincia, est mais prxima dos alunos do que se pode imaginar.
96
97

REFERNCIAS

ANTUNES, Marcelo Carvalho. Uma possvel insero das geometrias no-


euclidianas no ensino mdio. 2009/02. 54 p. Monografia (Licenciado em matemtica)
Universidade Federal do Rio Grande do Sul UFRGS, Porto Alegre, 2009.

ABDALLA, Maria C. B. Teorias Modernas do Espao-Tempo. Disponvel em:


<www.cbpf.br/~dcp/papers/papers/mariacristina/espaco_tempo.ppt.>

Acesso em: 09 nov. 2013.

ALVES, S. A matemtica do GPS. Revista do professor de matemtica, n 59, So


Paulo, 2006.

BARKER, Stephen F. Filosofia da Matemtica. Rio de Janeiro: Zahar Editores, 1969.

BELO, L. R. A. Modelo de Heisenberg em um Espao com Curvatura Negativa:


Excitaes Topolgicas de Spin na Pseudo-Esfera. 2007. 68 f. Dissertao (ps-
graduao em Fsica Magister Scientiae) Universidade Federal de Viosa.
Viosa, 2007.

BOYER, Carl B. Histria da Matemtica. 3.ed. Blucher. So Paulo, 2010.

BRASIL. Secretaria de Educao Fundamental. Parmetros curriculares nacionais:


Matemtica. Braslia: MEC, 1998.

CABARITI, E. Geometria Hiperblica: uma proposta didtica em ambiente


informatizado. 2004. 181 f. Dissertao (Mestrado em Educao Matemtica)
Pontifcia Universidade Catlica de So Paulo, So Paulo. 2004.

CALDEIRA, P. I. D.; CARVALHO, T. F. de. Traduo do Software NonEuclid. In:


Encontro de Iniciao Cientfica da PUC-Campinas, 13, 2008, Campinas. Anais...
XIII Campinas, 2008.
98

CHERMAN, Alexandre. Sobre os ombros de gigantes: uma histria da fsica. Rio de


Janeiro: Jorge Zahar Editor, 2004.

CONDE, S. G. A Distribuio Fractal de Galxias em 0,05 z 5,0 . 2011. 94 f.


Dissertao (Mestrado em Astronomia) Observatrio do Valongo. Universidade
Federal do Rio de Janeiro. Rio de Janeiro, 2011.

COUTINHO, Lzaro. Convite s Geometrias no-euclidianas. 2 ed. Rio de Janeiro:


Intercincia, 2001.

COSTA, M. A. Introduo Teoria da Relatividade. 2.ed. Rio de Janeiro: Editora


UFRJ, 1995.

CURVELLO, Eduardo. Comentrios sobre a Geometria no-euclidiana. Gustavo


Guzzo revista acadmica. N 4 (2002).

DOMINGUINI, L.; MAXIMIANO, J. R.; LEONEL, C. Novas Abordagens do Contedo


Fsica Moderna no Ensino Mdio Pblico do Brasil. Seminrio de Pesquisa em
Educao da Regio Sul: Anais IX ANPED SUL. Santa Catarina, 2012.

EUCLIDES. Os Elementos. Traduo de Irineu Bicudo. So Paulo: Editora UNESP,


2009.

EINSTEIN, Albert. A Teoria da Relatividade Especial e Geral. Traduo Carlos


Almeida Pereira. Rio de Janeiro: Contraponto, 1999.

EINSTEIN, Albert, INFELD, Leopold. A Evoluo da Fsica. Traduo de Giasone


Rebu. Rio de Janeiro: Jorge Zahar Ed., 2008.

EISENSTAEDT, J.; FABRIS, J. C. Amoroso Costa e o primeiro livro brasileiro sobre


a Relatividade Geral. Revista Brasileira de Ensino de Fsica, So Paulo, V. 26, n. 2,
p. 185 192, 2004.

EVES, Howard. Introduo Histria da Matemtica; traduo: Hygino H.


Domingues. Editora da Unicamp. Campinas, 2004.
99

FAGUNDES. Hlio V. Teoria da Relatividade: no nvel matemtico do ensino mdio.


So Paulo: Editora Livraria da Fsica, 2009.

FERREIRS, Jos. Kant, Gauss y el problema del espacio. Disponvel em:


<http://personal.us.es/josef/JF_v2_publ.html.>

Acesso em: 09 nov. 2013.

INSTITUTO DE FSICA DA UNIVERSIDADE DE SO PAULO. Plato. Disponvel em


<http://plato.if.usp.br/~fma0374d/aula11/node4.html>.

Acesso em: 26 de out. 2013.

JAMMER, Max. Conceito de Espao: a histria das teorias do espao na fsica.


Traduo de Vera Ribeiro. 3 Ed. Rio de Janeiro: Ed. PUC Rio, 2010.

KALEFF, A. M.; NASCIMENTO, R. S. Atividades Introdutrias s Geometrias No-


Euclidianas: o exemplo da Geometria do Txi. Boletim Gepem, n 44, Rio de janeiro,
2004.

KALEFF, A.M; FRANCA, J. C. A Histria, as Geometrias No-Euclidianas e os Livros


Didticos do Ensino Mdio: uma anlise da apresentao de retas paralelas In:
Colquio de Histria e Tecnologia no Ensino de Matemtica, 4, 2008. Rio de Janeiro.
Anais... Rio de Janeiro, 2008.

LEGARDA, Hernn Jairo Narvez. Teoria de las paralelas y La emergncia de las


geometras no euclidianas. Um desarrollo histrico y epistemolgico. 2011. 253 p.
Trabajo de Grado (Licenciado en Matemticas y Fsica) Universidad Del Valle,
Santiago de Cali, 2011.

LESCHE, Bernhard. Teoria da Relatividade. 1. ed. So Paulo: Editora Livraria da


Fsica, 2005.
100

MAIA, Nelson B. Introduo Relatividade. 1 ed. So Paulo: Editora Livraria da


Fsica, 2009.

MARTINS, Roberto de A. A Influncia das Geometrias No-euclidianas no


Pensamento Fsico do Sculo XIX. Revista da SBHC, n. 13, p. 67-80, 1995.

NATRIO, Jos. A Geometria da Relatividade. Disponvel em:


<http://www.math.ist.utl.pt/~sanjos/estagio/Textos.pdf>

Acesso em: 09 nov. 2013.

OLIVEIRA, F. F.; VIANNA, D. M.; GERBASSI, R. S. Fsica Moderna no ensino


mdio: o que dizem os professores. Ver. Bras. Ensino Fs. V. 29, n 3. So Paulo,
2007.

OSHEA, Donal. A Soluo de Poincar. Traduo Paulo Cezar Castanheira. Rio de


Janeiro: Record, 2009.

PARAN. Diretrizes Curriculares da Educao Bsica: Matemtica. Curitiba:


SEE/PR, 2008.

PARAN. Diretrizes Curriculares da Educao Bsica: Fsica. Curitiba: SEE/PR,


2008.

PAIS, Abraham. Sutil o Senhor: a cincia e a vida de Albert Einstein. Traduo


Fernando Parente e Viriato Esteves. Rio de Janeiro: Nova Fronteira, 1995.

POINCAR, Henri. O valor da Cincia. Traduo Maria Helena Franco Martins. Rio
de Janeiro: Editora Contraponto, 1995.

PORTO, C.M.; PORTO, M.B.D.S.M. Uma viso do espao na mecnica newtoniana


e na teoria da relatividade de Einstein. Revista Brasileira de Ensino de Fsica, v. 30,
n. 1, 1603, (2008).

SAMUCO, Jos Maria Euardo. A Gnese da Geometria Hiperblica. Universidade do


Porto, Departamento de Matemtica Pura Faculdade de Cincias. Porto, 2005.
101

SEIXAS, W. Um estudo sobre a geometria extrnseca dos espaos-tempo.


Dissertao (Mestrado) _ Universidade de Braslia, 1989.

SILVA, Ana Paula Bispo da. O Desenvolvimento das mecnicas no-euclidianas


durante o sculo XIX. 2006. xxx f. Tese (Doutorado em .....) Universidade Estadual
de Campinas, Instituto de Fsica Gleb Wataghin. Campinas, SP. 2006.

SILVA, Karolina B. Ribeiro da. Noes de geometrias no-euclidianas: hiperblica,


da superfcie esfrica e dos fractais. - 1 ed. Curitiba, PR: CRV, 2011.

TENRIO, Robinson M. A razo e o tempo: trilhas da matemtica na teia da histria.


Salvador: EDUFBA, 2009.

UNIVERSIDADE FEDERAL DO CEAR. Seara da Cincia. Disponvel em:


< http://www.seara.ufc.br/donafifi/gausseeuler/gausseuler.htm>

Acesso em: 09 nov. 2013.


102