UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CINCIAS EXATAS DEPARTAMENTO DE MATEMTICA

HISTRIA DA GEOMETRIA HIPERBLICA

Nome: Fernanda Martins Braz Belo Horizonte/2009

UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CINCIAS EXATAS DEPARTAMENTO DE MATEMTICA

HISTRIA DA GEOMETRIA HIPERBLICA

Monografia desenvolvida como requisito para a aprovao no curso de Especializao em Matemtica para Professores da Universidade Federal de Minas Gerais.

Nome: Fernanda Martins Braz Orientador: Francisco Satuf Rezende

Belo Horizonte/2009

Nome: Fernanda Martins Braz

Monografia: Histria da Geometria Hiperblica

Membros componentes da banca examinadora:

Francisco Satuf Rezende (Orientador) UNIVERSIDADE FEDERAL DE MINAS GERAIS

Helder Cndido Rodrigues UNIVERSIDADE FEDERAL DE MINAS GERAIS

Alberto Berly Sarmiento Vera UNIVERSIDADE FEDERAL DE MINAS GERAIS

Belo Horizonte,

de

de 2009.

Uma geometria no pode ser mais verdadeira do que a outra; poder ser apenas mais cmoda. (Poincar)

Sumrio
1 Resumo .............................................................................................................. 07 2 Introduo ........................................................................................................... 08 3 Histria da Geometria ......................................................................................... 09 4 Euclides .............................................................................................................. 10 5 Geometria Euclidiana ......................................................................................... 12 6 Quinto Postulado de Euclides ............................................................................ 14 6.1 Tentativas de demonstrar o quinto postulado ........................................15 6.1.1 Ptolomeu ................................................................................. 15 6.1.2 Proclus .....................................................................................16 6.1.3 Nasir Eddin All Tusin ............................................................... 16 6.1.4 John Wallis ...............................................................................17 6.1.5 Girolamo Saccher ................................................................... 17 6.1.6 Johann Heinrich Lambert ........................................................ 19 6.1.7 Adrien Marie Legendre ............................................................ 21 7 Uma nova Geometria ..........................................................................................22 7.1 Carl Friedrich Gauss ..............................................................................22 7.2 Wolfgang Boylai .....................................................................................23 7.3 Johann Boylai ........................................................................................23 7.4 Nicolai Ivanovich Lobachewsky .............................................................25 8 Geometria Hiperblica ........................................................................................ 26 8.1 Modelos de Geometria Hiperblica ...................................................... 27 8.1.1 Modelo de Beltrami ................................................................. 27 8.1.2 Modelo de Klein ...................................................................... 28 8.1.3 Modelos de Poincar .............................................................. 29 9 Consequncias da nova geometria ................................................................... 31 10 Geometria Hiperblica na escola ..................................................................... 32 11 Concluso ........................................................................................................ 32 12 Referncias Bibliogrficas ................................................................................ 34

1 Resumo
A Geometria vista como uma cincia de natureza lgica e dedutiva, sendo formulada por postulados, axiomas e noes comuns a todos. Assim Euclides formulou e organizou todo o conhecimento sobre geometria de sua poca nos Elementos. Euclides comeou o desenvolvimento de seu trabalho utilizando cinco postulados, mas o quinto, conhecido como postulado das paralelas, causou grande polmica. Muitos afirmavam que se tratava de um teorema e buscavam uma demonstrao. Grandes matemticos aventuraram-se no estudo do quinto postulado, e o problema que parecia simples, tornou-se numa difcil busca por sculos. Em meio s tentativas de prov-lo, foi descoberta uma nova geometria, a Geometria Hiperblica, em que se negava o quinto postulado e afirmava que por um ponto fora de uma reta passa mais de uma reta paralela reta dada. Iniciava-se, ento, uma srie de resultados novos, inclusive a descoberta de que a Geometria Hiperblica to consistente quanto a Geometria Euclidiana. Esses resultados, apesar de diferentes e distantes de alguns resultados da Geometria Euclidiana, possuem um encadeamento lgico correto e, inclusive, aplicao prtica. interessante que os professores de matemtica tenham conhecimento da existncia da geometria no euclidiana e compartilhem com seus alunos algumas informaes e curiosidades a esse respeito, j que nas escolas a geometria de Euclides ensinada como verdade absoluta e inquestionvel. Palavras-chave: geometria, euclidiana, hiperblica

2 Introduo

O ensino da geometria costuma ser muito desprivilegiado na educao bsica, sendo muitas vezes o ltimo contedo a ser abordado no ano letivo, isso quando h tempo. Alm disso, muitos professores no tm segurana ao ensinar geometria, com seus axiomas e teoremas, muito menos sabem da existncia de outras geometrias.

fato que o estudo das geometrias no euclidianas normalmente no abordado nos cursos de Licenciatura Matemtica, o que explica o espanto de muitos professores ao tomarem conhecimento dessa nova geometria, j que a geometria de Euclides aprendida e ensinada como nica e absoluta geometria existente. A geometria hiperblica uma geometria no euclidiana e estud-la possibilita uma viso crtica sobre a prpria Matemtica, sobre seus argumentos e demonstraes. Esse trabalho visa fazer um breve relato histrico do desenvolvimento da geometria hiperblica para ampliar um pouco mais a viso do professor de matemtica, aprimorando seu conhecimento e servindo como introduo para um estudo mais aprofundado das geometrias no euclidianas.

