Junio de 2010, Nmero 22, pginas 37-51 ISSN: 1815-0640

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni , Ana Paula Jahn Resumo
As Geometrias no Euclidianas tm uma histria repleta de hesitaes, dvidas e contradies que s foram eliminadas aps um longo trabalho de reflexo e apuramento. uma histria de 20 sculos que rompe com a crena de que a geometria euclidiana nica. Ela se confunde com a histria do quinto postulado de Euclides. O fracasso de todas as tentativas de provar esse postulado levou lentamente a uma nova concepo da Matemtica em que todos os elementos de uma teoria devem ser cuidadosamente explicitados.

Abstract
The non Euclidean Geometries have a history full of hesitations, doubts and contradictions that were eliminated only after a long process of reflection and clearance. It is a history of 20 centuries that breaks with the belief that Euclidean geometry is unique. She is confused with the history of the fifth postulate of Euclid. The failure of all attempts to prove this postulate led slowly to a new conception of mathematics in which all elements of a theory should be carefully explained.

Resumen
Las geometras no euclidianas tienen una historia llena de vacilaciones, dudas y contradicciones que se han eliminado slo despus de un largo proceso de reflexin y de aclaracin. Es una historia de 20 siglos que rompe con la creencia de que la geometra euclidiana es nica. Ella se confunde con la historia del quinto postulado de Euclides. El fracaso de todos los intentos de demostrar este postulado condujo lentamente a una nueva concepcin de la matemtica en la que todos los elementos de una teora deben ser explicado detenidamente.

1. Os Elementos de Euclides O mais antigo texto matemtico grego que nos chegou completo a obra de Euclides Os Elementos. Essa obra constituda de 13 livros expe resultados da matemtica elementar em ordem lgica, desde a poca de Tales (600 a.C) at Euclides (300 a.C). O quadro abaixo, apresenta os tpicos de cada um dos treze livros.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 37

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

Livro I Livro II Livro III Livro IV Livro V Livro VI Livro VII Livro VIII Livro IX Livro X Livro XI Livro XII Livro XIII

Propriedades dos tringulos, teoria das 23 definies, 9 axiomas, paralelas (proposies 27 a 32) 5 postulados, 48 proposies e figuras equivalentes lgebra geomtrica 2 definies, 14 proposies A geometria do crculo Polgonos regulares A teoria das propores Tales e figuras semelhantes Teoria dos nmeros Teoria dos nmeros Teoria dos nmeros Nmeros incomensurveis Geometria espacial de posio reas e volumen Poliedros regulares 11 definies, 39 proposies 7 definies, 16 proposies 18 definies, 25 proposies 4 definies , 33 proposies 23 definies, 39 proposies 27 proposies 36 proposies 4 definies, 115 proposies 28 definies, 39 proposies 18 proposies 18 proposies

O que distingue a obra de Euclides de todas as outras que chegaram at ns e faz a sua grandeza a sua estrutura axiomtica. O livro I a chave da apresentao do mtodo axiomtico. A partir de algumas definies, 9 axiomas e 5 postulados Euclides deduz 465 teoremas. Os postulados eram proposies que se pediam que fossem aceitos sem demonstrao e segundo a traduo de VITRAC eram cinco: Postulado1: Pode-se traar uma reta de qualquer ponto a outro ponto qualquer. Obs.: a palavra reta na obra de Euclides equivale ao nosso segmento de reta. um postulado garante a existncia do segmento. Postulado2: Pode-se prolongar uma reta infinitamente. Obs.: o postulado 2 garante a existncia da reta. Postulado3: Pode-se descrever uma circunferncia com qualquer centro e qualquer raio. Obs.: esse postulado garante a existncia da circunferncia. Postulado4: Pode-se considerar todos os ngulos retos iguais entre si. Postulado5: Se duas retas interceptadas por uma terceira reta, formam, do mesmo lado dessa reta secante, dois ngulos internos cuja soma menor que dois ngulos retos, as retas quando suficientemente prolongadas se interceptam por esse lado da secante. Obs.: A partir do diagrama abaixo, o quinto postulado de Euclides ser enunciado numa linguagem moderna: Se +<180 ento as retas r e s se intersectam do lado de e .

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 38

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

