Você está na página 1de 62

Coleo HISTRIA DA MATEMTICA PARA PROFESSORES

5 POSTULADO DE EUCLIDES E O AXIOMA DE PASCH: RESENHA HISTRICA E ANLISE DE VIABILIDADE DE ABORDAGEM AXIOMTICA PARA O ENSINO DE GEOMETRIA EUCLIDIANA

Plnio Zornoff Tboas Sinu Dayan Barbero Lodovici

Sociedade Brasileira de Histria da Matemtica 2011

COLEO HISTRIA DA MATEMTICA PARA PROFESSORES Ttulo: 5 Postulado de Euclides e o Axioma de Pasch: resenha histrica e anlise de viabilidade de abordagem axiomtica para o ensino de geometria euclidiana Autores: Plnio Zornoff Tboas e Sinu Dayan Barbero Lodovici Editora: Sociedade Brasileira de Histria da Matemtica Publicao: 2011 Organizadores: Carlos Henrique Barbosa Gonalves e Eva Maria Siqueira Alves Colaboraram nesta edio: Karen Massae Nashiro, Luciana Vieira Souza da Silva, Vernica Bispo e Zaqueu Vieira Oliveira Sociedade Brasileira de Histria da Matemtica Gesto 2009-2011 Caixa postal 1631 CEP 59.078-970 Campus Universitrio Natal RN Endereo eletrnico: sbhmat@ccet.ufrn.br Presidente: Sergio Nobre (UNESP) Vice-Presidente: Clvis Pereira da Silva (UFPR) Secretrio Geral: John Fossa (UFRN) Tesoureiro: Iran Mendes (UFRN) 1 Secretrio: Lgia Arantes Sad (UFES) Membros Conselheiros: Antonio Carlos Brolezzi (USP) e Edilson Roberto Pacheco (UNICENTRO) Conselho fiscal: Fernando Raul de Assis Neto (UFPE), Marcos Vieira Teixeira (UNESP) e Maria Terezinha de Jesus Gaspar (UnB) Catalogao na Publicao XXXXXXX XXXXXXXXXXXX XXXXXXXXXX ESPAO PARA FICHA CATALOGRFICA . . . . .

. . . . Nota: O contedo dos artigos publicados de responsabilidade de seus autores e foram impressos como recebidos pelos editores

Apresentao Como costume por ocasio dos Seminrios Nacionais de Histria da Matemtica (SNHM), organizados pela Sociedade Brasileira de Histria da Matemtica (SBHMat), lanamos neste momento mais uma coletnea de volumes da Coleo Histria da Matemtica para Professores. Ocorre neste ano o IX SNHM, realizado pela Universidade Federal de Sergipe e sediado na cidade de Aracaju. Os novos volumes desta coleo correspondem aos minicursos oferecidos durante o evento. Um dos principais motivadores dos minicursos levar aos professores de matemtica de todos os nveis os resultados mais recentes da pesquisa na rea em nosso pas. Com essa iniciativa, estamos contribuindo para enriquecer nosso corpo docente e, consequentemente, o ensino da matemtica. Muito se pode dizer sobre o papel da histria da matemtica na sala de aula. Para esta breve Apresentao, suficiente mencionar os ganhos que o ensino alis, em todas as reas, no s em matemtica obtm a partir de uma viso historicizada de seu contedo: a matemtica que ensinamos no um dado absoluto, mas um resultado de processos sociais e culturais complexos, frequentemente ausentes das exposies didticas. Ganhar conscincia disso aprender mais, tanto sobre a matemtica, como sobre o mundo que a produziu. Desejamos a todos uma boa leitura. Carlos Henrique Barbosa Gonalves Eva Maria Siqueira Alves Organizadores

ndice Apresentao..............................................................................................................7 Captulo 1...................................................................................................................8 Atividades 1.............................................................................................................28 Captulo 2.................................................................................................................31 Atividades 2.............................................................................................................59 Bibliografia..............................................................................................................60

5 Postulado de Euclides e o Axioma de Pasch: resenha histrica e anlise de viabilidade de abordagem axiomtica para o ensino de geometria euclidiana Plnio Zornoff Tboas Universidade Federal do ABC Sinu Dayan Barbero Lodovici Universidade Federal do ABC

7 Apresentao Este livro est estruturado em dois captulos, cada um deles seguido de atividades. No entanto, a ideia bsica foi construir um texto no qual o leitor fica instigado, durante a prpria leitura, a realizar algumas das tarefas ou dos exerccios constantes das referidas atividades. Dessa forma, encontra-se neste livro um texto enxuto ou, de outra maneira, um tanto condensado, que dever forar o leitor entusiasmado a manter sempre ao lado papel e lpis para o auxlio s reflexes sugeridas, bem como a buscar leituras complementares em que se basearam sobremaneira (ver a bibliografia) as escritas aqui apresentadas. O Captulo 1 traz uma resenha que apresenta o contexto histrico e filosfico em que emergiu Os Elementos de Euclides. Explicita, ainda, a importncia dessa obra em funo do seu carter axiomtico calcado em uma estrutura de prova lgico-dedutiva e da apresentao do 5 Postulado. Em seguida so apresentadas algumas das tentativas de se demonstrar a afirmao contida nele a partir das premissas anteriormente listadas na obra, so vistos alguns de seus equivalentes lgicos e, depois, so apresentadas as ideias de Lobachevski e Bolyai que levaram descoberta das geometrias no euclidianas. Depois, so feitas uma digresso sobre geometria neutra com a apresentao do Teorema de Hjelmslev e o Axioma de Pasch em ateno ideia de que a obra de Euclides s no completa na estruturao axiomtica da geometria pela sua ausncia. Esse fato deve valorizar ainda mais o acerto de Euclides com relao ao 5 Postulado. No Captulo 2, rapidamente apresentada uma comparao entre as estruturas de Euclides e Hilbert, alm de superficialmente resenhada uma traduo portuguesa. So comentadas, ainda, as idias do formalismo acerca de uma viso da matemtica baseada em estrutura axiomtica consistente e completa. A partir da, retomado o foco desse trabalho com as geometrias no euclidianas. So esboados, de forma razoavelmente intuitivos, trs modelos dessas geometrias: um devido Felix Klein, estruturado num crculo, e dois outros devidos a Henri Poincar, um com base num crculo e outro no semiplano euclidiano. Em seguida so apresentados os isomorfismos entre esses trs modelos. Na sequncia,

8 apresentado um modelo de geometria esfrica em que, tambm, no vale o quinto postulado de Euclides. Segue-se, ento, uma discusso sobre as possibilidades de representao do espao fsico atravs de um modelo geomtrico hiperblico e apresentado um conceito de curvatura de superfcie. Por fim, atravs do fio condutor da curvatura de superfcies, feita a observao de que as geometrias hiperblica e esfrica esto em opostos de um espectro cujo centro se encontra a geometria euclidiana. Captulo 1 Os Pitagricos, por volta de V a.C., acreditavam que o mundo era matematicamente inteligvel, pois representava ou era representado pela geometria. Alm disso, eles primavam pela preciso ao definir os objetos a serem analisados, como, por exemplo, a circunferncia, que um conjunto de pontos equidistantes de outro fixado e chamado centro, todos em um mesmo plano. Protgoras (492-422 a.C.) no concordava com a ideia de um mundo real ou concreto passvel de identificao abstrata a partir de uma representao matemtica e argumentou com apresentao de exemplo dado pela tangncia entre uma reta e uma circunferncia. Elas no possuem, afirmou Protgoras, apenas um ponto em comum, mas diversamente, elas possuem ao menos um ponto em comum. De forma concreta, a construo geomtrica apresenta reta e circunferncia traadas por linhas que possuem alguma espessura, por mnima que seja.

medida que nos aproximamos da figura 1, ou utilizamos uma lupa, a situao se transforma e se apresenta de acordo com a seguinte figura 2.

O mais intrigante de tudo isso que no adianta pensarmos em diminuir a espessura do trao, pois, surpreendentemente, a razo entre a parte de contato entre as linhas da circunferncia e da reta em relao espessura no ir diminuir medida que o trao for afinado e, sim, aumentar.

Mesmo que no seja essa a finalidade primeira do trabalho aqui apresentado, no deixa de ser uma boa questo para exercitar ao menos a nossa capacidade de modelar um problema e de certificar a veracidade da afirmao a contida (Atividade 1.1). Alm disso, o carter da objeo ento proferida pode apresentar-se em outras situaes geomtricas tais como a interseo de duas retas, que tambm instiga uma pequena modelagem matemtica a fim de se confrontar mais uma vez a pertinncia de uma afirmao similar do problema anterior que envolve a tangncia entre reta e circunferncia. A concluso a que se chega ao seguir esse raciocnio que a geometria terica, ou aquela elaborada pela abstrao, no pode ser tomada como um caso limite da representao geomtrica real, ou concreta, construda com ferramentas que podem ter sua preciso enormemente refinada.

10 Em face das objees apresentadas, Plato (427-347 a.C.) tentou resolver essa incompatibilidade com a alegao de que, na verdade, o nosso mundo (poderamos dizer, hoje, universo) recheado de imperfeies, mas que, alm da esfera das estrelas, h outro mundo perfeito em que no se encontra a desconexo entre concreto e abstrato e que aquele em que vivemos se nos apresenta apenas como uma realidade distorcida tanto quanto a sombra de uma silhueta projetada pela luz de uma vela. E que a dificuldade que sentimos em assimilar ou apreender esse mundo perfeito pode ser ilustrada pelo mito (ou, nesse caso, metfora) da caverna. Alis, esse um bom momento para uma reflexo sobre o Livro VII de A Repblica de Plato (que trata desse tema), no sentido de, em comparao com as primeiras reflexes feitas acima acerca das objees de Protgoras, identificarmos as divergncias e oposies entre formas de pensamento que influenciaram o desenvolvimento do conhecimento matemtico ou mesmo a sua construo (Atividade 1.2). O pensamento de Plato sugere, ainda, que as relaes geomtricas entre objetos reais so apenas uma aproximao das relaes entre entes ou seres perfeitos e que somente por essas ltimas que se apreende o conhecimento verdadeiro. E, nesse jogo, Plato prope que se adote uma metodologia para atingir a verdade fenomenolgica dos objetos: primeiro deve-se nomear; segundo, definir; terceiro, produzir uma imagem; e, por fim, apreender e reconhecer a essncia do objeto pela razo. A despeito das opinies dissonantes apresentadas acima, era muito comum a aceitao de que medies so reflexo de um processo comparativo que toma por base uma unidade determinada pela grandeza que se pretende analisar. Mais do que isso, que para qualquer grandeza que se queira analisar existe uma unidade indivisvel. A implicao imediata dessa crena que toda grandeza pode ser construda como mltipla inteira da unidade indivisvel, fato conhecidamente inverdico pelos prprios Pitagricos, porm desconsiderado pelos mesmos para fins de desenvolvimento de seus pensamentos.