3 - Histria da Geometria
A origem da Geometria (do grego medir a terra) est ligada a algumas prticas do cotidiano relacionadas ao plantio, construes e movimento dos astros, sendo usada para clculo de reas, superfcies e volumes. Seu estudo iniciou-se na antigidade, nas civilizaes egpcia e babilnica, por volta do sculo XX a.C. Todos os anos o rio Nilo extravasava as margens e inundava o seu delta, terreno situado entre dois braos de um rio. A boa notcia era a de que as cheias depositavam nos campos de cultivo lamas aluviais ricas em nutrientes, tornando o delta do Nilo a mais frtil terra lavrvel do mundo antigo. A m notcia consistia em que o rio destrua as marcas fsicas de delimitao entre as possesses de terra. Dessa forma, adviam da conflitos entre indivduos e comunidades sobre o uso dessa terra no delimitada. A dimenso desses conflitos era tal que uma pessoa recm falecida tinha de jurar aos deuses que no enganou o vizinho, roubando-lhe terra. O corao comido por uma besta horrvel chamada o devorador seria a punio para tal pecado. Roubar a terra do vizinho era considerado uma ofensa to grave como quebrar um juramento ou assassinar algum. Sem marcos fronteirios, os agricultores e administradores de templos, palcios e demais unidades produtivas fundadas na agricultura no tinham referncia clara do limite das suas possesses para poderem cultiv-las e pagarem os impostos devidos. Os antigos faras resolveram passar a nomear funcionrios, os agrimensores, cuja tarefa era avaliar os prejuzos das cheias e restabelecer as fronteiras entre as diversas posses. Foi assim que nasceu a geometria. Estes agrimensores acabaram por aprender a determinar as reas de lotes de terreno dividindo-os em retngulos e tringulos. A frmula da rea do retngulo (base x altura) provavelmente nasceu da observao de mosaicos quadrados e a descoberta da rea do tringulo por meio da diviso em duas partes, pela diagonal, de quadrados e retngulos. Quando deparavam com superfcies irregulares, cartgrafos e agrimensores utilizavam o mtodo de triangulao (dividir um campo em pores triangulares cujas reas somadas davam a rea total).

10

A descoberta do modo como calcular o comprimento de uma circunferncia e a rea de um crculo tambm foi devido a problemas prticos, como, por exemplo, construes que requeriam paredes curvas. Os antigos gemetras perceberam a existncia de uma relao entre o raio e o comprimento da circunferncia: o comprimento da circunferncia sempre cerca 6,28 vezes seu raio. J a rea do crculo foi encontrada por um escriba egpcio chamado Ahmes, h cerca de 2000 a.C., que descobriu uma relao entre a rea do quadrado e a rea do crculo. Ahmes concluiu que para saber a rea do crculo basta calcular a rea de um quadrado construdo sobre o raio e multiplicar a respectiva rea por 3,14. Por volta de 500 a.C., as primeiras academias foram fundadas na Grcia e a busca por conhecimentos sobre geometria aumentava. A partir de Tales de Mileto (600 a.C., aproximadamente), surgem as primeiras tentativas de deduzir os fatos geomtricos. Porm, foi com Euclides que a geometria desenvolveu-se como cincia dedutiva, por volta de 300 a.C.

4 - Euclides (325-265 a.C.)

Conta-se que em tempos muito remotos um jovem discpulo perguntou ao seu mestre qual o lucro que teria com o estudo da geometria. Seu mestre, o grande matemtico grego Euclides, chamou um escravo e pediu que este entregasse algumas moedas ao jovem que a partir daquele momento deixou de ser aluno de Euclides. Pouco se sabe sobre a vida de Euclides. No se sabe onde nasceu, nem sua formao. possvel que tenha estudado na Academia de Plato, em Atenas, por causa da semelhana entre a viso platnica do conhecimento e a viso de Euclides, em particular do desinteresse pelas aplicaes prticas. Euclides eventualmente se estabeleceu em Alexandria, Egito, onde o soberano Ptolomeu I havia criado um importante instituto cientfico conhecido como Museu. No Museu, Euclides tornou-se um bom educador, com reconhecida habilidade como expositor. Sua obra mais importante, Os Elementos, era usada como texto

11

introdutrio ao estudo de matemtica elementar. Euclides foi o primeiro a apresentar a matemtica como cincia dedutiva, sendo que cada afirmao deveria ser deduzida de outras mais simples de maneira lgica e sucessiva.
Hoje,

sabe-se que a obra mais influente de Euclides, Os Elementos, escrita por volta

de 300 a.C., uma compilao de teoremas conhecidos e demonstrados. Euclides sistematizou a grande massa de conhecimentos matemticos adquiridos ao longo do tempo, dando ordem lgica e estabelecendo o conceito de lugar geomtrico. No possvel saber qual a extenso do trabalho que pode ser atribudo ao prprio Euclides, porm a mera redao dessa obra j lhe confere um lugar de destaque na histria da matemtica, sendo considerada como o primeiro tratado cientfico, modelo para todos os outros em qualquer ramo da cincia. Os tpicos tratados em cada um dos volumes de Os Elementos so: Livro I Os fundamentos da geometria plana. Livro II lgebra geomtrica. Livro III Teoria da circunferncia. Livro IV Figuras inscritas e circunscritas. Livro V Teoria das propores abstratas. Livro VI Figuras geomtricas semelhantes e proporcionais. Livro VII Fundamentos da teoria dos nmeros. Livro VIII Continuao de proporo e teoria dos nmeros. Livro IX Teoria dos nmeros. Livro X Classificao dos incomensurveis. Livro XI Geometria dos slidos. Livro XII Medio de figuras Livro XIII Slidos regulares

12