O livro I foi objeto de vrios comentrios por causa desse quinto postulado. A sua forma um pouco complicada incitou muitos matemticos a tentar deduzilo a partir dos outros. Entre aqueles que tentaram estabelecer sem sucesso uma prova podemos citar: No mundo grego Ptolomeu (Sculo II) Proclus (Sculo V) Aganis ( sculo VI) No mundo rabe Al Haytam (sculoXI) Al Kayyam (sculos XI-XII) Al Tusi (sculo XIII) No Ocidente Saccheri (1733) Lambert (1766) Legendre(1794)

Obs.: Legendre(1752-1833) estava to obcecado em provar o quinto postulado de Euclides que, durante um perodo de 29 anos, publicou inmeras tentativas, uma aps outra, em diferentes edies do seu livro Elementos de geometria. 1.1 A equivalncia entre o quinto postulado de Euclides e o postulado das paralelas Em 1795, o enunciado do quinto postulado de Euclides foi substitudo por um outro, equivalente, chamado hoje de postulado das paralelas. Tal formulao devida a Playfair: Por um ponto fora de uma reta pode-se traar uma nica paralela reta dada. Todavia, esse postulado j havia sido considerado por Proclus em sua obra Comentrios sobre o primeiro livro dos elementos de Euclides. 1.2 Alguns enunciados equivalentes ao quinto postulado de Euclides As inmeras tentativas infrutferas de provar o quinto postulado de Euclides esbarravam no uso indevido de resultados equivalentes ao quinto postulado de Euclides. Entre esses resultados podem-se citar : A soma das medidas dos ngulos de um tringulo igual a 180. A soma das medidas dos ngulos de um quadriltero igual a 360. As retas paralelas so equidistantes. Por trs pontos no alinhados passa sempre uma circunferncia. A linha dos pontos equidistantes a uma reta dada e do mesmo lado da reta uma reta. Existe um retngulo. Por um ponto situado no interior de um ngulo pode-se sempre conduzir uma reta que intercepta as duas semi-retas que formam o ngulo. Todo ngulo inscrito numa semi-circunferncia reto. Se uma reta corta uma de duas retas paralelas ento ela corta tambm a outra 1.3 Imperfeies na obra de Euclides

O fracasso de todas as tentativas de provar o quinto postulado de Euclides levou lentamente a uma nova concepo da matemtica em que todos os

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 39

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

elementos de uma teoria deveriam ser cuidadosamente explicitados. Uma anlise atenta do sistema de postulados de Euclides, mostra que h muitos apelos intuio nas definies e demonstraes. Euclides usava fatos que no eram postulados ou conseqncias de teoremas anteriormente provados. Por exemplo, na proposio I do livro I Euclides pede para construir um tringulo eqiltero sobre um segmento dado.

Com o centro em A e raio AB descreve uma circunferncia, e com centro em B e raio BA descreva-se outra circunferncia. Na demonstrao Euclides usa o fato de que as duas circunferncias se cortam no ponto C. Mas isso no necessariamente verdadeiro a partir dos postulados enunciados por ele. Considere um plano formado por todos os pares ordenados (x,y) com x e y racionais.

Sejam x+y=1 e (x-1)+y=1 as duas equaes das circunferncias. Resolvendo o sistema obtm-se C (1/2, 3 /2). As circunferncias no se intersectam nesse plano pois que a ordenada do ponto C irracional. Portanto nessa proposio Euclides usou um postulado de continuidade (se uma circunferncia tem um ponto interno e um ponto externo a outra circunferncia ento as duas circunferncias se intersectam em dois pontos) no enunciado anteriormente. No fim do sculo XIX vrios matemticos passaram a trabalhar num estudo mais rigoroso da geometria de Euclides, principalmente no que se refere ordem. Utilizando os postulados de Euclides no se pode provar que se uma reta intersecta um lado de um tringulo ento ela intersectar o outro lado do tringulo. Este fato s foi percebido em 1882 pelo o matemtico Pasch que o adotou como postulado nas suas demonstraes.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 40

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

Outros resultados utilizados freqentemente em demonstraes no podem ser provados com o sistema de Euclides. Por exemplo, no possvel provar que se a bissetriz interna AD de um ngulo de um tringulo ABC intersecta o lado BC no ponto D ento esse ponto est entre B e C e tambm no se pode provar que as diagonais de um paralelogramo se intersectam num ponto.

