Você está na página 1de 131

IDELMAR ANDR ZANELLA

GEOMETRIA ESFRICA: UMA PROPOSTA DE ATIVIDADES COM APLICAES

Londrina PR 2013

IDELMAR ANDR ZANELLA

GEOMETRIA ESFRICA: UMA PROPOSTA DE ATIVIDADES COM APLICAES

Dissertao de Mestrado apresentada ao Mestrado Profissional em Matemtica em Rede Nacional da Universidade Estadual de Londrina como requisito parcial obteno do ttulo de mestre em Matemtica. Orientadora: Prof. Dr. Ana Lcia da Silva

Londrina-PR 2013

Catalogao elaborada pela Diviso de Processos Tcnicos da Biblioteca Central da Universidade Estadual de Londrina Dados Internacionais de Catalogao-na-Publicao (CIP)
Z28g Zanella, Idelmar Andr. Geometria esfrica : uma proposta de atividades com aplicaes / Idelmar Andr Zanella. Londrina, 2013. 129 f. : il. Orientador: Ana Lcia da Silva. Dissertao (Mestrado Profissional em Matemtica) Universidade Estadual de Londrina, Centro de Cincias Exatas, Programa de Ps -Graduao em Matemtica, 2013. Inclui bibliografia. 1. Geometria Estudo e ensino Teses. 2. Matemtica Estudo e ensino Teses. 3. Geometria no euclidiana Teses. 4. Geometria hiperblica Teses. 5. Coordenadas geogrficas Teses. I. Silva, Ana Lcia da. II. Universidade Estadual de Londrina. Centro de Cincias Exatas. Programa de Ps-Graduao em Matemtica. III. Sociedade Brasileira de Matemtica. IV. Ttulo. CDU 51:37.02 CDU 514.1

IDELMAR ANDR ZANELLA

GEOMETRIA ESFRICA: UMA PROPOSTA DE ATIVIDADES COM APLICAES

Dissertao de Mestrado apresentada ao Mestrado Profissional em Matemtica em Rede Nacional da Universidade Estadual de Londrina como requisito parcial obteno do ttulo de mestre em Matemtica.

BANCA EXAMINADORA

Londrina, 12 de maro de 2013.

minha

esposa

Marl

pela

sua

compreenso e incentivo.

AGRADECIMENTOS

Agradeo a Deus por me oportunizar a vida. Agradeo aos meus pais, Maria Celestina Zanella e Fiorelo Jos Zanella, pelo carinho e educao que recebi. Agradeo aos meus irmos pelo apoio nesta etapa de estudos. Agradeo Professora Doutora Ana Lcia da Silva que me orientou e auxiliou no desenvolvimento deste trabalho. Agradeo s professoras Lilian Akemi Kato e Sandra Malta Barbosa com suas valiosas contribuies na banca examinadora. Agradeo ao Mestrado Profissional em Matemtica em Rede Nacional PROFMAT, Universidade Estadual de Londrina UEL e aos professores pela formao acadmica. Agradeo Coordenao de Aperfeioamento de Pessoal de Nvel Superior CAPES, pelo auxlio financeiro. Agradeo aos colegas e amigos que fiz na turma PROFMAT 2011 pela troca de experincias e aprendizado.

Nenhuma Geometria mais correta do que qualquer outra apenas mais conveniente. Henri Poincar

ZANELLA, Idelmar Andr. Geometria Esfrica: Uma Proposta de Atividades com Aplicaes. 2013. p. 129. Dissertao (Mestrado Profissional em Matemtica em Rede Nacional) Universidade Estadual de Londrina, Londrina, 2013. RESUMO Este trabalho tem por objetivo propor diversas atividades acerca da Geometria Esfrica buscando instigar professores de Matemtica e alunos da Educao Bsica, em particular do Ensino Mdio, a trabalharem em sala de aula com esta Geometria, visando a melhoria dos processos de ensino e aprendizagem da Matemtica. A priori, para atender o objetivo, realizou-se uma pesquisa bibliogrfica, de cunho histrico, com o intuito de compreender como o quinto postulado de Euclides alavancou o desenvolvimento das geometrias noeuclidianas no sculo XIX pelos estudos de Gauss, Bolyai, Lobacheswsky e Riemann. Neste sentido, uma cronologia apresentada com os principais resultados matemticos e sujeitos que contriburam diretamente ou indiretamente para tal descoberta. Os elementos da Geometria Esfrica tambm so apresentados por meio de definies e teoremas com o intuito de compar-la com a Geometria Euclidiana. Outra questo trabalhada a relao entre coordenadas cartesianas e geogrficas. E, finalmente, abordam-se algumas aplicaes da Geometria Esfrica no contexto da navegao sobre a superfcie da Terra, mostrando como se calcula a distncia entre dois pontos distintos na superfcie esfrica, em particular a terrestre e, como o Sistema de Posicionamento Global GPS localiza um ponto na superfcie da Terra. Destaca-se tambm, que ao longo do trabalho h vrios exemplos resolvidos, seguidos por atividades propostas.

Palavras-Chave: Geometrias no-euclidianas. Geometria Esfrica. Aplicaes da Geometria Esfrica.