5 - Geometria Euclidiana
Para Euclides, a geometria era uma cincia dedutiva que operava a partir de certas hipteses bsicas, os axiomas, que foram apresentados em dois grupos: as noes comuns e os postulados. A distino entre esses grupos no muito clara, mas noes comuns seriam consideradas hipteses aceitveis a todas as cincias e postulados seriam hipteses prprias da Geometria.

Noes comuns:

(a) Coisas iguais a uma mesma coisa so tambm iguais. (b) Se iguais so adicionados a iguais, os totais so iguais. (c) Se iguais so subtrados de iguais, os restos so iguais. (d) Coisas que coincidem uma com a outra, so iguais. (e) O todo maior do que qualquer uma das partes.

Postulados

I. Pode-se traar uma (nica) reta ligando dois pontos. II. Pode-se prolongar (de uma nica maneira) uma reta finita continuamente em uma linha reta. III. Pode-se traar um crculo com centro qualquer e raio qualquer. IV. Todos os ngulos retos so iguais. V. Se uma reta, interceptando duas outras, forma ngulos internos de um mesmo lado cuja soma menor que dois retos, ento estas duas retas, se prolongadas indefinidamente, se encontram naquele lado cuja soma dos ngulos internos menor que dois retos. Com o quinto postulado, foi criado o primeiro e mais duradouro modelo para o espao fsico, a Geometria Euclidiana, regido pelos postulados. Esse modelo possua, aparentemente, um encadeamento lgico perfeito.

13

Implicitamente, Euclides tambm fez uso de outras hipteses para a compilao de seu trabalho,por exemplo: a) Vale o axioma de Pasch: sejam A, B e C trs pontos no colineares e r uma reta que no contm nenhum destes pontos. Se r corta o segmento AB ento ela tambm corta o segmento BC ou o segmento AC. b) As retas so contnuas Ao escrever os Elementos, Euclides introduziu os postulados um a um e juntamente com suas definies e axiomas, deduziu 465 proposies. preciso que o conjunto de axiomas tenha as trs propriedades seguintes:
a)

Completude: tudo que ser usado na teoria est apropriadamente contido nos axiomas, de maneira que no hajam hipteses implcitas Consistncia: impossvel deduzir dois teoremas contraditrios dos axiomas Independncia: nenhum axioma conseqncia de alguma combinao dos demais.

b) c)

Com base na anlise das propriedades de um sistema axiomtico, percebe-se que as demonstraes de Euclides eram cheias de apelos intuio com hipteses implcitas, fazendo-se necessrio uma reconstruo. Em 1899, o matemtico alemo David Hilbert (1862 1943) apresentou sua obra, Fundamentos de Geometria, que esclarecia alguns problemas lgicos e fazia um estudo rigoroso dos Elementos de Euclides. Hilbert torna como primitivos os conceitos de ponto, reta e plano e os considera interligados a trs relaes no definidas: estar entre e congruncia. Tambm elaborou o primeiro conjunto completo de axiomas da geometria euclidiana, subdividido-os como de incidncia, ordem, congruncia, paralelas e continuidade. Em 1904, Hilbert provou que a geometria euclidiana consistente se a aritmtica for consistente.

14

6 - Quinto postulado de Euclides

Se uma reta, interceptando duas outras, forma ngulos internos de um mesmo lado cuja soma menor que dois retos, ento estas duas retas, se prolongadas indefinidamente, se encontram naquele lado cuja soma dos ngulos internos menor que dois retos. (5 postulado de Euclides)

Figura 1: Quinto Postulado de Euclides O quinto postulado s utilizado a partir da proposio 29 nos Elementos, sendo as 28 primeiras vlidas para qualquer outra geometria onde sejam assumidos os quatro primeiros postulados, sendo assim impossvel, no mbito da geometria euclidiana, provar a proposio 29 sem o 5 postulado. Proposio 29: Quando uma reta corta duas paralelas, formam-se ngulos correspondentes iguais. Por definio, retas so paralelas quando no tm ponto em comum, ou seja, quando no se cruzam. O quinto postulado tornou-se alvo de crticas dos Elementos no tempo de Euclides e durante 2.000 anos inmeras tentativas foram feitas para demonstr-lo. Uma das conseqncias foi a produo de vrios outros equivalentes denominados substitutos. Afirmar que um postulado A substituto do quinto postulado significa dizer que o desenvolvimento dos quatro primeiros postulados mais o postulado A coincide com Geometria Euclidiana. Alm disso, tomando o postulado A possvel provar o quinto

15

postulado, e vice-versa. O substituto mais conhecido o apresentado pelo matemtico escocs John Playfair num trabalho publicado em 1.795 (Elementos de Geometria). Axioma de Playfair: Por um ponto fora de uma reta pode-se traar uma nica reta paralela reta dada. A seguir outros equivalentes ao quinto postulado de Euclides: Postulado A: a soma dos ngulos internos de um tringulo sempre igual a dois ngulos retos. Postulado B: existe um par de tringulos semelhantes e no congruentes. Postulado C: existe um par de retas eqidistantes. Postulado D: se trs dos ngulos de um quadriltero so retos, ento, o ltimo tambm reto. Esses substitutos mostram que o quinto postulado no bvio e sem ele no teramos o teorema da soma dos ngulos internos de um tringulo, toda teoria dos tringulos semelhantes e, conseqentemente, a trigonometria deixaria de existir. Substituindo o quinto postulado por outra proposio, obtm-se outra geometria um tanto diferente da que estamos acostumados.

6.1 - Tentativas de demonstrar o quinto postulado

Muitos tentaram demonstrar o quinto postulado, mas a maior parte das tentativas ou admitiam fatos equivalentes a ele ou faziam uso de afirmaes que no podiam ser demonstradas pelos quatros outros postulados.