Outra imperfeio encontrada na obra de Euclides que as demonstraes por superposio no eram rigorosas. Usavam deslocamentos que no eram definidos. Para provar o caso de congruncia LAL Euclides comea por mover um dos tringulos de forma a faz-lo coincidir com o outro, mas nenhum dos postulados lhe permitia esse movimento. Como garantir que o movimento no alterava a forma do tringulo? Faltava, portanto um postulado que garantisse que as propriedades das figuras (comprimentos e ngulos) permanecessem inalteradas durante seu deslocamento. Alguns gemetras sugeriram o seguinte postulado as figuras geomtricas podem deslocar-se sem modificar seu tamanho e forma." Esse postulado foi utilizado por todos os gemetras gregos mas sem enunci-lo explicitamente. Em 1557, o gemetra Pelletier o considera como uma definio. Em 1638, o gemetra Borelli toma a precauo de advertir: vamos sobrepor os tringulos no materialmente mas sim intelectualmente. Em 1898, Hilbert o inclui na lista de seus postulados (hoje, a maioria dos sistemas axiomticos o denomina de caso LAL de congruncia de tringulos). Outro problema na axiomtica de Euclides o fato das demonstraes se basear apenas na figura considerada. Vrios resultados eram generalizados a partir da demonstrao de um nico caso particular. Na proposio 20 do livro III, Euclides demonstra que o ngulo inscrito num tringulo o dobro do ngulo central correspondente. Para isso, ele distingue somente dois casos de figura onde o ngulo inscrito agudo.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 41

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

Nenhuma palavra dita sobre os casos em que os ngulos inscritos so obtusos, ou retos ou possuindo um lado passando pelo centro.

Os exemplos acima mostram que o sistema de postulados de Euclides no era completo. Faltavam postulados de separao, de continuidade e de congruncia. Alm disso Euclides no reconheceu a importncia dos conceitos no definidos. 1.4 Algumas das adaptaes dos Elementos de Euclides Durante sculos, a obra de Euclides serviu de modelo para o ensino da geometria. Cada autor de manual respeitava a diviso feita por Euclides, e no interior de cada livro, a disposio e a formulao das diferentes proposies. Em 1741, Clairaut fz uma tentativa de apresentar a geometria elementar de uma maneira intuitiva. Segundo Lehmann e Bkouche: Clairaut prope-se definir as condies que permitem ao principiante adquirir um conhecimento da Geometria a partir da observao e da experincia e de desenvolver, por meio de problemas bem escolhidos, os mtodos de raciocnio que lhe permitem progredir. Os problemas que servem de ponto de partida so aqueles das medidas de terreno, mais prximos das idias geomtricas. Clairaut discorda da exposio euclidiana e do papel da lgica no ensino , e prefere enfatizar o papel desempenhado pela experincia. Uma outra tentativa de adaptao dos Elementos foi feita por Lacroix que escreveu um livro fazendo um equilbrio entre o rigor e a aceitao de verdades evidentes. Legendre teve uma outra preocupao e foi na direo contrria a uma geometria intuitiva. Tratou a geometria de uma maneira mais rigorosa, mais axiomtica. Legendre pode ser considerado como um precursor da axiomtica moderna. 1.5 A estrutura do livro I de Euclides Apresentamos abaixo a Estrutura do livro I de Euclides extrada do livro Os Elementos de Euclides, volume I, traduo de Vitrac, pgina 514. Observe que h propriedades que dependem do quinto postulado de Euclides e propriedades que no o utilizam.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 42

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn. Propo Defini Postula Noes Proposio sio o Dos Comum 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 15,20 1,3 15,20 1,2,3 15 3 1,2 1 1 20 1 20 10,20 1 10,15 1,3 10 2,4 4 1,2 2 1 1,2 2 1,3 1 1 1 1,3 1 7,9 3 8 8 7 Propo Defini Postula Noes Proposio sio o dos Comum 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 4,24 3,4,16 16 13,15,27 13,15 27,29 23,27 13,29,31 4,27,29 4,26,29 4,29,34 33,34,35 31,34,35 31,34,36 31,37 31,38 34,37 10,23,31,38,41 34 15,29,30,31,42,43 14,29,30,33,34,42,44 2,3,11,29,31,34 4,14,30,31,41,46 2,3,8,11,47