11 O conhecimento da no veracidade acima referida a

incomensurabilidade da raiz de dois. Alm da clssica ou convencional demonstrao por absurdo largamente difundida, este um bom momento para (re)ver, tambm, a demonstrao apresentada por G. Hardy (1877-1947) (Atividade 1.3), que de certa forma ajuda aqueles que tentam levar a cabo as diretrizes da corrente filosfica intuicionista na matemtica (Atividade 1.4). A relutncia em no aceitar a incomensurabilidade, fez com que se investisse muito na teoria das propores como meio de evitar operaes diretas com essas grandezas. Uma crtica contundente aceitao do indivisvel foi apresentada atravs daqueles que chamamos hoje de Paradoxos de Zenon (490-425 a.C.), a saber: 1) Aquiles e a tartaruga; 2) Dicotomia; 3) Flecha; 4) Estdio. Paradoxos so afirmaes que contradizem o senso real ou comum e que parecem estar construdos sobre bases slidas com argumentao aceitvel, mas que na verdade no se coadunam com a realidade por deficincias existentes exatamente nas tidas bases slidas. Os dois primeiros Paradoxos de Zenon dizem respeito impossibilidade do movimento uma vez que um objeto no pode cobrir uma distncia finita tendo que passar por uma sequncia infinita de posies, uma a cada tempo, gastando assim um tempo infinito. Os dois ltimos dizem que no h a possibilidade de movimento de um objeto por conta de que ele dever ocupar apenas uma nica posio durante a unidade indivisvel do tempo (Atividade 1.5). Aristteles (384-322 a.C.) pensou ter resolvido esses paradoxos, mas na verdade isso no ocorreu. As contradies entre os Paradoxos de Zenon e a realidade emprica s puderam ser redimidas com a aceitao do contnuo espacial

12 como um axioma, pouco antes da entrada do sculo XX, ao ser axiomatizada a estrutura dos nmeros reais (Atividade 1.6). Retomando as discusses acerca das vises de mundo que vo se construindo com as propostas de Pitgoras, Protgoras e Plato, agrega-se agora a de Aristteles, que diferentemente de Plato, rejeita a concepo de que elementos geomtricos tenham existncia real e, em funo dessa opo, se defronta com a questo sobre o que so os objetos com os quais a matemtica trabalha. Em resposta, ele prope que esses objetos matemticos sejam fruto apenas da abstrao, mas que eles no se separam do mundo real dado que so os resultados das buscas de suas essncias, avaliadas por comparaes que consideram primeiro as caractersticas mais simples e, por ltimo, as mais gerais. H aqui uma dupla influncia, a que marca o processo de abstrao pela existncia concreta de certos objetos e a que impregna os objetos fsicos com a consolidao de categorias conceituais num movimento que poderamos chamar de fenomenolgico (Atividade 1.7). Agora, mais importante para a estruturao dessa matemtica, que hoje vemos consolidada como hegemnica, a herana de um tipo de raciocnio inaugurado por Aristteles que discorre sobre prova ou, mais precisamente, o raciocnio dedutivo. Cada afirmao deve ser suportada por outra anterior da qual consequncia lgica. Porm, esse processo no pode obviamente ser infinito e dever atingir um nvel bsico de conhecimento aceito consensualmente ou originado por observaes empricas. Esse conhecimento bsico o que chamamos hoje de corpo de axiomas ou de postulados. No entanto, Aristteles distinguia postulado e axioma em categorias diferentes: postulado deveria ser tomado como uma verdade particular em cada cincia, j axioma deveria ser tomado como uma verdade universal. Por exemplo, iguais a um mesmo so iguais entre si um axioma, j afirmaes sobre as caractersticas de uma reta so postulados. O leitor mais atento poder questionar o significado de consequncia lgica na conceituao de raciocnio dedutivo, sob pena de no o fazer, consolidar

13 ento um crculo vicioso. A proposta de Aristteles para a elucidao dessa questo fixar um conjunto de regras que normatize o discurso e permita certificar o que verdadeiro e o que falso. Na viso de Aristteles, o conhecimento atingido a partir de premissas verdadeiras com o uso de silogismos, que so afirmaes encadeadas numa sequncia permitida e verdadeira que gera a argumentao de prova. E as premissas verdadeiras so atingidas por um processo de induo sobre o real a partir das prprias percepes sensoriais que se tem do mundo. de certa maneira relevante observar que j nessa estrutura aristotlica h a possibilidade de se conceber uma argumentao verdadeira construda a partir de premissas que no tm qualquer significao; somente que as concluses da tiradas tambm no tm valor. A estrutura que se depreende da proposta de Aristteles e que se aproxima daquilo que usado comumente para o desenvolvimento da matemtica ainda hoje a que se baseia nas seguintes regras de inferncia:

1) Modus ponens; 2) Modus tollens; 3) Silogismo hipottico; 4) Silogismo disjuntivo.


Em linguagem moderna, pode-se pensar em afirmaes p, q e r sobre objetos, alm dos smbolos ~ e que devem ser pensados, respectivamente, como negao e consequncia. Assim, as quatro regras de inferncia so exemplificadas abaixo:

1) Modus ponens: se p, ento q ou pq; 2) Modus tollens: se p, ento q, equivale a no q, ento no p, ou (pq)
equivale a (~q ~p) (Atividade 1.8);

3) Silogismo hipottico: se p, ento q, e se q, ento r, segue que, se p, ento


r; (pq e qr) (pr);

14

4) Silogismo disjuntivo: p ou q, equivale a se ~p, ento q, ou, (p ou q)


equivale a (~p q). Ainda que essa estrutura lingustica seja usual atualmente, ela no se fundamenta na concepo aristotlica de que cada objeto (poderamos chamar de ente), ao ser definido, deve ter sua existncia comprovada empiricamente para garantir a veracidade do conhecimento construdo. O que se prioriza hoje, em matemtica, so as relaes entre os entes, ou seja, as regras de interao entre eles, e a partir da retiram-se as impresses ou constroem-se os conhecimentos sobre o que so ou parecem ser esses entes. A despeito dessa digresso precoce, emerge nesse contexto histrico do desenvolvimento do pensamento grego Os Elementos de Euclides (325-265 a.C.), obra de aproximadamente 300 a.C. e que rene a maior parte do conhecimento matemtico desse povo quela poca. Dois aspectos fundamentais fazem com que ela tenha a influncia mais duradoura em toda a histrica da matemtica, pelo menos sobre a prpria matemtica, a saber, a apresentao de um corpo de axiomas amparado por uma estrutura lgico-dedutiva de prova e a apresentao do Quinto Postulado no Livro I (Atividades 1.9 e 1.10). A primeira dessas influncias nunca foi superada por outra forma de apresentao acadmica para os resultados originais, que se acumulam em grande volume e crescentemente nos dias de hoje, como desenvolvimento das pesquisas matemticas. J o Quinto Postulado suscitou discusses acaloradas ao longo de mais de dois mil anos, desde o aparecimento de Os Elementos. As referidas discusses se deram em funo de uma crena na no necessidade da afirmao contida nele figurar como um postulado, ou seja, como uma afirmao que deva ser aceita sem prova como premissa bsica de suporte a outras afirmaes. O prprio Euclides, consciente do contedo polmico, mas certo de sua necessidade, no retirou a afirmao do seu conjunto de postulados e retardou o quanto pde o seu uso em demonstraes (Atividade 1.11). Esse procedimento asseguraria, quando da sua utilizao em alguma demonstrao, a verdadeira essncia de

15 axioma para o Quinto Postulado. No entanto, as vozes contrrias a esse ponto de vista se fizeram ouvir atravs de tentativas de demonstrar que a afirmao nele contida seria consequncia dos postulados anteriores, o que, em caso de sucesso, o retiraria desse conjunto de premissas. Observemos, ento, o Quinto Postulado1 na sua forma original:
(Fique postulado que) 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).

Vejamos agora a tentativa, efetuada por Proclus (411-485), de demonstrar o Quinto Postulado.

Uma transversal s retas a e b forma, com elas e respectivamente, ngulos internos e colaterais e , cuja soma menor do que dois retos. Por um ponto B na reta b, que est do mesmo lado que os ngulos identificados por e , baixa-se uma perpendicular a uma reta c, que passa pelo ponto A e paralela reta a. Ao afastar o ponto B do ponto A, o tamanho da perpendicular reta c aumenta indefinidamente ao passo que a distncia entre as paralelas se mantm constante. Dessa forma, as retas a e b devero se cruzar num ponto C do mesmo lado de e .
1

A verso mais popular e utilizada, tambm, nos trabalhos de desenvolvimento da fundamentao da geometria diz: por um ponto exterior a uma reta passa uma nica paralela a ela.

16 Esta pseudodemonstrao parte da ideia de que se a distncia entre dois pontos cresce ento ela sempre superar um comprimento fixado (Atividade 1.12). Mas isso apenas desloca o problema: ao invs do Quinto Postulado entra a crena explicitada anteriormente, que no est descrita em qualquer um dos quatro postulados anteriores de Os Elementos. Dessa forma, no houve diminuio no nmero de postulados, que era o desejado. No sculo XIII, Nasir Al Din Al Tusi (1201-1274) pensa ter demonstrado o Quinto Postulado, mas parte da ideia de que ao baixar uma perpendicular a partir de um ponto A de uma reta m a outra reta n, em um ponto B, de maneira a formar ngulo agudo com a reta m, toda perpendicular baixada de m a n, no lado do ngulo agudo, ser menor do que AB e maior do que AB se baixada no outro lado (Figura 5). No entanto, isso tambm no se desprende dos outros quatro axiomas de Euclides e, uma vez que comporta a crena, de que a perpendicular dever ser em algum momento igual a zero leva apenas a uma iluso de demonstrao do Quinto Postulado.

A dificuldade em demonstrar o Quinto Postulado como consequncia dos quatro outros anteriores fez com que John Wallis (1616-1703) desistisse dessa tentativa e buscasse uma abordagem alternativa com a substituio desse postulado pela seguinte proposta: dados um tringulo ABC e um segmento DE, existe um tringulo DEF tal que DEF ABC ( DEF semelhante a ABC). Com essa afirmao ele consegue provar o Quinto Postulado, mas no se tem claro qual a vantagem efetiva da troca de um pelo outro.

