Do mito da Geometria Euclidiana ao ensino das Geometrias No Euclidianas From the myth of Euclidean Geometry to the teaching of Non-Euclidean Geometry Mylane dos Santos Barreto * Salvador Tavares ** Das tentativas frustradas de provar que o quinto postulado de Euclides era um teorema, surgiram as Geometrias No Euclidianas. Com os quatro primeiros postulados de Euclides e a negao do quinto, surgiram outras Geometrias cujos postulados so possveis em modelos planos que so to consistentes quanto o da Geometria Euclidiana. Neste artigo so apresentados os modelos, postulados e conceitos da Geometria Elptica e Geometria Hiperblica. Alm disso, discutido o ensino dessas Geometrias. Palavras-chave: Geometria Euclidiana. Quinto postulado de Euclides. Ensino e aprendizagem de Geometrias No Euclidianas. Non-Euclidean Geometry originated from unsuccessful attempts to prove that Euclids fth postulate was a theorem. From the rst four Euclidean postulates and the negation of the fth derived other geometries whose postulates are possible in planes models, and as consistent as that in Euclidean Geometry. Tis article presents the Elliptical and Hyperbolic Geometry models with their postulates and concepts. A discussion of the teaching and learning of these geometries is also presented. Key words: Euclidean Geometry. Euclids fth postulate. Teaching and Learning. Non- Euclidean Geometry. * Professora (CEFET Campos, UNED Guarus). Mestranda em Engenharia de Produo (UENF). Ps-graduanda em Educao Matemtica (UNIFLU/FAFIC). Licenciada em Matemtica (CEFET Campos). ** Professor (CEFET Campos, UCAM Campos, UNIFLU/FAFIC, LICEU de Humanidades de Campos). Mestre em Educao Matemtica (USU/RJ). Ensino de Geometrias Um dos tpicos de discusso da atualidade a reformulao do ensino no Brasil. As Geometrias No Euclidianas formam um ramo da matemtica importante do ponto de vista histrico e educacional. Se os menos otimistas acreditam que no possvel a incluso do ensino das Geometrias No Euclidianas na Educao Bsica pelo menos ela deveria ser apresentada a todos os professores em formao. Porm isso no ocorre na realidade. Usiskin (1994, p. 25) j alertava que [...] muitos professores novos nunca estudaram Geometria tridimensional, talvez nunca tenham tomado conhecimento de uma Geometria No Euclidiana nem lidado com transformaes ou vetores. Uma pesquisa foi elaborada no ano de 2005 como parte integrante da monograa de concluso do Curso de Licenciatura em Matemtica do CEFET Campos escrita * e orientada ** pelos autores desse artigo. VRTICES, v. 9, n. 1/3, jan./dez. 2007 74 A pesquisa foi realizada em sites de diversas Instituies de Ensino Superior brasileiras, a m de vericar o estado da arte do ensino das Geometrias No Euclidianas nos Cursos de Licenciatura em Matemtica. De 43 Instituies pesquisadas, somente 5 abordavam conceitos de Geometrias No Euclidianas nas suas matrizes curriculares, aproximadamente 12% (Figura 1). Figura 1: Grfico Os dados sugerem a omisso de disciplinas que abordem tpicos de Geometrias No Euclidianas em cursos de Licenciatura em Matemtica. Como surgiram as Geometrias No Euclidianas As Geometrias No Euclidianas surgiram das tentativas frustradas de provar que o quinto postulado de Euclides era um teorema demonstrado a partir dos quatro postulados anteriores, e no um postulado. Euclides viveu provavelmente de 330- 260 a.C., nasceu na Sria, estudou na escola platnica de Atenas e ensinou matemtica no Museu de Alexandria. Foi um dos primeiros gemetras e reconhecido como um dos matemticos mais importantes de todos os tempos. Figura 2: Euclides Fonte: http://mathworld.wofram.com. CEFET. Campos dos Goytacazes - RJ 75 AXIOMAS A1 - Coisas que so iguais mesma coisa tambm so iguais entre si. A2 - Se iguais so somados a iguais, ento os todos so iguais. A3 - Se iguais so subtrados a iguais, ento os restos so iguais. A4 - Coisas que coincidem entre si so iguais entre si. A5 - O todo maior do que a parte. POSTULADOS P1 - Se pode traar uma linha reta de um ponto a outro ponto qualquer. P2 - Se pode prolongar uma linha reta indenidamente a partir de uma reta nita. P3 - Se pode traar um crculo com centro e raio dados. P4 - Todos os ngulos retos so iguais. P5 - Se uma linha reta encontra duas outras retas e com elas formam de um mesmo lado ngulos internos em que a soma menor do que dois ngulos retos, ento essas duas retas encontrar- se-o no lado que formam ngulos cuja soma menor que dois ngulos retos. A obra de Euclides, denominada Elementos, um conjunto de 13 livros escritos entre os anos de 330 e 320 a.C. sendo considerada padro para a matemtica durante mais de 2000 anos e s superada em nmero de publicaes pela Bblia. Poucos dos teoremas demonstrados l so obra sua, se que existe algum. O verdadeiro mrito de Euclides est na proposta de ordenao da Geometria de seu tempo em um sistema dedutivo. Para estabelecer uma armao num sistema dedutivo deve-se mostrar que essa armao uma conseqncia lgica necessria de algumas armaes previamente estabelecidas. Assim as primeiras armaes so aceitas sem demonstrao e chamadas, nos dias atuais, de postulados ou axiomas. Desses axiomas decorrem as demais armaes. Euclides chamou de axiomas as armaes aceitas em todas as cincias e postulados as armaes de natureza geomtrica. As dez armaes classicadas como postulados e axiomas so os pilares para a obra de Euclides, pois as 465 proposies apresentadas nos Elementos so baseadas nestas armaes. VRTICES, v. 9, n. 1/3, jan./dez. 2007 76 Em 1829, numa espcie de jornal chamado Mensageiro de Kazan, Nicolai Ivanovich Lobatschewsky publicou um artigo chamado Sobre os Princpios de Geometria. Esse ano cou marcado como o surgimento das Geometrias No Euclidianas. Aproximadamente em 1829, Janos Bolyai chegou a mesma concluso que Lobatschewsky chegara. Em 1851 na sua aula inaugural para admisso como professor-adjunto na Universidade de Gttingen, Georg Riemann apontou possibilidades para outras Geometrias. O matemtico alemo Flix Klein chamou a Geometria de Lobatschewsky de Geometria Hiperblica e a Geometria de Riemann de Geometria Elptica. Essas so as duas principais Geometrias No Euclidianas. Da Lobatschewsky, Bolyai e Riemann demonstraram que o quinto postulado de Euclides se trata de um axioma independente dos outros quatro, supuseram que o postulado de Euclides no era verdadeiro e substituram-no por outros axiomas. Foi demonstrado que se alguma das Geometrias No Euclidianas apresentar uma contradio, a prpria Geometria Euclidiana seria contraditria. Essas novas Geometrias permitiram s cincias uma srie de avanos, entre os quais a elaborao da Teoria da Relatividade de Einstein, provando que ao contrrio do que muitos armavam essas teorias tinham aplicaes tericas. Planos e retas das Geometrias No Euclidianas Na Geometria Elptica o modelo plano uma superfcie esfrica e as retas so geodsicas dessa superfcie (Figura 4). O quinto postulado, chamado de postulado das paralelas, foi o ponto culminante do surgimento das Geometrias No Euclidianas. Por esse postulado no ser to evidente como os quatro anteriores e por se referir a um ponto de interseco que pode estar a quilmetros de distncia (Figura 3), alguns armavam que ele podia ser demonstrado, portanto no seria um postulado e sim um teorema. Figura 3: Quinto postulado de Euclides CEFET. Campos dos Goytacazes - RJ 77 Figura 4: Plano e retas elpticos Na Geometria Hiperblica o modelo plano uma superfcie chamada de pseudo- esfera (Figura 5). Essa superfcie gerada atravs da revoluo de uma curva chamada tratriz (Figura 6) em torno do seu eixo horizontal. As retas da Geometria Hiperblica so geodsicas da pseudo-esfera. Figura 5: Pseudo-esfera Figura 6: Tratriz Quinto postulado das Geometrias No Euclidianas As Geometrias Elptica e Hiperblica admitem os quatro primeiros postulados de Euclides e substituem o quinto postulado por outras armaes que so vlidas nos seus modelos planos. Quinto postulado da Geometria Elptica: Por um ponto exterior a uma reta no podemos traar nenhuma paralela a essa reta (Figura 7). Todas as retas traadas iro intersectar-se em dois pontos distintos, logo no existem retas paralelas. Comparando a superfcie esfrica com a superfcie terrestre, as retas seriam os meridianos que intersectam-se nos plos. Figura 7: Retas no paralelas As geodsicas da superfcie esfrica so circunferncias cujo centro coincide com o centro da superfcie. VRTICES, v. 9, n. 1/3, jan./dez. 2007 78 Concluso indiscutvel a necessidade de se ensinar Geometrias No Euclidianas, principalmente nos cursos de Licenciatura em Matemtica. Seria possvel um professor de Matemtica no saber que existem outras Geometrias alm da elaborada por Euclides? Uma sugesto de atividade que pode ser desenvolvida na 7 srie do Ensino Fundamental relatada a seguir. Considerando que a noo de plano da Geometria Euclidiana construda sobre a superfcie da Terra, que tem a forma de uma esfera achatada nos plos, ao construirmos duas retas paralelas sobre a superfcie de uma laranja, que tem a forma idntica da Terra, teremos a seguinte situao: Figura 9: Retas Euclidianas paralelas na superfcie da Terra . . Quinto postulado da Geometria Hiperblica: Por um ponto exterior a uma reta podemos traar uma innidade de paralelas a essa reta (Figura 8). Sobre a reta r traamos um segmento MP e FT perpendicular a r, sendo M e F pontos da reta r. Com a distncia MF e centro em P traamos um arco que intersectar o segmento FT nos pontos S1 e S2. Da os pontos P e S1 determinam a reta a e os pontos P e S2 determinam a reta b. Figura 8: Retas Paralelas CEFET. Campos dos Goytacazes - RJ 79 Como mostra a seqncia de guras, as retas que so consideradas paralelas na Geometria Euclidiana quando construdas numa superfcie esfrica se encontram em dois pontos distintos e a distncia entre elas no constante em qualquer ponto. Da a Geometria Euclidiana ser inconsistente para esse modelo de superfcie. No podemos considerar uma Geometria, todas so consistentes e vlidas nos seus modelos planos. Devemos conhec-las para poder utilizar no momento adequado. Referncias AABOE, Asger. Episdios da histria antiga da matemtica. 2. ed. Rio de Janeiro: Sociedade Brasileira de Matemtica, 2002. BARRETO, Mylane dos Santos. Do mito da Geometria Euclidiana ao ensino das Geometrias No Euclidianas. Campos dos Goytacazes RJ, 2005. Trabalho de Concluso do Curso de Licenciatura em Matemtica do CEFET Campos. BICUDO, Irineu. O primeiro livro dos Elementos de Euclides. Natal, RGN: SBHMat., 2001. Srie Textos de Histria da Matemtica. BLUMENTHAL, Leonerd M. Geomatria Axiomatica. Madrid: Aguilar, 1965. BONOLA, Roberto. Non-Euclidian Geometry. New York: Dover Publication, 1970. BOYER, Carl Benjamin. Histria da Matemtica. Traduo de Elza F. Gomide. So Paulo: Universidade de So Paulo, 1974. COUTINHO, Lzaro. Convite s Geometrias No Euclidianas. Rio de Janeiro: Intercincia, 2001. EVES, Haward. Introduo histria da Matemtica. Campinas, SP: UNICAMP, 1995. GUELLI, Oscar. Matemtica. So Paulo: tica, 2003. Srie Brasil. HILBERT, David et al. Geometry and the imagination. New York: American Mathematical Society, 1999. SCHUBRING, Gert. Anlise histrica de livros de matemtica: notas de aula. Campinas, SP: Autores Associados, 2003. USISKIN, Zalman. Resolvendo os dilemas permanentes da Geometria escolar. In: LINQUIST, Mary Montgomery; SHULTE, Albert P. (Orgs.). Aprendendo e ensinando Geometria. Traduo de Higino H. Domingues. So Paulo: Atual, 1994. Site FACOS. Disponvel em: <www.facos.edu.br>. Acesso em: 23 jun. 2005. Site SLE. Disponvel em: <www.sle.br>. Acesso em: 23 jun. 2005. Site FSA. Disponvel em: <www.fsa.br> Acesso em: 23 jun. 2005. VRTICES, v. 9, n. 1/3, jan./dez. 2007 80 Site FAMEG. Disponvel em: <www.fameg.edu.br>. Acesso em: 23 jun. 2005. Site UFOP. Disponvel em: <www.iceb.ufop.br>. Acesso em: 23 jun. 2005. Site PUC-RIO. Disponvel em: <www.puc-rio.br>. Acesso em: 23 jun. 2005. Site UBM. Disponvel em: <www.ubm.br>. Acesso em: 23 jun. 2005. Site UEM. Disponvel em: <www.uem.br>. Acesso em: 23 jun. 2005. Site UFAC. Disponvel em: <www.ufac.br>. Acesso em: 23 jun. 2005. Site UFMA. Disponvel em: <www.ufma.br>. Acesso em: 23 jun. 2005. Site UFRN. Disponvel em: <www.ufrn.br>. Acesso em: 23 jun. 2005. Site UFSM. Disponvel em: <www.ufsm.br>. Acesso em: 23 jun. 2005. Site UFRR. Disponvel em: <www.ufrr.br>. Acesso em: 23 jun. 2005. Site CEUL. Disponvel em: <www.ceul.ufms.br>. Acesso em: 23 jun. 2005. Site UNAMA. Disponvel em: <www.unama.br>. Acesso em: 23 jun. 2005. Site UNIANDRADE. Disponvel em: <www.uniandrade.br>. Acesso em: 23 jun. 2005. Site UNIBRASIL. Disponvel em: <www.unibrasil.com.br>. Acesso em: 23 jun. 2005. Site UNIOESTE. Disponvel em: <www.unioeste.br>. Acesso em: 23 jun. 2005. Site DMAT. Disponvel em: <www.dmat.ufpe.br>. Acesso em: 23 jun. 2005. Site UNIVALE. Disponvel em: <www.univale.br>. Acesso em: 23 jun. 2005. Site USP. Disponvel em: <www2.usp.br>. Acesso em: 23 jun. 2005. Site UNIUBE. Disponvel em: <www.uniube.br>. Acesso em: 23 jun. 2005. Site USC. Disponvel em: <www.usc.br>. Acesso em: 23 jun. 2005. Site UFJF. Disponvel em: <www.uff.br>. Acesso em: 23 jun. 2005. Site UFPA. Disponvel em: <www.ufpa.br>. Acesso em: 23 jun. 2005. Site UFRGS. Disponvel em: <www.mat.ufrgs.br>. Acesso em: 23 jun. 2005. Site UFF. Disponvel em: <www.u.br>. Acesso em: 23 jun. 2005. Site UFU. Disponvel em: <www.ufu.br>. Acesso em: 23 jun. 2005. Site CEFET PR. Disponvel em: <www.pb.cefetpr.br>. Acesso em: 23 jun. 2005. Site UECE. Disponvel em: <www.uece.br>. Acesso em: 23 jun. 2005. Site UEG. Disponvel em: <www.ueg.br>. Acesso em: 23 jun. 2005. Site UFV. Disponvel em: <www.ufv.br>. Acesso em: 23 jun. 2005. CEFET. Campos dos Goytacazes - RJ 81 Site UFS. Disponvel em: <www.ufs.br>. Acesso em: 23 jun. 2005. Site UFSJ. Disponvel em: <www.ufsj.edu.br>. Acesso em: 23 jun. 2005. Site UFSC. Disponvel em: <www.ufsc.br>. Acesso em: 23 jun. 2005. Site UCS. Disponvel em: <www.ucs.br>. Acesso em: 23 jun. 2005. Site UFMT. Disponvel em: <www.ufmt.br>. Acesso em: 23 jun. 2005. Site UNICAMP. Disponvel em: <www.unicamp.br>. Acesso em: 23 jun. 2005. Site FACOS. Disponvel em: <www.uenf.br>. Acesso em: 23 jun. 2005. Site FFC. Disponvel em: <www.c.br>. Acesso em: 23 jun. 2005. Site UFG. Disponvel em: <www.ufg.br>. Acesso em: 23 jun. 2005. Site UNIGRAN. Disponvel em: <www.unigran.br>. Acesso em: 23 jun. 2005. Site CEFET Campos. Disponvel em: <www.cefetcampos.br>. Acesso em: 23 jun. 2005. VRTICES, v. 9, n. 1/3, jan./dez. 2007 82