6.1.1 - Ptolomeu I

... ele (o quinto postulado da Geometria Euclidiana) deveria ser retirado completamente da redao dos postulados, pois um teorema difcil, o qual Ptolomeu props-se a demonstrar,... (Proclus, nos comentrios sobre o livro I dos Elementos)

16

Ptolomeu, que viveu na poca de Euclides, escreveu um livro que apresentava uma prova do quinto postulado, mas essa tinha um erro, pois assumia que paralelismo acarreta na congruncia de duas figuras. O principal argumento de Ptolomeu era que se uma reta intercepta um segunda reta, tambm interceptar todas as retas paralelas a esta segunda. Essa afirmao vlida apenas na Geometria Euclidiana.

6.1.2 Proclus (410 485)

Filsofo, matemtico e historiador, Proclus relata que, mesmo na poca de Euclides, muitas tentativas foram feitas para provar o quinto postulado e aponta equvocos na demonstrao de Ptolomeu. Na demonstrao proposta por Proclus, deve-se admitir que retas paralelas so eqidistantes, o que equivalente ao quinto postulado.

6.1.3 Nasir Eddin All Tusin (1201 1274)

Astrnomo, matemtico persa e editor de uma verso do Elementos para o rabe, Nasir sups, sem demonstrao, o seguinte axioma para deduzir o quinto postulado: sejam m e n duas retas, A um ponto de m e B um ponto de n, tais que AB perpendicular a n e forma um ngulo agudo com m. Ento as perpendiculares baixadas de m reta n, do lado do ngulo agudo, so menores do que AB e as que ficam do outro lado so maiores do que AB.

Figura 2: Axioma de Nasir

17

Em sua demonstrao, Nasir usou uma figura que ficou muito conhecida pelo nome de outro matemtico. Ele considerou um quadriltero em que os ngulos da base eram retos e os lado AC congruente ao lado BD

Figura 3: Quadriltero usado por Nasir

Nasir conclui que a figura um retngulo, provando que os ngulos C e D so retos. Traando a diagonal, dividiu o retngulo em dois tringulos, provando a existncia de um tringulo cuja soma dos ngulos internos 180, o que equivalente ao quinto postulado.

6.1.4 John Wallis (1616 1703)

Deve-se citar outros matemticos que nos sculos XVI e XVII escreveram sobre o 5 postulado e tentaram prov-lo: F. Comandino (1509 1575 ), C.S. Clavio (1537 1612), P.A., Cataldi (? - 1626), G.A. Boreli (1608 1679), Giordano Vitale (1633 1711) e J. Wallis (1616 1703). Wallis no usou a idia de eqidistncia entre retas trabalhada pelos matemticos que o precederam e apresentou uma demonstrao do quinto postulado baseandose no seguinte postulado: dado um tringulo, possvel construir um outro que lhe semelhante, com lados arbitrariamente grandes. Porm, seu postulado equivalente ao quinto postulado.

6.1.5 Girolamo Saccheri (1667 - 1733)

As contribuies

do padre jesuta, Saccheri, foram mais importantes que as

18

anteriores e seu trabalho foi publicado em um livro chamado Euclides ab omni naevo vindicatus (Euclides, sem qualquer falha). Saccheri considerou outras hipteses no trabalhadas por Euclides e trabalhou suas consequencias.

Saccheri achou interessante o mtodo da prova por reduo ao absurdo ao ler os Elementos de Euclides. Esse mtodo consiste em assumir como hiptese que a proposio a ser demonstrada falsa. Se durante a demonstrao ocorrer alguma contradio, isso implica que a proposio verdadeira. Para usar o mtodo descrito acima, Saccheri fez uso de seu conhecimento de Lgica, j que antes de ser professor na Universidade de Paiva, lecionou Filosofia na Universidade de Turim, tendo publicado um tratado de Lgica em 1697 chamado Lgica Demonstrativa, que usava o mtodo de Euclides no tratamento da lgica formal. A figura fundamental em seu trabalho chamada de quadriltero de Saccheri, que consiste em um quadriltero ABCD em que os ngulos da base, ngulo A e ngulo B, so retos e o lado AC congruente ao ao lado BD.

Figura 4: Quadriltero de Saccheri

AB chamada base inferior e CD, base superior do quadriltero de Saccheri. O objetivo de Saccheri era saber se os ngulos C e D eram retos, agudos ou obtusos, sendo esses casos conhecidos por hiptese do ngulo reto, hiptese do

19

ngulo agudo e hiptese do ngulo obtuso, respectivamente. Seu trabalho consistia em trs passos: I. Provar que os ngulos C e D so congruentes; II. Provar que o quinto postulado equivale com a hiptese do ngulo reto e
III.

Provar que o fato dos ngulos C e D serem agudos ou obtusos entra em contradio com uma das 28 primeiras proposies dos Elementos de Euclides.

Inicialmente, Saccheri demonstrou que os ngulos C e D so congruentes usando a propriedade de congruncia entre tringulos. Em seguida, demonstrou que a hiptese do ngulo obtuso era falsa, assumindo, como Euclides, que a reta infinita. Saccheri tambm provou a equivalncia entre o quinto postulado e a hiptese do ngulo reto. Entretanto, ao procurar uma contradio para a hiptese do ngulo agudo, provou uma srie de resultados coerentes com todos os postulados da Geometria Euclidiana, exceto o quinto. Saccheri tentou uma segunda prova para encontrar uma contradio na hiptese do ngulo agudo, mas novamente no obteve sucesso. Se ele percebesse que no havia contradio para ser encontrada, a descoberta da nova geometria teria ocorrido quase um sculo antes. Em seu trabalho, mostrou possuir um grande conhecimento em lgica e percepo geomtrica, mas mesmo com todos os resultado obtidos, no acreditou na existncia de uma nova geometria, devido at a influncia religiosa da poca. Apesar disso, muito contribuiu para o desenvolvimento da Geometria no Euclidiana.