17 Com as diversas tentativas de demonstrao do Quinto Postulado, o que se conquistou foram verses equivalentes (Atividade 1.15), como as seguintes: 1.Por um ponto exterior a uma reta passa uma nica paralela a ela; 2. Duas retas paralelas determinam ngulos correspondentes congruentes com uma transversal; 3. A soma dos ngulos internos de um tringulo igual a dois retos; 4. Dois pontos situados a um mesmo lado e a uma mesma distncia de uma reta determinam uma paralela a esta; 5. Dadas duas paralelas, as distncias dos pontos de uma delas outra esto limitadas; 6. Existem tringulos com rea arbitrariamente grande; 7. Existem tringulos semelhantes (no congruentes). Atualmente, autores como Greenberg (GREENBERG, 2008) chamam a geometria que no pressupe a aceitao do Quinto Postulado como geometria neutra. Em 1733, Giovanni Saccheri (1667-1733) publicou seu Euclides depurado de toda mcula, no qual retomada a ideia de demonstrar o Quinto Postulado. Primeiro, ele identifica que esse postulado equivalente a que um quadriltero ABCD construdo a partir de uma base AB, com segmentos AD e BC congruentes entre si e perpendiculares a AB, um retngulo (Atividade 1.16). Depois, Saccheri, no intuito de provar o Quinto Postulado, considera trs possibilidades para os ngulos C e D congruentes no seu quadriltero: so obtusos, retos ou agudos.

18 Ao assumir que so ngulos obtusos, chega a uma contradio. Ao assumir que so agudos, desenvolve situaes que se chocam com o senso geomtrico comum ao observar que duas retas paralelas tm apenas uma perpendicular comum, a ambos os lados da qual divergem, ou no tm nenhuma, convergindo assintoticamente a um lado e divergindo de outro. Sem um contradio clara para essa ltima hiptese do ngulo agudo, Saccheri argumenta que os desenvolvimentos advindos da contrariam a natureza prpria das retas e que, portanto, deveria ser considerada falsa. Descartadas, assim, as hipteses do ngulo obtuso e a do ngulo agudo, verdadeira a hiptese do ngulo reto, o que d ao quadriltero de Saccheri o status de retngulo, que por sua vez equivalente ao Quinto Postulado. Nem mesmo o prprio Saccheri se d por convencido de sua argumentao e a retoma mais tarde com o clculo do comprimento de uma certa linha de duas maneiras distintas e chega a resultados diferentes. Acaba por concluir que a hiptese do ngulo agudo est descartada, mas, na verdade, ele cometera erro em seus clculos. Johann Lambert (1728-1777), semelhana de Saccheri, em sua obra Teoria das linhas paralelas, reduziu o problema do Quinto Postulado ao estudo dos ngulos internos de um quadriltero. Lambert considerou um quadriltero ABCD com trs ngulos retos: A, B e C. Nesse contexto, o Quinto Postulado resulta ser equivalente a termos o ngulo D tambm reto. Analogamente a Saccheri, Lambert chegou a uma contradio com os primeiros quatro postulados de Euclides quando sups D um ngulo obtuso. Assim sendo, teve ele de analisar mais atentamente o problema do ngulo agudo. Durante seu estudo, Lambert se depara com um sistema geomtrico complexo e aparentemente paradoxal primeira vista. No entanto, ciente da dificuldade de rigorosamente descartar a hiptese do ngulo agudo, Lambert vislumbra, numa analogia com a geometria esfrica, a possibilidade de uma

19 geometria onde o Quinto Postulado falha apesar da validade dos quatro postulados primeiros. Comentando sobre as hipteses de ngulo reto, obtuso e agudo, ele diz:
Inclusive yo me inclino a pensar que la tercera hiptesis es vlida en alguna esfera imaginaria. Al fin de cuentas, debe existir una causa por la cual en el plano se resiste altamente a ser refutada, cosa que puede hacerse fcilmente con la segunda hiptesis. (EFMOV, 1984, p.19)

Assim, vemos que Lambert enxergou na sua dificuldade aquilo que na realidade viria a ser a verdadeira soluo do problema do Quinto Postulado. Adrien-Marie Legendre (1752-1833), como muitos antes dele, tambm tentou demonstrar o Quinto Postulado, chegando a publicar algumas de suas demonstraes. No entanto, nenhuma delas se provou correta. De qualquer modo, Legendre estabeleceu uma importante conexo entre o Quinto Postulado e a soma dos ngulos internos de um tringulo. Nesse sentido, Legendre provou que o Quinto Postulado equivalente a termos a soma dos ngulos internos de um tringulo igual a dois ngulos retos (Atividades 1.17 e 1.18). De modo mais preciso, Legendre provou os seguintes resultados: Proposio I: Se a soma dos ngulos internos de cada tringulo igual a dois retos ento vale o Quinto Postulado. Proposio II: (A partir dos postulados 1-42 temos:) Em cada tringulo vale que a soma dos seus ngulos internos menor ou igual a dois retos. Proposio III: Se a soma dos ngulos internos de um dado tringulo igual a dois retos, ento a soma dos ngulos internos de qualquer outro tringulo igual a dois retos.

Ver pgina 28 deste texto.

20 A partir desses resultados, Legendre mostra ento que se aceitarmos a hiptese (de Saccheri) dos ngulos agudos para um quadriltero ser necessrio aceit-la para todo e qualquer outro quadriltero. Provemos a seguir a Proposio I descrita acima.

Figura 7

Comecemos traando uma reta arbitrria a e tomando um ponto A no pertencente a essa (Figura 7). Seja B um ponto sobre a tal que AB perpendicular reta a. Sabemos que a reta b que passa por A e perpendicular a AB no intersecta a (Por qu?). Supondo que a soma dos ngulos internos de um tringulo igual a dois retos, mostremos que qualquer reta passando por A e diferente de b intersecta a. Considere uma reta c passando por A e formando ngulo agudo com AB. Provemos que c intersecta a do lado do ngulo agudo (o que provar o Quinto Postulado). Encontre sobre a reta a um ponto B1 tal que os segmentos AB e BB1 tenham mesmo comprimento. Feito isso, encontre B2 sobre a tal que B1B2 tenha mesmo comprimento de AB1. Indutivamente, encontre o ponto Bn em a tal que Bn1

Bn tenha mesmo comprimento de ABn-1. Considere os tringulos issceles ABB1, AB1B2, AB2B3, ABn-1Bn. Uma

vez que supomos a soma dos ngulos internos de um tringulo igual a dois retos, segue que no tringulo ABB1 os ngulos internos em A e B1 valem /4, no tringulo AB1B2 os ngulos internos em A e B2 valem /8, no tringulo AB2B3 os ngulos internos em A e B3 valem /16, e assim sucessivamente. De modo geral temos que os ngulos internos em A e Bn no tringulo ABn-1Bn valem:

21 1 . 2n 2 De onde segue que: ngulo( BABn ) = 1 . 2n 2

Como b um ngulo agudo podemos escrever:

em que > 0 . Escolhamos ento n suficientemente grande para que tenhamos: 1 < . 2n 2 Disso segue que < ngulo(BABn). Assim, temos que a reta c passa entre os lados AB e ABn do tringulo BABn. Desse modo, portanto, a reta c intersecta a reta a num ponto H entre B e Bn, o que conclui a demonstrao. Observamos aqui que para uma demonstrao mais rigorosa da interseco de c com a necessrio assumir o axioma de Pasch (Moritz Pasch, 1843-1930), axioma que trata da completude (continuidade) da reta. Ao estudo de tal axioma dedicaremos parte de nossos esforos no final deste captulo. Para uma melhor compreenso da Proposio II de Legendre sugerimos agora as Atividades 1.19 e 1.20. As hipteses do ngulo obtuso, do ngulo reto e do ngulo agudo so equivalentes nos trabalhos de Saccheri e Lambert e similares ao estudo que Legendre efetuou com o clculo da soma dos ngulos internos de um tringulo. Assim, a hiptese do ngulo reto ou a soma dos ngulos internos de um tringulo igual a dois retos equivale ao Quinto Postulado. Na segunda dcada do sculo XIX, Nicolai Ivanovich Lobachevski (17921856) levou ao extremo a anlise do contedo da Proposio II de Legendre descrita acima e concluiu que no havia qualquer erro lgico no desenvolvimento da geometria que surge com a aceitao dos quatro primeiros postulados listados

22 nos Elementos de Euclides, tanto quanto na geometria usual3 que assume o Quinto Postulado como verdade. Uma vez que os clculos desenvolvidos por Lobachevski e Saccheri so praticamente os mesmos, a diferena essencial entre ambos que o primeiro tem a compreenso de que no h a necessidade de se demonstrar o Quinto Postulado, mais ainda, de que a ausncia desse postulado geraria uma nova geometria, que chamou de imaginria. No entanto, Lobachevski tinha a convico de que a existncia de uma geometria deveria estar associada e validada pelas condies reais e concretas dadas pelas percepes do e interaes com o mundo em que estamos inseridos. Nesse sentido, Lobachevski apresentou algumas medies, de ordem de grandeza astronmica, para tringulos e considerou que o erro cometido em relao soma dos internos de um tringulo igual a dois retos era insignificante e que, portanto, a melhor escolha deveria ser a da geometria usual para servir como modelo de interpretao do mundo fsico. Ainda assim, Lobachevski utilizou com sucesso os clculos desenvolvidos com a geometria imaginria na resoluo de algumas classes de integrais (EFMOV, 1984, p.2830). A primeira apresentao dos resultados de Lobachevski acerca da sua geometria imaginria se deu em 1826 e chegou a forma de livro em 1829 com seu Acerca dos princpios da geometria, que foi sucedido pelos estudos Geometria imaginria, de 1835, e Aplicao da geometria imaginria a algumas integrais, de 1836. De maneira independente e mais ou menos concomitantemente com o trabalho de Lobachevski, Janos Bolyai (1802-1860) tambm se debruou sobre o problema do Quinto Postulado com a mesma perspectiva do primeiro. Trabalhou com tamanho afinco a ponto de seu pai, Farkas Bolyai (1775-1856), o dissuadir da empreitada para que no investisse seus melhores momentos numa luta inglria. No entanto, Janos Bolyai conseguiu avanar, talvez no to profundamente quanto Lobachevski, na idealizao de uma geometria coerente construda a partir de
3

Geometria usual , para Lobachevski, essa que contempla o Quinto Postulado na sua estrutura axiomtica e que hoje chamamos de euclidiana.