1 2 3,4 3,4 5 7 1,3,8 1,4,9 1,2,3,8 8,10 11 13 13 2,3,4,10,15 13,16 3,5,16 5,18 2,5,19 16,20 2,3,20 8,22 2,4,5,19,23

23 23

1 2 4 2,5 1,2 2 1 1 1 2 2 1 1 1 1 1 1,2,5 1 4 1,4 1

1,8 1,2,3 1,2,4 1 1,2 2 1,2,3 1 6 6 1,8 1,8 1,2 1,2 2,3 1,8 1,2 1,3 1,2,5 1,2

1,2 1,2,3,8 1,2,3 8 4 8 8 4 1 1,8

15

22

O quadro acima mostra que as proposies 1 a 28 e a proposio 31 no dependem do 5o postulado de Euclides. 1.6 A geometria absoluta No sistema axiomtico de Euclides, chama-se geometria absoluta ao estudo das propriedades que utilizam todos os postulados de Euclides exceto o quinto. Legendre demonstrou que na geometria absoluta valem os seguinte resultados: A soma das medidas dos ngulos internos de um tringulo menor ou igual a 180o e a soma das medidas dos ngulos internos de um quadriltero menor ou igual a 360o Saccheri (1667-1733) foi um padre jesuta que antes de morrer publicou um livro com o ttulo Euclides liberto de qualquer imperfeio. Nele, Saccheri tenta demonstrar o quinto postulado de Euclides usando o raciocnio por absurdo. Nega o quinto postulado e tenta deduzir uma contradio. Com as propriedades da geometria absoluta prova-se que ambos os ngulos superiores do quadriltero de Saccheri so congruentes. Ele considerou trs hipteses para os ngulos superiores a) ambos retos b) ambos obtusos c) ambos agudos. Admitindo que os ngulos eram obtusos, chegava numa contradio. Mas Saccheri por mais que tentasse no conseguia chegar num absurdo quando admitia que ambos eram agudos. Conseguia deduzir vrios resultados estranhos, mas nunca uma contradio. Foi a que mesmo sem encontrar uma

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 43

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

contradip, enganou a si mesmo pronunciando uma frase clebre: a hiptese de ambos os ngulos serem agudos falsa, pois repugna a natureza da reta. Sem saber Saccheri estava dando os primeiros passos em direo s geometrias no euclidianas. 2. O aparecimento das geometrias no euclidianas Pelo fim do sculo XVIII foram feitas novas tentativas de demonstrar o quinto postulado de Euclides por meio de demonstraes indiretas. Mas, em vez de conduzir a uma contradio, este novo conjunto de axiomas formou a base de uma teoria consistente chamada hoje de geometrias no euclidianas. Lobatchevsky em 1829, negou o quinto postulado de Euclides, admitindo que por um ponto fora de uma reta passam pelo menos duas retas paralelas. Ele foi a primeiro a publicar esta teoria, por isso considerado o fundador oficial das geometrias no euclidianas, embora Gauss em 1824 numa carta enviada a Taurinus, j soubesse dessa possibilidade. Em 1832, Bolyai, independentemente, obteve os mesmos resultados. Essa geometria passou a ser chamada de geometria hiperblica. Em 1854, Riemann nega o quinto postulado de Euclides admitindo a outra negao: por um ponto fora de uma reta no se pode conduzir uma reta paralela reta dada. Essa outra geometria no euclidiana passou a ser chamada de geometria esfrica. Mas faltava ainda uma prova para dizer que nesta nova geometria no surgiriam contradies. Beltrami, Klein e Poincar demonstram a consistncia desta nova geometria pelo mtodo dos modelos. Um modelo para um dado sistema axiomtico uma interpretao dada aos conceitos primitivos de modo que os axiomas sejam todos verdadeiros. Fundadores das Geometrias No Euclidianas Gauss (1824) Lobatchevsky (1829) Bolyai (1832) Riemann (1854) O primeiro modelo que mostra a consistncia dessa nova geometria foi apresentado por Beltrami. Trata-se do modelo da pseudo-esfera para a geometria hiperblica. A dificuldade em interpretar nesse modelo levou Klein a procurar uma representao plana das retas da pseudo-esfera chamadas geodsicas. Ele obteve esse modelo considerando o interior de um crculo. As retas da pseudo-esfera tornavam-se cordas desse crculo. E dessa forma ele descobriu as primeiras regras do que se chamaria de modelo de Klein-Beltrami. Nesse modelo o plano o interior de um disco de centro O e raio r e qualquer ponto no interior do disco um ponto hiperblico. A reta uma corda qualquer sem as suas extremidades e a distncia entre dois pontos A e B dada pela frmula ln (AU/AV)/ (BU/BV) Os modelos Beltrami (1869) Klein (1871) Poincar (1881)

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 44

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