6.1.6 Johann Heinrich Lambert (1728 - 1777)

Lambert deu continuidade ao trabalho de Saccheri na tentativa de tambm encontrar uma contradio para a hiptese do ngulo agudo e chamou a ateno para a teoria das paralelas, tendo seu trabalho escrito em 1766 e publicado, aps sua morte, por G. Bernoulli e C.F. Hindenburg.

20

Lambert considerou um quadriltero com trs ngulos retos e sups trs hipteses para o quarto ngulo:

Figura 5: Quadriltero de Lambert

I. Hiptese do ngulo reto, equivalente ao quinto postulado de Euclides; II. Hiptese do ngulo obtuso e III. Hiptese do ngulo agudo. Como Saccheri, Lambert eliminou a hiptese do ngulo obtuso assumindo que a reta ilimitada. Todavia, tambm no chegou em contradio ao tentar demonstrar a hiptese do ngulo agudo, obtendo proposies inusitadas. Entre elas destaca-se a seguinte: A rea de um tringulo proporcional diferena entre a soma de seus ngulos internos e dois ngulos retos. Essa diferena, conhecida como deficincia do tringulo, tem um papel muito importante na Geometria Hiperblica e seu valor igual a zero na Geometria Euclidiana, na qual a soma dos ngulos internos de um tringulo 180. Lambert observou que a hiptese do ngulo obtuso vale para tringulos esfricos e que a hiptese do ngulo agudo ocorre na superfcie de uma esfera de raio imaginrio. Suas observaes seriam posteriormente comprovadas pelos matemticos Riemann e Lobachewsky.

21

6.1.7 Adrien Marie Legendre (1752 - 1833)

Legendre foi um grande matemtico francs, tendo inmeras pesquisas em matemtica pura e aplicada. Tambm foi um autntico professor que se dedicava educao bsica. Escreveu um livro, Elementos de Geometria, largamente utilizado por estudantes, j que o estilo de suas demonstraes era mais simples e acessvel. Seu livro tambm foi muito utilizado no Brasil, alcanando mais de 25 edies. Legendre publicou vrias demonstraes do quinto postulado, mas todas erradas. Seu trabalho era dividido em trs hipteses: I. A soma dos ngulos internos de um tringulo igual a 180 (equivalente ao quinto postulado); II. A soma dos ngulos internos de um tringulo menor do que 180 e III. A soma dos ngulos internos de um tringulo maior do que 180. A comprovao do item I foi facilmente feita e Legendre eliminou a possibilidade da soma dos ngulos internos de um tringulo ser maior do que 180, pois encontrou contradio. Porm, as vrias demonstraes fornecidas por Legendre de que a soma dos ngulos internos de um tringulo no pode ser menor do que 180 estavam incorretas. H uma relao entre o trabalho de Legendre e Saccheri, como se segue: Hiptese do ngulo reto A soma dos ngulos internos de um tringulo = 180 Hiptese do ngulo agudo A soma dos ngulos internos de um tringulo < 180 Hiptese do ngulo obtuso A soma dos ngulos internos de um tringulo > 180

Os trs matemticos (Saccheri, Lambert e Legendre) no conseguiram eliminar a hiptese do ngulo agudo simplesmente porque no existe contradio nem equvoco nessa hiptese. Eles no perceberam que se negassem o quinto postulado teria surgido uma nova geometria.

22

7 Uma nova Geometria

Ainda no incio do sculo XIX, alguns matemticos buscavam uma demonstrao do quinto postulado de Euclides, mas todas tentativas foram fracassadas. Apesar disso, todos esses trabalhos e buscas por um resultado serviram como guia para outros matemticos na descoberta de uma nova geometria. Assim, deve-se ressaltar a colaborao de todos aqueles que procuraram uma prova, pois, de certa maneira, eles abriram o caminho para o rduo trabalho de se construir outras geometrias.

7.1 Carl Friedrich Gauss (1777 1855)

Gauss foi o maior matemtico de sua poca e contribuiu muito para o desenvolvimento da nova geometria. Na verdade, ele foi o primeiro a designar a nova geometria como no Euclidiana. Apenas alguns dos resultados de Gauss foram conhecidos durante sua vida. compreensvel, j que em seu tempo a Inquisio exercia grande presso sobre aqueles que dominavam algum tipo de conhecimento e esses deveriam ser prudentes. Gauss temia opor-se publicamente s teorias de Kant, cuja filosofia havia sido adotada pela igreja catlica e considerada como dogma. Kant acreditava que o rigor das demonstraes matemticas deveria ser dispensado e a intuio adotada. J Gauss acreditava que o rigor era necessrio. Em sua obra mais famosa, Crtica da razo pura, publicada em 1871, Kant chama o espao euclidiano de uma necessidade inevitvel de pensamento. Sabe-se da descoberta da nova geometria por Gauss graas as suas anotaes e correspondncias que trocava com alguns matemticos da poca. Muitos de seus resultados foram divulgados dessa forma. Inicialmente, Gauss tentou provar o quinto postulado usando o mtodo reduo ao absurdo, como fizera antes Saccheri e Lambert. Mas na segunda dcada do sculo XIX, Gauss comeou a deduzir uma nova geometria, formulando idias e teoremas.

23