23 apenas os quatro primeiros postulados de Os Elementos de Euclides. O seu trabalho, realizado ao longo de praticamente 15 anos, apareceu como apndice num livro do pai em 1831. Farkas Bolyai era contemporneo de Joahann Carl Friedrich Gauss (1777-1855) e levou ao conhecimento deste as conquistas do filho. Gauss as examinou depois de algum tempo e informou a Farkas que ele prprio j havia se deparado, na metade da primeira dcada do sculo XIX, com a possibilidade da nova geometria, mas no levou adiante suas observaes, nem se debruou criteriosamente sobre os seus desdobramentos, com receio das dificuldades que essas ideias teriam junto comunidade dos matemticos. Que ideias so essas que tanto incmodo trazem ao senso comum? Bem, para entender, faamos ento o seguinte exerccio: no aceitemos o Quinto Postulado. Assim, no necessariamente duas retas que formam, com uma transversal comum, ngulos e colaterais internos cuja soma menor do que dois retos iro se encontrar, ou seja, existem ao menos duas retas r e s nestas circunstncias que no se cruzaro. Pronto, aqui se d a ruptura com o senso comum e j no podemos mais pensar no plano da geometria usual ou euclidiana. Neste novo plano reside a geometria imaginria de Lobachevski! Mas, sigamos um pouco alm. Dos quatro primeiros postulados de Os Elementos de Euclides podemos inferir que h a possibilidade de se construir uma reta a paralela a s pelo ponto A de interseo da transversal t com a reta r; basta, para isso, que os alternos internos sejam congruentes (Figura 8). Na verdade, essa construo a proposio de nmero 27 de Os Elementos, demonstrada por absurdo, como segue. Suponhamos que as retas a e s se cruzem num ponto D, em qualquer dos dois lados. Desta forma, ocupar posies de interno e externo no adjacentes no tringulo ABD, o que impossvel (Atividade 1.21). Portanto, a e s no se cruzam em quaisquer dos seus dois lados, o que quer dizer que so paralelas.

24

Figura 8

Baixemos agora, a partir do ponto A, uma perpendicular reta s, cujo p o ponto C. No plano de Lobachevski, uma das duas retas a ou r deve formar um ngulo reto com AC (por qu?) e a outra um ngulo agudo. Seja r a que forma o ngulo agudo = KC (Figura 8). Neste ngulo agudo , toda vez que se tomar um ponto E no lado que contm o ponto K ser possvel traar uma reta u perpendicular a AC. O interessante que ao variarmos essa perpendicular u sobre a reta AC poderemos ter ou no ter interseo sua com a reta r, sendo s um exemplo do ltimo caso. H, ento, uma reta FG que dividir essa classe de retas perpendiculares a AC em duas: as que cruzam a reta r (acima) e as que no a cruzam (abaixo) (Figura 9). Alm disso, a reta r ir se aproximar indefinidamente da reta FG, ou ainda, r e FG sero assntotas.

Figura 9

25 No plano euclidiano, h uma situao que descreve bem o que acabamos de ver no plano de Lobachevski para o ngulo agudo : basta tomar por A um arco de hiprbole formando exatamente esse com AC e com assntota no lugar de FG (Figura 10).

Figura 10

Uma anlise mais profunda dessa geometria no euclidiana revelar um modelo cuja estrutura algbrica estar muitas vezes associada a expresses que envolvem seno e cosseno hiperblico. No prximo captulo, iremos investir na construo de modelos de duas geometrias no euclidianas: o da geometria hiperblica plana e o da geometria esfrica. Duas ltimas reflexes neste final de captulo: uma sobre o Teorema de Hjelmslev (1899-1965) e outra sobre o Axioma de Pasch. verdade que toda consequncia dos quatro primeiros postulados de Euclides fazem parte da geometria neutra ou absoluta. No entanto, h resultados que aparecem em compndios de geometria euclidiana com demonstraes rpidas e enxutas feitas com a utilizao direta ou indireta do Quinto Postulado, mas que poderiam ser vistos a partir dos quatro primeiros postulados apenas. Lembrem-se de que Euclides retardou a utilizao do seu Quinto Postulado, optando s vezes por demonstraes mais trabalhosas ou menos elegantes, a fim de evitar controvrsias e garantir a necessidade de seu aparecimento no conjunto axiomtico de Os Elementos. Alm disso, algumas vezes a matemtica foi surpreendida pela apresentao de resultados que eram aparentemente euclidianos e se mostraram

26 pertencentes geometria absoluta, o que os tornaram mais abrangentes. Um desses resultados o acima citado Teorema de Hjelmslev, que diz que os pontos mdios de segmentos com extremos em duas retas, extremos estes que definem segmentos respectivamente congruentes nas duas retas, esto sobre uma mesma reta.

Figura 11

A demonstrao desse fato no precisa do Quinto Postulado e segue o roteiro abaixo. Primeiro, o eixo r ser rodado 180 em torno do ponto mdio M1 entre A1 e B1, de maneira a constituir-se no eixo t, com os pontos B1, C2, C3,..., Cn-1 e Cn, respectivamente, correspondentes aos pontos A1, A2, A3,..., An-1 e An. A bissetriz b do ngulo C2B1B2 faz corresponder, por simetria, as sequncias de pontos B1, C2, C3,..., Cn-1 e Cn e B1, B2, B3,..., Bn-1 e Bn, cujos segmentos respectivos so tambm congruentes. Pelo ponto M1, traa-se uma perpendicular p a b. E, nessa perpendicular, toma-se o ponto P, p de uma sua perpendicular A2P. Agora, as operaes de simetria dadas pela rotao de 180 do eixo r em torno do ponto M1 e pela reflexo dos pontos do plano com relao ao eixo t, nessa ordem, deixam o ponto M1 sobre si mesmo, levam os pontos de p em p e leva o

27 ponto A2 em B2. Digamos, ento, que o ponto P foi levado sobre o ponto Q. Ao ligarmos A2 a B2, esse segmento de reta encontrar p no ponto R.

Figura 12

Dada a simetria da construo, os tringulos A2PR e B2QR so congruentes (Atividade 1.22) e, portanto, R mdio de A2B2. O mesmo raciocnio pode ser aplicado sequncia de pontos A3,..., An-1 e An, o que prova que os pontos mdios dos segmentos A1B1, A2B2, A3B3,..., An-1Bn-1 e AnBn esto sobre uma mesma reta. Resta, agora, a segunda observao: o axioma de Pasch. A discusso acerca do Quinto Postulado esteve aberta durante mais de dois mil anos, desde a sua apresentao por Euclides. E a sua formulao estava correta em relao construo de uma axiomtica para a geometria! Seu Quinto Postulado no pode ser provado e a sua negao gera um conjunto de resultados coerentes, que levam, por sua vez, construo de uma geometria no euclidiana. A existncia de outra geometria, fato trazido tona e defendido por Lobachevski, coroou a persistncia de Euclides em no abrir mo da apresentao do Quinto Postulado, que, no encontrando outro caminho, defendeu sua permanncia junto aos demais axiomas postergando a sua utilizao o mximo possvel, at no conseguir avanar mais na

28 construo da geometria sem sua interferncia. Bem, outro fato que ajuda a entender a importncia do trabalho de Euclides a descoberta de que se houve algum furo na estrutura axiomtica apresentada por Euclides, esse furo foi o no aparecimento do axioma de Pasch, que, inclusive, j fora utilizado nesse texto quando da apresentao das reflexes de Legendre a respeito do Quinto Postulado. O Axioma de Pasch afirma que se uma reta no contm os vrtices de um tringulo e cruza um de seus lados, ento ela dever cruzar outro dentre os dois que restam. Com isso, terminamos uma breve resenha dos acontecimentos histricos sobre as discusses e reflexes efetuadas a respeito do Quinto Postulado de Euclides ao longo de mais de dois mil anos. Os trabalhos sobre geometrias noeuclidianas, que se desdobram a partir dos de Lobachevski, abriram caminho para uma nova reflexo sobre as prprias concepes de espao fsico e, junto com trabalhos que se desdobraram a partir dos de Carl Friedrich Bernhard Riemann (1826-1866) acerca de geometrias esfricas e curvaturas de superfcies, geraram uma enorme variedade de geometrias que auxiliam no desenvolvimento da prpria matemtica, assim como do suporte a estruturas que modelam vrias concepes cientficas sobre o mundo em que vivemos e do qual somos parte, desde as percepes sensoriais mais comuns at as mais refinadas especulaes tanto em nvel astronmico quanto em nvel quntico. Atividades 1 1.1. Escreva uma expresso que d a razo entre a parte de contato entre as linhas de uma circunferncia e de uma reta, tangentes uma outra, em relao espessura das linhas traadas como esboo dessa situao. Se o raio da circunferncia permanecer constante, o que ocorrer com a expresso matemtica descrita anteriormente quando a espessura das linhas do desenho for afinada? 1.2. Fazer a leitura do Livro VII de A Repblica de Plato, sobre o mito da caverna.

29 1.3. Demonstrar a incomensurabilidade da raiz de 2. Buscar a demonstrao de G. Hardy que no usa demonstrao por absurdo (ver TBOAS, p.18). 1.4. Aos leitores interessados, sugerimos a leitura de MENEGHETTI, 2010. 1.5. Descrever e discutir os quatro Paradoxos de Zenon. Apresentar o Paradoxo de Russell e observar se ele ou no do mesmo tipo ou categoria dos anteriores. 1.6. Como se deu a axiomatizao dos nmeros reais e em que medida a hiptese do contnuo pode ajudar na quebra, por assim dizer, dos Paradoxos de Zenon. 1.7. Discutir o conceito de fenomenolgico para as cincias experimentais e qual a conotao com o termo usado no final do 4 da pgina 6. 1.8. Discutir Modus tollens e princpios da corrente filosfica intuicionista da matemtica (retomar a leitura da atividade 1.4). 1.9. Apresente as Definies, os Postulados e as Noes Comuns dadas por Euclides no Livro I de Os Elementos. 1.10. As modernas estruturas axiomticas tentam preservar trs princpios: o da minimalidade, o da consistncia e o da completude. Conceitue cada um desses princpios. Comente como esses itens so entendidos hoje ou quais as similaridades com as apresentaes modernas de estruturas axiomticas. 1.11. Quantas so ao todo as proposies do Livro I dos Elementos? Qual a proposio, e em que ordem ela aparece, dos Elementos que utiliza pela primeira vez o Quinto Postulado de Euclides? Reproduza a sua demonstrao e identifique onde usado esse postulado. 1.12. Apresente duas linhas conhecidas que so cruzadas por uma reta, formam com ela ngulos colaterais internos de soma menor do dois retos e aproximam mas no se cruzam ao serem prolongadas no lado dos ngulos descritos anteriormente. 1.13. Demonstrar a equivalncia entre o Quinto Postulado e a afirmao de que por um ponto fora de uma reta passa apenas uma reta paralela a ela. 1.14. Mostre que a soma dos ngulos internos de um tringulo igual a dois retos equivale ao Quinto Postulado.

30 1.15. Duas afirmaes p e q so ditas equivalentes se pq e se qp. Mostre, ento, que o axioma proposto por Wallis equivalente ao Quinto Postulado. 1.16. Construa a equivalncia entre o Quinto Postulado e o quadriltero de Saccheri como sendo um retngulo. 1.17. Na Proposio 29 do Livro I de Os Elementos Euclides prova um resultado comumente conhecido como o Teorema de Tales. Ele diz o seguinte: A reta, caindo sobre as retas paralelas, faz ngulos alternos iguais entre si quanto o exterior igual ao interior e oposto e os interiores e no mesmo lado iguais a dois retos.