onde U e V so os pontos de interseco da corda com a circunferncia e AU,AV,BU e BV so distncias euclidianas.

Esta interpretao constitui um modelo da geometria hiperblica pois que os quatro primeiro postulados de Euclides e o postulado hiperblico (por um ponto fora de uma reta passam pelo menos duas retas paralelas reta dada) so verificados.

Como conseqncia do postulado hiperblico pode-se provar que:

A soma das medidas dos ngulos de um tringulo menor que 180 A soma das medidas de um quadriltero convexo menor que 360 Todo ngulo inscrito numa semi-circunferncia agudo.

Nesse modelo temos vrios resultados surpreendentes (em relao geometria euclidiana) tais como: as mediatrizes de um tringulo podem ser concorrentes ou paralelas.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 45

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

Um outro resultado sem equivalente na geometria euclidiana que os tringulos eqilteros (3 lados iguais) no so semelhantes entre si (tm ngulos diferentes) .

O mesmo ocorrendo com os quadrados. Os quadrados abaixo no so semelhantes.

Na geometria hiperblica dois tringulos podem ter dois pares de ngulos congruentes sem terem o terceiro par de ngulos congruentes.

O teorema dos pontos mdios no vlido pois depende do postulado das paralelas

A relao a=b+c conhecida como teorema de Pitgoras no vlida na geometria hiperblica. Sendo a,b e c respectivamente as medidas da hipotenusa e dos catetos de um tringulo retngulo temos que a>b+c.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 46

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

Um outro modelo que mostra a consistncia dessa nova geometria o modelo plano do disco de Poincar. Nesse modelo consideramos o plano como o interior de um disco de centro O e raio r. Qualquer ponto no interior do disco ser considerado como um ponto nesse modelo. A reta ser um dimetro qualquer da circunferncia de centro O e raio r sem as extremidades ou a interseco de um arco de uma circunferncia ortogonal circunferncia dada e o interior do crculo dado. O ngulo formado por duas retas hiperblicas ser o ngulo euclidiano formado pelas retas euclidianas tangentes s retas hiperblicas no ponto de encontro. A distncia entre dois pontos A e B do plano hiperblico ser dada pela frmula ln (AU/AV)/ (BU/BV) onde U e V so as interseces da circunferncia ortogonal que contm as retas hiperblicas com o disco de centro O e raio r e AU,AV,BU,BV so distncias euclidianas.

2.1

As caracterizaes das geometrias pelas transformaes

Em 1872 Klein apresentou um trabalho intitulado Consideraes comparativas sobre recentes investigaes geomtricas que ficou conhecido como Programa de Erlangen. Nesse trabalho Klein mostra um novo mtodo de investigao que consiste na fuso entre ramos da matemtica aparentemente separados. Apoiado na obra de Jordan o tratado das substituies publicada em 1870 onde a teoria dos grupos e as transformaes geomtricas so enfatizadas, Klein relaciona a geometria euclidiana, a geometria projetiva e as geometrias no euclidianas a partir das transformaes geomtricas e por meio da teoria dos grupos. Ele foi o primeiro a mostrar que a geometria projetiva no depende do quinto postulado de Euclides. Klein considera o conjunto formado pelas translaes, rotaes, reflexes em retas e suas composies. Esse conjunto forma o grupo das isometrias em relao operao composio. Acrescentando a esse ltimo conjunto as homotetias, obtm o grupo das semelhanas. Juntando a esse ltimo grupo as afinidades forma-se o grupo afim. Incorporando a esse ltimo as projetividades obtm-se o grupo projetivo. A partir desses conjuntos, Klein define as geometrias de acordo com o seu grupo de transformaes.

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 47

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