Segue-se um trecho da carta escrita por Gauss a F.A. Taurinus, em Gttingem, em 8 de novembro de 1824:
... A hiptese que a soma dos ngulos menor que 180 leva a uma geometria curiosa, muito diferente da nossa (a euclidiana), mas totalmente consistente, a qual desenvolvi a um ponto que me satisfaz plenamente, no sentido de que posso resolver qualquer problema nela, com exceo da determinao de uma constante que no pode ser fixada a priori. ... ... Os teoremas dessa geometria parecem paradoxais e absurdos para um no iniciado; mas reflexo cuidadosa sobre o assunto revela que eles no contm nada de impossvel. ... ... Todos os meus esforos para descobrir uma contradio, uma inconsistncia, nesta geometria no euclidiana no tiveram sucesso, e a nica coisa nela que se ope a nossa concepo que se for verdade, deve existir no espao uma unidade universal de medida linear (desconhecida por ns). ... ( v. [5] p. 45).

Gauss provou que a diferena entre dois ngulos retos e a soma dos ngulos internos de um tringulo traado numa superfcie de curvatura negativa constante proporcional a rea do tringulo. Esse trabalho coincidia com o trabalho de Lambert e indicava a existncia de uma geometria onde no era vlido o postulado das paralelas.

7.2 Wolfgang Boylai (1775 - 1856)

O hngaro

Wolfgang

Boylai foi

amigo

de

Gauss

e trocava

com

este

correspondncias sobre a teoria das paralelas. Ambos estavam empenhados na busca por uma demonstrao do quinto postulado. W. Boylai apresentou seu trabalho a Gauss, em 1804, acreditando ter resolvido o problema, mas Gauss apontou o erro da prova. Quatro anos depois Gauss recebeu uma prova suplementando a demonstrao anterior, mas no respondeu comentando o trabalho. Wolfgang colocou suas idias no livro de dois volumes Tentamen.

7.3 Johann Boylai (1802 - 1860)

Filho de Wolfgang Boylai, Johann Boylai mostrou interesse pela matemtica ainda jovem, tendo se dedicado ao estudo da teoria das paralelas, apesar de seu pai t-lo

24

aconselhado a no seguir tal caminho. Por carta, seu pai fez um pedido: Pelo amor de
Deus, eu lhe peo, desista! Tema tanto isso quanto as paixes sensuais porque isso pode tomar todo o seu tempo e priv-lo de sade, paz de esprito e felicidade na vida! (v.[8] p. 16).

Johann gastou

muito tempo tentando demonstrar o quinto postulado. Em 1820, resolveu negar o quinto postulado de Euclides e resultados interessantes comearam a aparecer. Ele acreditou na possibilidade da existncia de uma geometria geral, na qual a geometria euclidiana seria um caso particular. Negando o quinto postulado, havia duas possibilidades: I. No existe qualquer reta paralela a uma reta dada passando por um ponto fora desta reta. II. Existe mais de uma reta paralela a uma reta dada passando por um ponto. Porm, conseqncia dos quatros primeiros postulados a existncia de retas paralelas, eliminando, assim, a hiptese I. Aceitando a sugesto de seu pai, Johann Boylai publicou um apndice do Tentamen em 1832, apresentando suas idias e descobertas. Gauss recebeu uma cpia do Apndice e ficou surpreso com a genialidade do filho de seu amigo. Segue um trecho de sua resposta a Wolfgang Boylai:

Se eu comeasse com a afirmao de que no ouso louvar tal trabalho, voc, claro, se sobressaltaria; mas no posso proceder de outra forma, pois louv-lo significaria louvar a mim mesmo, visto que todo contedo do trabalho, o caminho que seu filho seguiu, os resultados dos quais ele chegou, coincidem quase exatamente com as meditaes que tm ocupado minha mente por (um perodo de) trinta a trinta e cinco anos. Por isto mesmo encontro-me surpreso ao extremo. (v.[5] p. 49)

Johann ficou desapontado por saber que outro fizera, antes dele, as mesmas descobertas. Durante sua vida no publicou mais nada, porm dedicou-se ao estudo de extenses de suas idias em espaos tridimensionais e tambm na comparao de sua geometria no euclidiana com a trigonometria esfrica conhecida na poca. (v.[5] p.50)

25

7.4 Nicolai Ivanovich Lobachewsky (1793 - 1856)

O russo Lobachewsky formou-se na Universidade de Kasan em 1813 e logo tornouse instrutor, sendo que aos 21 anos de idade tornou-se membro do corpo docente dessa Universidade. Aos 35 anos foi nomeado reitor e considerado o maior matemtico russo de seu tempo. Publicou suas concluses sobre a geometria no Euclidiana dois anos antes do Apndice de J. Boylai. Em 1826, fez uma conferncia ao Departamento de Matemtica e Fsica da Lobachewsky

Universidade de Kasan em que se negava o quinto postulado.

afirmava que por um ponto exterior a uma reta passa mais do que uma paralela e submeteu um artigo pela Academia de Cincias de S. Petersburgo que inicialmente foi rejeitado. Em 1829, publicou memrias de suas aulas expondo toda sua teoria das paralelas, mas no teve muita ateno em seu pas nem em outra parte do mundo, j que naquela poca o russo no era uma lngua muito popularizada no meio acadmico. Seu ltimo livro foi publicado em francs, poca em que estava cego. Na verdade, Lobachewsky, Gauss e J. Boylai desenvolveram a geometria no