ZANELLA, Idelmar Andr. Spherical Geometry: A Proposed Activities with Applications. 2013. p. 129. Dissertation (Professional Masters in Mathematics in National Network) - State University of Londrina, Londrina, 2013. ABSTRACT This term paper has as its aim to propose activities regarding Spherical Geometry, trying to motivate Math teachers and students from basic education, especially the ones from high school, to work in the classroom with this kind of geometry for the improvement of Math teaching and learning processes. From cause to effect, in order to reach these aims, a bibliographical research was performed under a historical approach intending to understand how Euclid`s fifth postulate helped the development of non-Euclidean geometries in the 19th century through Gauss, Bolyai, Lobacheswky and Rienanns studies. In this sense, a chronology is presented with the main mathematical results and people who contributed directly or indirectly for such discovery. The elements of the Spherical Geometry were also presented by means of definitions and theorems with the intention of comparing it with the Euclidean Geometry. Another question reflected upon was the relation between the Cartesian and geographical coordinates. And, finally, some applications for the Spherical Geometry in the context of navigation over the Earth surface are approached, showing how distance between two distinct points is calculated on a spherical surface, particularly on Earth and how can the Global Positioning System - GPS locate a point on Earth surface. Another highlight is that along the paper there are many solved examples followed by proposed activities. Keywords: non-Euclidean Geometries; Spherical Geometry; Applications of the Spherical Geometry.

LISTA DE ILUSTRAES Figura 01: Euclides de Alexandria .......................................................................................... 18 Figura 02: Ptolomeu I.............................................................................................................. 19 Figura 03: Representao geomtrica para o quinto postulado............................................... 21 Figura 04: Playfair ................................................................................................................... 22 Figura 05: Representao geomtrica para provar o axioma de Playfair ................................ 23 Figura 06: Existncia da paralela ............................................................................................ 24 Figura 07: As retas e se intersectam .................................................................................. 24 Figura 08: Provando o quinto postulado a partir dos quatro primeiros mais o axioma de Playfair ..................................................................................................................................... 25 Figura 09: Representao geomtrica do axioma de Playfair ................................................. 25 Figura 10: Argumento de Ptolomeu I...................................................................................... 27 Figura 11: Proclus ................................................................................................................... 27 Figura 12: Raciocnio de Proclus ............................................................................................ 28 Figura 13: Nasr ed-dn ........................................................................................................... 29 Figura 14: Quadriltero de Nasr ed-dn ................................................................................ 29 Figura 15: John Wallis ........................................................................................................... 30 Figura 16: Quadriltero de Saccheri ...................................................................................... 31 Figura 17: Comportamento das retas paralelas quando se nega o quinto postulado ............... 31 Figura 18: Lambert .................................................................................................................. 32 Figura 19: Quadriltero de Lambert ........................................................................................ 33 Figura 20: Legendre ................................................................................................................ 33 Figura 21: O fato de por todo ponto no interior do ngulo passar uma reta que intersecta as retas e equivalente ao quinto postulado....................................................... 34 Figura 22: Gauss ..................................................................................................................... 35 Figura 23: Janos Bolyai ........................................................................................................... 37 Figura 24: Representao geomtrica para ........................................................................ 37 Figura 25: Representao geomtrica para ........................................................................ 37 Figura 26: Lobachewsky ......................................................................................................... 39 Figura 27: Riemann ................................................................................................................. 40 Figura 28: Esfera de centro e raio .................................................................................... 43 Figura 29: Superfcie esfrica de centro e raio ................................................................. 43 Figura 30: Cordas , e .............................................................................................. 44 Figura 31: Dimetros e , cuja medida vale ............................................................. 45 Figura 32: Interseo da superfcie esfrica com um plano passando pelo seu centro . 46 Figura 33: Elementos notveis da superfcie esfrica ............................................................. 47 Figura 34: O plano divide a superfcie esfrica em duas regies chamadas de calota esfrica ...................................................................................................................................... 47 Figura 35: Zona esfrica: parte amarela .................................................................................. 48 Figura 36: ngulo formado por dois arcos de circunferncias mximas ................................ 48 Figura 37: Fuso esfrico ou bingulo esfrico cujo ngulo mede ....................................... 49 Figura 38: Fuso esfrico completo, isto , duplo. o fuso antpoda de .......................... 49 Figura 39: Distncia entre a Terra e o astronauta.................................................................... 51 Figura 40: Tringulo esfrico e seu antpoda ..................................................... 55 Figura 41: A regio hachurada (parte colorida) a parte de um fuso completo a qual pertence a um hemisfrio arbitrrio. A rea da regio igual a ...................... 55 Figura 42: Tringulos esfricos e , com os trs vrtices coincidindo ................................ 56

Figura 43: Tringulos esfricos e coincidindo um ngulo de com outro ngulo igual de ............................................................................................................................................... 57 Figura 44: O Ponto est no interior do tringulo esfrico ........................................... 58 Figura 45: O Ponto est no exterior do tringulo esfrico .......................................... 58 Figura 46: Hemisfrio , tringulo esfrico e a regio ..................................................... 59 Figura 47: Tringulo esfrico cobrindo quase todo o hemisfrio .............................. 61 Figura 48: Tringulo trirretngulo .......................................................................................... 61 Figura 49: e menor arco de circunferncia mxima ................................................ 66 Figura 50: Sistema ....................................................................................................... 74 Figura 51: Superfcie esfrica com centro na origem do sistema ................................ 75 Figura 52: Globo terrestre cujo centro a origem do sistema ..................................... 79 Figura 53: Linhas de latitude e longitude ................................................................................ 80 Figura 54: Menor distncia entre Porto Prncipe e Manila .................................................... 87 Figura 55: Montecarmelo (A) e Butler Manor Woods (B) ..................................................... 88 Figura 56: Distncia entre Butler Manor Woods e Montecarmelo ........................................ 88 Figura 57: Relao entre o arco de paralelo e o arco do Equador ............................. 89 Figura 58: Demonstrao da frmula fundamental parte espacial ...................................... 93 Figura 59: Demonstrao da frmula fundamental parte planificada ................................. 94 Figura 60: Distncia entre Kingston e Bristol ........................................................................ 96 Figura 61: Tringulo esfrico com um vrtice no polo norte ................................................. 97 Figura 62: Rio de Janeiro Madrid e Curitiba Washington ............................................... 99 Figura 63: Ortodromia e Loxodromia .................................................................................. 101 Figura 64: A curva loxodrmica corta os meridianos com ngulo constante ...................... 102 Figura 65: Disparo de um mssil .......................................................................................... 102 Figura 66: Distribuio orbital dos satlites ......................................................................... 103 Figura 67: Receptores GPS recebendo sinais de 4 satlites ................................................. 105 Figura 68: Interseco de 4 superfcies esfricas ................................................................. 106 Figura 69: Paraleleppedo: os pontos , , e so no coplanares ................................. 108 Figura 70: Posio da aeronave (balo vermelho) ............................................................... 117 Figura 71: Distncia entre os pontos e ......................................................................... 127 Figura 72: Demonstrao da Lei dos senos para tringulos esfricos .................................. 128 Figura 73: Quatro tringulos planos retngulos ................................................................... 129

LISTA DE QUADROS Quadro 2.1.1: Exemplos de diferentes superfcies ................................................................. 44 Quadro 2.1.2: Geometria Euclidiana x Geometria Esfrica.................................................... 67 Quadro 2.1.2.1: Polgono de menor nmero de lados na Geometria Euclidiana e Esfrica ... 68 Quadro 2.1.2.2: Uma reta e uma circunferncia mxima sendo separadas por dois pontos distintos..................................................................................................................................... 68 Quadro 2.1.2.3: Medindo ngulos de tringulos planos e esfricos ....................................... 68 Quadro 2.1.2.4: Posio relativa de duas retas no plano e duas circunferncias mximas na superfcie esfrica .................................................................................................................... 69 Quadro 2.1.2.5: Nmero de regies do plano e da superfcie esfrica .................................. 69 Quadro 2.1.2.6: ngulos retos em tringulos planos e esfricos ........................................... 70 Quadro 2.1.2.7: Conceito de distncia na Geometria Euclidiana e Esfrica ......................... 70 Quadro 2.1.2.8: Quantidade de pontos da interseco. ........................................................... 71 Quadro 2.1.2.9: Nmero de ngulos retos ............................................................................. 71 Quadro 2.1.2.10: Uma nica reta passando por dois pontos distintos e infinitas circunferncias mximas passando por dois pontos antpodas ................................................ 72 Quadro 2.1.2.11: Nmero de retas e circunferncias mximas paralelas .............................. 72

LISTA DE ABREVIATURAS, SIGLAS E SMBOLOS PROFMAT: Mestrado Profissional em Matemtica em Rede Nacional DCE: Diretrizes Curriculares da Educao Bsica do Estado do Paran GPS: Sistema de Posicionamento Global : Unio : Interseo : Pertence : Menor do que : Menor do que ou igual a : Maior do que : Segmento de reta com extremidades nos pontos : Comprimento do segmento : Semirreta com origem no ponto : Reta que passa pelos pontos : Congruncia : Perpendicular : Conjunto dos Nmeros Reais : Conjunto Vazio : Hipteses e e : Distncia entre os pontos e e e que passa pelo ponto e

: Figura (regio) do plano formada pelos ngulos de medidas

, : Planos mega e Pi respectivamente : Lado ngulo Lado (um dos casos de congruncia de tringulos) : ngulo ngulo (um dos casos de semelhana de tringulos) : Uma circunferncia que no mxima e passa pelos pontos esfrica : Latitude em graus : Longitude em graus : medida do arco de circunferncia com extremidades nos pontos : Medida do segmento , : Variao de Latitude e Longitude respectivamente e , e da superfcie

SUMRIO INTRODUO ...................................................................................................................... 13 CAPTULO I A descoberta das Geometrias No-Euclidianas ...................................... 17 1.1 1.2 1.3 1.4 1.5 1.6 O quinto postulado de Euclides o postulado das paralelas ........................................ 17 Algumas tentativas frustradas de demonstrar o postulado das paralelas ...................... 26 Gauss............................................................................................................................. 34 Janos Bolyai .................................................................................................................. 36 Lobachewsky ................................................................................................................ 38 Riemann ....................................................................................................................... 40

CAPTULO II Geometria Esfrica: Uma Introduo ..................................................... 43 2.1 2.2 2.3 2.4 Elementos da Geometria Esfrica ................................................................................. 43 Coordenadas cartesianas ............................................................................................... 73 Coordenadas geogrficas .............................................................................................. 78 Relao entre coordenadas cartesianas e geogrficas ................................................... 81

CAPTULO III Aplicaes da Geometria Esfrica ......................................................... 87 3.1 3.2 3.3 3.4 3.5 3.6 Navegando sobre a superfcie terrestre ......................................................................... 87 Relao entre um arco de paralelo e seu correspondente no Equador .......................... 89 Frmula fundamental para tringulos esfricos ............................................................ 93 GPS: Uma aplicao da Geometria Esfrica .............................................................. 103 Fundamentao Matemtica para o funcionamento do GPS ..................................... 107 Uma aplicao do uso do GPS ................................................................................... 112

CAPTULO IV CONSIDERAES ............................................................................... 119 REFERNCIAS ................................................................................................................... 123 APNDICES ......................................................................................................................... 127

13

INTRODUO

No que tange aos processos de ensino e de aprendizagem da Matemtica, muitos questionamentos esto presentes entre os professores, tais como a escolha das metodologias, as estratgias de ensino e os recursos didticos. Isso ocorre com os mais diversos assuntos desta disciplina, e no deixariam de existir no que diz respeito insero das geometrias noeuclidianas na Educao Bsica. As Diretrizes Curriculares da Educao Bsica DCE (PARAN, 2008) da Rede Pblica Estadual recomendam para o Ensino Fundamental e Mdio os contedos estruturantes: Nmeros e lgebra, Grandezas e Medidas, Geometrias, Funes e Tratamento da Informao. Entende-se por contedos estruturantes queles conhecimentos que identificam e organizam os campos de estudo da disciplina de Matemtica, considerados fundamentais para a compreenso desta (PARAN, 2008). Para o estudo do contedo estruturante Geometrias, as DCE (PARAN, 2008) nos sugerem que este deve se desdobrar no estudo dos tpicos de Geometria Plana, Geometria Espacial, Geometria Analtica e noes bsicas de geometrias no-euclidianas. Especificamente para o Ensino Mdio, dentro do contedo estruturante Geometrias, as DCE orientam que a compreenso das noes de geometria no-euclidiana deve possibilitar que o educando:
[...] Perceba a necessidade das geometrias no-euclidianas para a compreenso dos conceitos geomtricos, quando analisados em planos diferentes do plano de Euclides; Compreenda a necessidade das geometrias no-euclidianas para o avano das teorias cientficas; Articule ideias geomtricas em planos de curvatura nula, positiva e negativa; Conhea os conceitos bsicos da Geometria Elptica, Hiperblica e Fractal (Geometria da superfcie esfrica) (PARAN, 2008, p.81).

Entretanto, a minha atuao como docente, na Rede Pblica de Ensino do Estado do Paran, nos Ensinos Fundamental e Mdio, permite aferir que a Geometria Euclidiana praticamente a nica Geometria trabalhada pelos professores em sala de aula. Um dos fatores que pode estar atrelado resistncia de no se trabalhar as geometrias no-euclidianas em sala de aula est radicado na formao inicial da maioria dos professores de Matemtica, pois, geralmente, nos cursos de Licenciatura de Matemtica so abordados apenas tpicos de Geometria Euclidiana.

14

Neste sentido, uma preocupao que tivemos foi proporcionar aos professores de Matemtica uma discusso acerca da insero das geometrias no-euclidianas na Educao Bsica, visto as recomendaes das DCE. Embora este contedo seja sugerido pelas DCE, notamos que ele ainda no contemplado pelos livros didticos do Ensino Fundamental e Mdio, um dos principais apoios didticos para o professor. De acordo com Lima (2001), um estudo detalhado com doze colees de livros didticos de Matemtica utilizados no Ensino Mdio no Brasil, verificou-se que dado tratamento Geometria Plana e Espacial e Geometria Analtica. Porm, no h evidncias do tratamento s geometrias no-euclidianas, em especfico, Geometria Esfrica, o que justifica a escolha deste tema. Neste sentido, este trabalho teve por objetivo propor atividades acerca da Geometria Esfrica, buscando instigar professores de Matemtica e alunos da Educao Bsica, em particular do Ensino Mdio, a trabalharem em sala de aula com esta Geometria. Destacamos que as atividades propostas neste trabalho foram elaboradas de forma a estarem atreladas com o contexto histrico da evoluo da geometria, bem como, com a construo dos conceitos iniciais da Geometria Esfrica, essenciais para sua compreenso, at chegar a aplicaes mais avanadas, como calcular uma distncia na Geometria Esfrica e a fundamentao matemtica para o funcionamento do GPS. Para a realizao deste trabalho, salientamos que a Comisso Acadmica Nacional do Mestrado Profissional em Matemtica em Rede Nacional PROFMAT sugeriu duas modalidades para a sua elaborao, as quais esto especificadas a seguir: Modalidade 1: Elaborao de proposta de atividades educacionais; Modalidade 2: Aplicao de atividades em sala de aula e avaliao de resultados.

Assim, para este trabalho, optamos pela Modalidade 1, em que propomos atividades sobre a Geometria Esfrica para sua insero no Ensino Mdio. Para atender a tal proposta, o trabalho foi estruturado em quatro captulos. O primeiro captulo contemplou, por meio de fragmentos histricos, o principal motivo que fez a Geometria Euclidiana perder o status de ser a nica e inquestionvel por mais de dois mil anos. Ao longo do tempo, vrias tentativas frustradas foram feitas com o objetivo de

15

demonstrar o quinto postulado de Euclides a partir dos outros quatro, entretanto, s no incio do sculo XIX, com os estudos de Gauss, Bolyai e Lobacheswsky surgiu outra estrutura distinta da Geometria de Euclides, denominada por Gauss de geometria no-euclidiana, a qual conhecemos hoje por Geometria Hiperblica. O fato de Gauss no ter publicado seus resultados a respeito da nova geometria, creditou-se a Bolyai e Lobacheswsky a descoberta da primeira geometria no-euclidiana. Porm, foi no incio da segunda metade do sculo XIX, que outras geometrias no-euclidianas distintas daquela criada por Bolyai e Lobachewsky foram desenvolvidas e apresentadas em virtude dos estudos de Riemann, as quais conhecemos por Geometria Esfrica e Elptica. No segundo captulo, realizamos uma introduo Geometria Esfrica, em que seus elementos foram apresentados por meio de definies e teoremas para auxiliar o leitor na compreenso dos conceitos envolvidos. Tambm, demonstramos que a soma dos ngulos internos de um tringulo esfrico maior do que dois ngulos retos. Um quadro com implicaes conceituais foi apresentado com objetivo de comparar a Geometria Euclidiana e a Esfrica. Ainda neste captulo, introduzimos o sistema de trs eixos ortogonais de coordenadas cartesianas e o sistema de coordenadas geogrficas latitude, longitude e a altitude que possibilitaram determinar a localizao de qualquer ponto sobre ou fora da superfcie da Terra. Fizemos tambm a relao entre coordenadas cartesianas e geogrficas. No captulo trs, apresentamos aplicaes da Geometria Esfrica, no que tange a navegao, sobre a superfcie do globo terrestre. Demonstramos a frmula fundamental para tringulos esfricos, a qual permitiu calcular a distncia entre dois pontos distintos sobre uma superfcie esfrica e, em particular a superfcie terrestre. Esse clculo diferente da maneira como se calcula na Geometria Euclidiana, pois, conhecendo apenas as latitudes e as longitudes de duas localidades calcula-se a distncia entre tais localidades. Apresentamos tambm, o Sistema de Posicionamento Global GPS, uma aplicao tecnolgica que envolve conceitos da Geometria Esfrica. O GPS localiza um ponto sobre ou fora da superfcie terrestre, indicando a sua latitude, longitude e altitude. A fundamentao Matemtica para o funcionamento do GPS foi demonstrada e, uma atividade foi desenvolvida passo a passo, mostrando como um receptor GPS determina as posies geogrficas de um ponto.

16

No quarto captulo apresentamos nossas consideraes finais a respeito dos resultados advindos da pesquisa.

17

CAPTULO I A DESCOBERTA DAS GEOMETRIAS NO-EUCLIDIANAS

1.1

O quinto postulado de Euclides o postulado das paralelas

O homem o ser do reino animal que mais evidencia sua evoluo. Desde os primrdios da civilizao ele buscava nos recursos naturais a sua sobrevivncia, sendo ela muitas vezes garantida por frutos, sementes, razes, caa e pesca. Com o passar do tempo e com o aumento da populao, tais recursos foram tornando-se insuficientes para a demanda populacional que j apresentava evidncias de uma organizao hierrquica. Isso, possivelmente levou o homem a domesticar animais e cultivar determinados alimentos, dando incio assim, ao que tudo indica, produo agrcola. Estas alternativas se tornaram cada vez mais uma obrigao para assegurar a sua subsistncia. Entretanto, para garantir a continuidade de tais alternativas, era preciso manter um controle do que detinha e, tambm, armazenar o que no era consumido. Isso gerou a necessidade de registrar suas atividades e criar locais de armazenamento do que produzia. Segundo Eves (2004), esses fatos parecem ser os primeiros indcios da necessidade da contagem, isto , o surgimento da Matemtica na vida humana, uma das cincias mais antigas de que se tm conhecimento. Assim, com o decorrer dos anos cada vez mais o homem se apropriava do conhecimento desta cincia e, para demarcar a divisa de suas terras e as reas de plantio, que muitas vezes eram desfeitas pelas enchentes de rios, buscou na geometria um respaldo para esse novo desafio (EVES, 2004). Os registros bibliogrficos nos trazem informaes referentes aos conhecimentos geomtricos no triviais, que j eram dominados no Egito antigo, na Babilnia, na ndia e, tambm, na Grcia (CARMO, 1987). Entretanto, pode-se dizer que foram os gregos que difundiram tais conhecimentos geomtricos para o resto do mundo, pois, segundo Carmo (1987), foi Euclides de Alexandria (c. 325-265 a. C.) o primeiro a apresentar de maneira sistemtica a Matemtica como cincia

18

dedutiva. Isso quer dizer que qualquer afirmao deve ser deduzida logicamente de outras afirmaes mais simples, e assim sucessivamente.
Figura 01 Euclides de Alexandria.

Fonte: <http://www.portalplanetasedna.com.ar/archivos_varios3/euclides.jpg> Acesso em 12/11/2012.

Sobre a vida de Euclides se tem poucos registros, exceto, que ensinou em Alexandria. Este matemtico estabeleceu um rol de regras axiomas e teoremas que so usados at hoje. A geometria organizada por Euclides foi denominada Geometria Euclidiana. Segundo Coutinho (2001), foi a primeira teoria matemtica axiomtica, isto , construda a partir de axiomas ou postulados, afirmaes aceitas sem comprovao. Entretanto, quando um axioma pode ser demonstrado a partir de outros, tal axioma passa a ser um teorema. surgiram outras estruturas, denominadas geometrias no-euclidianas. Segundo Silva e Martins (2006) a Matemtica j era desenvolvida no Egito e na Mesopotmia a mais de 2000 anos a.C.. Esses povos utilizavam-na para fins prticos como a agrimensura, arquitetura e astronomia e, tambm, para fins religiosos. Nos documentos deixados pelos egpcios e babilnicos encontram-se as solues de muitos problemas geomtricos, como por exemplo, o clculo da altura de uma pirmide e a quantidade de vinho que possvel estocar em um tonel cilndrico. Para Silva e Martins (2006), os registros histricos dos egpcios e babilnicos eram receitas de bolo, pois apresentavam as solues dos problemas apenas por meio de exemplos numricos e, no sistematizavam e/ou justificavam os resultados obtidos. Na introduo da obra Os Elementos de Euclides, Bicudo (2009) evidencia que o conhecimento matemtico, tanto egpcio, quanto o babilnico, era considerado verdadeiro a partir da experincia, ou seja, no era necessrio demonstr-lo. Esta geometria permaneceu por quase dois mil anos como nica e absoluta e, apenas no incio sculo XIX

19

De acordo com Bicudo, traduo de Euclides (2009), foram os gregos que assumiram uma identidade com a geometria, pois, por meio dela, puderam promover o desenvolvimento intelectual e a divulgao da cultura grega. A busca dos gregos pela expanso intelectual, fez com que esta civilizao fosse uma das primeiras a sistematizar as demonstraes geomtricas. Para provar alguns resultados geomtricos, os gregos apresentavam passos sistematizados e rigorosos. Os registros escritos fazem referncia Thales de Mileto1 (c.624 c.547 a.C.) e Pitgoras de Samos (c.569 c.480 a.C) como os primeiros matemticos que apresentaram demonstraes com tal rigor e sistematizao matemtica. De acordo com Wagner (2012, p.1) foi a partir das ideias desses dois grandes personagens que a Matemtica se inicia como cincia e pode ser desenvolvida enormemente nos sculos seguintes. No entanto, os matemticos gregos alm de tentarem demonstrar os resultados geomtricos, procuravam sistematizar toda geometria como uma teoria unificada, em que cada resultado poderia ser provado a partir de um pequeno nmero de suposies bsicas (SILVA, MARTINS, 2006, p. 16). Com base no formalismo empregado por seus predecessores, Euclides compilou e apresentou em um nico texto uma obra clssica que ficou conhecida no meio cientfico como Os Elementos de Euclides, elaborada por volta do ano 300 a.C. em Alexandria Egito, na poca do primeiro Ptolomeu2.
Figura 02 Ptolomeu I.

Fonte: <http://www.egipto.com/nefera/ptolomeo1.jpg> Acesso em 12/11/2012.

1 Parece ser o primeiro filsofo grego conhecido, cientista e matemtico, porm, ele se ocupava com a engenharia. Proclus, o ltimo grande filsofo grego, que viveu por volta de 450 d.C. escreveu: [Thales] primeiro foi ao Egito e apresentou este estudo [ geometria ] para a Grcia. Disponvel em: <http://www-groups.dcs.st-andrews.ac.uk/~history/Biographies/Thales.html> Acesso em 08/01/2013. 2 Rei egpcio (c. 367-283 a.C.) que sucedeu Alexandre, o Grande. Ele Transformou Alexandria numa cidade comercial cosmopolita dominada por uma aristocracia grega.

20

A obra Os Elementos de Euclides serviu de livro-texto para milhes de estudantes em todo o mundo. Segundo Coutinho (2001), com exceo da Bblia, Os Elementos, foi a obra mais editada. Ao longo do tempo muitos matemticos estudaram e analisaram a obra Os Elementos, e consideraram que a obra de Euclides foi escrita visando apresentar a teoria dos slidos de Plato3 e a teoria dos nmeros irracionais de Teeteto4 (c.417 369 a.C.). Preocupado com os detalhes e o formalismo, Euclides escreveu Os Elementos em treze livros. No primeiro livro, Euclides exibe trs tipos de princpios matemticos: vinte e trs (23) definies, cinco (5) postulados e nove (9) noes comuns. Outros autores como, por exemplo, Barbosa (2002) e Coutinho (2001) reescreveram as noes comuns em apenas cinco (5). Para Bicudo, traduo de Euclides (2009, p. 82), uma definio de uma coisa ou objeto a expresso das suas relaes com as coisas conhecidas. E, por consequncia, nem todas as coisas podem ser definidas, pois que, para isso, seria necessrio conhecer j as outras. Os conceitos que no tem definio so chamados de conceitos ou termos primitivos. No que tange a distino entre as noes comuns e os postulados, Barbosa (2002, p. 2), afirma que as noes comuns parecem ter sido consideradas como hipteses aceitveis a todas as cincias ou admissveis por qualquer pessoa inteligente, enquanto que os postulados seriam hipteses peculiares da Geometria. Salienta-se que as proposies admitidas sem demonstrao so denominadas por axiomas ou postulados, e as demais, aquelas demonstradas, so ditas teoremas. Para Silva e Martins (2006, p. 16), Euclides procurou apresentar a matemtica na forma dedutiva, partindo de definies e certos princpios bsicos (axiomas e postulados) e construindo gradualmente, a partir deles, as provas de todos os outros conhecimentos geomtricos. A seguir tm-se as noes comuns e os postulados de acordo com Euclides (2009).

Um dos mais importantes filsofos gregos (c. 427-347 a. C). Ele fundou a Academia em Atenas, uma instituio dedicada investigao e instruo na filosofia e nas cincias. Suas obras sobre filosofia, poltica e matemtica eram muito influentes e lanou as bases para a abordagem sistemtica de Euclides para a Matemtica. 4 Foi um matemtico grego que fez contribuies muito importantes para a teoria dos nmeros irracionais.

21 Noes comuns 1. As coisas iguais mesma coisa so tambm iguais entre si. 2. E, caso sejam adicionadas coisas iguais a coisas iguais, os todos so iguais. 3. E, caso de iguais sejam subtradas iguais, as restantes so iguais. 4. E, caso iguais sejam adicionadas a desiguais, os todos so desiguais. 5. E os dobros da mesma coisa so iguais entre si. 6. E as metades da mesma coisa so iguais entre si. 7. E as coisas que se ajustam uma outra so iguais entre si. 8. E o todo [] maior do que a parte. 9. E duas retas no contm uma rea. 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 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-99, 2009).

Dentre os cinco postulados, pode-se notar que o ltimo, pelo seu extenso enunciado, aquele que mais chama ateno quando comparado com os demais. Ele merece ser evidenciado, pois, acreditava-se que como os outros, um postulado deveria ser formulado de maneira simples e direta. O quinto postulado tambm conhecido como o postulado das paralelas. Segundo Coutinho (2001), com as noes comuns e os postulados, Euclides construiu toda a geometria que se ensina na escola. O Teorema de Pitgoras caracterstico da Geometria Euclidiana, Tanto assim o , que ele surge, na maioria das vezes, ao abrirmos um livro de Matemtica (COUTINHO, 2001, p. 35). A Figura 03 mostra uma representao geomtrica para o quinto postulado.
Figura 03 Representao geomtrica para o quinto postulado.

Fonte: Autores.

22

Essa diferena, inclusive visual, do quinto postulado para os demais levou diversos matemticos a questionarem a sua validade, no sentido de verificar se ele realmente era um postulado ou se era um teorema que deveria ser demonstrado com a utilizao dos outros quatro postulados. Entretanto, uma consequncia das tentativas de demonstrao do quinto postulado foi produo do grande nmero de afirmaes equivalentes a ele. Tais afirmaes foram denominadas de substitutos para o quinto postulado (BARBOSA, 2002). Dizer que existe um substituto para o quinto postulado significa dizer que existe uma proposio P, de tal forma que esta proposio e os quatro primeiros postulados resultam num resultado que coincide com a Geometria Euclidiana. Assim, para provar que uma proposio P um substituto do quinto postulado deve-se: saber que P uma proposio da Geometria Euclidiana, em seguida, demonstrar que, na teoria desenvolvida, usando os quatro primeiros postulados e mais ela, pode-se provar o quinto postulado como uma proposio (BARBOSA, 2002). Uma bibliografia para se estudar os substitutos do quinto postulado o livro: Geometria Hiperblica de Barbosa (2002) e, segundo ela, o substituto mais conhecido e que se perpetua at os dias atuais principalmente nos livros didticos o axioma de Playfair5.
Figura 04 Playfair.

Fonte: <http://www-groups.dcs.st-andrews.ac.uk/~history/PictDisplay/Playfair.html> Acesso em 08/01/2013.

Axioma de Playfair: Por um ponto fora de uma reta pode-se traar uma nica reta paralela reta dada. Prova: Para provar este substituto aplicamos o mtodo de reduo ao absurdo6.

Matemtico e gelogo escocs (1748-1819). Trabalhou com a fsica, a geologia e a geometria. Estudou na Universidade de St Andrews Esccia.

23

Dados uma reta

e um ponto

fora de

, como consequncia dos quatro primeiros paralela a passando por . Na Figura 05 perpendicular reta . Ento

postulados possvel mostrar que existe uma reta perpendicular7 reta paralela a . passando por

apresentamos uma representao geomtrica do Axioma de Playfair. Trace a reta e, a partir de , a reta

Figura 05 Representao geomtrica para provar o Axioma de Playfair.

Fonte: Autores.

Para provar que a paralela nica, suponha que existe outra reta pelo ponto . A reta conclumos que a reta paralela.

paralela reta

passando

forma um ngulo agudo com . Logo, pelo quinto postulado, intersecta a reta . Isto um absurdo, pois, o resultado obtido nos d

retas concorrentes e no paralelas como o esperado. Portanto, provamos a unicidade da

Agora para provar que o quinto postulado uma proposio na teoria desenvolvida a partir dos quatro primeiros postulados mais o axioma de Playfair, precisamos do seguinte resultado. Proposio: Se duas retas coplanares distintas e uma transversal determinam ngulos alternos (ou ngulos correspondentes) congruentes, ento essas duas retas so paralelas. A Figura 06 representa a existncia da paralela.
6

Segundo Oliveira e Fernandes (2010) o mtodo de reduo ao absurdo que provm do latim reductio ad absurdum o mtodo considerado como um dos instrumentos mais poderosos para fazer demonstraes em Matemtica. De um modo geral, os passos para uma demonstrao por reduo ao absurdo so: 1. Assumimos a validade da hiptese; 2. Supomos que a nossa tese falsa. Logo, utilizando ambas as informaes conclu-se, por meio de argumentos verdadeiros, uma afirmao falsa e, como tal fato no poder ocorrer, ento a nossa tese dever ser verdadeira. 7 Os quatro primeiros postulados garantem a existncia da reta perpendicular.

24 Figura 06 Existncia da paralela.

Fonte: Autores.

Prova: De fato, se

no fossem paralelas, teriam um ponto

em comum, ou seja,

Se

teramos o tringulo
Figura 07 As retas e se intersectam.

Fonte: Autores.

Logo, pelo teorema do ngulo externo8 aplicado ao tringulo ou o que um absurdo, segundo a hiptese e so paralelas.

, tem-se: .

Portanto, as retas

Por meio da proposio anterior, provaremos que o quinto postulado uma proposio da Geometria Euclidiana, aplicando-se os quatro primeiros postulados e o axioma de Playfair.

Teorema (do ngulo externo): Um ngulo externo de um tringulo maior que qualquer um dos ngulos internos no adjacentes. Uma demonstrao para este teorema encontra-se em Dolce e Pompeo volume 9 (2005, p. 45).

25

Para isto faremos uso da Figura 08, onde, como hiptese, admitimos que ainda, que as retas e so paralelas.

e,

Figura 08 Prova do quinto postulado a partir dos quatro primeiros mais o axioma de Playfair.

Fonte: Autores.

Prova: Pelo ponto traamos uma reta formando um ngulo tal que paralela reta . Mas, ento, teremos duas e paralelas a uma mesma reta , o que um

De acordo com a proposio anterior, a reta retas distintas ( e ) passando pelo ponto absurdo segundo o axioma de Playfair.

Fica assim provado que o axioma de Playfair um substituto para o quinto postulado. Tambm, pelo que mostramos, o axioma de Playfair pode ser interpretado geometricamente, conforme a Figura 09.
Figura 09 Representao geomtrica do axioma de Playfair.

Fonte: Autores.

Salientamos que muitos livros-texto de Geometria Euclidiana trazem o axioma de Playfair como o quinto postulado, fazendo uso da sua caracterstica de substituto. Para Barbosa (2002), as tentativas de provar o quinto postulado a partir dos quatro primeiros, ao longo dos tempos, transformaram-se, ao final, no estudo da Geometria Absoluta de Bolyai

26

e permitiram entender que havia de fato toda uma famlia de proposies equivalentes ao quinto postulado, entre as quais, o teorema da soma dos ngulos internos de um tringulo9. Para esta soma levantaram-se trs possveis hipteses: igual, menor, ou maior do que 180. As duas ltimas hipteses levaram, respectivamente, descoberta da Geometria Hiperblica por Gauss, Bolyai e Lobachewsky, porm creditada aos dois ltimos e a Geometria Esfrica desenvolvida por Riemann, que proporcionou a construo da Geometria Elptica por Klein (FRANCO e MENEZES, 2012). De acordo com Carmo (1987), o modelo para a Geometria Esfrica uma esfera e para a Geometria Elptica o modelo uma esfera com os pontos antpodas identificados, isto , o plano projetivo real. Tais geometrias foram essencialmente introduzidas no trabalho de Riemann.

1.2

Algumas tentativas frustradas de demonstrar o postulado das paralelas

Segundo Carmo (1987), foi a anlise do postulado das paralelas e o fracasso de todas as tentativas de demonstr-lo que forou, lentamente, uma nova concepo da Matemtica, em que todos os elementos de uma teoria deveriam ser cuidadosamente explicitados. Segundo Barbosa (2002), alguns sujeitos tentaram provar o quinto postulado de Euclides, mas no obtiveram sucesso. De acordo com Eves (2004. p. 97), a principal fonte de informao sobre a histria dos primeiros passos da geometria grega antiga deve-se ao Sumrio de Eudemo, de autoria do grego Proclus10 (410-485): Esse sumrio consiste nas pginas de abertura do Comentrio11 sobre Euclides, Livro I, de Proclus e um breve resumo da geometria grega desde os primeiros tempos at Euclides. Segundo Proclus, Euclides viveu durante o reinado do primeiro Ptolomeu o qual escreveu um livro a respeito do postulado das paralelas (BARBOSA, 2002, p. 22).

Teorema: A soma dos ngulos internos de um tringulo qualquer sempre igual a dois ngulos retos. Oriundo de uma famlia rica estudou retrica, filosofia e matemtica em Alexandria e, depois, mudou-se para Atenas onde se tornou chefe da Academia de Plato. Disponvel em: Disponvel em: <http://pt.wikipedia.org/wiki/Proclus> Acesso em: 08/01/2013. 11 O Comentrio de Proclus sobre o Livro I dos Elementos uma das duas principais fontes de informao sobre a histria da geometria grega que existe. Outra obra a Coleo de Pappus.
10

27

Nos textos de Proclus no h evidncias da prova de Ptolomeu, porm, por meio de seus comentrios pode-se deduzir que tal demonstrao similar ao que apresentamos na sequncia. A Figura 10 representa esta demonstrao, em que se considera duas retas cortadas por uma transversal formando ngulos.
Figura 10 Argumento de Ptolomeu I.

Fonte: Autores.

Se

ento e

Da segue que e pelo segmento

. Logo, a figura formada

formada pelas semirretas pelas semirretas e

, congruente figura e

e pelo segmento

. Logo, se as retas

se intersectam de um

lado da reta , ento tambm se intersectam do outro lado. Neste caso ocorre um absurdo, pois, teramos duas retas distintas com dois pontos comuns. Com esta argumentao, Ptolomeu I acreditou ter demonstrado o quinto postulado, mas seu erro foi assumir que o paralelismo acarretaria na congruncia das duas figuras, afirmao esta que s ocorre na Geometria Euclidiana. Proclus tambm apresentou uma proposta para demonstrar o quinto postulado. Se uma transversal corta uma de duas paralelas, ento corta tambm a segunda. Esta afirmao recai em mais um substituto para o postulado das paralelas.
Figura 11 Proclus.

Fonte: <http://www.astro.gr/arxaiaKeimena/images/proclus.gif> Acesso em 12/11/2012.

28

O argumento de Proclus foi o seguinte: Sejam uma reta retas concorrente reta

duas retas paralelas e distintas. Considere um ponto de na regio limitada pelas do ponto reta .

no ponto , e seja

e . Seja

um ponto da semirreta

. Considere a distncia

Esta uma funo do ponto , que cresce proporo que pode se tornar maior que qualquer constante tornar-se maior do que a distncia entre as retas .

cresce. De fato, esta distncia

pr-fixada e, portanto, eventualmente, e . Ento, a semirreta intersecta a reta

Pode-se verificar que o raciocnio de Proclus est correto quando se admite que retas paralelas so equidistantes, porm, a existncia de retas equidistantes equivale adoo do quinto postulado.
Figura 12 Raciocnio de Proclus.

Fonte: Autores.

Outro gemetra que tentou demonstrar o quinto postulado foi Nasr ed-dn12 (1201-1274). Ele inicialmente sups, sem demonstrao, a validade da seguinte afirmao:
Axioma: Sejam e duas retas, um ponto de , um ponto de , tais que perpendicular a e forma um ngulo agudo com . Ento as perpendiculares baixadas de reta , do lado do ngulo agudo, so menores do que e as que ficam do outro lado so maiores do que (BARBOSA, 2002, p. 25).

12

Astrnomo e matemtico persa, editor de uma verso dos Elementos. Em rabe escreveu um tratado sobre os postulados de Euclides, no qual observou pela primeira vez a importncia do teorema da soma dos ngulos de um tringulo em relao ao quinto postulado. dele o primeiro trabalho de trigonometria plana e esfrica considerado independente da astronomia (EVES, 2004, p. 261-262).

29 Figura 13 Nasr ed-dn

Fonte: <http://www.dinbali.com/wp-content/uploads/2012/09/Nasireddin.jpg> Acesso em 12/11/2012.

Nasr ed-dn aplicou este axioma para deduzir o quinto postulado. Ele considerou um quadriltero (Figura 14) em que os ngulos e e so retos e os segmentos e

so iguais. Ele concluiu que os ngulos que o ngulo

tambm so retos. Para isto, sups inicialmente , o que um absurdo. O mesmo

era agudo, deduzindo, ento, que

tipo de prova mostra que este ngulo no pode ser obtuso. Segundo o argumento de Nasr eddn, o quadriltero , tem os quatro ngulo internos retos, e os lados opostos congruentes (um retngulo). Ao traar uma diagonal, decompe-se o retngulo em dois tringulos retngulos congruentes. Ento, ele conclui pela existncia de um tringulo cuja soma dos ngulos internos 180 e, que o quinto postulado estava demonstrado como uma consequncia dos outros. Entretanto, pode-se provar que suas afirmaes tambm correspondem a um substituto para o quinto postulado.
Figura 14 Quadriltero de Nasr ed-dn.

Fonte: Autores.

Entre os sculos XVI e XVII vrios trabalhos foram escritos na tentativa de provar o quinto postulado, dentre os quais merece destaque aquela devida ao ingls John Wallis13 (16161703), que na tentativa de demonstr-lo, deixou de lado ideia de seus predecessores que trabalharam com retas equidistantes e, apresentou a demonstrao sob os argumentos do seguinte axioma.
13

Matemtico e professor. Ele foi o primeiro a explicar de maneira razoavelmente satisfatria o significado dos expoentes zero, negativos e fracionrios; deve-se a ele tambm a introduo do atual smbolo de infinito () e um dos pioneiros a criar um sistema de ensino para surdos-mudos (EVES, 2004, p. 431-342).

30

Axioma: Dado um tringulo possvel construir-se um outro que lhe semelhante, com lados arbitrariamente grandes (BARBOSA, 2002, p. 27). Um outro enunciado para o axioma anterior apresentado por Mlodinow (2005, p. 110): Dado qualquer lado de qualquer tringulo, esse tringulo pode ser aumentado ou diminudo, de modo que o lado escolhido tenha qualquer tamanho que voc queira, mas mantendo os ngulos do tringulo inalterados. A demonstrao de Wallis no foi aceita pelos matemticos uma vez que aplicou o conceito de semelhana, o qual s faz sentido se considerar a validade do quinto postulado.
Figura 15 John Wallis.

Fonte: <http://rudimatematici-lescienze.blogautore.espresso.repubblica.it/files/2009/11/Wallis.jpg> Acesso em 12/11/2012.

Conforme Eves (2004), a primeira investigao cientfica que apresentava uma tentativa de provar o postulado das paralelas s foi publicada em 173314 pelo italiano, padre jesuta e professor universitrio Girolamo Saccheri15 (1667-1733). O jesuta contribuiu diretamente para os estudos de Legendre, Lobachewsky e Riemann Segundo Barbosa (2002, p. 29), a contribuio do padre considerada a mais importante, comparando com todas as anteriores, pois foi a primeira a contemplar a possibilidade de hipteses outras que a de Euclides e trabalhar com um grande nmero de suas consequncias. A ideia de Saccheri foi considerar um quadriltero tal que , e .

(Figura 16). Usando apenas os quatro primeiros postulados ele provou que
14

Ttulo do Livro de Saccheri: Euclides ab omni naevo vindicatus: sive conatus geometricus quo stabiliuntut prima ipsa universae Geometriae principia. (Euclides livre de qualquer falha: Um trabalho geomtrico em que so estabelecidos os princpios fundamentais de uma geometria universal). 15 Os autores no encontraram uma imagem de Saccheri.

31

Assumir que estes ngulos so retos equivalente a validar o quinto postulado. Em geral, para estes ngulos existem trs hipteses: ou so retos ou so obtusos ou so agudos.
Figura 16 Quadriltero de Saccheri.

Fonte: Autores.

Saccheri assumiu a negao da hiptese dos ngulos serem retos e estudou as consequncias das duas outras, na busca de contradies. Assim como Euclides, ele assumiu que a reta ilimitada e por este fator no teve dificuldade em descartar a hiptese dos ngulos serem obtusos. Entretanto, ao buscar uma contradio para a hiptese dos ngulos agudos, ele obteve vrias proposies interessantes que decorrem de se negar o postulado das paralelas. Conclui-se, nesta hiptese, que duas retas paralelas no so equidistantes (Figura 17): ou elas se aproximam assintoticamente16, ou possuem uma normal (reta perpendicular) comum, a partir da qual se afastam indefinidamente (CARMO, 1987, p. 29).
Figura 17 Comportamento das retas paralelas quando se nega o quinto postulado.

Fonte: Carmo (1987).

Conforme Barbosa (2002, p. 30-31), Saccheri finalmente concluiu que a hiptese dos ngulos agudos acarretava a existncia de duas retas assintticas possuidoras de uma perpendicular comum em um ponto ideal no infinito. Saccheri no ficou convencido de que havia
16

Duas retas que se aproximam assintoticamente [Figura 17 (a)] significam que elas se aproximam indefinidamente, ficando to prximas uma da outra quanto se queira, porm nunca se intersectam.

32

realmente chegado a uma contradio e partiu para uma segunda prova na qual tambm no obteve sucesso. Outro matemtico que tambm se dedicou provar o quinto postulado foi o suo Johann Heinrich Lambert (1728-1777), matemtico, astrnomo, fsico e filsofo, o qual forneceu a primeira prova de que o nmero (pi) irracional. Filho de um alfaiate pobre, Lambert, em grande parte de sua vida foi um autodidata. Fez investigaes geomtricas e astronmicas por meio de instrumentos que ele mesmo projetou e construiu (BARBOSA, 2002).
Figura 18 Lambert.

Fonte: <http://apprendre-math.info/history/photos/Lambert.jpeg> Acesso em 12/11/2012.

Segundo Eves (2004), trinta e trs anos aps a publicao da obra de Saccheri, Lambert escreveu uma investigao semelhante, intitulada, Die Theorie der Parallellinien que s foi publicada aps a sua morte. Lambert escolheu um quadriltero com trs ngulos retos, e com relao ao quarto ngulo considerou trs hipteses: ngulo reto; ngulo obtuso e ngulo agudo (Figura 19). Como a primeira hiptese equivale ao quinto postulado, ele trabalhou as consequncias das outras duas e alcanou um nvel de conhecimento mais profundo do que Saccheri ao deduzir novas proposies. Entre elas, destaca-se a seguinte (BARBOSA, 2002). Proposio: A rea de um tringulo proporcional diferena entre a soma de seus ngulos internos e dois ngulos retos. Conforme a proposio anterior e assumindo a hiptese do ngulo agudo tem-se a seguinte expresso para a rea de um tringulo :

33

Entretanto, admitindo a hiptese do ngulo obtuso tem-se:

onde,

equivale a 180 e

, com

Assim como Saccheri, Lambert tambm eliminou a hiptese do ngulo obtuso ao assumir que a reta ilimitada. Porm, suas consideraes finais sobre a hiptese do ngulo agudo tambm foram insatisfatrias, pois, segundo Barbosa (2002, p. 33) parece que ele percebeu que os argumentos contra a Geometria baseada nesta hiptese eram muito mais resultado de noes preconcebidas sobre a validade da Geometria euclidiana.
Figura 19 Quadriltero de Lambert.

Fonte: Autores.

O matemtico francs Adrian-Marie Legendre (1752-1833) tambm fez vrias tentativas de demonstrar o postulado das paralelas a partir dos outros quatro, porm, no atingiu seu objetivo. Oriundo de uma famlia rica lhe foi dada uma educao de qualidade superior em matemtica e fsica no Collge Mazarin, em Paris (BARBOSA, 2002).
Figura 20 Legendre.

Fonte: <http://apprendre-math.info/history/photos/Legendre.jpeg> Acesso em 12/11/2012.

Em 1794, Legendre publicou seus lments de Gmtrie (Elementos de Geometria). Tal obra reordenou e simplificou as proposies de Euclides e, foi amplamente adotada na Europa, isto , contribuiu expressivamente para popularizar o postulado das paralelas.

34

Segundo Eves (2004), Legendre considerou as hipteses da soma dos ngulos internos de um tringulo ser menor do que, igual a ou maior do que dois ngulos retos. Assumiu tacitamente a infinitude da reta e descartou a hiptese da soma dos ngulos internos de um tringulo ser maior do que 180, entretanto, apesar de vrias tentativas, no foi capaz de eliminar a primeira hiptese. Legendre, conforme Carmo (1987), tambm admitiu que dado um ngulo e um ponto seu interior, possvel passar por 21). Entretanto esta afirmao era equivalente ao quinto postulado.
Figura 21 O fato de por todo ponto no interior do ngulo passar uma reta que intersecta as retas e equivalente ao quinto postulado.

no

uma reta que intersecta os dois lados do ngulo (Figura

Fonte: Autores.

As sees 1.3, 1.4, 1.5 e 1.6 apresentam uma breve discusso sobre os feitos dos principais matemticos que contriburam diretamente para a descoberta das geometrias no-euclidianas.

1.3

Gauss

O matemtico alemo Carl Friedrich Gauss (1777-1855), considerado como um dos mais renomados matemticos de sua gerao por suas contribuies na Matemtica e na Fsica, incluindo a teoria dos nmeros, a anlise, a geometria diferencial, a geodsica, o magnetismo, a astronomia e a tica foi oriundo de uma famlia pobre. De acordo com Mlodinow (2005) os pais de Gauss pertenciam a uma classe da populao chamada de semicidados. Sua me se chamava Dorotia, era analfabeta e trabalhava como

35

empregada domstica. Seu pai, Gebhard, desempenhava vrias atividades, mal remuneradas, desde abrir canais e assentar tijolos at fazer a contabilidade de uma sociedade funerria local.
Figura 22 Gauss.

Fonte: <http://www.rare-earth-magnets.com/images2/johann_carl_friedrich_gauss.jpg> Acesso em 12/11/2012.

Segundo Barbosa (2002), dos problemas relacionados ao postulado das paralelas, apenas alguns resultados de Gauss tornaram-se pblicos durante sua vida. Entretanto, ele contribuiu consideravelmente para o desenvolvimento das ideias que levaram a descoberta da nova Geometria. Gauss foi a primeira pessoa a chamar a nova Geometria de no-euclidiana. Entretanto, o que se conhece a respeito que ele escreveu e trocou algumas cartas com pessoas interessadas na demonstrao do quinto postulado, apresentou crticas de tratados sobre as paralelas e, deixou notas inditas entre seus trabalhos, o que evidencia ter sido o primeiro sujeito a compreender uma geometria logicamente precisa e diferente da Geometria Euclidiana (BARBOSA, 2002). Gauss, de maneira diferente de todos os crticos que o precederam, no procurou encontrar uma forma mais aceitvel para o quinto postulado, nem torn-la desnecessria demonstrandoa por meio dos quatro primeiros postulados. Ele apenas questionava se o quinto postulado era vlido (MLODINOW, 2005). Parece evidente nos documentos existentes que, no final da primeira dcada do sculo XIX, Gauss ainda estava tentando demonstrar o postulado das paralelas pelo mtodo de reduo a um absurdo (BARBOSA, 2002). Segundo Carmo (1997), em 1824 Gauss estava de posse das ideias fundamentais das geometrias no-euclidianas as quais ele confirma por meio de uma carta a Taurinus, um advogado que era envolvido com a Matemtica. De acordo com Mlodinow (2005, p. 122) a

36

carta dizia A suposio de que a soma dos trs ngulos de um tringulo menor do que 180 leva a uma geometria especial, bem diferente da nossa, isto , a euclidiana, que absolutamente consistente, e que eu desenvolvi de modo bem satisfatrio para mim mesmo. Gauss, porm, nunca publicou nada sobre o que acabara de descobrir, e insistiu com Taurinus e outros para no publicarem suas descobertas. Em 1829 Gauss escreve a Bessel e menciona que talvez nunca torne pblico seus resultados, pois, temia a gritaria dos becios. Isso parece ser esclarecedor, pois, Gauss vivia numa poca em que havia forte influncia do mais renomado e respeitado filsofo do sculo XVIII, Immanuel Kant, que apoiava suas ideias em supostas verdades inquestionveis da Geometria Euclidiana (MLODINOW, 2005).

1.4

Janos Bolyai

Durante seus estudos na Universidade de Gttingen Alemanha, Gauss fez amizade com o hngaro Farkas (Wolfgang) Bolyai (1775-1856), com qual discutiu problemas relacionados teoria das paralelas. Aps ambos deixarem a universidade, mantiveram contato por meio de correspondncias. Uma carta escrita por Gauss Farkas em 1799 mostra que ambos estavam, simultaneamente, tentando provar o quinto postulado. Em 1804 Farkas apresentou um tratado intitulado Theoria parallelarum, o qual envia Gauss dizendo que havia conseguido provar o postulado das paralelas, entretanto, sua prova estava errada e Gauss o respondeu apontando o erro. Farkas continuou tentando provar o postulado das paralelas usando a mesma linha de raciocnio e, quatro anos mais tarde enviou novamente uma carta a Gauss com um trabalho suplementando sua prova, porm Gauss no o respondeu (BARBOSA, 2002, p. 47). Farkas sempre esteve interessado nos fundamentos da geometria e do quinto postulado. Sua principal obra, o Tentamen, publicado em dois volumes no ano de 1832, apresentou uma tentativa de fundamentao rigorosa e sistemtica da geometria, aritmtica, lgebra e anlise. O filho de Farkas Bolyai, Janos (Johann) Bolyai (1802-1860) estudou matemtica desde pequeno, e como era de se esperar, muito jovem tambm se interessou pela teoria das paralelas. Quando Janos Bolyai ingressou no Royal College de engenharia em Viena, 1817, j

37

havia despendido muito esforo na tentativa de provar o quinto postulado, uma vez que seu pai lhe recomendou expressamente que tal problema deveria ser deixado de lado.
Figura 23 Janos Bolyai.

Fonte: <http://www.omikk.bme.hu/archivum/kozoskepek/bolyai_janos.jpg> Acesso em 12/11/2012.

Segundo Barbosa (2002), por volta de 1820, os esforos de Janos Bolyai na tentativa de provar o quinto postulado, por meio da substituio por uma afirmao que lhe fosse contraditria, forneceu resultados de uma natureza especial. Seu foco foi, gradativamente, mudando na direo da possibilidade de formular uma Geometria geral, uma Cincia absoluta do espao, em que a Geometria de Euclides seria um caso particular. Para negar o quinto postulado duas hipteses possveis deveriam ser consideradas, as quais so chamadas de e .

No existe nenhuma reta paralela a uma reta dada, passando por um ponto fora desta reta.
Figura 24 Representao geomtrica para .

Fonte: Autores.

Existe mais de uma reta paralela a uma reta dada passando por um ponto que no pertence reta dada.

38 Figura 25 Representao geomtrica para .

Fonte: Autores.

Partindo da segunda hiptese, Janos Bolyai observou que a existncia das duas tais retas acarretaria na existncia de uma infinidade delas. Segundo Eves (2004) a grande questo que levou Janos Bolyai a no receber o status de ser o primeiro a descobrir outra geometria que no era a Euclidiana, foi o fato dele ter demorado para publicar suas descobertas. Isso, s ocorreu em 1832 em um apndice do Tentamen. Ainda, conforme Eves (2004), aps esta publicao, no h registros de outras obras, embora Janos Bolyai mantivesse suas investigaes sobre o assunto. Em 1848 Janos Bolyai teve uma grande surpresa, quando ficou sabendo que o russo Nicolai Ivanovich Lobacheswsky (1793-1856) havia publicado descobertas semelhantes em 1829, trs anos antes das suas.

1.5

Lobachewsky

Segundo Smogorzhevski (1978), Lobachewsky era de uma famlia pobre. Sua me foi uma mulher enrgica e sensata, que apesar das dificuldades financeiras enviou todos os seus filhos para estudar no ginsio na cidade de Kazan Rssia, prximo Sibria. Lobachewsky terminou seus estudos secundrios, ingressou na Universidade de Kazan, onde viveu a maior parte de sua vida, pois, ele passou de aluno para professor e, tambm, ocupou por muitos anos o cargo de reitor (EVES, 2004).

39 Figura 26 Lobachewsky.

Fonte: <http://apprendre-math.info/history/photos/Lobachevsky.jpeg> Acesso em 12/11/2012.

Em 1826, Lobachewsky realizou uma conferncia para o Departamento de Fsica e Matemtica na Universidade de Kazan e sugeriu uma nova Geometria na qual mais de uma reta paralela a uma reta dada podiam ser traadas por um ponto e onde a soma dos ngulos de um tringulo seria menor que dois ngulos retos (BARBOSA, 2002, p. 51). A conferncia, no entanto, no foi publicada, ou mesma discutida pelo Departamento, e seu contedo permaneceu desconhecido. Lobachewsky, assim como Janos Bolyai, tambm considerou a Geometria Euclidiana um caso particular da sua, pois,
Ele notou que, quando considerava figuras geomtricas cujo tamanho diminua, as diferenas entre sua nova geometria e a de Euclides tendiam desaparecer. Para figuras geomtricas grandes, comparadas com um certo comprimento caracterstico do espao, as diferenas entre as geometrias se tornavam importantes. (SILVA, MARTINS, 2006, p. 18).

De acordo com Eves (2004), foi entre 1829-1830 que Lobachewsky publicou o seu primeiro artigo sobre geometria no-euclidiana em um peridico - O mensageiro de Kazan, da Universidade de Kazan. Esse artigo teve pouca repercusso na comunidade cientfica, devido ao fato de escrev-lo apenas em russo numa poca em que o latim, o alemo e o francs eram os principais idiomas para a divulgao cientfica. Lobacheswsky, para dar continuidade e expor seu trabalho para atingir um nmero maior de leitores, publicou em 1840 um pequeno livro escrito em alemo intitulado Geometrische Untersuchungen Zur Theorie der Parallellinien (Investigaes Geomtricas sobre a Teoria das Paralelas). Em 1855, j cego e um ano antes do seu falecimento, Lobachewsky fez outra publicao, desta vez em francs, expondo todos os resultados da sua pesquisa com o ttulo de

40

Pangomtrie (Pangeometria), na tentativa de obter reconhecimento pelo seu trabalho (EVES, 2004). No entanto, apenas em 1867 os artigos de Bolyai e Lobacheswsky foram includos na segunda edio do influente livro Elemente der Mathematik de Richard Baltzer. Desta forma os artigos se tornaram referncia-padro entre os que trabalhavam com as novas geometrias (MLODINOW, 2005). Assim, a construo explcita de uma geometria a qual se descarta o quinto postulado, e que foi publicada de maneira independente e quase simultnea por Lobacheswsky e Bolyai a geometria que hoje se chama Geometria Hiperblica (batizada por Felix Klein em 1871). Sua existncia mostra que o quinto postulado independente dos demais.

1.6

Riemann

Georg Friedrich Bernhard Riemann nasceu em 1826 Hanover Alemanha, e morreu em 1866 Selasca Itlia, vtima de tuberculose. Suas origens so de uma famlia pobre, cujo pai era um pastor luterano e, sua me morreu antes que ele crescesse. Sempre foi uma pessoa tmida e introvertida, de sade muito frgil.
Figura 27 Riemann.

Fonte: <http://content.answcdn.com/main/content/img/scitech/HSgeorgf.jpg> Acesso em 12/11/2012.

Com 19 anos de idade e sob a orientao de seu pai, Riemann ingressou na Universidade de Gttingen, onde Gauss era professor, para estudar filosofia e teologia. Segundo Mlodinow

41

(2005), sua matria favorita era histria, particularmente a histria do movimento nacional polons. Entretanto, ele acabou cursando Matemtica, fazendo o primeiro ano em Gttingen, transferindo-se depois para Berlim. Em 1849 Riemann volta para Gttingen para completar sua tese de doutorado e, finalmente em 1851 torna-se doutor sob a orientao de Gauss, com um trabalho brilhante que introduz as chamadas Supefcies de Riemann (EVES, 2004, p. 613). Em 1854 Riemann tornou-se professor no remunerado da Universidade de Gttingen e para tal privilgio apresentou a famosa conferncia probatria sobre as hipteses em que se baseiam a geometria (EVES, 2004, p. 614). Na apresentao surge a distino entre infinito e ilimitado. Por exemplo: as circunferncias mximas de uma esfera so finitas (percorrendo-as sempre se volta ao ponto de partida), mas, ilimitadas (pode-se percorr-las indefinidamente). Sem conhecer os trabalhos de Bolyai e Lobachewsky, Riemann props uma generalizao da geometria que no apenas apresentava um conjunto de alternativas de Euclides, mas introduzia a possibilidade de espaos com mais de trs dimenses. (SILVA, MARTINS, 2006, p. 18). Salientamos que em nenhum momento ele mencionou o nome geometria noeuclidiana. Riemann deu sua prpria interpretao para ponto, reta e plano. Como plano ele escolheu a superfcie esfrica. Seus pontos eram posies e as retas eram as circunferncias mximas de uma superfcie esfrica (MLODINOW, 2005). O que Riemann fez foi generalizar a geometria diferencial, que a teoria das superfcies curvas, na qual uma superfcie descrita pelo mtodo das coordenadas e, depois empregandose o clculo diferencial. A geometria diferencial deve-se a Gauss, que a desenvolveu para estudar as superfcies curvas no espao tridimensional. Na geometria diferencial h um formalismo muito diferente do utilizado por Bolyai e Lobachewsky, que foi o axiomtico. Sem levar em considerao a validade ou no do quinto postulado ela possibilita a descrio de diferentes tipos de espao, em que a mtrica envolve apenas as propriedades intrnsecas (SILVA e MARTINS, 2006, p. 18). Outras geometrias alm da criada por Bolyai e Lobachewsky, e que podem ser abordadas pela geometria desenvolvida por Riemann Geometria Riemanniana, so as Geometrias Esfrica e Elptica, esta ltima tambm batizada por Felix Klein.

42

No entanto, foi apenas no final da dcada de 1860 e incio da dcada de 1870 que as geometrias no-euclidianas comearam a ter reconhecimento, o que ocorreu devido s tradues dos trabalhos de Bolyai, Lobachewsky e Riemann para vrios idiomas e, tambm, pela contribuio do matemtico italiano Eugnio Beltrami (1835-1900), que em 1868 publicou um importante artigo: Ensaio de interpretao da geometria no-euclidiana, o qual descreveu e defendeu a coerncia da geometria de Lobachewsky difundindo, dessa forma, o nome geometria no-euclidiana.

43

CAPTULO II GEOMETRIA ESFRICA: UMA INTRODUO

2.1

Elementos da Geometria Esfrica

Nesta seo elencamos conceitos bsicos (definies e teoremas) sobre a Geometria Esfrica, os quais so utilizados para a resoluo dos exemplos e das atividades propostas e, comparar a Geometria Euclidiana com a Esfrica. Definio 2.1.1 - Esfera: Seja centro e raio menor ou igual do que isto ,
Figura 28 Esfera de centro e raio .

um ponto e um nmero real positivo. Chama-se do espao, tais que, a distncia entre e

de seja

o conjunto dos pontos

Fonte: Autores.

Definio 2.1.2 - Superfcie Esfrica: Chama-se conjunto dos pontos do espao, tais que, a distncia entre e

de centro seja igual a

e raio

isto ,

Figura 29 Superfcie Esfrica de centro

e raio .

Fonte: Autores.

44

A definio 2.1.2 de uma superfcie esfrica. Porm, existem tambm outras superfcies, como por exemplo: as superfcies que representam uma folha de papel lisa, uma rosquinha, uma cmara de ar de pneu de automvel, a Terra, um ovo, a gua e etc. Como ilustrao, o quadro a seguir mostra outros modelos de superfcies:
Quadro 2.1.1 Exemplos de outras superfcies.

Garrafa de Klein17

Toro18

Pseudoesfera19

Faixa de Mbius20

Fonte: Autores.

Mas, afinal o que so superfcies? Segundo Sampaio (2008) superfcies so objetos geomtricos de duas dimenses que no existem no mundo real, mas somente em nossa imaginao, pois no apresentam espessura. O que acabamos de responder apenas um conceito intuitivo, pois, o estudo das superfcies requer conceitos de topologia geral e de clculo avanado abordado em um curso de graduao, fugindo do escopo deste trabalho21. Definio 2.1.3 - Corda da superfcie esfrica: Chama-se da superfcie esfrica o

segmento de reta determinado por dois pontos distintos da superfcie esfrica.


Figura 30 Cordas , e

Fonte: Autores.
17 18

Disponvel em: <http://www.geom.uiuc.edu/docs/dpvc/Pictures/KleinBottle.gif> Acesso em 03/02/13. Disponvel em: <http://www.math.cornell.edu/~mec/2008-2009/HoHonLeung/Torus.png> Acesso em 03/02/13. 19 Disponvel em: <http://www.vialattea.net/curvatura/img/pseudosphere.gif> Acesso em 13/02/13. 20 Disponvel em: <http://utenti.quipo.it/base5/topologia/moebius05.gif> Acesso em 13/02/13. 21 Para a definio formal de superfcie consulte Carmo (2006).

45

Definio 2.1.4 - Dimetro da Superfcie Esfrica: Uma corda da superfcie esfrica que contm o centro dita da superfcie esfrica.

A Figura 31 mostra dois segmentos de reta que passam pelo centro da superfcie esfrica e so os seus dimetros.
Figura 31 Dimetros e , cuja medida vale .

Fonte: Autores.

Definio 2.1.5 Pontos antpodas: Dado um ponto qualquer antpoda centro . De acordo com a Figura 31 o ponto o antpoda do ponto

na superfcie esfrica, seu contm o

, o nico ponto da superfcie esfrica tal que o segmento de reta

e vice-versa e, os pontos

so pontos antpodas um do outro. Em resumo, dois pontos distintos de uma superfcie esfrica so antpodas quando so diametralmente opostos, isto , so os extremos de um dimetro da superfcie esfrica. Teorema 2.1.1: A interseo de uma superfcie esfrica com um plano passando pelo seu centro uma circunferncia22 de mesmo centro e mesmo raio. Prova: Sejam uma superfcie esfrica com centro e raio e um plano cuja distncia a e raio . (mega) que igual a

passa por O. A interseo

o conjunto dos pontos de

Essa exatamente a definio de uma circunferncia de centro

22

Neste trabalho adotamos a seguinte definio para circunferncia: Chama-se de centro e raio o conjunto dos pontos do plano, tais que, a distncia entre e seja igual a isto , Outra forma seria: Dados um plano (beta), um ponto de e uma distncia no nula, temos que a circunferncia de centro e raio dada por: . Lembre-se que o comprimento de uma circunferncia dado por

46 Figura 32 Interseo da superfcie esfrica com um plano passando pelo seu centro .

Fonte: Autores.

O plano

(Figura 32) divide a superfcie esfrica em duas partes chamadas de

que so superfcies semiesfricas. Definio 2.1.5 - Circunferncia Mxima: A circunferncia do teorema 2.1.1 chamada de . As circunferncias mximas so as circunferncias de maior raio contidas na superfcie esfrica, isto , so aquelas que tm o mesmo raio da superfcie esfrica. Definio 2.1.6 - Elementos Notveis da Superfcie Esfrica: i. ii. iii. iv. v. Eixo - : qualquer reta que contm o centro . Polos: So os pontos de interseo do eixo com a superfcie esfrica. Equador: uma circunferncia mxima cujo plano perpendicular ao eixo. Paralelo: uma circunferncia cujo plano perpendicular ao eixo. Ela paralela ao Equador. Meridiano: uma semicircunferncia mxima cujo plano passa pelo eixo e liga os polos. Ressalta-se que os meridianos, ao contrrio dos paralelos, no so circunferncias. A Figura 33 apresenta os elementos da definio 2.16.

47 Figura 33 Elementos Notveis da Superfcie Esfrica.

Fonte: Autores.

Definio 2.1.7 Calota Esfrica: Um plano

que corta a superfcie esfrica , divide sua .


.

superfcie em duas regies. Cada uma dessas regies se chama


Figura 34 O Plano divide a superfcie esfrica em duas regies chamadas de

Fonte: Autores.

Se a interseo entre o plano

e a superfcie esfrica S no for uma circunferncia mxima,

nem um ponto (plano tangente superfcie), ento tal interseco chamada de

48

. Logo (Figura 34), e

so respectivamente o centro e o raio

da pequena circunferncia e,

so respectivamente o polo e a altura da calota esfrica.

Definio 2.1.8 Zona Esfrica: Se dois planos paralelos cortam a superfcie esfrica, ento a parte da superfcie esfrica compreendida entre eles se chama
Figura 35 Zona Esfrica: parte amarela.

Fonte: Autores.

Definio 2.1.9 ngulo formado por dois arcos de circunferncias mximas: Quando dois arcos de circunferncias mximas se intersectam, o ngulo formado por esses dois arcos o ngulo entre as semirretas tangentes a esses arcos.
Figura 36 ngulo formado por dois arcos de circunferncias mximas.

Fonte: Autores.

O ponto I (Figura 36) ponto de interseco dos dois arcos e, tambm, a origem das semirretas que determinam o ngulo . Definio 2.1.10 - Fuso Esfrico ou Bingulo Esfrico: A regio da superfcie esfrica compreendida entre dois meridianos chamada de .

49

Esses meridianos tm dois pontos (diametralmente opostos) em comum que so os vrtices do fuso. Os meridianos so os lados do fuso.
Figura 37 Fuso esfrico ou bingulo esfrico cujo ngulo mede .

Fonte: Lima

(2011, p. 96) (Figura 37) entre os dois

Definio 2.1.11 - ngulo do Fuso Esfrico: O ngulo meridianos o ngulo do fuso.

Note que cada um dos meridianos da Figura 37 est contido em uma circunferncia mxima distinta. Logo, as duas circunferncias mximas determinam dois fusos esfricos antpodas (Figura 38), isto , um fuso completo ou duplo.
Figura 38 Fuso esfrico completo, isto , duplo. o fuso antpoda de .

Fonte: Lima

(2011, p. 96)

A seguir, apresentamos dois teoremas que nos permitem calcular o volume de uma esfera e a rea de uma superfcie esfrica. Teorema 2.1.2 Volume de uma esfera23: O volume de uma esfera de raio
23

Uma demonstrao para este teorema encontra-se em Franco e Gernimo (2010, p.296-297). Livros do Ensino Mdio tambm demonstram.

50

Teorema 2.1.3 rea de uma superfcie esfrica24: A rea de uma superfcie esfrica de raio .

Na sequncia apresentamos dois corolrios (consequncias imediatas de um teorema), que permitem calcular as reas de uma calota e uma zona esfrica. Corolrio 2.1.1 rea de uma calota esfrica25: A rea de uma calota esfrica dada por , onde o raio da superfcie esfrica e altura da calota. ,

Corolrio 2.1.2 rea da zona esfrica26: A rea de uma zona esfrica dada por onde o raio da superfcie esfrica e a distncia entre os planos paralelos.

Em seguida, so apresentados e resolvidos trs exemplos. Os dois primeiros so aplicaes diretas dos teoremas 2.1.2 e 2.1.3. J o terceiro, usa o corolrio 2.1.1 e mais alguns conceitos da Geometria Euclidiana Plana, como por exemplo, congruncia e semelhana de tringulos e razes trigonomtricas no tringulo retngulo. Exemplo 2.1.1: A real forma fsica do Planeta Terra no uma esfera, pois apresenta um achatamento nos polos Norte e Sul e outras irregularidades que chamamos de relevo (superfcie topogrfica). Na verdade sua forma fsica se aproxima mais a um elipside. Entretanto, vamos desprezar o achatamento nos polos e suas irregularidades e, passamos a considerar neste trabalho, o modelo esfrico para a Terra, cujo raio mdio igual a aproximadamente Resoluo: Como adotamos o modelo esfrico para a Terra, vamos calcular a rea total da superfcie terrestre aplicando o teorema 2.1.3. . Como 73% da superfcie composta por gua, ento 27% composta pelo solo. Portanto, de igual a . de toda superfcie composta por gua. . Assim, calcule a rea aproximada da superfcie terrestre composta por solo, sabendo que

24 25

Uma deduo da rea de uma superfcie esfrica encontra-se em Dolce e Pompeo (2005, p.264). Uma demonstrao para este corolrio encontra-se em Lima et al. (2007, p.270). 26 Uma demonstrao para este corolrio encontra-se em Franco e Gernimo (2010, p.301-302).

51

No exemplo anterior citamos que a Terra se aproxima a um elipside. Desta forma, sugerimos que o leitor pesquise o que um elipside e calcule o achatamento da Terra. Este achatamento dado pela razo , onde a medida do segmento de reta que tem extremos no Equador e

no centro da Terra e,

a medida do segmento de reta que tem extremos nos polos e no

centro da Terra. Realizando o clculo da razo acima, o leitor notar que o valor obtido ser extremamente pequeno. Em virtude disso, neste trabalho, o modelo adotado para a Terra a esfera. Exemplo 2.1.2: Considere a Lua uma esfera cujo raio mede o volume da Lua e o da Terra? Resoluo: Vamos aplicar o teorema 2.1.2. Logo, da Lua aproximadamente 49 vezes menor do que o da Terra. Exemplo 2.1.3: Um astronauta em sua nave espacial consegue visualizar em certo momento exatamente 1/6 da superfcie da Terra. Determine a que distncia ele est da superfcie do nosso planeta, considerando (2006, p.299)]. Resoluo: A frao visvel da Terra pelo astronauta uma calota esfrica. Essa frao o quociente entre a rea da calota esfrica e a rea da superfcie terrestre. Esta situao do astronauta representada pela Figura 39.
Figura 39 Distncia entre a Terra e o Astronauta.

. Qual a razo entre

. Da, conclu-se que o volume

o raio da Terra. [Extrado e adaptado de Lima et al.

Fonte: Autores

52

Identificando elementos: Os pontos e representam respectivamente o astronauta, o polo da calota esfrica, o

centro da circunferncia que determina a calota e o centro da Terra. Tais pontos so colineares. Da Geometria Euclidiana Plana as retas de centro logo, os pontos . Logo, os tringulos e tambm, congruentes (caso LAL). Os tringulos e que representada por . , temos: e e so tangentes circunferncia e respectivamente e, so semelhantes (caso AA), , o raio da Terra e

so retngulos em

e, tambm, retngulos. A distncia entre o astronauta e a Terra a distncia entre . A altura da calota

Aplicando as relaes trigonomtricas (seno) no tringulo retngulo

Pelo corolrio 2.1.1 a rea da calota esfrica

Vamos chamar de Logo,

a frao visvel. . , temos:

Agora, aplicando as relaes trigonomtricas (seno) no tringulo retngulo . Ento, segue que:

Portanto,

Vamos agora aplicar os dados na equao

, onde

53

Ento, Portanto, a distncia entre o astronauta e a superfcie da Terra As equaes visualizao ( e so teis para determinarmos a distncia ( ), o ngulo de

) e a frao visvel ( ) de um astronauta ou um satlite em relao ao Planeta

Terra e, tambm, em relao a outros corpos celestes. Teorema 2.1.4 - rea do Fuso Esfrico: A rea do fuso esfrico superfcie esfrica e o ngulo do fuso. est para a rea da superfcie esfrica . , assim como , onde o raio da

Prova: A rea do fuso esfrico o ngulo do fuso Logo, .

(em radianos) est para

Na sequncia, so apresentados e resolvidos outros trs exemplos. O primeiro uma aplicao direta do teorema 2.1.4. Para o segundo, se aplicam os teoremas 2.1.3 e 2.1.4. O terceiro, tambm se aplica o teorema 2.1.4, porm necessrio determinar o ngulo do fuso, uma vez que se conhece o raio da superfcie esfrica (raio da Terra). Para isso, uma conexo com a Geografia realizada. Exemplo 2.1.4: Um fuso de ngulo a rea de um fuso de ngulo contm. Exemplo 2.1.5: Qual a razo entre a rea de um fuso de ngulo esfrica que o contm? Resoluo: Pelo teorema 2.1.4, temos: Logo, vezes maior do que a rea do fuso. . . Neste exemplo, a rea da superfcie esfrica 4 e a rea da superfcie um hemisfrio cuja rea , isto ,

igual metade da rea da superfcie esfrica que o

54

Exemplo 2.1.6: A Terra leva 24 horas ou um dia para dar uma volta completa em torno do seu eixo (movimento de rotao). Determine a rea de um fuso esfrico contido na superfcie terrestre que corresponde ao intervalo de uma hora. Resoluo: A rea do fuso dada por , onde o raio da Terra e

(radiano) o ngulo do fuso. Devemos determinar o valor de Para isso temos que Logo, (uma volta completa) est para , assim como . est para .

A necessidade de dividir a Terra em 24 partes aproximadamente iguais, uma vez que ela leva 24 horas para realizar seu movimento de rotao, resultou no que se chama de fuso horrio. Cada fuso horrio corresponde a uma faixa limitada por dois meridianos, distantes 15 um do outro. Isto quer dizer que no intervalo de uma hora a Terra girou entorno do seu eixo polar (da esquerda para a direita) 15. Um fato interessante que temos localidades distintas situadas dentro de um mesmo fuso horrio. A hora marcada nos relgios de tais localidades ser a mesma. Isso se chama hora oficial. Por exemplo: as cidades de Braslia, Londrina e Foz do Iguau esto situadas em meridianos distintos, porm, esto no mesmo fuso horrio e tm a mesma hora oficial, que neste caso o de Braslia, entretanto no tm a mesma hora verdadeira em virtude de estarem localizadas em diferentes meridianos. Voltando ao enunciado do exemplo vamos calcular a rea do fuso. Ento, .

Portanto a rea de um fuso esfrico contido na superfcie terrestre que corresponde ao intervalo de uma hora, isto , 15 igual a aproximadamente rea de da quantidade de campos de futebol informada. Na sequncia apresentamos alguns conceitos e resultados a respeito de tringulos esfricos. . Isso equivale campos de futebol cujas dimenses so

. Aqui sugerimos que o leitor verifique que a rea do fuso corresponde a rea

55

Definio 2.1.12 Tringulo Esfrico: Uma figura sobre a superfcie esfrica trs arcos de circunferncias mximas, os quais so os seus lados. Tais arcos so menores do que uma semicircunferncia mxima (Figura 40).
Figura 40 Tringulo esfrico e seu antpoda .

chama-se

quando est contida propriamente em algum hemisfrio e limitada por

Fonte: <http://images.planetmath.org/cache/objects/5841/js/img2.png> Acesso em 16/03/2013.

O teorema abaixo de grande importncia, uma vez, que por meio dele provamos neste trabalho o clssico resultado da Geometria Esfrica: A soma dos ngulos internos de um tringulo esfrico sempre maior do que dois ngulos retos (180). Teorema 2.1.5: Seja hemisfrios e ( (fi) um fuso completo ). As partes e do fuso completo , cujo ngulo mede a decompe em dois contidas em cada um

radianos. Qualquer plano que passe pelo centro da superfcie esfrica desses hemisfrios tm a mesma rea

Figura 41 A Regio hachurada (parte tracejada) a parte de um fuso completo a qual pertence a um hemisfrio arbitrrio. A rea da regio igual a .

Fonte: Lima (2011a, p. 97).

56

Prova: Baseada em Lima (2011a). Vamos provar que as partes ento, Onde, : a rea do fuso completo, e e so respectivamente as reas de e . e do fuso completo tem a mesma rea, pois, se

Pode-se notar que um ponto de

formam figuras antpodas, isto , cada ponto de

o antpoda de

e vice-versa. a reunio de dois tringulos esfricos . Por outro lado, e com um vrtice em e , ou e seu

Conforme a Figura 41, comum, isto , seja, antpoda

a reunio dos tringulos antpodas de

Agora, basta provarmos que um tringulo esfrico, por exemplo, tm reas iguais. e

Podemos observar que porm, e

tem ngulos de mesma medida e lados congruentes, dois a dois, sejam issceles. e

no so congruentes, isto , no possvel, por um movimento rgido, mover um

deles no espao at sobrepor-se exatamente sobre o outro, ao menos que e Veremos agora, por meio das Figuras 42 e 43, duas tentativas de sobrepor

Figura 42 Tringulos esfricos e , com os trs vrtices coincidindo.

Fonte: Lima (2011a, p. 97).

Na figura acima os vrtices do triangulo esfrico coincidem com os vrtices do tringulo . J na Figura 43, coincide-se um ngulo de com outro ngulo igual de .

57 Figura 43 Tringulos esfricos e coincidindo um ngulo de com outro ngulo igual de .

Fonte: Lima (2011a, p. 97).

Podemos observar que se e e tem a mesma rea, isto ,

so issceles, ento congruente ao seu antpoda . Logo, . e tm reas iguais, procederemos

De um modo geral, para mostrarmos que os tringulos assim: Sejam , por , e e

os vrtices do tringulo esfrico t. A interseco entre um plano e a superfcie esfrica uma pequena circunferncia

que passa

e, portanto, o plano

divide a superfcie esfrica tringulo . Seja plano o polo dessa calota.

em duas calotas esfricas, onde uma dessas calotas contm o

o ponto de interseco da calota com a reta perpendicular ao .

que passa pelo centro da pequena circunferncia , , e

Os arcos de circunferncia mxima tringulos esfricos Se o ponto antpoda , . e , e

tem o mesmo comprimento. Logo, os

so issceles. (Figura 44), temos que

estiver no interior do tringulo esfrico

. Ento, uma construo anloga pode ser feita com o tringulo , decompondo-o como a reunio justaposta dos tringulos issceles , cada uma deles antpoda do seu correspondente em Da segue que

58 Figura 44 O Ponto est no interior do tringulo esfrico .

Fonte: Lima (2011a, p. 98)

Se o ponto

estiver no exterior do tringulo esfrico Da, como no caso anterior, conclumos que
Figura 45 O Ponto

(Figura 45), temos que .


.

. Uma situao anloga ocorre com o tringulo antpoda

est no exterior do tringulo esfrico

Fonte: Lima (2011a, p. 98)

Portanto, o teorema 2.1.5 est provado. Vamos agora, provar o teorema que afirma que a soma dos ngulos internos de um tringulo esfrico sempre maior do que dois ngulos retos. Na Geometria Euclidiana essa soma sempre igual a dois ngulos retos. Para provar este resultado euclidiano, basta traar por um dos vrtices de um tringulo plano uma reta paralela reta que passa pelos outros dois lados e considerar ngulos alternos internos. Teorema 2.1.6 Soma dos ngulos internos de um tringulo esfrico: Se medidas (em radianos) , onde dos ngulos internos de um tringulo e so as ento

esfrico,

a rea desse tringulo e o raio da superfcie esfrica.

Prova: Baseada em Lima (2011a).

59

Vamos considerar um hemisfrio a Figura 46.

da superfcie esfrica que contenha o tringulo dado. Veja


, tringulo esfrico e a regio .

Figura 46 Hemisfrio

Fonte: Lima (2011a, p. 99).

Prolongando os lados que formam o ngulo hemisfrio , obtemos uma regio , isto , e regio igual a .

nos dois sentidos at intersectarem o bordo do tal que, pelo teorema 2.1.5, a rea dessa

contida em

Analogamente para os ngulos respectivamente Reunindo as regies , e e

, obtemos as regies .

, cujas reas so

obtemos o hemisfrio

. Entretanto, fazendo isso, o

tringulo esfrico foi contado trs vezes, duas vezes a mais do que devia. Pelo teorema 2.1.3 a rea do hemisfrio Logo, Fazendo as substituies, temos: Dividindo a equao acima por , obtemos: (2.1.3) O que conclui a nossa prova. A equao (2.1.3) conhecida como a frmula de Girard, um gemetra francs que a demonstrou em 1629. Ela, tambm mostra que a soma dos ngulos internos de um tringulo esfrico sempre maior do que dois ngulos retos, isto , , pois, . igual a , isto ,

60

A equao (2.1.3) pode ser reescrita da seguinte maneira: (2.1.4) A equao (2.1.4) representa o excesso esfrico, isto , em quanto soma dos ngulos internos do triangulo esfrico excede direito sempre maior do que zero. Reescrevendo a equao (2.1.4) temos (2.1.5) A equao (2.1.5) representa a rea do tringulo esfrico que est contido em superfcie esfrica de raio . Para um tringulo esfrico de rea muito pequena, isto , quando esfrico (equao 2.1.4) insignificante e, ento a soma porm, no assume este valor. Verificando: Se tende para zero, temos: tende para Por outro lado podemos imaginar um tringulo esfrico (Figura 47) que ocupe quase todo o hemisfrio que o contm. Para isso tome os trs vrtices equidistantes e bem prximos da circunferncia mxima que separa um hemisfrio do outro. tende para Lembre-se que no outro do tringulo esfrico tende para hemisfrio temos o tringulo antpoda. Logo, se isso ocorrer a rea que a rea do hemisfrio, ento a soma , entretanto, no assume este valor. Verificando: Se tende para , temos: tende para . Ento, como conclui-se que tende para zero o excesso tende para , . Deve-se tomar cuidado, pois, a diferena do lado

61 Figura 47 Tringulo esfrico cobrindo quase todo o hemisfrio .

Fonte: Autores.

Assim, pela verificao realizada anteriormente, conclumos que para qualquer tringulo esfrico temos .

O prximo exemplo destaca que um tringulo esfrico pode ter at trs ngulos retos, o que no ocorre na Geometria Euclidiana. Exemplo 2.1.7: Vamos considerar um tringulo esfrico sobre uma superfcie esfrica de raio arbitrrio que tem um lado sobre o Equador e um vrtice em algum dos polos. Ento os outros dois lados sero arcos de meridianos e formaro ngulos retos na interseco com o Equador. Se a base for um arco de um quarto do Equador, os trs ngulos deste tringulo sero todos retos, isto , a soma dos ngulos internos (Figura 48).

Figura 48 Tringulo Trirretngulo.

Fonte: Autores.

A observao a seguir traz algumas nomenclaturas a respeito de tringulos esfricos.

62

Observao 2.1.1: Um tringulo esfrico que tem trs ngulos retos chamado de tringulo . Entretanto, se tem dois ngulos retos dito tringulo medida (de cada lado) menor do que , onde . Vale lembrar que os lados dos tringulos esfricos so arcos de circunferncias mximas cuja o raio da superfcie esfrica que os contm. Cada lado de um tringulo esfrico est associado ao ngulo central27 da circunferncia mxima que o contm. Assim, um tringulo esfrico que tem um lado medindo 90 chamado de . Se o tringulo tm dois lados medindo 90 cada um dito Convm . Entretanto, se os trs lados medem 90 ele se chama trirretiltero os lados tm o mesmo comprimento. O exemplo a seguir uma aplicao da equao 2.1.5 (clculo da rea de um tringulo esfrico) Exemplo 2.1.8: Prove que a rea de um tringulo esfrico trirretiltero igual a um oitavo da rea da superfcie esfrica associada. Prova: Como o tringulo trirretiltero, ele tambm trirretngulo, isto , seus ngulos internos medem Ento, aplicando a equao temos: . Seja o raio da superfcie esfrica.

notar que um tringulo esfrico trirretngulo se, e s se trirretiltero. Em um tringulo

Pelo teorema 2.1.3 temos que a rea da superfcie esfrica Logo,

27

Um ngulo central de uma circunferncia um ngulo que tem o vrtice no centro da circunferncia. Se e so dois pontos distintos de uma circunferncia ento o arco o correspondente ao ngulo central que determina o arco .

63

Um dos teoremas mais conhecido no meio escolar o Teorema de Pitgoras, entretanto, o exemplo a seguir apresenta uma discusso a acerca da sua validao na Geometria Esfrica. Exemplo 2.1.9: O tringulo esfrico da Figura 48 tem pelo menos um ngulo reto. Ento, a surge uma questo: Ser que o Teorema de Pitgoras vlido em uma superfcie esfrica? De acordo com Silva (2011) o Teorema de Pitgoras no vale na superfcie esfrica. Para verificar isso, vamos aplicar o mtodo de reduo a um absurdo. Ento, considerando o tringulo trirretngulo da Figura 48 que tambm trirretiltero (cada lado mede 90), temos que os lados (arcos) do tringulo esfrico tm o mesmo comprimento .

Agora, supondo que o Teorema de Pitgoras vale na superfcie esfrica, temos: , o que um absurdo, pois, um lado no pode ter comprimento nulo. Portanto, na Geometria Esfrica o Teorema de Pitgoras no se verifica. O prximo exemplo visa determinar a rea de um tringulo esfrico contido na superfcie da Terra. Entretanto, os ngulos internos do tringulo so dados em graus e, para que a equao 2.1.5 seja aplicada, os ngulos devem ser convertidos em radianos. Exemplo 2.1.10: Determine a rea de um tringulo esfrico que est contido na superfcie terrestre, onde Resoluo: Considerando o raio da Terra igual a 6370 km. Como (rad) equivale a 180, ento , e . , e

Agora, aplicando os dados na equao 2.1.5, temos: . Portanto, a rea do tringulo esfrico igual a .

As seis atividades que propomos na sequncia tem por objetivos trabalhar e fixar os resultados que elencamos sobre tringulos esfricos.

64

A primeira atividade objetiva uma reflexo sobre as possibilidades para a existncia de um tringulo esfrico, no que diz respeito soma dos ngulos internos. A segunda busca verificar o quanto a soma dos ngulos internos maior do que 180 e, tambm, procura trabalhar com a converso de unidades. A terceira visa o clculo da rea de um tringulo esfrico, que depende da medida do raio da esfera em que tal tringulo est contido, porm, para isso, necessrio converter unidades para aplicar a equao 2.1.5. A quarta objetiva refletir sobre a existncia de polgonos esfricos contidos em uma superfcie esfrica, alm de realizar uma demonstrao da rea de um quadriltero esfrico conhecendo a rea de um tringulo esfrico. A quinta uma generalizao da quarta atividade, em que objetiva deduzir a rea de um polgono esfrico de lados a partir da rea de um tringulo esfrico.

A sexta atividade uma aplicao do resultado obtido na quarta atividade. Atividade proposta 2.1.1: Existe um tringulo esfrico cujos ngulos internos medem: a) 152, 136 e 148? Justifique. b) 180, 180 e 180? Justifique. c) 90, 55 e 35? Justifique. Atividade proposta 2.1.2: Qual o excesso esfrico de um tringulo esfrico cujos ngulos internos medem 117, 84 e 96? a) Expresse em graus; b) Expresse em radianos; c) Expresse em ngulos retos. Atividade proposta 2.1.3: Determine a rea de um tringulo esfrico que est contido em uma superfcie esfrica de dimetro igual a 12 metros, cujos ngulos medem 82, 98 e 100. Atividade proposta 2.1.4: Mostre que a rea de um quadriltero esfrico dada por, , onde, o raio da superfcie esfrica em que o quadriltero est

65

contido e,

(em radianos) os ngulos do quadriltero. Sugesto: Decomponha o

quadriltero esfrico em dois tringulos esfricos. Atividade proposta 2.1.5: Deduza a rea de um polgono esfrico de Sugesto: Decomponha o polgono esfrico em tringulos esfricos. lados

Atividade proposta 2.1.6: Calcule a rea de um quadriltero esfrico que est sobre a superfcie terrestre, sabendo que todos seus ngulos so iguais a 100. A seguir apresentamos um exemplo que descreve uma situao real a respeito do deslocamento de um navio sobre a superfcie terrestre. Para resolv-lo vamos considerar que tal deslocamento ocorre sobre uma circunferncia mxima. Da Geometria Euclidiana Plana, possvel calcular a medida de um arco de circunferncia. Exemplo 2.1.11: Em alto mar, quantos quilmetros um navio percorre quando se move em 1 de circunferncia mxima. Resoluo: Queremos determinar o comprimento de um arco de circunferncia mxima sobre a superfcie da Terra que est associado a um ngulo central cuja medida igual a 1. Logo, comprimento do arco est para o comprimento da circunferncia mxima assim como o ngulo central (1) que determina o arco est para o ngulo de uma volta (360). Ento,

Portanto, o navio percorre mxima sobre a superfcie terrestre.

quando se desloca em 1 grau de circunferncia

Tomando como ponto de partida o exemplo 2.1.11, vamos definir distncia entre dois pontos distintos na Geometria Esfrica. Lembre-se que na Geometria Euclidiana, a trajetria de menor comprimento ligando dois pontos distintos comprimento e o segmento de reta e seu a distncia entre eles. Entretanto, na Geometria Esfrica isso no se .

verifica. Logo, para definirmos distncia na Geometria Esfrica, precisamos compreender inicialmente o que uma

66

Definio 2.1.13 Geodsica: A curva que minimiza a distncia entre dois pontos distintos em uma superfcie chamada de .

Observao 2.1.2: Na Geometria Euclidiana, uma geodsica uma reta. J na Geometria Esfrica uma geodsica uma circunferncia mxima. Em algumas ocasies a palavra reta usada na Geometria Esfrica fazendo referncia a uma circunferncia mxima, entretanto, deve-se enfatizar que isto um abuso de linguagem. Definio 2.1.14 Distncia entre dois pontos distintos em uma superfcie esfrica: A distncia entre dois pontos distintos em uma superfcie esfrica o comprimento do menor arco de circunferncia mxima que passa esses pontos. Destacamos que Murray (1908) prova que este arco o caminho mais curto que pode ser traado sobre a superfcie da esfera ligando tais pontos. Alves (2009, p. 74 - 76) tambm prova este resultado. A Figura 49 representa uma superfcie esfrica e ilustra a definio 2.1.14. Nela temos uma circunferncia mxima passando pelos pontos Vamos fixar nossa ateno nos arcos e e e, outra passando pelos pontos e . (em vermelho). Tais arcos so aqueles que tm

o menor comprimento que une cada par de pontos respectivamente.


Figura 49 e menor arco de circunferncia mxima.

Fonte: Autores.

67

At aqui, identificamos vrios resultados especficos Geometria Esfrica. Desta forma, o nosso intuito agora apresentar, por meio do quadro 2.1.2, uma lista de implicaes conceituais contendo questes formuladas baseadas na teoria da Geometria Euclidiana e da Geometria Esfrica, visando compar-las.
Quadro 2.1.2 Geometria Euclidiana x Geometria Esfrica. Geometria Euclidiana 1. Qual o polgono de menor nmero de lados? 2. Se colocarmos dois pontos distintos em uma reta, como fica dividida esta reta? 3. Qual a soma dos ngulos internos de um tringulo? 4. O que o ocorre quando se traa duas retas em um mesmo plano? 5. Em quantas regies podem trs retas dividir o plano? 6. Quantos ngulos retos um tringulo euclidiano pode ter? 7. Qual o caminho mais curto entre dois pontos distintos no plano? 8. No plano, retas concorrentes se intersectam em quantos pontos? 9. No plano, duas retas perpendiculares determinam quantos ngulos retos? 10. Quantas retas passam por dois pontos distintos? 11. Por um ponto fora de uma reta, passam quantas retas paralelas reta dada? Fonte: Autores. Geometria Esfrica 1. Qual o polgono de menor nmero de lados? 2. Se colocarmos dois pontos distintos em uma circunferncia mxima, como ela fica dividida? 3. Qual a soma dos ngulos internos de um tringulo? 4. O que ocorre quando se traa duas circunferncias mximas em uma mesma superfcie esfrica? 5. Em quantas regies podem trs circunferncias mximas dividir a superfcie esfrica? 6. Quantos ngulos retos um tringulo esfrico pode ter? 7. Qual o caminho mais curto entre dois pontos distintos na superfcie esfrica? 8. Na superfcie esfrica, circunferncias mximas se intersectam em quantos pontos? 9. Na superfcie esfrica, duas circunferncias mximas perpendiculares determinam quantos ngulos retos? 10. Quantas circunferncias mximas passam por dois pontos antpodas? 11. Existem retas paralelas na superfcie esfrica? Por qu?

Uma maneira experimental de comparar a Geometria Euclidiana e a Geometria Esfrica trabalhar com softwares de geometria dinmica, por exemplo: o GeoGebra28 e, com materiais concretos, como: alfinetes, ltex colorido, esferas de isopor, canudos de refrigerante, transferidores e etc. Logo, com o intuito de compararmos as Geometrias Euclidiana e Esfrica, apresentamos na sequncia onze (11) quadros procurando responder a cada uma das questes elencadas no quadro 2.1.2, em que utilizamos os recursos didticos citados acima.

28

O GeoGebra um software de Matemtica dinmica gratuito para todos os nveis de ensino, que combina geometria, lgebra, tabelas, grficos, estatstica e clculo em um nico sistema.

68 Quadro 2.1.2.1 Polgono de menor nmero de lados na Geometria Euclidiana e Esfrica. Geometria Euclidiana Geometria Esfrica Qual o polgono de menor nmero de lados? Qual o polgono de menor nmero de lados? No plano, o tringulo o polgono de menor nmero de lados enquanto na superfcie esfrica o bingulo, cujos lados so formados por duas semicircunferncias mximas distintas e, seus vrtices so diametralmente opostos.

Fonte: Autores.

Quadro 2.1.2.2 Uma reta e uma circunferncia mxima sendo separadas por dois pontos distintos. Geometria Euclidiana Geometria Esfrica Se colocarmos dois pontos distintos em uma reta, Se colocarmos dois pontos distintos em uma como fica dividida esta reta? circunferncia mxima, como ela fica dividida? Na Geometria Euclidiana dois pontos distintos separam uma reta em trs partes, j na Geometria Esfrica, separam uma circunferncia mxima em apenas duas partes.

Fonte: Autores.

Quadro 2.1.2.3 Medindo ngulos de tringulos planos e esfricos. Geometria Euclidiana Geometria Esfrica Qual a soma dos ngulos Qual a soma dos ngulos internos de um tringulo? internos de um tringulo? No plano, a soma dos ngulos internos de qualquer tringulo igual a dois ngulos retos, enquanto que, na superfcie esfrica, a soma maior do que 180. Para aferir as medidas dos ngulos internos do tringulo esfrico podemos utilizar o transferidor sobrepondo-o nos canudos de refrigerante, que representam as retas tangentes em cada vrtice (vide definio 2.1.9), e registrar cada medida para som-las e assim, verificar que a soma maior do que 180.

69

Fonte: Autores.

Quadro 2.1.2.4 Posio relativa de duas retas no plano e duas circunferncias mximas na superfcie esfrica. Geometria Euclidiana Geometria Esfrica O que o ocorre quando se traa duas retas em um O que ocorre quando se traa duas circunferncias mesmo plano? mximas em uma mesma superfcie esfrica? No plano, duas retas podem ser coincidentes, paralelas ou concorrentes. J na superfcie esfrica duas circunferncias mximas podem ser coincidentes ou concorrentes uma vez, que sempre se intersectam em pontos diametralmente opostos.

Fonte: Autores.

Quadro 2.1.2.5 Nmero de regies do plano e da superfcie esfrica. Geometria Euclidiana Geometria Esfrica Em quantas regies podem trs retas distintas Em quantas regies podem trs circunferncias dividir o plano? mximas distintas dividir a superfcie esfrica? Quando se traa trs retas distintas na Geometria Euclidiana o plano pode ser dividido em 4, 6 ou 7 regies, entretanto, na Geometria Esfrica quando se traam trs circunferncias mximas distintas a superfcie esfrica pode ser dividida em 6 ou 8 regies. Trs circunferncias mximas que passam pelos mesmos pontos diametralmente opostos dividem a superfcie esfrica em seis regies. Entretanto, duas circunferncias mximas que passam pelos mesmos pontos antpodas e outra que no passa, dividem a superfcie esfrica em oito regies.

70

Fonte: Autores.

Quadro 2.1.2.6 ngulos retos em tringulos planos e esfricos. Geometria Euclidiana Geometria Esfrica Quantos ngulos retos um tringulo Quantos ngulos retos um tringulo esfrico pode ter? euclidiano pode ter? No plano um tringulo pode ter no mximo um ngulo reto, enquanto que na superfcie esfrica trs ngulos retos. No plano, um tringulo ou tem um ou nenhum ngulo reto. J na superfcie esfrica um tringulo ou tem trs, ou tem dois, ou tem um ou nenhum ngulo reto. Deve-se lembrar que cada meridiano perpendicular ao Equador (vide exemplo 2.1.7).

Fonte: Autores.

Quadro 2.1.2.7 Conceito de distncia na Geometria Euclidiana e Esfrica. Geometria Euclidiana Geometria Esfrica Qual o caminho mais curto entre dois pontos Qual o caminho mais curto entre dois pontos distintos no plano? distintos na superfcie esfrica? Na Geometria de Euclides o menor caminho entre dois pontos distintos um segmento de reta que tem os extremos nesses pontos. Enquanto na Geometria Esfrica o menor arco de circunferncia mxima que passa

71 por esses dois pontos.

Fonte: Autores.

Quadro 2.1.2.8 Quantidade de pontos da interseco. Geometria Euclidiana Geometria Esfrica No plano, retas concorrentes se intersectam em Na superfcie esfrica, circunferncias mximas se quantos pontos? intersectam em quantos pontos? No plano, duas retas concorrentes se intersectam em um nico ponto. J na superfcie esfrica duas retas (circunferncias mximas) se intersectam sempre em dois pontos distintos chamados de antpodas, isto , pontos diametralmente opostos.

Fonte: Autores.

Quadro 2.1.2.9 Nmero de ngulos retos. Geometria Euclidiana Geometria Esfrica No plano, duas retas perpendiculares Na superfcie esfrica, duas circunferncias mximas perpendiculares determinam quantos ngulos retos? determinam quantos ngulos retos? Na Geometria Euclidiana duas retas perpendiculares determinam sempre quatro ngulos retos enquanto que na superfcie esfrica duas retas perpendiculares sempre determinam oito ngulos retos.

72

Fonte: Autores. Quadro 2.1.2.10: Uma nica reta passando por dois pontos distintos e infinitas circunferncias mximas passando por dois pontos antpodas. Geometria Euclidiana Quantas retas passam por dois pontos distintos? Geometria Esfrica Quantas circunferncias mximas passam por dois pontos antpodas? Por dois pontos distintos no plano passa uma nica reta j na superfcie esfrica por dois pontos antpodas passam infinitas circunferncias mximas.

Fonte: Autores.

Quadro 2.1.2.11: Nmero de retas e circunferncias mximas paralelas. Geometria Euclidiana Geometria Esfrica Por um ponto fora de uma reta, passam quantas retas Existem retas paralelas na superfcie esfrica? Por paralelas reta dada? qu? Na Geometria de Euclides, passa uma nica reta paralela por um ponto fora de uma reta dada, enquanto que na Geometria Esfrica no h retas paralelas, uma vez que quaisquer duas circunferncias mximas sempre se intersectam em dois pontos antpodas. Aqui, temos uma situao em que se nega o quinto postulado.

73

Fonte: Autores.

Acreditamos que as comparaes realizadas nos onze (11) quadros, possibilitam ao leitor uma reflexo acerca das diferenas conceituais entre as Geometrias Euclidiana e Esfrica e, tambm, ao professor uma alternativa de explorar tais geometrias em sala de aula por meio de materiais manipulveis e softwares de geometria dinmica, como por exemplo, o GeoGebra. Na prxima seo vamos introduzir o sistema de coordenadas cartesianas no espao e, com resultados da Geometria Analtica apresentamos as equaes reduzida e geral de uma superfcie esfrica.

2.2 Seja

Coordenadas Cartesianas o espao euclidiano tridimensional. O espao euclidiano tridimensional o produto (Conjunto dos Nmeros Reais), isto , representa a reta e de coordenadas cartesianas . A representa o plano cartesiano. Vamos agora, . Indicamos tal sistema por . Devemos lembrar que

cartesiano de trs conjuntos iguais a real e,

considerar um sistema de trs eixos ortogonais (coordenadas retangulares) com origem no ponto escolha do sistema ordenado

tem o objetivo de associarmos cada ponto P do espao a um terno

de nmeros reais, chamados de coordenadas do ponto .

74 Figura 50 Sistema .

Fonte: Autores.

De acordo com a Figura 50, podemos notar que para o ponto , h dois ngulos latitude, respectivamente, de um ponto sobre a superfcie terrestre. Os tringulos , temos: e

(teta) e

(fi) associados. Veremos mais adiante que tais ngulos esto relacionados com a longitude e

so retngulos. Aplicando o Teorema de Pitgoras no tringulo

Agora, aplicando o Teorema de Pitgoras no tringulo

, temos:

Estendendo o raciocnio, a distncia entre dois pontos distintos do espao, por exemplo, e (as coordenadas do ponto so conhecidas) dada por:

Uma demonstrao para a equao 2.2.3 est no apndice A. Se considerarmos o ponto de raio e o ponto como sendo o centro de uma superfcie esfrica pertencente superfcie ento temos:

75

Logo,

A equao 2.2.4 chamada de equao reduzida da superfcie esfrica desenvolvendo os quadrados, obtemos: . Fazendo, ; ; e , temos:

. Entretanto,

A equao 2.2.5 chamada de equao geral da superfcie esfrica . Em particular, se o centro da superfcie esfrica sua equao reduzida fica, for a origem do sistema (Figura 51),

Figura 51 Superfcie esfrica com centro na origem do sistema

Fonte: Autores.

76

Observao 2.2.1: A interseco do plano que contm os eixos esfrica o Equador (definio 2.1.6 iii). O ponto

com a superfcie

pertence a algum meridiano.

Os dois exemplos apresentados na sequncia visam escrever as equaes reduzida e geral da superfcie esfrica, conhecendo o seu centro e raio. Exemplo 2.2.1: Escreva a equao reduzida da superfcie esfrica que tem centro no ponto e raio Resoluo: Aplicando a equao (2.2.4) temos: .

Exemplo 2.2.2: Escreva a equao geral da superfcie esfrica que tem centro no ponto e raio Resoluo: Aplicando a equao (2.2.5) temos:

onde, ; e, ;

Portanto, a equao geral : O exemplo 2.2.4 objetiva determinar o centro e o raio de uma superfcie esfrica por meio de uma tcnica chamada completar quadrados. Para aplicar tal tcnica, a equao da superfcie esfrica deve estar escrita na sua forma geral, com intuito de reescrev-la na forma reduzida. Tcnica de Completar quadrado: Completar quadrado escrever uma expresso do tipo , como: . Porm, h casos em que o fator 2 no est presente. Quando isso ocorrer, devemos fazer com que ele aparea. Vejamos: Portanto, . .

77

Exemplo 2.2.3: Aplique a tcnica de completar quadrado em cada caso: a) b) c) Exemplo 2.2.4: Determine o centro e o raio da superfcie esfrica que tem equao

Resoluo: Neste caso vamos completar quadrados. Vejamos:

Ento,

Da, temos que o centro o ponto

e,

O exemplo a seguir uma aplicao direta da equao reduzida de uma superfcie esfrica. Exemplo 2.2.5: Escreva a equao reduzida da superfcie terrestre considerando que o seu centro a origem do sistema Resoluo: O centro o ponto Logo, a equao procurada : . e o raio . .

Na sequncia apresentamos duas atividades propostas. A primeira tem como objetivo escrever a equao geral da cada superfcie esfrica conhecendo o centro e o raio. A prtica desta atividade vai favorecer a compreenso e o desenvolvimento dos exemplos e atividades propostas do Captulo III sobre o GPS. A segunda tem por objetivo determinar o centro e o raio das superfcies esfricas aplicando a tcnica de completar quadrados. Entretanto, esta atividade tambm pode ser resolvida

78

comparando cada equao dada com a equao 2.2.5 a fim de se determinar os coeficientes , , e .

Atividade proposta 2.2.1: Escreva a equao geral de cada uma das superfcies esfricas a seguir: a) b) c) d) e) centro (1, 2, 3) e raio . centro centro centro e raio . e raio e raio . . .

centro (5, 3, 1) e raio

Atividade proposta 2.2.2: Determine o centro e raio de cada superfcie esfrica abaixo: Sugesto: Complete quadrados. a) b) c) d) e)

2.3

Coordenadas Geogrficas:

A partir daqui, vamos adotar um sistema de coordenadas que possibilita determinar a localizao de qualquer ponto ou uma regio sobre a superfcie da Terra. Tal sistema denominado e Para fins didticos, usamos a expresso Terra. Inicialmente, vamos considerar o sistema globo terrestre cujo centro a origem do sistema para representar a superfcie da . A Figura 52 uma representao do . Nesse sistema as coordenadas so

79 Figura 52 Globo Terrestre cujo centro a origem do sistema .

Fonte: Autores.

Na sequncia apresentamos algumas definies pertinentes ao estudo da localizao lugar de um ponto ou uma regio sobre o globo terrestre, como latitude e longitude. Definio 2.3.1 Meridiano de Greenwich: o meridiano mais notvel e definido como o primeiro meridiano meridiano principal. Tal nome deve-se ao fato deste meridiano passar por uma localidade prxima da cidade de Londres Inglaterra, onde h um observatrio astronmico. Este meridiano tambm utilizado como referncia para estabelecer a relao entre os fusos horrios em qualquer lugar do globo terrestre. Definio 2.3.2 Latitude: A latitude de um ponto meridiano que passa por a medida ( em graus) do arco de

situado entre o paralelo que contm

e o Equador.

A definio 2.3.2 pode ser interpretada da seguinte maneira: Considere um meridiano arbitrrio. Sua interseco com o Equador um ponto outro ponto (distinto de (Figura 52), por exemplo. Tome a que ) sobre tal meridiano. A medida (em graus) do arco

latitude do ponto . Conforme a Figura 52, o arco citado na definio 2.3.2 o arco est associado ao ngulo central

. A latitude se expressa em graus, minutos e segundos

80

. Ela medida de 0 a 90 norte (N) ou de 0 a 90 sul (S). Para fins de clculos futuros, a parte norte (N) positiva e a parte sul (S) negativa, respectivamente, acima e abaixo da linha do Equador. Definio 2.3.3 Longitude: A longitude de um ponto paralelo que passa por Greenwich. A definio 2.3.3 pode ser interpretada da seguinte maneira: A longitude de um lugar o ngulo medido ao longo do Equador da Terra, tendo origem na interseco do meridiano de Greenwich com o Equador, e extremidade em outro meridiano que tambm se intersecta com o Equador. Conforme a Figura 52, o arco citado na definio 2.3.3 o arco associado ao ngulo central . Podemos notar tambm que o arco meridiano que contm o ponto (Figura 52) contido no Equador tambm est associado . A longitude se expressa em graus, minutos e segundos que est a medida ( em graus) do arco de e o meridiano de

situado entre o meridiano que contm

ao ngulo , que o ngulo do fuso esfrico determinado pelo meridiano de Greenwich e o . Ela medida de 0 a 180 leste (E) ou de 0 a 180 oeste (W). Para fins de clculos futuros, a parte leste (E) positiva e a parte oeste (W) negativa, respectivamente, direita e a esquerda do meridiano de Greenwich. Com base nas trs definies anteriores, a Figura 53 representa o globo terrestre com suas linhas de latitude e longitude, destacando o Equador e o meridiano de Greenwich (Prime Meridian).
Figura 53 Linhas de Latitude e Longitude.

Fonte: <http://static.yousaytoo.com/post_images/37/2e/6f/9143452/remote_image_96447bfafe.jpg> Acesso em 04/12/2012.

81

O exemplo a seguir apresenta latitudes e longitudes de algumas cidades situadas nos hemisfrios Norte e Sul e, tambm, Leste e Oeste do meridiano de Greenwich. Exemplo 2.3.1: Latitudes e Longitudes de algumas cidades: Cidade Foz do Iguau Brasil Maring Brasil Londrina Brasil Lisboa Portugal Berlim Alemanha Tquio Japo Latitude Longitude

Observao 2.3.1: Tanto a latitude quanto a longitude, podem ser obtidas apenas em graus, pois, valem as seguintes relaes: corresponde a corresponde a ;

O exemplo a seguir tem por objetivo escrever o ngulo dado somente em graus. Exemplo 2.3.2: Transforme Resoluo: Como Logo, corresponde a . em apenas graus. , ento corresponde a .

Dica: Para transformar segundos em minutos e minutos em graus, divide-se por 60, caso contrrio multiplica-se por 60. Nas sees 2.2 e 2.3 definimos as coordenadas cartesianas no espao e as geogrficas de um ponto que pertence superfcie terrestre. Assim, na prxima seo vamos relacionar tais coordenadas.

2.4

Relao entre coordenadas cartesianas e geogrficas

Podemos relacionar as coordenadas cartesianas com as coordenadas geogrficas? Sim.

82

Para isso, vamos considerar o sistema coincida com a origem , o eixo Greenwich e o eixo

(Figura 52) tal que o centro do globo terrestre positivo intersectando o meridiano de

positivo com direo para o polo norte (N), o plano

sendo o plano que contm o Equador, o eixo leste do meridiano principal. Quando o ponto

positivo intersectando o meridiano de longitude 90 E, isto , 90 a

est sobre a superfcie terrestre os ngulos

(Figura 52)

so respectivamente latitude e longitude do ponto P. Agora, se considerarmos o tringulo retngulo (Figura 52), temos que

(equao 2.2.2). Aplicando a razo trigonomtrica cosseno, temos: (2.4.1) Como , obtemos: (2.4.2) Por meio da equao (2.4.3), nico valor entre Norte e, no segundo A latitude do ponto e assume um nico valor entre quando Sul. e quando e um

. No primeiro caso a latitude do ponto

dada por: (2.4.3)

Quando Equador.

, a latitude do ponto

ser

, isto , o ponto

estar sobre a linha do

Agora, vamos considerar o tringulo retngulo trigonomtricas seno e cosseno. Temos:

(Figura 52) e, aplicar as razes

(2.4.4)

83

e, (2.4.5) Por meio das equaes (2.4.6) e (2.4.7), e um nico valor entre ponto Leste e, no segundo dada por: (2.4.6) e, (2.4.7) Observao 2.4.1: Para a longitude ser determinada quando so conhecidas as coordenadas e , as equaes (2.4.6) e (2.4.7) devem ser satisfeitas. Os valores de (equao 2.4.3) e (equaes 2.4.6 e 2.4.7) podem ser obtidos por meio de uma calculadora eletrnica que disponha das funes e . (Figura 52). Aplicando nele a razo e assume um nico valor entre quando Oeste. e 18 quando

. No primeiro caso a longitude do

A longitude do ponto

Vamos considerar agora o tringulo retngulo trigonomtrica cosseno, temos:

(2.4.8) Combinando as equaes (2.4.4) e (2.4.8), obtemos: (2.4.9) Por outro lado, combinando as equaes (2.4.5) e (2.4.8), obtemos: (2.4.10) Portanto, as coordenadas cartesianas e geogrficas relacionam-se por meio das seguintes equaes: (2.4.2)

84

(2.4.9) (2.4.10)

Logo, um ponto

do espao e que pertena superfpcie terrestre pode ser escrito assim:

onde,

so respectivamente a latitude e a longitude do ponto

e,

o raio

da Terra. Observao 2.4.2: Conhecendo as coordenadas cartesianas de um ponto qualquer do espao e aplicando-as em , tal que o valor obtido seja maior do

que o raio da Terra, ento a diferena entre o valor encontrado e o raio da Terra chamada de altitude ou elevao do ponto P. Caso a diferena seja nula, ento dizemos que a altitude nula, isto , o ponto est ao nvel do mar. Se a diferena for negativa o ponto est no interior do globo terrestre. Os dois prximos exemplos tem por objetivos relacionar as coordenadas cartesianas de um ponto do espao com as coordenadas geogrficas e vice-versa. Exemplo 2.4.1: Vamos determinar a latitude, a longitude e a elevao de um ponto coordenadas cartesianas so dadas por: . Resoluo: Lembre-se que o modelo adotado para representar a superfcie terrestre uma superfcie esfrica de raio A latitude dada pela equao (2.4.3), isto , Ento, . . cujas

85

A longitude dada pelas equaes 2.4.6 e 2.4.7. Como o valor da coordenada que zero ento ser negativo, isto , longitude Oeste (W).

menor do

Neste caso, vamos aplicar os dados na equao (2.4.6), uma vez que Ento, . Calculando a elevao do ponto :

Ento, a elevao dada por:

Portanto, consultando o exemplo 2.3.1 temos que ponto Londrina a uma altitude de .

est localizado na cidade de

Exemplo 2.4.2: Determine as coordenadas cartesianas de um ponto sobre a superfcie do globo terrestre que tem latitude 30 S e longitude 50 W. Resoluo: Como o ponto equao (2.4.11), isto , Terra, Ento, latitude e a longitude. est sobre a superfcie do globo terrestre, vamos utilizar a , onde raio da

Portanto, . As atividades a seguir tem por objetivos fixar o conceito e o procedimento de como se obter as coordenadas geogrficas conhecendo as coordenadas cartesianas de um ponto. Salientamos para que as atividades sejam realizadas, o professor e os alunos devem fazer uso de calculadoras e softwares capazes de realizar clculos como aqueles apresentados no exemplo

86

2.4.1. E, para finalizar as atividades, uma pesquisa deve ser realizada, por exemplo, em um atlas geogrfico ou em um stio da internet que fornea recursos para informar com maior preciso os locais em que se encontram tais pontos. Atividade do ponto proposta 2.4.1: Dadas as coordenadas cartesianas do ponto

, determine a latitude, a longitude e a altitude . Considere o raio da superfcie terrestre igual a e, para finalizar, pesquise qual a cidade e o pas onde est localizado tal ponto. Atividade proposta 2.4.2: Joaquim, um pescador, encontrou nas quinquilharias de seu pai um mapa que informa a posio de um excelente ponto de pescaria. Segundo o mapa este ponto tem as seguintes coordenadas cartesianas:

Ajude Joaquim a encontrar este local de pescaria por meio das coordenadas geogrficas.

87

CAPITULO III APLICAES DA GEOMETRIA ESFRICA

3.1

Navegando sobre a superfcie terrestre

A Geometria esfrica usada por pilotos de aeronaves e capites de navios que navegam ao redor do planeta. Porm, ao se trabalhar com a Geometria Esfrica surgem resultados no intuitivos como, por exemplo, escolher a menor rota entre duas localidades do globo terrestre. Sabemos (definio 2.1.14) que tal rota deve ser o menor arco de circunferncia mxima que passa por tais localidades. Voc sabia que a menor distncia para voar de Porto Prncipe, no Haiti para Manila, nas Ilhas Filipinas um caminho atravs do Alasca? As Ilhas Filipinas esto ao Sul do Haiti, desta forma, voar ao Norte (Alasca) o menor caminho, pois, pelo Porto Prncipe, pelo Alasca, e pela Manila passa um menor arco de circunferncia mxima comum a estas trs localidades (Figura 54).
Figura 54 Menor distncia entre Porto Prncipe e Manila.

Fonte: <http://www.professores.uff.br/hjbortol/arquivo/2006.1/applets/earth_br.html> Acesso em 22/01/2013.

88

Outra situao semelhante viajar, por exemplo, de Butler Manor Woods, Ilha de Staten, Nova York, EUA para Montecarmelo, Madrid, ESP que esto localizados praticamente sobre o mesmo paralelo de latitude .
Figura 55 Montecarmelo (A) e Butler Manor Woods (B).

Fonte: <http://maps.google.com.br> Acesso em 14/01/2013.

Para fins de ilustrao vamos considerar que tais localidades pertenam ao mesmo paralelo. Logo, a rota mais curta no aquela direta, isto , viajar ao longo do mesmo paralelo, mas sim aquela ao longo do menor arco de circunferncia mxima conforme a Figura 56.
Figura 56 Distncia entre Butler Manor Woods e Montecarmelo.

Fonte: Mlodinow (2005, p. 139).

89

Os resultados que so apresentados a seguir nos possibilitam relacionar qualquer arco de paralelo ao seu correspondente no Equador (seo 3.2) e, principalmente, calcular a menor distncia entre quaisquer dois pontos distintos sobre a superfcie terrestre (seo 3.3).

3.2

Relao entre um arco de paralelo e seu correspondente no Equador

Inicialmente vamos considerar a Figura 57 que representa o globo terrestre.


Figura 57 Relao entre o arco de paralelo e o arco do Equador.

Fonte: Autores.

Do tringulo

retngulo em

e aplicando a razo trigonomtrica seno, temos:

Por outro lado,

90

Observao 3.2.1: A medida de um arco na superfcie esfrica significa calcular a distncia entre os pontos extremos deste arco. Combinando as equaes (3.2.1) e (3.2.2), obtemos:

A equao (3.2.3) nos diz que conhecendo a latitude e, vice-versa. Podemos notar que o comprimento do arco uma variao de longitude, isto ,

de um paralelo, podemos determinar a

medida de um arco deste paralelo conhecendo a medida de um arco corresponde no Equador

(arco contido no Equador) est associado a . Vamos considerar como longitude

inicial aquela mais ao Oeste (W) e como longitude final aquela mais ao Leste (E), uma vez que o movimento de rotao em torno de seu eixo da esquerda para a direita, isto , do Oeste para o Leste. Mas, afinal, qual o comprimento do arco ? Como o arco est contido em uma

circunferncia mxima, o Equador, seu comprimento dado pela seguinte relao:

onde, o raio da Terra. Ento, pelo exemplo 2.1.11, temos que:

A unidade para a equao (3.2.4) o quilmetro (

). Na verdade, esta equao possibilita

calcular a distncia entre dois pontos distintos que esto sobre o Equador. Um raciocnio anlogo no que tange a distncia entre dois pontos distintos que esto sobre um mesmo meridiano. Com isso, temos:

91

Logo, substituindo a equao (3.2.4) na equao (3.2.3) temos:

Portanto, conhecendo a latitude de um paralelo e as longitudes dos extremos de um arco deste paralelo, podemos calcular o comprimento deste arco, isto , calcular a distncia entre os extremos deste arco por meio da equao Os quatro exemplos da sequncia tem por objetivos mostrar como se obtm a distncia entre dois pontos que se encontram na linha do Equador, ou em um mesmo meridiano, ou em um mesmo paralelo. Exemplo 3.2.1: Suponha que um navio mantenha sua rota navegando em um paralelo de latitude 30 S e, seus pontos de partida e chegada tem, respectivamente, as seguintes longitudes: 45 W e 15 W. Calcule quantos quilmetros o navio ir navegar. Resoluo: Queremos determinar o comprimento do arco de paralelo, onde: A latitude do navio 30 S, ou seja, A longitude inicial do navio 45 W, ou seja, A longitude final do navio 15 W, ou seja,

Logo, aplicando a equao (3.2.6), temos:

Portanto, o navio navegar Exemplo 3.2.2 [Extrado e adaptado de Coutinho (2001)]: Um navio cargueiro transatlntico, sob os comandos do capito Andr, percorre 5 000,4 sobre o Equador, enquanto outro navio de cruzeiro sob os comandos do Capito Hrcules cobre o correspondente arco no paralelo de latitude 60. Determine a distncia percorrida pelo navio de cruzeiro. Resoluo: Neste caso aplicar-se- a equao (3.2.3). Logo, a

92

Exemplo 3.2.3 [Extrado de Alves (2009)]: As cidades de Quito, Equador, e Entebe, em Uganda, esto ambas sobre o a linha do Equador. A longitude de Quito 79 W enquanto que a de Entebe 32 E. Assim, determine a distncia entre elas. Resoluo: Vamos aplicar os dados na equao (3.2.4). A longitude de Quito 79 W, ou seja, A longitude de Entebe 32 E, ou seja, . Logo, Portanto, a distncia entre Equador e Entebe .

Exemplo 3.2.4 [Extrado de Alves (2009)]: As cidades de Curitiba e Goinia esto localizadas sobre o mesmo meridiano (49 W) e suas latitudes so respectivamente 26 S e 17 S. Assim, determine a distncia entre elas. Resoluo: Vamos aplicar os dados na equao (3.2.5). A latitude de Goinia 17 S, ou seja, A latitude de Curitiba 26 S, ou seja, . Logo, Portanto, a distncia entre Curitiba e Goinia 1 000,53 .

Os exemplos acima mostram como se calcula a distncia entre dois pontos da superfcie terrestre que se encontram no Equador, ou no mesmo meridiano ou no mesmo paralelo. Assim, a prxima atividade tem por objetivo calcular o comprimento de uma circunferncia mxima da superfcie terrestre. Atividade proposta 3.2.1: Qual o comprimento do Equador terrestre?

93

3.3

Frmula fundamental para tringulos esfricos

Na sequncia, vamos apresentar e demonstrar a frmula mais importante para a resoluo de tringulos esfricos. Ela conhecida como frmula fundamental ou frmula dos quatro elementos, pois, por meio dela possvel calcular a medida de um lado, conhecendo as medidas dos outros dois e o ngulo compreendido entre eles. Na Geometria Euclidiana este fato se resolve aplicando a conhecida lei dos cossenos, isto , . Entretanto, em um tringulo esfrico (medidos em graus), vale a relao: de lados , e

Na frmula fundamental os lados ,

do tringulo esfrico

no so vistos como os

comprimentos de arcos de circunferncia mxima, mas como as respectivas medidas em graus que determinam os comprimentos de tais arcos, conforme o exemplo 2.1.11. Para demonstrarmos a frmula fundamental, vamos inicialmente considerar a Figura 58, baseada em Hogben (1970), que apresenta uma superfcie esfrica contm um tringulo esfrico circunferncias mximas.
Figura 58 Demonstrao da frmula fundamental parte espacial.

de centro

e raio

e,

de lados

e , formado pelas interseces de trs

Fonte: Hogben (1970).

94

As retas

so tangentes superfcie esfrica e e, e

e concorrem no ponto

. Isso quer

dizer que os segmentos de reta interseco da reta interseco da reta que os pontos , ,

so, respectivamente, perpendiculares. A e , obtm-se o ponto . J a

com a reta que passa pelos pontos com a reta que passa pelos pontos e

e , determina o ponto . Note

so os vrtices de uma pirmide triangular. Para tornar mais

didtica a nossa demonstrao, o prximo passo planificar tal pirmide (Figura 59), pois, com isso, aplicaremos algumas regras de resoluo dos tringulos planos.
Figura 59 Demonstrao da frmula fundamental parte planificada.

Fonte: Hogben (1970).

Os tringulos

so retngulos em . Da, temos:

95

Somando as equaes (3.3.5) e (3.3.6) e reorganizando, obtemos:

Agora, aplicando a lei dos cossenos nos tringulos

, temos:

Fazendo (3.3.8) (3.3.9), obtemos:

Ento,

Substituindo a equao (3.3.7) na equao acima, temos:

Agora, dividindo a equao (3.3.10) por

, obtemos:

E, finalmente substituindo as equaes (3.3.1), (3.3.2), (3.3.3) e (3.3.4) na equao (3.3.11), obtemos a frmula fundamental para tringulos esfricos:

O exemplo a seguir mostra detalhadamente uma aplicao da frmula fundamental.

96

Exemplo 3.3.1: [Adaptado de Hogben (1970)]. A cidade de Kingston, Jamaica, tem as seguintes coordenadas geogrficas: latitude cidade de Bristol, Inglaterra, tem latitude determine a distncia entre Kingston e Bristol. Resoluo: Vamos considerar o globo terrestre (Figura 60), onde o vrtice esfrico ngulo
Figura 60 Distncia entre Kingston e Bristol.

N e longitude N e longitude

W, enquanto que a W. De posse dos dados,

do tringulo e e do

coincide com o polo Norte. Esta escolha justifica-se, pois, conhecendo as e nos possibilita determinar os valores de

latitudes e longitudes dos pontos

Fonte: Autores.

Como o arco ao arco

tem 90 e o arco

tem

(latitude de Bristol), ento . O angulo est associado

. Analogamente, temos

. Ento, para determin-lo, basta fazer a diferena entre as longitudes, isto , Agora s aplicar os dados na

frmula fundamental. Ento,

97

Como

de circunferncia mxima corresponde a .

na superfcie terrestre Portanto, a distncia

(exemplo 2.1.11), temos que: entre Kingston e Bristol aproximadamente de

Porm, com o intuito de usarmos apenas as latitudes e longitudes de dois pontos distintos e, sem que haja a necessidade de fazer as subtraes como aquelas feitas para os arcos de meridiano e no exemplo 3.3.1, vamos considerar, a partir daqui, que o vrtice do tringulo esfrico construdo para a frmula fundamental coincida, por exemplo, com o

polo Norte. Com isso, temos a Figura 61.


Figura 61 Tringulo esfrico com um vrtice no polo norte.

Fonte: Autores.

Pela Figura 61 temos que a latitude do ponto dada por . J o ngulo e a longitude de

dada por

e a latitude do ponto

dado pelas diferenas de longitudes dos pontos a longitude de .

e , onde,

98

Agora, vamos considerar as seguintes equaes:

Sugesto: use o cosseno e o seno da diferena para prov-las. Logo, como representa em graus a distncia entre os pontos e , a frmula fundamental

fica representada pela equao (3.3.17):

Com a equao (3.3.17) podemos calcular qualquer distncia entre dois pontos distintos sobre a superfcie terrestre. Para isto, basta conhecer as latitudes e as longitudes dos pontos. Assim, o prximo exemplo apresenta as latitudes e as longitudes de duas capitais de estados brasileiros e das capitais dos Estados Unidos e da Espanha. Logo, de posse de tais coordenadas geogrficas, a distncia entre Curitiba e Washington (Figura 62) ser calculada aplicando-se a equao 3.3.17. Exemplo 3.3.2: Dadas as latitudes e longitudes das seguintes cidades: Latitude Curitiba Brasil Rio de Janeiro - Brasil Washington EUA Madrid - Espanha Longitude

99 Figura 62 Rio de Janeiro Madrid e Curitiba Washington.

Fonte: <http://www.professores.uff.br/hjbortol/arquivo/2006.1/applets/earth_br.html> Acesso em 13/01/2013.

Responda os seguintes itens: a) b) c) d) Determine a distncia entre Curitiba e Washington; Determine a distncia entre Rio de Janeiro e Madrid; Determine a distncia entre Curitiba e Rio de Janeiro; Determine a distncia entre Madrid e Washington;

Resoluo: item (a): Vamos aplicar os dados na equao (3.2.17). Inicialmente faremos: Logo,

Ento, Logo, Ento, a Portanto, a distncia entre Curitiba e Washington aproximadamente 7 . .

100

Os demais itens podem ser resolvidos usando a mesma ideia. Sugerimos que o leitor acesse a Home Page29 do professor Humberto Jos Bortolossi da Universidade Federal Fluminense UFF. L h vrios trabalhos e, um deles um Applet JAVA intitulado "Latitude e Longitude: Representando Pontos na Superfcie da Terra. Ele permite esclarecer o conceito de latitude e longitude, bem como visualizar os vrios elementos geogrficos do globo terrestre e, tambm, possvel calcular a distncia entre algumas principais cidades do mundo. Outra Home Page que sugerimos a National Weather Service30. Neste stio possvel calcular a distncia entre quaisquer duas localidades do globo terrestre. Para isto, basta apenas informar as latitudes e longitudes de tais localidades e solicitar o clculo. Tambm sugerimos a Home Page Satellite Signals31 que um stio de busca para latitudes e longitudes e, acompanha um mapa de visualizao para refinar a preciso das coordenadas geogrficas. Sugerimos ao professor que desenvolva com os alunos todos os itens do exemplo 3.3.2, de trs maneiras diferentes, isto , aplicando os dados na equao 3.3.17, consultando e explorando o applet do professor Bortolossi e, tambm, fazendo os clculos por meio do stio National Weather Service. Aps estas trs etapas, uma discusso deve ser realizada com os alunos acerca dos resultados obtidos. Com os resultados elencados at aqui, apresentamos na sequncia, trs atividades propostas que tm por objetivo determinar a distncia entre duas localidades do globo terrestre. A primeira tem o intuito de comprovar os dados informados pela Figura 56. Pode ser verificado por meio da equao 3.3.17 ou pelo recurso de clculo disponibilizado no stio National Weather Service. A segunda tem o objetivo de calcular a menor distncia entre as localidades informadas. Para isto deve-se realizar uma pesquisa, por exemplo, por meio do stio Home Page Satellite Signals, com o intuito de conhecer as coordenadas geogrficas de cada local.

29

Disponvel em: <http://www.professores.uff.br/hjbortol/> Acesso em: 13/01/2013. Disponvel em: <http://www.nhc.noaa.gov/gccalc.shtml> Acesso em: 16/01/2013. 31 Disponvel em: <http://www.satsig.net/maps/lat-long-finder.htm> Acesso em 16/01/2013.
30

101

A terceira representa uma situao de guerra, onde um mssil dever ser lanado por um submarino. Para isso, deve-se determinar a distncia entre o submarino e o alvo. Ainda, nesta atividade, a direo de lanamento do mssil tambm dever ser determinada aplicando a Lei dos senos para tringulos esfricos. Atividade proposta 3.3.1: Verifique que a menor distncia entre Butler Manor Woods (Latitude: , Longitude: ) e Montecarmelo (Latitude: , Longitude: . ) aproximadamente 3599 conforme a Figura 56. Sugesto: Aplique as

equaes (3.2.6) e (3.3.17) e, use a seguinte correspondncia:

Atividade proposta 3.3.2: Consultando latitudes e longitudes como, por exemplo, na Home Page Satellite Signals, calcule as distncias que, navegando sobre arcos de circunferncias mximas, os navios tm de percorrer para ir do porto de (a) Paranagu PR ao porto da Cidade do Cabo frica do Sul (b) Itaja SC ao porto de Namibe Angola (c) Natal RN ao porto de Aveiro Portugal. Os clculos com manobras para entrar e sair dos portos no devem ser considerados. Observao 3.3.1: Na navegao martima ou area comum a utilizao do termo ortodromia (Figura 63), que significa o menor arco de circunferncia mxima que passa por dois pontos distintos na superfcie da Terra. H tambm, o termo loxodromia, cujo significado uma curva que forma um ngulo constante com todos os meridianos que intersecta. Esta curva apresenta-se como uma espiral que tende para o polo (Figuras 63 e 64).
Figura 63 Ortodromia e Loxodromia.

Fonte: <http://www.navworld.com/navcerebrations/flight3.gif> Acesso em 24/01/2013.

102 Figura 64 A curva loxodrmica corta os meridianos com ngulo constante.

Fonte: <https://perso-sdt.univ-brest.fr/~jacdev/ens/posi/images/image47.gif.

Atividade proposta 3.3.3 [Adaptada de Coutinho (2001)]: O comandante de um Submarino armado com msseis de ogivas nucleares, localizado no ponto de latitude 30 15 N e longitude 45 30 W, recebe ordem para disparar um mssil de longo alcance contra uma instalao inimiga localizada no ponto , cujas coordenadas geogrficas so, respectivamente 50 20 N e 5 40 W. Sabendo que o ponto representa o polo norte, determine a distncia que ele deve ser lanado. que o mssil deve percorrer para atingir o alvo e a direo

Figura 65 Disparo de um mssil.

Fonte: Coutinho (2001,

p. 99).

Sugesto: Para determinar o valor de , use a lei dos senos para tringulos esfricos e considere o arco e o ngulo .

Lei dos senos para tringulos esfricos: Em todo triangulo esfrico os senos dos lados so proporcionais aos senos dos ngulos opostos.

(Demonstrao vide apndice).

103

Nas prximas sees apresentamos informaes e conceitos acerca do GPS. Inicialmente um histrico realizado, na sequncia a fundamentao matemtica demonstrada e, finalmente uma atividade desenvolvida passo a passo mostrando como um ponto localizado na superfcie da Terra ou fora dela.

3.4

GPS: Uma aplicao da Geometria Esfrica

De acordo com Langendolff (2008) foram lanados no espao em dezembro de 1993, vinte e quatro (24) satlites, organizados em seis (6) planos orbitais, a uma altitude de aproximadamente.
Figura 66 Distribuio orbital dos Satlites.

Fonte: <http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html> Acesso em 18/01/13.

Os satlites completam uma rbita a cada 12 horas e, cada satlite tem aproximadamente 28 de visualizao sobre a Terra. O exemplo 3.4.1 prova este ltimo resultado. Exemplo 3.4.1: Mostre que o ngulo de visualizao de um satlite sobre a Terra prximo de , quando este satlite est em uma rbita em torno do planeta a uma altitude de . aproximadamente

104

Resoluo: A posio e a distncia de cada satlite em sua rbita tem uma representao anloga quela apresentada no exemplo 2.1.3, vide Figura 39. Entretanto, o ngulo de visualizao A distncia entre o satlite e a superfcie da Terra aproximadamente Vamos trabalhar com a equao 2.1.1. .

. Portanto, Logo, . como queramos mostrar.

Os satlites so utilizados at hoje em diversas atividades humanas com o chamado Sistema de Posicionamento Global GPS:
Desde o lanamento dos primeiros receptores GPS no mercado, tem havido um crescente nmero de aplicaes nos levantamentos topogrficos, cartogrficos e de navegao, face s vantagens oferecidas pelo sistema quanto preciso, rapidez, versatilidade e economia. Com o desenvolvimento da navegao espacial adjunto ao surgimento do Sistema de Posicionamento Global (GPS), vem se observando um grande interesse cientfico na criao de bancos de dados georreferenciados com extrema preciso, pois o sistema uma grande ferramenta para estudos geodsicos, alm de permitir em tempo real o posicionamento em 3D (BERNARDI, 2002, p. 3).

O GPS pode ser usado em diversas situaes, pois expressa a posio de um ponto na superfcie terrestre indicando a latitude, a longitude e a altitude. Diversas atividades humanas dependem desse sistema de localizao, por isso estudos para sua melhoria so realizados em diversos pases. Bernardi (2002) cita alguns exemplos da utilizao do GPS: a navegao martima, area e terrestre e outros meios de transporte, alm de identificar o posicionamento de objetos no espao. A Figura 67 ilustra geometricamente o funcionamento do GPS, que foi projetado de forma que em qualquer lugar e a qualquer momento da superfcie da Terra existam pelo menos quatro satlites acima do plano horizontal do observador, que permite visualizar todo ponto do globo terrestre ou fora dele.

105 Figura 67 Receptores GPS recebendo sinais de quatro satlites.

Fonte: <http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html> Acesso em 18/01/13.

Inicialmente, o projeto lanado pelo Departamento de Defesa dos Estados Unidos tinha o objetivo de determinar com exatido a posio de aeronaves e navios militares para auxiliar no lanamento de msseis contra tropas inimigas durante a Guerra Fria. Entretanto, o GPS tambm foi projetado para uso civil, com menor preciso do que para as operaes militares. Contudo, aps o fim da Guerra fria, o GPS passou a oferecer uma preciso muito maior para o usurio civil, disponibilizando assim a mesma preciso que os militares tinham (ALVES, 2006). Atualmente, todos os satlites so controlados por seis estaes terrestres de gerenciamento, sendo que a principal est localizada em Colorado, EUA. Juntas essas estaes monitoram o desempenho do sistema e corrigem as posies dos satlites. Para determinar a localizao de um ponto sobre a superfcie terrestre cada um dos satlites transmite por ondas de rdio um padro fixado, que recebido por um receptor GPS na Terra. Este receptor mede a diferena entre o instante de tempo que o padro foi recebido e o instante de tempo que foi emitido, chamado lapso de tempo. Desta forma o receptor GPS funciona como um cronmetro extremamente acurado (ALVES, 2006). Cada satlite programado para emitir uma efemride, que informa a posio deste satlite em determinado instante, em relao a um fixo sistema cartesiano de trs eixos ortogonais, cuja origem coincide com o centro da Terra. De acordo com Alves (2006, p.19) coletando-se sinais emitidos por quatro satlites, o receptor determina a posio do usurio calculando-a como interseco das quatro superfcies esfricas obtidas. A Figura 68 ilustra esta afirmao.

106 Figura 68 Interseco de 4 superfcies esfricas.

Fonte: <http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html> <http://www.ausairpower.net/XIMG/GPS-Spheres-Chart-1S.png> Acesso em 18/01/13.

A localizao do receptor GPS (GPS Receiver Figura 68) no dada em coordenadas cartesianas, mas por meio das coordenadas geogrficas: latitude, longitude e altitude. Uma das principais funes do GPS a navegao e por isso utilizado em aeronaves, navios, veculos e por pessoas (que possuem um receptor porttil). O GPS faz o monitoramento de abalos ssmicos, os quais so precedidos por alteraes no campo gravitacional, que distorcem as ondas de rdio, o que permite prever a ocorrncia de um terremoto com algumas horas de antecedncia. Tambm fornece informaes sobre a meteorologia, e faz um mapeamento ambiental por meio de imagens de satlites, indicando reas infectadas por pestes por meio de fotografias areas. Ele muito til para elaborar roteiros de viagens, faz o monitoramento de trens, carros ou caminhes de carga. Para o uso militar fornece as coordenadas de ataque, orientao e controle para msseis balsticos, rastreamento de submarinos, localizao de minas e radares inimigos.

107

3.5

Fundamentao Matemtica do Funcionamento do GPS

Matematicamente o GPS funciona por meio da aplicao de um teorema o qual iremos enunci-lo e demonstr-lo a seguir. Porm, inicialmente vamos elencar alguns resultados da Geometria Analtica e da lgebra Linear disponveis em Lima (2011b) que serviro de apoio para tal demonstrao. Sejam: i) ii) (equao de um plano no espao Euclidiano tridimensional); (equao geral de uma superfcie esfrica);

iii)

(Sistema de trs equaes lineares e trs incgnitas);

O sistema (iii) tem uma nica soluo se, e somente se, o determinante da matriz dos coeficientes for diferente de zero, isto ,

iv)

(matriz dos coeficientes do sistema (iii));

v)

Onde,

, e

, so no coplanares.

so pontos do espao Euclidiano tridimensional. O resultado do item (v) quer dizer que os pontos , ,

Uma interpretao geomtrica para o resultado do determinante do item (v) a seguinte:

108

O mdulo do determinante do item (v) igual ao volume do paraleleppedo, que tem como quatro dos seus oito vrtices os pontos coplanares, conforme a Figura 69.
Figura 69 Paraleleppedo: os pontos e so no coplanares.

, sendo eles no

Fonte: Autores.

No plano temos um resultado semelhante envolvendo o clculo de um determinante 3x3. Vejamos: A rea de um tringulo qualquer de vrtices igual metade do mdulo do determinante , e . Se o

determinante nulo, ento, dizemos que os pontos pertencem a uma mesma reta. vi) (propriedade dos determinantes: uma constante real).

Teorema 3.5.1: Sejam , , e quatro superfcies esfricas distintas tais que , , e . Se os

seus centros, respectivamente

, no pertencem ao mesmo plano, ento esta

interseco resulta em um nico ponto. Prova: A demonstrao que faremos est baseada em Alves (2006).

109

Sejam

, ,

as quatro superfcies esfricas distintas de centros e e , , e so no coplanares).

respectivamente satisfazendo as

hipteses (

As equaes gerais das superfcies esfricas so [item (ii)]:

Observao 3.5.1: Para a superfcie esfrica ; e

com centro , onde e

tem-se o raio de

; .

(Vide equao 2.2.5 equao geral de uma superfcie esfrica). A seguir vamos subtrair as equaes das superfcies esfricas duas a duas com o objetivo de eliminarmos os termos quadrados e obtermos equaes lineares em superfcies esfricas envolvidas. Por exemplo, subtraindo as equaes de a interseco e , obtm-se a equao de um plano que contm e e de e e tem-se a equao e . Cada equao linear obtida determina a equao de um plano [item (i)] que contm a interseco das duas

Logo, subtraindo as equaes de

de outros dois planos que contm respectivamente as interseces Considerando as subtraes linear: ; e

, tem-se o seguinte sistema

O fato do sistema 3.5.5 possuir uma nica soluo significa encontrar as coordenadas de um ponto que pertence simultaneamente s quatro superfcies esfricas.

110

Logo, se o ponto sistema 3.5.5.

pertence interseco

, isto , satisfaz soluo do

simultaneamente as equaes das quatro superfcies esfricas, ento

Porm, para terminarmos a prova do teorema devemos mostrar que a soluo do sistema 3.5.5 nica, pois, caso exista dois pontos distintos que pertenam interseco teramos duas solues para o sistema 3.3.5. Para provarmos que a soluo do sistema 3.5.5 nica, devemos mostrar que o determinante da matriz dos coeficientes do sistema 3.5.5 diferente de zero [itens (iii) e (iv)]. Logo, ,

[matriz dos coeficientes do sistema 3.5.5].

Pela observao 3.5.1, temos que mesma maneira para os demais casos, a matriz fica:

Prosseguindo da

Ento,

Logo, , e so no coplanares [resultado do item (v)].

, pois, por hiptese os centros

Portanto, o que acabamos de provar que o sistema 3.5.5 tem uma nica soluo quando os centros das quatro superfcies esfricas no pertencem ao mesmo plano. Entretanto, pode ocorrer que a interseco das quatro superfcies esfricas no consiste em um nico ponto. Por isso, a hiptese essencial para que o teorema seja vlido.

111

Resumindo: Quatro superfcies esfricas se intersectam em um nico ponto se seus centros so no coplanares. A seguir vamos dar um exemplo prtico que uma aplicao do teorema 3.5.1, onde os centros das quatro superfcies esfricas so no coplanares e Exemplo 3.5.1: Dados os centros e os raios de quatro superfcies esfricas, determine o ponto de interseo delas. Centro (0,0,0) (1,0,0) (0,4,0) (0,0,2) Raio 1 3

Resoluo: Os centros no pertencem a um mesmo plano. Verifique isso com uma ilustrao. Inicialmente vamos aplicar os dados na equao reduzida de uma superfcie esfrica, isto , . Ento,

Logo,

Agora, fazendo

, temos o seguinte sistema:

112

Resolvendo, obtemos que

Portanto, o ponto de interseco das quatro superfcies esfricas o ponto Na sequncia apresentamos trs atividades com o intuito de determinar a quantidade de pontos da interseo de superfcies esfricas. A primeira e a segunda tm por objetivo listar a quantidade de pontos da interseo entre duas e trs superfcies esfricas. A terceira tem o intuito de determinar o ponto de interseo de quatro superfcies esfricas como uma aplicao do teorema 3.5.1 Atividade proposta 3.5.1: Liste todas as possibilidades para a quantidade de pontos de interseco de duas superfcies esfricas. Sugesto: Faa desenhos. Atividade proposta 3.5.2: Liste todas as possibilidades para a quantidade de pontos de interseco de trs superfcies esfricas. Sugesto: Faa desenhos. Atividade proposta 3.5.3: Determine o ponto de interseco das seguintes superfcies esfricas: Centro (1,0,0) e raio Centro (0,0,1) e raio ; ; Centro (0,1,0) e raio Centro (0,0,0) e raio ; ;

3.6

Uma aplicao do uso do GPS

A atividade que vamos resolver a seguir foi extrada e adaptada de Alves (2006). Ela um bom exemplo para que possamos compreender como o GPS localiza um ponto na superfcie terrestre ou fora dela. A atividade tem por objetivo determinar a latitude, a longitude e a altitude de uma aeronave que tem abordo um receptor GPS em funcionamento, que recebeu sinais de quatro satlites. Na sequncia, so apresentadas as efemrides de cada um dos quatro satlites e tambm, os seus respectivos lapsos de tempo.

113

Efemrides (em metros): Posio cartesiana exata de cada satlite no instante que emitido um sinal para o receptor GPS instalado na aeronave. O centro da Terra considerado a origem do sistema cartesiano Satlite 1 Satlite 2 Satlite 3 Satlite 4 .

Lapsos de tempo (em segundos): variao de tempo entre o instante em que o sinal emitido por cada satlite e o instante que o sinal recebido pelo receptor GPS. Satlite 1 Satlite 2 Satlite 3 Satlite 4

Segundo Alves (2006) as informaes transmitidas pelo GPS envolvem, por uma questo de preciso, dez ou mais dgitos decimais e nmeros da grandeza em mdulo de , fazendo com que o uso de calculadoras ou softwares capazes de resolver sistemas lineares tornem-se imprescindveis para a resoluo. Entretanto, para esta atividade vamos trabalhar com um nmero menor de dgitos decimais (at quatro) e com a notao cientfica (potncia de base dez). Resoluo: A distncia entre o receptor GPS e cada satlite dada pela equao:

Onde, tempo de cada satlite.

o mdulo da velocidade da luz no vcuo e

o lapso de

Pelo teorema 3.5.5 sabemos que a interseco de quatro superfcies esfricas de centros no coplanares determina um nico ponto. Logo precisamos de pelo menos 4 satlites para que possamos determinar a posio de um ponto no globo terrestre. Ento, cada satlite considerado o centro de uma imaginria superfcie esfrica. Logo, o receptor GPS pertence a cada uma das quatro imaginrias superfcies esfricas. Assim, a

114

distncia

entre o receptor GPS e cada satlite o raio de cada uma das imaginrias

superfcies esfricas (Figura 68). Na sequncia apresentamos os clculos passo a passo. Calculando os raios:

Agora, vamos escrever as equaes reduzidas das quatro superfcies esfricas centradas em cada satlite.

Desenvolvendo os quadrados e reorganizando os termos, obtemos as equaes gerais:

115

Fazendo

e dividindo cada diferena por

, obtemos o

seguinte sistema linear:

Normalmente no Ensino Mdio a tcnica ensinada e utilizada para resolver um sistema linear com trs equaes e trs incgnitas a regra de Cramer. Entretanto, o sistema anterior tem coeficientes com at quatro dgitos decimais e termos independentes da ordem de zerar o coeficiente de na segunda linha e zerar os coeficientes de e . Neste caso, vamos resolv-lo aplicando uma tcnica chamada de escalonamento, que consiste em na terceira linha. A primeira linha do sistema no ser alterada. Escalonando o sistema: A nova segunda linha fica: A nova terceira linha fica: Logo, obtemos um novo sistema linear que equivalente ao primeiro.

Escalonando o novo sistema: A nova terceira linha fica: Ento, temos:

116

Este ltimo sistema que obtemos equivalente ao segundo, que por sua vez equivalente ao primeiro. Resolvendo ele, temos que a nica soluo procurada dada por: e Portanto, o que acabamos de determinar so as coordenadas cartesianas da aeronave, isto , do ponto que o ponto da interseo das quatro imaginrias superfcies esfricas centradas em cada satlite. Agora, vamos determinar a latitude, a longitude e a altitude do ponto aeronave. Para isso vamos aplicar as equaes (2.4.3), (2.4.6) e (2.4.7), onde: Latitude: ; que representa a

Longitude:

; e o raio da Terra que para metros.

A altitude ou elevao dada pela diferena entre esta situao ser considerado como Ento, Latitude:

Longitude: e,

Logo, . Ento a altitude da aeronave :

117

Assim, conhecendo a latitude e a longitude da aeronave possvel identificar a sua localizao. Ela encontra-se nas aproximaes da fronteira entre a Lbia e a Arglia, na frica (Figura 70). Isso pode ser verificado consultando um atlas geogrfico, ou um globo terrestre (aquele objeto didtico usado nas aulas de Geografia) ou ainda stios na internet, como por exemplo, o Google Maps ou o Satellite Signals.
Figura 70 Posio da aeronave (balo vermelho).

Fonte: <http://www.daftlogic.com/sandbox-google-maps-find-altitude.htm> Acesso em 21/01/2013.

Observao 3.6.1: Para a resoluo de uma atividade como esta que acabamos de realizar, evidente que quanto maior for o nmero de dgitos decimais utilizados, maior ser a preciso para localizao do receptor GPS. Pois, trabalhando com um nmero menor de dgitos o erro maior, e isto implica em latitudes, longitudes e altitudes diferentes daquelas consideradas reais. Na sequncia propomos uma atividade que tem por objetivo resolver o sistema no escalonado da seo 3.6 via regra de Cramer, pois, no Ensino Mdio a tcnica mais utilizada para resolver sistemas lineares. Entretanto, para resolver tal sistema ser necessrio calcular quatro determinantes 3x3. A resoluo via Cramer consiste em um nmero maior de clculos o que consequentemente aumenta o tempo de resoluo. Desta forma, queremos que o leitor faa uma reflexo ao final da resoluo verificando a viabilidade desta tcnica, pois, existem softwares e computadores que resolvem sistemas muito mais complicados. Atividade proposta 3.6.1: Resolva o sistema no escalonado do item 3.6 aplicando a regra de Cramer. Qual resoluo tem o menor custo operacional: Escalonar ou aplicar a regra de Cramer? Justifique.

118

A prxima atividade uma aplicao do uso do GPS. Ela tem por objetivos fixar os conceitos matemticos que fomentam o funcionamento de tal tecnologia e mostrar como um ponto localizado na superfcie terrestre ou fora dela. A atividade proposta deve ser resolvida etapa por etapa, pois, a princpio os raios devem ser determinados, em seguida as equaes reduzida e geral de cada uma das superfcies esfricas devem ser montadas para que um sistema linear 3x3 possa ser resolvido. Com a soluo de tal sistema as coordenadas geogrficas so determinadas. E, finalmente por meio de uma pesquisa determina-se o local onde se encontra o receptor GPS. Atividade proposta 3.6.2: A seguir so dadas as efemrides de quatro satlites e seus respectivos lapsos de tempo com relao a um aparelho GPS. Efemrides (em metros): Satlite 1 Satlite 2 Satlite 3 Satlite 4

Lapsos de tempo (em segundos): Satlite 1 Satlite 2 Satlite 3 Satlite 4

Determine: a) A distncia entre cada satlite e o receptor GPS; b) A equao reduzida de cada superfcie esfrica centrada em cada satlite; c) A equao geral de cada superfcie esfrica; d) O sistema linear gerado pelas diferenas e) O que a soluo do sistema linear representa; f) A latitude, a longitude e a elevao do receptor GPS; g) O local em que se encontra o receptor GPS sobre ou fora do globo terrestre. ; ; ;

119

CAPTULO IV CONSIDERAES

Refletir sobre o que ensinar, para quem ensinar, como ensinar e o que se ensina a marca registrada da profisso professor. H uma grande quantidade de recursos metodolgicos que se pode dispor para facilitar o ensino e a aprendizagem, cabe ento ao professor pesquis-los, conhec-los, aplic-los e adapt-los sempre que necessrio. Acreditamos que os resultados elencados neste trabalho a acerca da Geometria Esfrica possam contribuir com a formao profissional dos professores de Matemtica da Educao Bsica. Pois, nosso estudo apresenta um material rico em informaes e conceitos da Geometria Esfrica o que proporciona ao professor condies para ampliar seus conhecimentos, enriquecendo suas competncias e habilidades para alm do que se faz tradicionalmente. Estamos convictos que a conscincia desses conhecimentos faz o professor refletir em suas aulas de geometria. Nesta perspectiva, este trabalho apresentou por meio da Histria da Matemtica, o longo e rduo processo, porm, sem xito, as vrias tentativas de demonstrar o quinto postulado de Euclides usando os outros quatro. Estas tentativas ao longo dos anos culminaram na descoberta das geometrias no-euclidianas no sculo XIX, fato este que originou-se da negao do postulado das paralelas. Acreditamos que o conhecimento de fatos histricos como este que levou a descoberta de outras geometrias diferentes daquela de Euclides, pode despertar no professor de Matemtica da Educao Bsica o ensejo de melhorar o ensino e a aprendizagem em sala de aula, pois, o mesmo pode promover a discusso com os alunos sobre que tipo de geometria melhor se aplica para explicar a nossa realidade e, tambm, discutir a curvatura do espao em que vivemos. Entretanto, para isso, vale uma profunda reflexo segundo as palavras do matemtico Henri Poincar, as quais afirmam que nenhuma geometria mais correta do que qualquer outra, apenas mais conveniente. Esta frase quer dizer que, uma geometria no melhor do que outra, mas, se aplica aquela que melhor descreve um determinado contexto. Pois, segundo Coutinho (2001) para o pedreiro, o carpinteiro, o topgrafo, o arquiteto ou o engenheiro a geometria mais adequada aquela que

120

estudamos na escola a Geometria Euclidiana, enquanto para o piloto de um avio ou o capito de um navio nas suas viagens a geometria que mais se usa a Geometria Esfrica. Salientamos que para a realizao deste trabalho vrios resultados da Geometria Esfrica foram obtidos usando previamente resultados da Geometria Euclidiana. Por exemplo, para a demonstrao da frmula fundamental para tringulos esfricos usamos as razes trigonomtricas para tringulos planos retngulos, o Teorema de Pitgoras, que s vlido na Geometria Euclidiana e, tambm, a lei dos cossenos para tringulos planos. O exemplo acima ressalta a importncia e a presena de conceitos da Geometria Euclidiana para a compreenso de outras geometrias. Por isso, ela continua sendo a principal geometria estudada nas escolas, entretanto, cabe ao professor de Matemtica explorar as geometrias noeuclidianas em sala de aula, em particular a Geometria Esfrica. Destacamos tambm, que a demonstrao do teorema que garante a fundamentao matemtica do funcionamento do GPS uma aplicao da Geometria Esfrica, s foi possvel uma vez que buscamos resultados prvios em outras reas da Matemtica como a Geometria Analtica e a lgebra Linear. Com o intuito de compararmos a Geometria Euclidiana e a Geometria Esfrica, elaboramos o Quadro 2.1.2 que apresenta um rol de questionamentos a respeito de implicaes conceituais de ambas as geometrias. Na sequncia apresentamos onze (11) quadros com o intuito de responder e exemplificar as diferenas entre as duas geometrias. importante ressaltar que para a elaborao dos quadros comparativos foram utilizados materiais manipulveis de fcil acesso e baixo custo, alm do software livre de geometria dinmica o GeoGebra. As comparaes elencadas nos quadro favorecem a visualizao tanto do professor quanto dos alunos, pois, conceitos da Geometria Euclidiana e da Geometria Esfrica so apresentados lado a lado. Destacamos a importncia de realizar uma atividade baseada nos quadros comparativos com os alunos, objetivando realizar um trabalho em equipe e promover a discusso em grupo sobre os conceitos envolvidos das Geometrias Euclidiana e Esfrica. Uma parte da atividade pode ser desenvolvida no laboratrio de informtica da Escola e a outra em sala com os materiais manipulveis. Outro ponto que merece destaque neste trabalho so as equaes reduzida e geral da superfcie esfrica que dependem exclusivamente de coordenadas cartesianas no espao.

121

Conforme Lima (2001) dos trinta e seis (36) volumes de doze (12) colees de livros de Matemtica, utilizados no Ensino Mdio das escolas do Brasil que foram analisados, nenhum contempla as coordenadas no espao. relevante destacar que durante o desenvolvimento deste trabalho pudemos relacionar diretamente a Matemtica com a Geografia, pois, o modelo adotado para representar a superfcie da Terra foi superfcie esfrica. Outra relao que merece destaque ocorreu com as coordenadas cartesianas de um ponto no espao e com as coordenadas geogrficas: latitude, longitude e a altitude e que culminaram mais tarde na atividade do uso do GPS. Salientamos que para realizar a converso entre as coordenadas cartesianas e geogrficas foi aplicado o clculo da imagem inversa das funes seno e cosseno, pois, de posse das coordenadas cartesianas de um ponto no espao, determina-se a sua latitude, longitude e altitude. Entretanto, conhecendo as coordenadas geogrficas as coordenadas cartesianas so obtidas. Porm, para obtermos as coordenadas geogrficas conhecendo as cartesianas e vice-versa, o uso da calculadora eletrnica cientfica foi imprescindvel, uma vez que por meio dela as imagens inversas dos senos e cossenos foram determinadas (vide exemplo 2.4.1). Destacamos que as DCE sugerem que alguns recursos tecnolgicos, como calculadoras e softwares, devem ser utilizados em sala de aula, pois favorecem as experimentaes matemticas e potencializam algumas formas de resoluo de problemas. Segundo Lima (2011), o uso das calculadoras eletrnicas em atividades matemticas possibilitam aos educandos preciso e rapidez nos clculos aritmticos e trigonomtricos, alm de deix-los com mais tempo para aprimorar sua capacidade de raciocinar e desenvolver-se mentalmente. A escola no pode se distanciar da realidade do aluno. Ademais, a incorporao do instrumento tecnolgico na sala de aula permite explorar relaes matemticas e refletir sobre a grandeza numrica. Neste sentido, importante destacar que os estudantes devem aprender a dominar diferentes estratgias de clculo e, conhecer os limites de cada recurso. Foi o que propomos no desenvolvimento deste trabalho, que est estruturado com vinte e nove (29) exemplos resolvidos e dezoito (18) atividades propostas, sendo que algumas delas descrevem problemas do contexto real, que visam se apropriar de alguns conceitos da teoria desenvolvida.

122

Acreditamos que, com isso, o leitor possa se familiarizar e internalizar os conceitos e contedos que foram trabalhados. O professor pode us-los ou mesmo adapt-los para a sala de aula. O corpo do trabalho est estruturado com um grande nmero de figuras na sua maioria construda no GeoGebra, as quais, acreditamos que em muitas situaes trazem detalhes minuciosos para a compreenso dos conceitos envolvidos. No apndice demonstramos como se calcula distncia entre dois pontos do espao euclidiano tridimensional e, tambm, a lei dos senos para tringulos esfricos. O primeiro resultado permite ao leitor comparar como se calculam distncias tanto na Geometria Euclidiana como na Geometria Esfrica (frmula fundamental ou equao 3.3.17). Estas distintas maneiras de realizar o clculo da distncia entre dois pontos esto atreladas ao conceito de curvatura que cada tipo de superfcie possui em alguma determinada geometria. Por exemplo, a Geometria Euclidiana tem uma superfcie de curvatura constante nula, enquanto que a Geometria Esfrica tem uma superfcie de curvatura positiva constante. Desta forma, sugerimos ao leitor que pesquise mais detalhes sobre o conceito de curvatura e que se existe alguma geometria que possui uma superfcie de curvatura negativa. Portanto, este trabalho apresentou-se por meio de uma sequncia gradual de contedos, referindo-se a ordem em que os resultados foram sendo elencados pelos autores. Acreditamos que ele ou parte dele pode ser aplicado no Ensino Mdio, possibilitando assim uma melhoria para os processos de ensino e aprendizagem da Matemtica. Assim, trabalhos futuros para o Ensino Mdio podem ser desenvolvidos com a Geometria Esfrica fazendo uma conexo entre a Matemtica, a Geografia, a Fsica e a Astronomia no contexto da Trigonometria Esfrica, como por exemplo, determinar a declinao de um planeta ou determinar a direo do nascer ou do ocaso de um corpo celeste em uma dada latitude.

123

REFERNCIAS

ALVES, Srgio. A Geometria do Globo Terrestre. In: Revista do Programa de Iniciao Cientfica OBMEP, Rio de Janeiro: IMPA 2009. ALVES, Srgio. A Matemtica do GPS. In: Revista do Professor de Matemtica N 59, So Paulo: SBM, 2006. BARBOSA, Joo Lucas Marques. Geometria Hiperblica. Goinia: Ed. da UFG, 2002. BERNARDI, J.V.E.; LANDIM, P.M.B. Aplicao do Sistema de Posicionamento Global (GPS) na coleta de dados. Rio Claro: IGCE/UNESP, 2002, p. 31. Texto Didtico 10. CARMO, Manfredo Perdigo do. Geometria Diferencial de Curvas e Superfcies. Rio de Janeiro: SBM, 2 ed. 2006. CARMO, Manfredo Perdigo do. Geometrias No-Euclidianas. In: Revista Matemtica Universitria N 6, Rio de Janeiro, 1987. COUTINHO, Lzaro. Convite s geometrias no-euclidianas. Rio de Janeiro: Intercincia, 2001. DOLCE, Osvaldo; POMPEO, Jos Nicolau. Fundamentos de matemtica elementar 9: geometria plana. So Paulo: Atual, 2005. DOLCE, Osvaldo; POMPEO, Jos Nicolau. Fundamentos de matemtica elementar 10: geometria espacial, posio e mtrica. So Paulo: Atual, 2005. EUCLIDES. Os Elementos. Traduo e introduo de Irineu Bicudo. So Paulo: Editora UNESP, 2009. EVES, Howard. Introduo Histria da Matemtica. Campinas, Editora da UNICAMP, 2004. FRANCO, Valdeni Soliani; MENEZES, Luana Paula Goular de. Utilizando o Geogebra para Construo e Explorao de um Modelo Plano para a Geometria Elptica. In: Actas de la Conferencia Latinoamericana de GeoGebra. Uruguai, 2012. GERNIMO, Joo Roberto; FRANCO, Valdeni Soliani. Geometria plana e espacial: um estudo axiomtico. Maring: Eduem, 2010. HOGBEN, Lancelot. Maravilhas da Matemtica: Influncia e Funo da Matemtica nos Conhecimentos Humanos. Porto Alegre: Editora Globo, 1970. LANGENDOLFF, A. PELLEGRINI, G. Fundamentos de cartografia e o sistema de posicionamento global GPS. Santa Maria: UFSM, 2008.

124

LIMA, E. L. et al. Exames de Textos: Anlise de Livros de Matemtica para o Ensino Mdio. Rio de Janeiro: SBM, 2001. LIMA, Elon Lages et al. A Matemtica do Ensino Mdio Vol. 2. Rio de Janeiro: SBM, 2006. LIMA, Elon Lages et al. A Matemtica do Ensino Mdio Vol. 4. Rio de Janeiro: SBM, 2010. LIMA, Elon Lages. Meu Professor de Matemtica e outras histrias. Rio de Janeiro: SBM, 2011a. LIMA, Elon Lages. Geometria Analtica e lgebra Linear. Rio de Janeiro: IMPA, 2011b. MLODINOW, Leonard. A Janela de Euclides: A Histria da Geometria, das Linhas Paralelas ao Hiperespao. So Paulo: Gerao Editorial, 2005. MURRAY, Daniel A. Spherical Trigonometry. New York: Longmans, Green and Co., 1908. OLIVEIRA, Krerley Irraciel Martins; FERNNDES, Adn Jos Corcho. Iniciao Matemtica: um curso com problemas e solues. Rio de Janeiro, SBM, 2010. PARAN. Secretaria de Estado da Educao do Paran. Diretrizes Curriculares da Educao Bsica: Matemtica. SEED: Curitiba, 2008. POINCAR, Henri. A cincia e a hiptese. Traduo de Maria Auxiliadora Kneipp. Braslia: Editora da UNB, 1984. SAMPAIO, Joo Carlos Vieira. Uma Introduo Topologia Geomtrica. So Carlos: EdUFSCAR, 2008. SILVA, Ana Paula Bispo da; MARTINS, Roberto de Andrade. As Geometrias NoEuclidianas e o Fim das Verdades Inabalveis. In: Scientific American Histria. So Paulo: Duetto Editorial, n 6, pg. 15-19, 2006. SILVA, Karolina Barone Ribeiro da. Noes de geometrias no euclidianas: hiperblica, da superfcie esfrica e dos fractais. Curitiba: CRV, 2011. SMOGORZHEVSKI, A. S. A Cerca de La Geometria de Lobachevski. Moscou: Mir, 1978. WAGNER, Eduardo. Teorema de Pitgoras e reas. In: Revista do Programa de Iniciao Cientfica OBMEP, Rio de Janeiro: IMPA 2012. Stios da internet consultados <http://www.nmserveur.com/lexique/contenu/Images/couche_spherique.jpg> Acesso em 05/10/2012.

125

<http://www.portalplanetasedna.com.ar/archivos_varios3/euclides.jpg> 12/11/2012. <http://www.egipto.com/nefera/ptolomeo1.jpg> Acesso em 12/11/2012.

Acesso

em

<http://www.astro.gr/arxaiaKeimena/images/proclus.gif> Acesso em 12/11/2012. <http://www.dinbali.com/wp-content/uploads/2012/09/Nasireddin.jpg> 12/11/2012. Acesso em

<http://rudimatematici-lescienze.blogautore.espresso.repubblica.it/files/2009/11/Wallis.jpg> Acesso em 12/11/2012. <http://apprendre-math.info/history/photos/Lambert.jpeg> Acesso em 12/11/2012. <http://apprendre-math.info/history/photos/Legendre.jpeg> Acesso em 12/11/2012. <http://www.rare-earth-magnets.com/images2/johann_carl_friedrich_gauss.jpg> Acesso em 12/11/2012. <http://www.omikk.bme.hu/archivum/kozoskepek/bolyai_janos.jpg> Acesso em 12/11/2012. <http://apprendre-math.info/history/photos/Lobachevsky.jpeg> Acesso em 12/11/2012. <http://content.answcdn.com/main/content/img/scitech/HSgeorgf.jpg> 12/11/2012. Acesso em

<http://static.yousaytoo.com/post_images/37/2e/6f/9143452/remote_image_96447bfafe.jpg> Acesso em 04/12/2012. <http://www-groups.dcs.st-andrews.ac.uk/~history/Biographies/Thales.html> 08/01/2013. <http://www-groups.dcs.st-andrews.ac.uk/~history/PictDisplay/Playfair.html> 08/01/2013. <http://pt.wikipedia.org/wiki/Proclus> Acesso em: 08/01/2013. <http://www.professores.uff.br/hjbortol/> Acesso em: 13/01/2013. <http://www.professores.uff.br/hjbortol/arquivo/2006.1/applets/earth_br.html> 13/01/2013. <http://maps.google.com.br> Acesso em 14/01/2013. <http://www.nhc.noaa.gov/gccalc.shtml> Acesso em: 16/01/2013. <http://www.satsig.net/maps/lat-long-finder.htm> Acesso em 16/01/2013. <http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html>. Acesso em 18/01/13. Acesso em Acesso em Acesso em

126

<http://www.ausairpower.net/XIMG/GPS-Spheres-Chart-1S.png>. Acesso em 18/01/13. <http://www.daftlogic.com/sandbox-google-maps-find-altitude.htm> Acesso em 21/01/2013. <http://www.navworld.com/navcerebrations/flight3.gif> Acesso em 24/01/2013. <https://perso-sdt.univ-brest.fr/~jacdev/ens/posi/images/image47.gif> Acesso em 24/01/2013. <http://www.geom.uiuc.edu/docs/dpvc/Pictures/KleinBottle.gif> Acesso em 03/02/13. <http://www.math.cornell.edu/~mec/2008-2009/HoHonLeung/Torus.png> 03/02/13. Acesso em

<http://www.vialattea.net/curvatura/img/pseudosphere.gif> Acesso em 13/02/13. <http://utenti.quipo.it/base5/topologia/moebius05.gif> Acesso em 13/02/13. <http://images.planetmath.org/cache/objects/5841/js/img2.png> Acesso em 16/03/2013.

127

APNDICES Apndice A: Distncia entre dois pontos no espao euclidiano tridimensional A distncia entre dois pontos distintos do espao na Geometria Euclidiana dada por:

Figura 71 Distncia entre os pontos

e .

Fonte: Autores.

Prova: Sejam Se e e pontos distintos do espao Euclidiano.

esto sobre uma mesma reta paralela a um dos eixos coordenados, ento eles tm , e e ; , e ; , . Neste caso a distncia entre eles

coordenadas duas a duas iguais. Vejamos:

dada pelo mdulo da diferena das coordenadas diferentes. Agora, vamos supor que (Figura 70). Pela observao feita acima temos: Aplicando o Teorema de Pitgoras no tringulo e . e no esto sobre uma reta paralela a um dos eixos coordenados , , e

e, para isto, consideremos os pontos

retngulo em , obtemos: .

Note que os segmentos

so lados opostos do retngulo

. Da, temos:

128

. Por outro lado os pontos Logo, . e esto sobre uma mesma reta paralela ao eixo .

Como o tringulo PAQ retngulo em A e aplicando o Teorema de Pitgoras, obtemos: , isto ,

Apndice B: Lei dos senos para tringulos esfricos Queremos mostrar que em um tringulo esfrico vale:

Prova: Seja o tringulo esfrico O Ponto de lados , e respectivamente (Figura 71). .

o centro da superfcie esfrica que contm o triangulo esfrico


Figura 72 Demonstrao da Lei dos senos para tringulos esfricos.

Fonte: Hogben (1970).

Vamos considerar a reta perpendicular ao plano que tal reta passa pelo vrtice . Por que resulta nos pontos e perpendiculares a os segmentos e

cuja interseco determina o ponto

e e

traamos as retas perpendiculares aos segmentos cujas interseces so os pontos e .

respectivamente. Agora pelo ponto , tambm traamos as

129

O ngulo retas . O ngulo retas . e e

formado pela interseco dos planos que passam por so perpendiculares no ponto , ento o ngulo

. Como as

congruente ao ngulo

formado pela interseco dos planos que passam por so perpendiculares no ponto , ento o ngulo

. Como as

congruente ao ngulo

No que acabamos de elencar, temos quatro tringulos planos retngulos (Figura 72).
Figura 73 Quatro tringulos planos retngulos.

Fonte: Autores.

Logo, temos: ; Ento, ; Logo, e ; e ;

Portanto,

Uma construo anloga a que fizemos, porm, considerando o vrtice igualdade anterior vale para a razo Assim, conclumos que:

ou

temos que a