A geometria euclidiana, a geometria das semelhanas, a geometria afim e a geometria projetiva so definidas respectivamente como o estudo das propriedades das figuras que permanecem inalteradas quando os elementos dessas figuras so submetidos s transformaes, respectivamente, do grupo das isometrias, do grupo das semelhanas, do grupo afim e do grupo projetivo. Hoje, costumamos chamar de geometria euclidiana o estudo das propriedades das figuras que permanecem inalteradas quando os elementos dessas figuras so submetidos s transformaes do grupo das semelhanas (e no das isometrias como usava Klein) e chamamos de geometria mtrica o estudo das propriedades das figuras que permanecem inalteradas quando os elementos dessas figuras so submetidos s transformaes do grupo das isometrias. Nessa nova apresentao das geometrias, as transformaes geomtricas fazem o papel de elo entre duas configuraes. Elas permitem passar de uma figura a outra transportando as suas propriedades e o estudo das figuras substitudo pelo estudo das propriedades das transformaes. 2.2 Adaptaes dos Elementos de Euclides no sculo XIX Charles Mray (1835-1911) em 1874 escreve a obra "Les nouveaux lments de gomtrie" onde rompe com a tradio grega de ensinar geometria plana (livros I a VI de Euclides) antes de geometria espacial (livros XI a XIII). Nessa obra ele realiza a fuso entre as duas. Explicita um conjunto de axiomas diferentes dos de Legendre, introduz o estudo das transformaes geomtricas na sua obra e utiliza a idia de movimento nas demonstraes. Alm disso, prope um equilbrio entre uma geometria intuitiva e experimental e uma geometria dedutiva. Na mesma poca, em 1884, na Itlia, R. de Paolis escreve um livro-texto intitulado Elementi di geometria onde apregoa tambm a fuso entre a geometria plana e a geometria slida. 3. Um sistema completo de axiomas para a geometria euclidiana As inmeras tentativas fracassadas de provar o quinto postulado de Euclides, mostraram a necessidade de se ter um sistema completo de axiomas eliminando da geometria toda referncia intuio. No fim do sculo XIX vrios matemticos comearam a se preocupar com os fundamentos da matemtica e em especial com a axiomatizao da geometria. O matemtico Pasch percebeu que utilizando somente os postulados de Euclides no se podia provar que se uma reta intersecta um lado de um tringulo ento ela intersectar o outro lado do tringulo. Tal fato foi adotado como postulado nas suas demonstraes. Ele tambm observou, magistralmente, que a noo de ordem podia ser desenvolvida sem fazer referncia medida. Essa noo era praticamente desconhecida antes do sculo XIX. Em 1882, ele publica o livro Lies de geometria moderna que considerado o primeiro desenvolvimento axiomtico da geometria projetiva plana. Muitos desse axiomas foram importantes para as axiomatizaes das geometrias euclidianas e no euclidianas. O sistema de Pasch foi gradualmente aperfeioado por Peano (1889) e Pieri. Mas a formulao axiomtica da

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 48

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