Euclidiana ao mesmo tempo, mas Lobachewsky foi o primeiro a comunicar suas descobertas e no temeu o impacto que seu trabalho poderia causar na teoria Kantiana. O reconhecimento de seu trabalho veio apenas aps sua morte. Em 1871, Klein deu o nome de Geometria Hiperblica a nova geometria desenvolvida por esses trs matemticos. Grandes matemticos continuaram o estudo da Geometria no Euclidina, como Beltrami, Poincar, Klein e Riemann, desenvolvendo o assunto e aplicando em outras reas da matemtica. A independncia do postulado das paralelas trouxe uma nova viso sobre a geometria e como Gauss havia previsto, a aceitao dessas novas idias seria lenta. Em 1868, Beltrami provou definitivamente que no era possvel provar o quinto

26

postulado, mostrando que a geometria hiperblica to consistente quanto a geometria euclidiana. Sendo assim, no poderia haver contradio.

8 Geometria hiperblica

Como visto, o surgimento da geometria hiperblica devido ao fato de se negar o quinto postulado de Euclides, trocando o postulado das paralelas pelo seguinte: por um ponto fora de uma reta, podem ser traadas pelo menos duas retas paralelas a reta dada. Assim, no espao hiperblico no existe apenas uma, mas muitas retas passando por qualquer ponto externo dado. Na figura abaixo, as retas s e t so paralelas a reta r.

Figura 6: Retas paralelas na Geometria Hiperblica

Com a nova suposio da geometria hiperblica, bem como proposies da geometria euclidiana que no dependem do quinto postulado, Lobachewsky demonstrou um grande nmero de teoremas dessa nova geometria. Umas das conseqenciais dessa nova geometria, conforme j escrito por Gauss a Taurinos, que a soma dos ngulos internos de um tringulo menor que 180. Outra conseqncia, que tringulos semelhantes no existem. Foi nesse ltimo fato que Wallis tropeou quando tentou demonstrar o quinto postulado de Euclides, pois so resultados equivalentes. Na geometria hiperblica, se dois tringulos tm os ngulos iguais, ento eles so congruentes.

27

As duas conseqenciais esto relacionadas, pois a deficincia (diferena entre a soma dos ngulos internos e dois ngulos retos) do tringulo varia com o tamanho do tringulo: quanto maior o tringulo, maior a deficincia, e quanto menor o tringulo, mais prximos esto de serem da geometria euclidiana. Como resultados da geometria hiperblica, tambm tem-se que os ngulos do topo de um quadriltero de Saccheri so agudos e que o ngulo de um quadriltero de Lambert sempre agudo. Deve-se observar que como a soma dos ngulos internos de um tringulo menor do que 180, ento a soma dos ngulos internos de um quadriltero menor do que 360. Isso implica no fato de no existirem quadrados ou retngulos nessa nova geometria. Apesar de vrios resultados, no se pode afirmar que uma nova geometria esteja sendo provada. Assim, para demonstrar a consistncia da geometria hiperblica e para poder visualiz-la, foi desenvolvido modelos para exp-la. Um modelo de uma geometria um ambiente no qual seus conceitos, postulados e teoremas so interpretados e suas afirmaes aceitas como verdadeiras.

8.1 - Modelos de Geometria Hiperblica

8.1.1 Modelo de Beltrami

A primeira tentativa de construo de um modelo foi do matemtico Eugnio Beltrami (1835-1900), que em 1868 apresentou um modelo contido em R. Como j citado, esse modelo para a geometria hiperblica demostrava que ela era no contraditria. Beltrami publicou o trabalho no qual mostrava que em uma superfcie de curvatura negativa constante, tomando as geodsicas (curvas que minimizam o comprimento entre dois pontos prximos de uma superfcie) como retas, todos os resultados obtidos por superfcie conhecida como pseudo-esfera. Lobachewsky eram verificados. Essa

28

Figura 7: Pseudo-esfera

Porm, o modelo de Beltrami possua um defeito. As superfcies de curvatura negativa constante conhecidas na poca possuam arestas, o que impedia o prolongamento de certas geodsicas. Hoje se sabe que nas superfcies de curvatura constante positiva, as curvas geodsicas so as retas de uma geometria no euclidiana na qual vale a hiptese do ngulo obtuso. Essa geometria pode ser imaginada na esfera em que as retas so os crculos mximos.

Figura 8: Esfera com crculo mximo

8.1.2 Modelo de Klein

Outro modelo foi proposto por Flix Klein (1849-1945), em que o plano euclidiano transformado num disco, tendo no crculo que o circunda os pontos que representam o infinito no plano original. Assim, as retas so as cordas do disco, excluindo suas extremidades. Na figura, as retas BA e CD so paralelas a reta BD.

Figura 9: Plano no Modelo de Klein

29

Nesse modelo, o mais simples de todos, as retas tm uma dimenso infinita dentro de uma rea finita. Alm da noo euclidiana de distncia, os ngulos tambm so distorcidos.

8.1.3 Modelos de Poincar

Henri Poincar (1864-1912) foi um dos matemticos mais criativos de todos os tempos e escreveu mais que qualquer outro matemtico do sculo XX. Os modelos propostos por Poincar para a geometria hiperblica foram desenvolvidos entre 1882 e 1887 e so chamados de modelo do disco e modelo do semi-plano.

Modelo do Disco de Poincar

Nesse modelo, o plano hiperblico um disco limitado e as retas so todos os dimetros do crculo (excluindo as extremidades) e todos os arcos de crculos ortogonais. O ngulo hiperblico entre duas retas definido como sendo o ngulo euclidiano entre suas tangentes no ponto de intercesso e o comprimento de um segmento AB dado por

