Você está na página 1de 131

# IDELMAR ANDR ZANELLA

Londrina PR 2013

## 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

## Londrina, 12 de maro de 2013.

minha

esposa

Marl

pela

sua

compreenso e incentivo.

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

## 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 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

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

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 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.

19

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

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.

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

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

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

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

## 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 .

## 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).

## 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

## 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

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.

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.

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

Figura 22 Gauss.

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

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

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

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

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

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

## , 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

## 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.

Fonte: Autores.

.

## 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.

48

## 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

## 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.

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

## 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, .

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 .

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

## 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

## 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

## 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

## 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 .

## 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

## 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

## 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

.

## 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,

59

## 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).

Fonte: Autores.

62

## 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.

65

contido e,

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,

## 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

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

## 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

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

2.3

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

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

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

## 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

, a latitude do ponto

ser

, isto , o ponto

## (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

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 .

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

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

## 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:

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 ,

## (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

## ). 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,

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

## 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.

Os tringulos

95

, temos:

Ento,

## 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

Fonte: Autores.

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

97

Como

## (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

e a latitude do ponto

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

## 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

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.

## 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

## 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.

## 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).

## , 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 (

## 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

## 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,

## , 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

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:

## 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.

115

Fazendo

, 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.

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

120

121

122

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

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:

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: .

## 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:

## 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

e e

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