geometria de Hilbert(1862,1943) foi a que mais se consolidou entre os matemticos. Hilbert apresentou o seu trabalho num curso dado por ele em 1898 e publicado em 1899 com o ttulo de Fundamentos da geometria. Ele baseou a sua exposio em trs conceitos primitivos (ponto, reta e plano), em trs relaes fundamentais (incidente, estar entre e congruente) e em cinco grupos de axiomas (axiomas da incidncia, axiomas da ordem, axiomas da congruncia, axiomas da continuidade e o axioma do paralelismo). Os axiomas estabelecem as ligaes entre os conceitos primitivos e as relaes fundamentais. A geometria euclidiana pode ser construda passo a passo partindo do primeiro grupo de axiomas at chegar no quinto grupo. A geometria da incidncia obtida a partir dos axiomas do primeiro grupo de Hilbert e das conseqncias deles decorrentes; a geometria ordenada a partir dos dois primeiros grupos de axiomas de Hilbert e de suas conseqncias; a geometria absoluta a partir dos quatro primeiros grupos de axiomas de Hilbert e de suas conseqncias; e a geometria euclidiana a partir dos cinco grupos de axiomas de Hilbert. O quinto grupo constitudo apenas pelo axioma das paralelas com o seguinte enunciado por um ponto fora de uma reta passa no mximo uma reta paralela reta dada. H uma pequena sutileza na forma de apresentao desse postulado com o quinto postulado de Euclides na forma de Playfair. Hilbert ao usar a palavra mximo permite tambm a no existncia da reta paralela por um ponto. A negao do axioma de Hilbert apresenta a seguinte forma por um ponto fora de uma reta passam pelo menos duas retas paralelas reta dada. Essa negao recebeu o nome de axioma de Bolyai-Lobatchevsky. A geometria que resulta dos 4 primeiros grupos de axiomas de Hilbert e do axioma de Boyai-Lobatchevsky recebe o nome de geometria hiperblica. A geometria que utiliza o sistema de axiomas de Hilbert frequentemente chamada de geometria sinttica. 3.1 Uma nova formulao axiomtica da geometria euclidiana O gemetra George E.Martin, no seu livro The foundations of geometry and the non-euclidean plane , editora Springer, 1975, captulo 14, pgina 155 diz: Em 1832 apareceu um texto de geometria contendo um curto apndice escrito por John Bolyai. Esse apndice tem sido descrito por G.B.Halsted* como as mais extraordinrias 24 pginas de toda a histria do pensamento... Bolyai e Lobachevsky so reconhecidos como os fundadores das geometrias no euclidianas. Ns pularemos um sculo at 1932. Esse ano viu a publicao de A set of postulates for plane geometry based on scale and protractor (O conjunto dos postulados da geometria plana baseados na rgua graduada e no transferidor) escrita por George David Birkhoff . Embora ningum tenha sugerido, esse artigo to importante quanto o apndice de Bolyai. Birkhoff (1884-1944) introduz um sistema de axiomas equivalente ao de Hilbert que incorpora o conjunto dos nmeros reais. Os axiomas de Birkhoff, ao contrrio dos de Hilbert, introduzem a idia de medida desde o incio. Os

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 49

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

segmentos e os ngulos so medidos com os nmeros reais. Faremos uma breve descrio da evoluo das idias de Birkhoff apoiados no artigo O ensino da geometria e a soluo de Birkhoff de COSTA, H.C.A Em 1925 Birkhoff escreve um livro de divulgao cientfica intitulado The origin, Nature and influence of Relativity, tentando explicar fatos geomtricos bsicos de forma acessvel. Desenvolve as primeiras idias da geometria euclidiana a partir de propriedades sugeridas pela rgua graduada e pelo transferidor. Em 1930 Birkhoff escreve um artigo em parceria com o professor Ralph Beatley onde apresenta 5 princpios intuitivos sobre medidas de segmentos e de ngulos e utiliza o sistema numrico dos reais para o seu desenvolvimento. Em 1932 Birkhoff reapresenta as suas idias numa axiomtica formada por 4 postulados. Mas essa formulao inadequada ao ensino elementar pois o quarto postulado admitido o caso LAL de semelhana de tringulos que substitui o postulado de paralelismo de Euclides. Em 1940 Birkhoff novamente com o professor Beatley publica o livro Basic Geometry para o ensino secundrio. O livro apresenta cinco postulados e deduz um conjunto de teoremas. Os postulados so os quatro postulados da verso de 1932 acrescido de um outro que diz: todos os ngulos rasos so iguais entre si e medem 180o . A seguir so apresentados sete teoremas chamados por ele de teoremas bsicos. So eles em ordem: O caso AA de semelhana; se um tringulo issceles ento os ngulos da base so congruentes e reciprocamente; o caso LLL de semelhana; a soma das medidas dos ngulos de um tringulo igual a 180 ; todo ponto e nenhum outro da mediatriz eqidista das extremidades de um segmento; por um ponto fora de uma reta passa uma nica reta perpendicular reta dada; o teorema de Pitgoras. E finalmente apresenta a teoria do paralelismo demonstrando o postulado das paralelas. Entendemos ser muito difcil para um professor acostumado a iniciar o seu curso de geometria, com a teoria do paralelismo e terminar com a teoria da semelhana, inverter a sua seqncia didtica para se submeter ao novo formato apresentado por Birkhoff. Provavelmente seja esse o motivo pela sua no aceitao pelos professores do secundrio. Em 1959 MacLane aponta as vantagens do mtodo de Birkhoff e apresenta uma variante mais satisfatria e compreensvel. Mas continua sendo pouco indicada sala de aula. Somente quando a organizao educacional norte americana SMSG (School Mathematics Study Group) apresenta em 1960 uma outra variante da axiomtica de Birkhoff, com uma formulao dedutiva tambm para a geometria espacial que o tratamento mtrico comea a ter aceitao nos Estados Unidos, pas onde se desenrola toda a histria desta axiomtica. Entre os gemetras que adaptaram com sucesso o sistema de Birkhoff para o ensino citamos E.E Moise (1962). No Brasil essa axiomtica utilizada como referncia na maioria dos livros didticos. A geometria que utiliza esse sistema de axiomas recebeu o nome de geometria mtrica. 3.2 A axiomtica de Bachmann Em 1959, Bachmann fornece um novo ponto de vista para a apresentao dos fundamentos da geometria. uma abordagem totalmente algbrica que

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 50