Figura 1.18

ngulo(ABC) = ngulo(BCD) = ngulo(FBG) = ngulo(ECH) ngulo(CBF) = ngulo(BCE) = ngulo(ABG) = ngulo(DCH) Tente provar esse resultado a partir dos cinco postulados de Euclides. 1.18. Usando a proposio demonstrada na atividade anterior (Teorema de Tales) prove que se assumirmos o Quinto Postulado ento valer que a soma dos ngulos internos de um tringulo igual a dois ngulos retos. 1.19. Inspirado na figura abaixo mostre que dado um ngulo externo de um tringulo, ento tal ngulo maior do que cada um dos ngulos internos no

31 adjacentes. Dica: No tringulo ABC, compare o ngulo externo em C com o interno em B.

Estabelea relaes entre a Proposio II de Legendre e a atividade anterior. 1.20. A Proposio 16 dos Elementos de Euclides afirma que todo ngulo externo de um tringulo maior do que cada um dos internos opostos ou no adjacentes a ele. Tente demonstrar essa afirmao! 1.21. Prove que os tringulos A2PR e B2QR so congruentes. Captulo 2 Ao longo do primeiro captulo, pde o leitor observar os esforos ao longo dos sculos em se provar o Quinto Postulado de Euclides a partir dos quatro primeiros. Das diversas descobertas destacamos as ideias de Saccheri e Lambert que abriram as portas para o surgimento dos trabalhos de Bolyai, Lobachevsky e Gauss. Suas investigaes levaram ao que hoje conhecemos como geometria hiperblica, uma geometria consistente onde valem os quatro primeiros postulados de Euclides, mas no o ltimo. Antes mesmo de passar a analisar essa geometria no-euclidiana, vamos observar a contribuio de David Hilbert (1862-1943) com sua releitura da estrutura axiomtica de Euclides e, tambm, entender um pouco das suas profundas investigaes sobre a fundamentao da geometria, passando pelos conceitos de independncia (ou consistncia) e completude.

32 importante observarmos aqui, ento, o formato da estrutura que Euclides deu geometria. Alm das 23 definies, apresentadas em Os Elementos, que se iniciam com Ponto aquilo de que nada parte, seguida de E linha comprimento sem largura, E extremidades de uma linha so pontos, E linha reta a que est posta por igual com os pontos sobre si mesma, at terminar com Paralelas so retas que, estando no mesmo plano, e sendo prolongadas ilimitadamente em cada um dos lados, em nenhum se encontram, Euclides apresenta sua lista de Postulados: 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 crculo; 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. Esses cinco postulados so seguidos de nove Noes comuns que comeam com As coisas iguais mesma coisa so tambm iguais entre si e que terminam com E duas retas no contm uma rea. (EUCLIDES, 2009, p.97-99). Agora buscaremos entender o que Hilbert fez. Em 1899, ele apresentou a primeira edio dos seus Fundamentos da Geometria, que passaria por muitas revises e reformulaes at chegar sua 7 edio. Outras mais viriam depois, com comentrios suplementares e pequenos ajustes na apresentao de alguns resultados, mas nada to substancial a ponto de desfigurar a obra de Hilbert. Esse empenho demonstra, de certa forma, a inteno de Hilbert em tornar cada vez mais explcito o objetivo de apresentar uma estrutura axiomtica enxuta e elegante, ou ainda, reduzida a apenas o mnimo necessrio e suficiente para o desenvolvimento completo da geometria. Na edio portuguesa da Gradiva de 2003, encontramos a traduo revisada e coordenada por A. J. Franco de Oliveira, em que aparece o contedo da

33 7 edio alem, trabalhada pelo prprio autor, acrescida de apndices propostos por Hilbert, alm de alguns comentrios e melhorias na apresentao de tais contedos observados nas edies de nmeros 8, 9 e 10. A obra organiza os axiomas em cinco grupos: incidncia, ordem, congruncia, paralelas e continuidade. Na sequncia, Hilbert discorre sobre a no contradio e independncia mtua dos axiomas, desenvolve a Teoria das Propores, apresenta a Teoria das reas no plano, desenvolve e analisa o significado do Teorema de Desargues, visita o Teorema de Pascal e apresenta construes geomtricas com base nos grupos de axiomas I at IV. Por fim, so apresentadas reflexes de Hilbert sobre fundamentao da geometria, das geometrias no euclidianas e questes sobre a fundamentao prpria da matemtica. Destaca-se, ainda, suplemento de Henri Poincar (1854-1912), que faz uma rpida reviso dos Fundamentos da Geometria de Hilbert. Uma vez que nosso trabalho tem foco no Quinto Postulado, apresentaremos como Hilbert interpretou a geometria e registrou sua estrutura axiomtica. No 1 do Captulo I, aparece:
DEFINIO. Imaginemos trs sistemas diferentes de objectos: aos objectos do primeiro sistema chamaremos pontos e representemo-los por A, B, C,...; aos objectos do segundo sistema chamemos rectas e representemo-los por a, b, c,...; aos objectos do terceiro sistema chamemos planos e representemo-los por , , ,... . Os pontos chamamse tambm os elementos da geometria linear, os pontos e rectas os elementos da geometria plana e os pontos rectas e planos os elementos da geometria do espao ou do espao. Imaginemos os pontos, rectas e planos como tendo certas relaes mtuas e indiquemos estas relaes por palavras tais como estar situado, entre, congruente; a descrio precisa e, para fins matemticos, completa destas relaes, dada por meio dos axiomas da geometria. (HILBERT, 2003, p.1)

34 Esses axiomas so, ento, agrupados da seguinte maneira (HILBERT, 2003, p.2-28). I AXIOMAS DE INCIDNCIA I-1 Para cada dois pontos A e B h sempre uma reta a que est associada com cada um dos dois pontos A e B. I-2 Para dois pontos A e B no h mais do que uma reta que est associada com cada um dos dois pontos A e B. I-3 Sobre uma reta h sempre, pelo menos, dois pontos. H pelo menos trs pontos que no esto sobre uma mesma reta. I-4 Para quaisquer trs pontos A, B e C que no esto sobre uma mesma reta, h sempre um plano , que est associado com qualquer dos trs pontos A, B e C. Para cada plano h sempre um ponto que est associado com ele. I-5 Para cada trs pontos que no esto sobre uma mesma reta, no h mais do que um plano que est associado com qualquer desses trs pontos. I-6 Se dois pontos A e B de uma reta a esto num plano , ento cada ponto de a estar no plano . I-7 Se dois planos e tm um ponto comum A, ento tm, pelo menos, mais um outro ponto comum. I-8 H, pelo menos, quatro pontos que no esto no mesmo plano. II AXIOMAS DE ORDEM II-1 Se um ponto B est entre os pontos A e C, ento A, B e C so trs pontos distintos de uma reta e B tambm est entre C e A. II-2 Para cada dois pontos A e C h sempre, pelo menos, um ponto B sobre a reta AC tal que C est entre A e B. (Atividade 2.1) II-3 Dados trs pontos quaisquer de uma reta, no h mais do que um que est entre os outros dois.

35 II-4 (Axioma de Pasch) Sejam A, B e C trs pontos que no esto em linha reta e a uma reta do plano ABC, que no encontra nenhum dos pontos A, B e C; se a reta a passa por um ponto do segmento AB, ento tambm passa por um ponto do segmento AC ou por um ponto do segmento BC. III AXIOMAS DE CONGRUNCIA III-1 Se A e B so dois pontos sobre uma reta a e se, alm disso, A um ponto sobre a mesma ou outra reta a, ento pode encontrar-se sempre um ponto B sobre um dado lado da reta a, e a partir de A, tal que o segmento AB congruente com ou igual ao segmento AB, simbolicamente, AB AB. III-2 Se um segmento AB e um segmento AB so congruentes com o mesmo segmento AB, ento, tambm o segmento AB congruente com o segmento AB , ou abreviadamente, se dois segmentos so congruentes com um terceiro, ento so congruentes entre si. III-3 Sejam AB e BC dois segmentos, sem pontos comuns, sobre a reta a e sejam, alm disso, AB e BC dois segmentos sobre a mesma ou sobre uma outra reta a, e do mesmo modo sem pontos comuns; ento se for AB AB e BC BC ser tambm AC AC. III-4 Sejam dados um ngulo (h,k) num plano e uma reta a num plano , assim como um determinado lado de a em . Seja h uma semi-reta da reta a, que parta do ponto O. Ento, h no plano uma, e uma s, semi-reta k, tal que o ngulo (h,k) congruente com ou igual ao ngulo (h,k) e, ao mesmo tempo, tal que todos os pontos interiores do ngulo (h,k) esto no lado dado de a, simbolicamente, (h,k) (h,k). III-5 Se para dois tringulos ABC e DEF so vlidas as congruncias AB DE, AC DF, BAC EDF, ento sempre verificada tambm a congruncia ABC DEF.

36 IV AXIOMA DAS PARALELAS (Quinto Postulado de Euclides) Seja a uma reta qualquer e A um ponto exterior a a; ento, no plano determinado por a e A h, no mximo, uma reta que passa por A e no corta a. V AXIOMAS DE CONTINUIDADE V-1 Se AB e CD so dois segmentos quaisquer, ento h na reta AB um nmero finito de pontos A1, A2, A3,..., An-1, An tais que AA1, A1A2, A2A3,..., An-1An so congruentes com o segmento CD e B est entre A e An. V-2 Os pontos de uma reta constituem um sistema, com suas relaes de ordem e congruncia, que j no pode ser ampliado, se se quer manter as relaes entre os elementos originais bem como as propriedades fundamentais de ordem linear e congruncia que resultam dos axiomas dos grupos I a III e V-1. No programa formalista, do qual Hilbert foi um dos expoentes, defendeuse a possibilidade de a matemtica ser estruturada axiomaticamente segundo princpios de independncia (ou consistncia) e completude. Grosso modo, independncia significa a impossibilidade de serem encontradas afirmaes, verdadeiras dentro do sistema, que se contradigam mutuamente. E, a completude de um sistema axiomtico a certeza de que todas as afirmaes nele construdas podem ser valoradas por sua veracidade ou falsidade. Hilbert desenvolveu muito de sua argumentao fazendo uso de e exemplificando com os seus Fundamentos de Geometria. O problema da independncia foi resolvido no Captulo II dessa obra, que inicia com a seguinte frase:
Os axiomas dos 5 grupos, apresentados no Captulo I, no esto em contradio entre si: no possvel obter a partir deles, por inferncia lgica, uma afirmao que contradiga um dos axiomas apresentados. Para verificar isto, vamos construir a partir dos nmeros reais um

37
sistema no qual so satisfeitos todos os axiomas dos 5 grupos. (HILBERT, 2003, p.32)