d (A,B) = ln [AC.BD/BC.AD]
, sendo C e D pontos do disco que so as extremidades da reta hiperblica que contm AB, onde AC, BD, BC e AD so comprimentos euclidianos. Poincar redefiniu a distncia de modo que o espao se comprime medida que nos aproximamos do limite do universo, transformando efetivamente em infinita a rea finita.

30

Figura 10: Modelo de Disco de Poicar

Modelo do Semi-plano de Poincar

Esse modelo consiste num semi-plano em que as retas so semi-crculos com centro no eixo x. Esse eixo conhecido como reta dos infinitos. Tambm so retas nesse modelo as retas perpendiculares reta dos infinitos, que podem ser entendidas como semi-crculos de raio infinito. ngulos e distncias so medidos como no modelo de disco. No semi-plano abaixo, tem-se que r//s e s//q.

Figura 11: Modelo do Semi-plano de Poincar

31

Observe que a definio de retas paralelas continua sendo vlida na geometria hiperblica, j que o aparente ponto de encontro est na verdade no eixo dos infinitos. O modelo de Poincar um ambiente que facilita a visualizao de resultados dos quais muitos matemticos trabalharam arduamente para descobrir. Se nosso espao hiperblico, ele se comportar exatamente como o modelo de Poincar, porm em trs dimenses. possvel verificar que o modelo de Poincar satisfaz todos os postulados da geometria hiperblica, apesar de no ser essa uma tarefa fcil. Os conceitos primitivos da geometria hiperblica nesse modelo so objetos da geometria euclidiana, isso implica que os teoremas da geometria hiperblica so provados usando os objetos da geometria euclidiana. Assim, caso seja descoberta uma contradio na geometria hiperblica, teremos tambm uma contradio na geometria euclidiana, ou seja, uma geometria to consistente quanto a outra. Mas ser que a geometria euclidiana consistente? Vimos que o matemtico Hilbert provou que a geometria euclidiana to consistente quanto a aritmtica. Mas em 1940, o lgico Kurt Gdel mostrou que a aritmtica possui afirmaes indecidveis e que uma teoria no pode provar sua prpria consistncia. Termina assim a saga do 5 postulado, sabendo que grandes descobertas foram feitas por causa do estudo desse postulado.

9 Consequncias da nova geometria

No fim do sculo XIX, a geometria hiperblica j era aceita e a geometria euclidiana perdeu o status de verdade inquestionvel. A nova geometria rompe a fronteira da matemtica e Albert Einsten utiliza o espao curvo na Teoria da Relatividade, que diz que a presena de matria pode encurvar o espao e modificar o tempo, provando que a nova geometria tinha aplicao

32

prtica. A determinao de qual geometria mais adequada para o mundo real um problema experimental. Mas, a aplicao mais importante da geometria no euclidiana foi sua influncia sobre a concepo da matemtica no sculo XX, pois foi percebido que todos os elementos de uma teoria deveriam ser cuidadosamente analisados e explicitados, tendo a necessidade do rigor matemtico nas demonstraes e no basear-se em simples intuio.

10 Geometria Hiperblica na escola

Um aluno do ensino elementar no est apto para perceber as sutilezas do encadeamento lgico-dedutivo na geometria, j que at grandes matemticos gastaram muito tempo para descobrirem as falhas nas afirmaes e demonstraes. A escola bsica no o local adequado para uma discusso axiomtica, mesmo porque os alunos deveriam ter uma base slida de fatos geomtricos e processos dedutivos. Sendo assim, o professor deve colaborar para a formao dessa base, estimulando o olhar crtico e a percepo de um processo lgico-dedutivo do aluno. Mas importante e necessrio que o professor saiba mais do que seus alunos e tenha algum conhecimento sobre a geometria no euclidiana para no ensinar a geometria euclidiana como verdade absoluta. Sendo assim, seria interessante que os professores de matemtica soubessem como a geometria se desenvolveu aps Euclides.

11 Concluso

Nesse trabalho, foi apresentado de maneira objetiva e resumida o desenvolvimento da geometria hiperblica ao longo de sculos. Todo esse desenrolar foi devido a uma dvida: o quinto postulado de Euclides um teorema?

33

Grandes matemticos elaboraram propostas que muitas vezes chegavam em contradies. Mas mesmo quando o objetivo no era alcanado, contribua para o desenvolvimento da matemtica. Errando numa direo, outras foram acertadas. Todo esse processo serviu para ensinar como a base de uma teoria matemtica deve ser construda: lentamente, com afirmaes possveis de serem provadas, de maneira lgica e com menos intuio. Caso contrrio, essa base no seria slida e toda teoria matemtica ruiria-se a qualquer momento. Trabalhar o desenvolvimento da geometria hiperblica na escola, alm de ser um fator motivador, contribuiria para estruturar a capacidade dedutiva do aluno. Mas antes, necessrio que o professor de matemtica conhea o desenvolvimento dessa nova geometria e como ela contribuiu para o enriquecimento da matemtica e de outras cincias.

34

Referncia Bibliogrfica:
[1] <http://pt.wikipedia.org> [2] <http://www.somatematica.com.br> [3] <http://www.searadaciencia.ufc.br/donafifi/hiperbolica/hiperbolica2.htm> [4] <http://home.uevora.pt/~rpa/Geometria%20Nao%20Euclidiana.pdf> [5] BARBOSA, Joo Lucas Marques. Geometria hiperblica. Goinia. Ed. Da UFG, 2002. [6] AVRITZER, Dan. Geometria Moderna. 1985. [7] DO CARMO, M. P., Geometrias No-Euclidianas, Matemtica Universitria, N. 6, dezembro de 1987, pp. 25-48. [8] <http://www.mat.ufc.br/gmat/livros/euclides.pdf>