De Euclides s geometrias no euclidianas

Vincenzo Bongiovanni; Ana Paula Jahn.

identifica simetrias ortogonais a retas e simetrias centrais a pontos e que permite incluir todos os outros tipos de geometrias. Essa axiomtica atualmente considerada como o estado da arte do programa dErlangen de Flix Klein. 3.3 Uma formulao axiomtica da geometria euclidiana via lgebra linear Em 1964 Jean Dieudonn publica o livro Algbre linaire et gomtrie lmentaire com uma nova apresentao da geometria euclidiana. Define o plano (ou o espao) como um espao vetorial sobre R, de duas (ou trs) dimenses munido de um produto escalar. Portanto, substitui os postulados da geometria euclidiana pelos axiomas do espao vetorial. Bibliografia Boyer C.B. (1996):Histria da Matemtica. So Paulo: Editora Edgard Blcher,. Castrucci B. (1976): Lies de geometria plana, livraria Nobel S.A Costa H.C.A (1985): O ensino da geometria e a soluo de Birkhoff, Monografias da Sociedade Paranaense de Matemtica Euclides(1994) : Les lments, volume 1,2,3,4, PUF,1994 Traduo Bernard Vitrac Greenberg M (1994): Euclidean and non Euclidean Geometries: development and history. New York: Freeman and Company. Hilbert D. (1971): Les fondements de la gomtrie, ditions Jacques Gabay Klein F. (1974): Le programme dErlangen, Gauthier-Villars diteur .Laborde, J.M (1997): Exploring non-Euclidean geometry in a Dynamic Geometry Environment like cabri-gomtre Moise, E.E. (1976). Geometria elemental desde um punto de vista avanzado,C.E.C.S.A Proclus de Lycie(1948): les Commentaires sur le premier livre des lments dEuclides, IREM de Lille.
Vincenzo Bongiovanni, possui graduao em Licenciatura em Matemtica pela Universidade de So Paulo (1973), mestrado em Matemtica pela Pontifcia Universidade Catlica de So Paulo; (1987) e doutorado em Didtica da matemtica - Universit Joseph Fourier (2001). Atualmente professor do Programa de Ps-Graduao da Universidade Bandeirante de So Paulo. Vincenzo.bongiovanni@uol.com.br

Ana Paula Jahn, possui Bacharelado e Licenciatura em Matemtica pela Pontifcia Universidade Catlica de So Paulo (1989), Mestrado em Educao Matemtica pela Pontifcia Universidade Catlica de So Paulo (1994) e Doutorado em Didtica da Matemtica pela Universidade Joseph Fourier Grenoble I, Frana (1998). Atualmente professora-pesquisadora do Programa de Ps-graduao em Educao Matemtica da Universidade Bandeirante de So Paulo (UNIBAN). anapjahn@gmail.com

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2010 - NMERO 22 - PGINA 51