Importante, aqui, notar que a independncia conquistada num sistema estruturado a partir dos nmeros reais, que se baseiam, por sua vez, na estrutura dos nmeros naturais. Essa observao visa to somente justificar a impossibilidade de a geometria vir a ser um sistema completo sobre essas bases. Kurt Gdel (1906-1978) demonstrou em seu ber formal unentscheidbare Stze der Principia mathematica und verwandter Systeme, de 1930, que qualquer sistema axiomtico que se assente, dentre outros, sobre os nmeros naturais no ser completo. Voltemos agora geometria hiperblica que , por definio, a geometria obtida assumindo todos os axiomas da geometria neutra e substituindo o postulado das paralelas de Hilbert por sua negao, a que chamaremos de axioma hiperblico: AXIOMA HIPERBLICO: Na geometria hiperblica existe uma reta r e um ponto P no pertencente a r tal que, por P, passam pelo menos duas retas distintas paralelas primeira. Retomando as Proposies I e III obtidas por Legendre (descritas no Captulo 1 deste texto), temos que se existe um tringulo cuja soma dos ngulos internos igual a dois retos, ento vale o quinto postulado. Da negao de tal resultado, observamos que, ao assumirmos verdadeiro o axioma hiperblico, conclumos que na geometria hiperblica no existem tringulos cujos ngulos internos somam dois retos. Da Proposio II de Legendre obtemos mais: na geometria hiperblica os tringulos devem necessariamente ter a soma de seus ngulos internos inferior a dois retos. Visto que, ao traarmos a diagonal de um quadriltero obtemos dois tringulos, uma das primeiras consequncias do axioma hiperblico este lema

38 que nos mostra exatamente quo prximos estavam Saccheri e Lambert da soluo das indagaes a respeito do Quinto Postulado: LEMA: (Na geometria hiperblica) No existem retngulos, isto , no existem quadrilteros com todos os ngulos internos retos. A partir de tal lema conseguimos provar uma verso mais forte do axioma hiperblico: TEOREMA UNIVERSAL HIPERBLICO: Na geometria hiperblica, para toda reta r e todo P no pertencente a r, passam por P pelo menos duas paralelas a r. Para a obteno de tal teorema, no entanto, notamos que, sem assumir o Quinto Postulado, pode-se provar que duas retas perpendiculares a uma terceira reta so paralelas (Atividade 2.2). Isso dito, tome uma reta r qualquer e P no pertencente r (Figura 2.1). Trace uma perpendicular PQ r e, ento, uma perpendicular m reta PQ por P. Tome R um ponto de r distinto de Q e desenhe uma perpendicular t reta r por R. Finalmente trace uma perpendicular PS t passando por P. Como ambas as retas, PS e m, so perpendiculares a retas perpendiculares r, temos que ambas so paralelas a r. Observe agora que as retas PS e m so distintas, caso contrrio teramos que o quadriltero PQRS seria um retngulo, o que, pelo lema acima seria um absurdo.

Figura 2.1: Paralelas a r por P.

39 Analisando a demonstrao acima podemos concluir mais, variando R temos que: COROLRIO: Na geometria hiperblica, para cada reta r e cada ponto P no pertencente a r, existem infinitas paralelas a r por P. Desenvolvendo a teoria a partir dos axiomas da geometria hiperblica, isto , a partir dos axiomas da geometria neutra juntamente com o axioma hiperblico, alguns interessantes e inusitados resultados seguem: Dois tringulos semelhantes so necessariamente congruentes, ou seja, se dois tringulos compartilham dos mesmos ngulos internos ento eles so congruentes (vale o critrio AAA para a congruncia de tringulos).

Dadas duas retas paralelas r e s, qualquer conjunto formado por pontos de r equidistantes de s tem, no mximo, dois elementos (Figura 2.2).

Figura 2.2: Paralelas e pontos equidistantes.

Outra notvel observao na geometria hiperblica o surgimento de algumas retas paralelas especiais. Como tais paralelas surgem? Eis uma ideia intuitiva a respeito delas: Considere duas retas r e s perpendiculares a uma terceira reta em Q e P, respectivamente (Figura 2.3). Estudemos as paralelas de r passando por P. Fixemos um ponto S em s (paralela a r) distinto de P. Escolhido um ponto Y do segmento de

40 reta SQ, temos duas possibilidades, ou a reta por P e Y intersecta r ou ela paralela a r. Parece natural, ou pelo menos intuitivo, esperar que para Y prximo de S temos a reta PY paralela a r, e, para Y prximo a Q, a reta PY intersecta r. Pode-se mostrar que tal comportamento de fato ocorre. Usando um argumento de continuidade, pode-se mostrar que existe um ponto X sobre SQ tal que para todo ponto R em XQ a reta PR intersecta r, e tal que para todo ponto T em SX a reta PT paralela a r. A reta PX surge assim como uma paralela especial a que chamamos paralela limite por P reta r (ver discusso introdutria nas pginas 19 e 20, em especial a Figura 1.9, acima, no Captulo 1; nessa figura, FG faz o papel da paralela limite).

Figura 2.3: Paralela limite. Tais paralelas tm algumas peculiaridades. Nota-se: aproximam-se assintoticamente de r (sem intercept-la) e no admitem uma reta que simultaneamente perpendicular a r e a ela. Os resultados obtidos a partir do axioma hiperblico apontam para uma geometria um tanto estranha para uma mente acostumada com a geometria clssica de Euclides. O prprio filsofo Immanuel Kant (1724-1804) defendia a ideia de que a geometria euclidiana era inerente ao pensamento. Sendo assim, ele acreditava ser inconcebvel a existncia de uma geometria no-euclidiana. Apresentado um pouco dos trabalhos de Bolyai e Lobachevski, nos restam algumas perguntas. Como podemos afirmar que eles foram capazes de resolver o

41 problema do Quinto Postulado? No poderamos imaginar que, como aconteceu com Saccheri, os estudos de Bolyai e Lobachevski foram ineficazes, deixando, assim, o problema aberto para algum mais perspicaz resolver? Ser, ento, algum capaz de encontrar nos axiomas hiperblicos uma contradio? Ou ser possvel provar que no se pode obter contradio alguma a partir dos axiomas fixados? Uma interessante e curiosa pergunta surge ento com um pouco de reflexo: E a geometria euclidiana? Ela consistente? Diferentemente do que podem muitos imaginar, que a resposta para tal pergunta que acreditamos que a geometria euclidiana seja consistente, sem exigir dela uma formalizao de tal consistncia. Assim sendo, o que podemos fazer cerca da consistncia da geometria hiperblica vincular sua consistncia da geometria euclidiana de modo que, provada uma inconsistncia da geometria euclidiana, provada estar a inconsistncia da geometria hiperblica, e vice-versa. Assim o que torna os trabalhos de Bolyai e Lobachevski especiais que, inspirados por suas ideias, pode-se chegar ao seguinte resultado: TEOREMA CONSISTNCIA: Se a geometria euclidiana consistente, ento o mesmo

DE

ocorre com a geometria hiperblica. Assumindo provado esse teorema, suponha consistente a geometria euclidiana e que existe uma demonstrao de que o postulado das paralelas pode ser derivado dos demais postulados. Tal suposio leva a uma inconsistncia na geometria hiperblica, pois o axioma hiperblico seria provado contraditrio. Pelo teorema acima concluiramos ento que a geometria euclidiana seria inconsistente. Absurdo! Como, por outro lado, assumindo a geometria euclidiana consistente, no se pode negar o postulado das paralelas, temos:

42 COROLRIO: Se a geometria euclidiana consistente, ento no se pode provar verdadeiro ou falso o postulado das paralelas a partir dos demais postulados de Hilbert, i.e., o postulado das paralelas independente dos demais. Aps mais de 2.000 anos de incansveis esforos, a esperana de provar a dependncia do quinto postulado a partir dos demais foi profundamente abalada, pois tal demonstrao provaria a inconsistncia da geometria euclidiana. Conseguiria o leitor imaginar um mundo onde a geometria euclidiana fosse falsa? Bem... At hoje ningum ousou tanto! O Teorema da Consistncia na forma apresentada acima foi provado por Eugenio Beltrami (1835-1900) e uma prova alternativa foi dada depois por Felix Klein (1849-1925). Beltrami provou em 1868 esse teorema a partir do uso da geometria diferencial. Klein, por sua vez, encontrou na geometria projetiva um caminho para uma nova demonstrao. Sob a incmoda verdade apresentada por tal teorema, surgiu a necessidade de um modelo onde se pudesse visualizar o plano hiperblico. Como a gua em meio ao deserto, surgem os modelos de Beltrami-Klein e os modelos de Henri Poincar. No modelo de Klein os pontos do plano hiperblico so representados por pontos interiores a um dado crculo. Notamos que a fronteira do crculo no contm pontos do plano hiperblico. Mais rigorosamente, fixado um crculo c centrado em O sobre o qual construiremos nosso modelo, X um ponto do plano hiperblico se, e somente se, o comprimento do segmento (euclidiano) OX for menor do que o raio de c. Definidos os pontos do nosso espao, definimos ento quem so as retas. No modelo de Klein define-se a reta por dois pontos P e Q como a interseco da reta euclidiana com o interior do crculo c. De modo a facilitar o entendimento do texto, denotaremos a interseco da reta (euclidiana) que cruza a fronteira de c nos

43 pontos A e B com o interior de c por A)(B. No por acaso, chamaremos a reta (hiperblica) A)(B de corda aberta de c.

Figura 2.4: Reta por P e Q [corda aberta A)(B]

Estabelecidos os conceitos de ponto e reta, precisamos traduzir ao nosso modelo alguns dos conceitos usuais de uma geometria, como ser paralelo, estar em, ficar entre e ser congruente. Dizemos que duas cordas abertas so paralelas se elas no se intersectam. Assim, fica claro que em nosso modelo vale o axioma hiperblico (Figura 2.5).
Figura 2.5: A)(B e C)(D so duas retas paralelas a E)(F que passam por P.

44 Nesse caso, no importa se as retas euclidianas se cruzam fora do crculo, pois as retas hiperblicas so apenas as cordas abertas (interseco da reta com o interior de c). Os conceitos de estar em e ficar entre tm no modelo de Klein o mesmo significado que na geometria euclidiana. Por fim, de modo a termos um modelo em que se possam verificar os axiomas da geometria neutra e o axioma hiperblico, devemos conceituar congruncia. Para isso, devemos aprender a medir o comprimento de segmentos de reta e ngulos. Esta tarefa, no entanto, , de fato, uma das principais dificuldades na construo do modelo. Observe que caso adotssemos o modo euclidiano de se medir comprimentos e ngulos chegaramos a uma contradio com alguns dos axiomas da geometria neutra. Relembremos aqui dois dos axiomas de Hilbert: AXIOMA II-2: Para cada dois pontos A e C h sempre, pelo menos, um ponto B sobre a reta AC tal que C est entre A e B.

Figura 2.6 AXIOMA II-2

AXIOMA III-1: Se A e B so pontos sobre uma reta a e se, alm disso, A um ponto sobre a mesma reta ou outra reta a, ento pode encontrar-se sempre um ponto B sobre um dado lado da reta a, e a partir de A, tal que o segmento AB congruente com ou igual ao segmento AB .

45
Figura 2.7: Axioma III-1

Do axioma II-2, segue que toda reta pode ser estendida infinitamente ou infinita. Com auxlio do axioma III-1, pode-se provar que toda reta deve ter comprimento infinito (Atividade 2.2). Assim, caso adotssemos o modo euclidiano de medir comprimento, teramos que toda reta hiperblica do modelo de Klein teria comprimento menor do que o dimetro de c. Observado ento que o problema de medir comprimentos no modelo de Klein exige um estudo mais elaborado, assumiremos, sem mais, que tal problema pode ser resolvido (Atividade 2.3). interessante observar que o modelo de Klein traz consigo a facilidade de entender e visualizar retas paralelas limites. Dados uma reta A)(B e um ponto P no pertencente a ela, fcil ver que a interseco da reta por P e A com o interior de c uma paralela limite dessa reta A)(B, tanto quanto o a corda aberta de extremidades P e B. bom lembrar que A e B no so pontos do plano hiperblico segundo nosso modelo. Tais pontos so usualmente chamados de pontos ideais ou pontos finais da reta A)(B (Figura 2.8).

46

Figura 2.8: CA e CB so paralelas limites de AB no modelo de Klein

Consciente da dificuldade de comparar comprimentos e ngulos no modelo de Klein, Henri Poincar sugeriu, ento, um modelo semelhante ao modelo proposto por Beltrami e Klein, mas onde os ngulos possuam o mesmo significado que na geometria euclidiana, podendo assim ser comparados do modo usual. No modelo de Poincar tomamos como pontos do plano hiperblico novamente os pontos interiores a um dado crculo c de centro O. As retas, no entanto, so representadas por dois tipos de curvas:

Cordas abertas passando por O, Arcos abertos de circunferncias ortogonais a c, i.e., interseces de circunferncias ortogonais a c com o interior do crculo c.

47

Figura 2.9: Reta de Poincar

Essas retas sero por ns chamadas de retas de Poincar. A este modelo chamamos modelo do disco de Poincar. Nele, os conceitos de estar em e ficar entre, assim como acontece no modelo de Klein, tm o mesmo significado que na geometria euclidiana. Apesar de a congruncia de segmentos ainda ser complexa neste modelo, a congruncia de ngulos, como dissemos, volta a ter o mesmo significado que na geometria euclidiana. Novamente, dizemos que duas retas so paralelas quando estas no tm pontos em comum. Uma vez que nesse modelo ngulo reto tem a mesma significao que no plano euclidiano, podemos facilmente visualizar que existem paralelas que admitem uma terceira reta ortogonal a ambas:

Figura 2.10: Paralelas com perpendicular em comum

48 E, tambm, paralelas (paralelas limite) que no admitem perpendicular comum (Figura 2.11).

Figura 2.11: Paralelas limite.

Alm disso, fcil entender agora os quadrilteros imaginados por Lambert, que possuem trs ngulos retos e um agudo (Figura 2.12; Atividade 2.4).

Figura 2.12: Quadriltero de Lambert.

Por fim, mais intuitiva neste modelo a ideia de que tringulos semelhantes (com ngulos congruentes) so necessariamente congruentes (Atividade 2.5).

49 importante observar que apesar dos dois modelos apresentados parecerem distintos eles so essencialmente iguais (isomorfos), ou seja, possvel encontrar correspondncias (funes bijetoras) que levam os pontos e retas de um modelo no outro de modo a preservar os conceitos de ser paralelo, estar em, ficar entre e ser congruente. A relao entre o modelo de Klein e o modelo do disco de Poincar pode ser bem compreendida atravs da seguinte figura que mostra como uma reta do modelo de Klein levada numa reta do modelo de Poincar e vice-versa.

Figura 2.14: Relao entre o modelo de Klein e o disco de Poincar.

No espao euclidiano tomamos sobre um plano um crculo c de raio r para representar o modelo de Klein. Tangenciando esse plano no centro de c tomamos uma esfera, tambm, de raio r. Seja N o ponto da esfera diametralmente oposto ao ponto de tangncia (o chamado plo norte). A projeo estereogrfica do equador da esfera (crculo mximo paralelo a ) sobre , nos d o crculo d dentro do qual construiremos o modelo de Poincar. A identificao dos pontos do modelo de Klein para o modelo de Poincar se d, ento, da seguinte forma: para um dado P dentro de c (ponto no modelo de Klein), projetamos P ortogonalmente sobre a esfera, em um ponto P, e, finalmente, a partir de N fazemos a projeo estereogrfica de P sobre . No

50 difcil ver que tal aplicao leva as retas de um modelo nas retas de outro. interessante notar tambm que tal aplicao reversvel. Alm do modelo do disco, Poincar props, tambm, outro modelo com propriedades semelhantes ao primeiro, ou seja, um modelo em que os conceitos de estar em, ficar entre, ser paralelo e ter ngulos congruentes tm o mesmo significado que na geometria euclidiana. Com este segundo modelo de Poincar, fica mais fcil de visualizar o porqu de chamarmos o espao hiperblico de plano hiperblico. Nele, os pontos do espao so os pontos de um semiplano euclidiano fixado, ou ainda, por exemplo, so as coordenadas cartesianas dadas pelo conjunto H={(x,y); y > 0}. Em H as retas (hiperblicas) so representadas de duas formas:

Como semi-retas perpendiculares ao eixo x partindo de pontos desse eixo, ou, em coordenadas, fixado; , em que um nmero real

Como semicrculos (com y > 0) centrados em pontos do eixo x, ou ainda, um nmero real fixado e c uma constante real positiva (raio da semicircunferncia).

Figura 2.13: Retas no modelo do semiplano de Poincar.

Os exemplos descritos durante a apresentao do primeiro modelo de Poincar podem ser facilmente estudados nesse seu segundo modelo (Atividades 2.6 e 2.7).

51 Observamos tambm que o modelo do semiplano isomorfo aos modelos de Klein e disco de Poincar. A relao entre os modelos de Klein e o semiplano de Poincar pode ser visualizada na seguinte figura.

Figura 2.15: Relao entre o modelo de Klein e o semiplano de Poincar.

De modo semelhante ao descrito na construo do isomorfismo entre o modelo de Klein e o disco de Poincar, tomamos sobre um plano um crculo c de raio r e centro O para representar o modelo de Klein e, tangenciando em O, tomamos uma esfera de raio r. Sobre o equador da esfera tomamos um ponto E e fazemos a projeo estereogrfica da semi-esfera inferior sobre um plano tangente esfera no ponto diametralmente oposto a E (Atividade 2.8). Apresentados os modelos da geometria hiperblica, ficou clara comunidade matemtica, e a todos os que se envolveram em observar as discusses sobre o tema, a relao do Quinto Postulado de Euclides com os demais. No entanto, no podemos dizer que a ideia de uma geometria no-euclidiana totalmente nova. Ainda na Grcia antiga, Menelaus de Alexandria (70-130), escreveu um livro sobre a trigonometria esfrica, chamado Sphaerica. Nesse trabalho, Menelaus reconhece na esfera certas curvas como anlogas s retas. Essas curvas, hoje conhecidas como geodsicas, tm a propriedade de minimizar localmente a distncia entre pontos da esfera. Com algum esforo pode-se mostrar que tais curvas minimizantes so os crculos

52 mximos da esfera, ou seja, as curvas obtidas pela interseco da esfera com planos passando pelo seu centro.

Figura 2.16: Reta na esfera (Geodsica).

Desde ento, a geometria esfrica desenvolveu-se ao longo da histria principalmente pelo seu vnculo com cartografia e astronomia. interessante notar que tambm na geometria esfrica no vale o quinto postulado, pois dados uma reta r e um ponto P fora desta, no existe por P reta paralela a r, ou seja, reta que no intersecte r (Atividade 2.9).

Figura 2.17: Quaisquer retas da esfera se intersectam.

53 Observe tambm que, na esfera, tringulos podem ter a soma de seus ngulos internos superior a dois retos (Atividade 2.10).

Figura 2.18: Os ngulos da base do tringulo so ambos retos!

Como vimos no primeiro captulo, as proposies de Legendre nos mostram que se valem os quatro primeiros postulados de Euclides ento a soma dos ngulos internos de um tringulo deve ser menor ou igual a dois retos. Desse modo, facilmente se conclui que na geometria esfrica os quatro primeiros postulados no so todos vlidos (Atividade 2.11). Justamente esse fato nos impede de usar a geometria esfrica para mostrar a independncia do quinto postulado. Na segunda metade do sculo XIX e incio do sculo XX, encontramos um mundo cientfico em ebulio. E, por conta da resoluo do problema acerca do Quinto Postulado de Euclides, tornou-se clara humanidade a existncia de diferentes geometrias, em especial a geometria hiperblica. Paralelamente, a fsica caminha para a formulao de duas teorias revolucionrias, a da mecnica quntica e a da relatividade geral. A partir das ideias de Gauss, que havia proposto um estudo intrnseco da geometria de superfcies dentro do espao euclidiano tridimensional, surge, ento, uma nova formulao da geometria que se mostra fundamental para a compreenso do universo em que vivemos. Bernhard Riemann, um aluno de Gauss, na sua palestra ber die Hypothesen welche der Geometrie

54 zu Grunde liegen (Das hipteses sobre as quais se assenta a geometria), realizada em 1854 em Gttingen, apresenta o embrio daquilo que se tornou a viso moderna sobre a geometria. A geometria riemanniana, como hoje conhecida, abarca as geometrias euclidiana, hiperblica e esfrica como casos especiais. Nesta concepo, a geometria pode ser estudada intrinsecamente em superfcies de n dimenses (em que n um nmero natural) com a curvatura da superfcie variando a cada ponto do espao. Sob esse ponto de vista, o plano euclidiano, o plano hiperblico e a esfera tornam-se apenas superfcies (bidimensionais) com curvatura constante. Ao leitor interessado num estudo mais profundo de curvas e superfcies sugerimos o livro Geometria Diferencial: Curvas e Superfcies de Manfredo Perdigo do Carmo (DO CARMO, 2005), um grande pesquisador brasileiro desse tema. Mas, o que significa curvatura? Albert Einstein (1879-1955), na sua obra A Teoria da Relatividade Especial e Geral (EINSTEIN, 1999 Atividade 2.12), prope um exerccio mental que permite uma visualizao do que significa uma superfcie com curvatura. Estudemos, aqui, algo semelhante ao que ele props. Imagine que nos so dados bastezinhos todos de mesmo comprimento. Imagine agora um plano que tentaremos cobrir com quadrados. Numa superfcie plana, uma mesa, por exemplo, pegamos quatro bastezinhos e montamos um quadrado. Em seguida pegamos trs bastezinhos e construmos um novo quadrado com um lado em comum com o anterior. Preenchida toda uma fileira, iniciamos a construo de uma segunda fileira. No meio dessa, vemos que para obter um novo quadrado devemos alocar apenas dois bastezinhos, j que, para preencher toda mesa, dois de seus lados j estaro fixados.

55

Figura 2.20: Recobrimento do plano por quadrados.

Observa, ento, Einstein que quase um milagre podermos cobrir a mesa com quadrados, uma vez que em determinado ponto temos apenas dois bastezinhos para nos ajudar na construo. Imagine por exemplo que nesse ponto descobrssemos que os dois lados fixados formassem um ngulo diferente de 90o. Seria impossvel ento cobrir a mesa por quadrados. Imagine agora que nos dada uma superfcie irregular, cheia de elevaes e depresses. No deve ser difcil concluir que nossos bastezinhos sero incapazes de cobrir a superfcie com quadrados. Imagine agora que, ao invs de bastes, comecemos a usar barbante (ou elstico) para cobrir a superfcie com quadrilteros, sempre construdos de forma a se aproximarem ao mximo de quadrados. Esse processo pode ser ento realizado.

Figura 2.21: Recobrimento de superfcie curva por quadrados.

56 Aquilo que torna os quadrados imperfeitos o que podemos chamar de curvatura. Einstein recorreu a tal geometria com curvatura para modelar o espao fsico, quando notou que a gravidade provocava distores nele. Einstein desenvolveu sua teoria assumindo, dentro outros, um postulado que diz que a luz percorre o espao em linha reta (percorrendo o menor caminho) com velocidade constante. Ao chegar famosa equao , Einstein mostrou que massa e energia so manifestaes de mesma natureza fsica. Conjecturou, ento, que a luz, como energia, poderia ser desviada por campos gravitacionais. Assim, observando o posicionamento de estrelas ao redor do Sol, notou que as estrelas que deveriam estar ocultas pela presena do astro sua frente ainda podiam ser vistas.

Figura 2.22: Trajetria de um raio de luz emitido por estrela localizada atrs do Sol e sua posio quando observada da Terra.

Essa observao sustentava sua teoria, mas mostrava que a luz percorria o espao em uma trajetria curva. Como lidar ento com o postulado que afirma que a luz percorre o espao em linha reta? A resposta seguia com a adoo de um novo modelo geomtrico: a luz caminha em linha reta, o espao, no entanto, curvo (Atividade 2.13). Dediquemo-nos brevemente a uma melhor compreenso do conceito de curvatura. Considere para isso uma curva no plano. Seja A um ponto sobre a curva e M um ponto da curva prximo de A. O ngulo entre a tangente a curva em A e a tangente em M nos mostra quanto a curva mudou de direo ao longo do segmento de A a M. Seja esse ngulo. Se s o comprimento percorrido de A a M na curva,

57 temos que a mdia na mudana de direo no segmento AM ponto A . Desse modo, com M se

a curvatura da curva em A, ou seja, a medida da variao da direo da curva no movimentando em direo a A, e cada vez mais prximo dele, pela curva, ou ainda, definimos a curvatura em A (Atividade 2.14).

Figura 2.23: Curvatura, variao do ngulo ao longo da curva.

Considere agora uma superfcie. Seja o plano tangente a essa superfcie em um ponto M. Fixada uma direo, tome agora um plano perpendicular a contendo M e uma reta na direo fixada. Estudemos, ento, a curvatura da seco normal (curva) obtida pela interseco da superfcie com o plano perpendicular a

. possvel mostrar que existem duas direes particulares tais que:


Elas so mutuamente perpendiculares;

respectivamente, o maior e menor valores das curvaturas das sees normais. Essas particulares direes so denominadas direes principais e as e M. so chamadas de curvaturas principais da superfcie no ponto

58

Figura 2.24: Curvas de uma superfcie S com as curvaturas principais de um ponto de S.

A curvatura gaussiana de uma superfcie num ponto M definida, ento, como o produto das curvaturas principais desse ponto. Assim sendo, observamos: O plano euclidiano uma superfcie de curvatura gaussiana constante igual a 0; A esfera de raio r uma superfcie de curvatura gaussiana constante igual a 1/r; O plano hiperblico uma superfcie de curvatura gaussiana constante igual a um dado nmero negativo. (Atividades 2.14 e 2.15) Com as constataes de que as geometrias euclidiana, hiperblica e esfrica se classificam numa mesma categoria de geometrias com curvatura constante e de que, embora no se liguem exatamente pelo postulado das paralelas, elas podem ser vistas dentro de um mesmo espectro de valores em que esse postulado o divisor de guas, deixando a geometria euclidiana no centro e a hiperblica e a esfrica em lados opostos, encerramos nosso estudo introdutrio de histria do desenvolvimento da geometria com base no desenvolvimento das questes acerca do Quinto Postulado de Euclides.

59 Atividades 2 2.1.Prove que existe ponto entre dois pontos quaisquer de uma reta. 2.2. Prove que toda reta em geometria neutra tem comprimento infinito. 2.3. Ao leitor interessado sugerimos a leitura de GREENBERG, 2008 ou FRANCIS, 2002. 2.4. Construa, utilizando o modelo de Poincar para a geometria hiperblica, um quadriltero de Sacheri. 2.5. Apresente um argumento que justifique que tringulos semelhantes so congruentes na geometria hiperblica. 2.6. No modelo do semiplano de Poincar, desenhe uma reta r e um ponto P no pertencente a r e encontre pelo menos duas paralelas a r passando por P. Como so representadas nesse modelo as paralelas limite? 2.7. Desenhe no modelo do semiplano de Poincar os quadrilteros de Lambert e Saccheri. 2.8.Adote um sistema de coordenadas cartesiano para o espao e atravs dele encontre: a. Um isomorfismo entre os modelos de Klein e o disco de Poincar; b. Um isomorfismo entre os modelos de Klein e o semiplano de Poincar. 2.9.Argumente porque, no globo terrestre (quando identificado com uma esfera), os meridianos so geodsicas, mas nem todos os paralelos so. Qual paralelo uma geodsica? Existem outros que o so? 2.10. Encontre na esfera um tringulo com 3 ngulos retos. 2.11. Na geometria esfrica quais postulados de Euclides ainda valem? Quais falham? Por qu? 2.12. Ler EINSTEIN, 1999, seo "As coordenadas gaussianas". 2.13. Ler EINSTEIN, 1999, seo "A confirmao da Teoria da Relatividade Geral pela experincia". 2.14. Calcule a curvatura de uma reta e de uma circunferncia de raio r. 2.15. Construa no cilindro uma geometria adotando curvas que minimizam comprimento como retas (tente planificar o cilindro). Tente verificar quais

60 postulados de Euclides continuam vlidos e quais falham. Por fim, tente calcular a curvatura gaussiana de um ponto do cilindro. 2.16. Repita a atividade 2.15 para o toro (superfcie em forma de Donut). Bibliografia ALEKSANDROV, A. D.; KOLMOGOROV, A. N.; LAVRENTEV, M. A. Mathematics: Its Content, Methods and Meaning. Three Volumes Bound as One. Translation edited by S. H. Gould. New York: DOVER, 1999. DO CARMO, M. P. Geometria Diferencial: Curvas e Superfcies. Publicao SBM: Textos Universitrios, 2005. 610p __. Geometria Riemanniana. Publicao IMPA: Coleo Projeto Euclides, 1988. 298p. EFMOV, N. V. Geometra Superior. Traducido del ruso por J. J. Tolosa y Yu. P. Murzn. Mosc: Editorial Mir, 1984. 504p. EINSTEIN, A. A Teoria da Relatividade Especial e Geral. Trad. De Carlos Almeida Pereira. Rio de Janeiro: Contraponto, 1999. 136p. EUCLIDES. Os elementos. Traduo e introduo de Irineu Bicudo. So Paulo: Editora da UNESP, 2009. 600p. __ . The Elements. http://www.gutenberg.org/ebooks/21076. FRANCIS, G. The Beltrami-Klein Model of the Hyperbolic Plane. http://www.math.uiuc.edu/~gfrancis/M302/handouts/beltrami.pdf, 2002. GDEL, K. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems. Translated by B. Meltzer. New York: DOVER, 1992. 72p. GREENBERG, M. J. Euclidean and Non-Euclidean Geometries: Development and History. 4 ed. New York: W. H. Freeman and Company, 2008. 637p. HILBERT, D. Fundamentos da Geometria. Traduo do alemo por Leo Unger e reviso por P. Bernays. Reviso cientfica e coordenao de A. J. Franco de Oliveira. Lisboa: GRADIVA, 2003. 339p. __. Foundations of Geometry. http://www.gutenberg.org/ebooks/17384.

61 KATZ, V. J. A History of Mathematics: An Introduction. 2 ed. New York: ADDISON-WESLEY, 1998. 879p. KULCZYCKI, S. Non-Euclidean Geometry. Translated from the Polish by Stanislaw Knapowski. New York: DOVER, 2008. 208p. MENEGHETTI, R. C. G. Constituio do saber matemtico: reflexes filosficas e histricas. 1 ed. Londrina: EDUEL, 2010. v. 1. 176 p. PLATO. A Repblica. Volumes I e II. Introduo e notas de Robert Baccou. Traduo de J. Guinsburg. So Paulo: Difuso Europia do Livro, 1965. POGORELOV, A. Geometry. Translated from the Russian by Leonid Levant, Aleksandr Repyev and Oleg Efimov. Moscow: MIR PUBLISHers, 1987. 312p. TBOAS, P. Z. Clculo em uma Varivel Real. So Paulo: Editora da Universidade de So Paulo, 2008. 344p. Acadmica; 70.

Zornoff Tboas4 Bacharel em Matemtica pela UFSCar, So Carlos SP, Mestre e Doutor em Educao Matemtica pela UNESP, Rio Claro SP, participa do Grupo de Pesquisa em Filosofia, Histria e Ensino de Cincias e Matemtica,
4

plinio.taboas@ufabc.edu.br.

62 desenvolve trabalhos em Histria da Matemtica e em Educao Matemtica e Professor Adjunto da Universidade Federal do ABC UFABC. Sinu Dayan Barbero Lodovici5 Bacharel em Cincias Moleculares e Doutor em Matemtica Aplicada, ambos pela USP, So Paulo SP, participa do Grupo de Pesquisa em Filosofia, Histria e Ensino de Cincias e Matemtica, desenvolve trabalhos em Geometria Semi-Riemanniana e em Educao Matemtica e Professor Adjunto da Universidade Federal do ABC UFABC.

sinue@ufabc.edu.br; http://sinue.ufabc.edu.br/.