UNIVERSIDADE FEDERAL DO RECNCAVO DA BAHIA

CENTRO DE CINCIAS EXATAS E TECNOLGICAS

MESTRADO EM MATEMTICA

UMA ABORDAGEM DE GEOMETRIAS

NO-EUCLIDIANAS NA EDUCAO BSICA:
GEOMETRIA ESFRICA

OSNILDO ANDRADE CARVALHO

CRUZ DAS ALMAS

2014

UMA ABORDAGEM DE GEOMETRIAS

NO-EUCLIDIANAS NA EDUCAO BSICA:
GEOMETRIA ESFRICA

OSNILDO ANDRADE CARVALHO

Trabalho de concluso de curso apresentado ao

curso de Mestrado em Matemtica do Centro de
Cincias Exatas e Tecnolgicas da Universidade
Federal do Recncavo da Bahia, e a Sociedade
Brasileira de Matemtica como parte dos requisitos para a obteno do ttulo de Mestre.

Orientador: Profo Dr. Juarez dos Santos Azevedo

CRUZ DAS ALMAS

2014

UMA ABORDAGEM DE GEOMETRIAS

NO-EUCLIDIANAS NA EDUCAO BSICA:
GEOMETRIA ESFRICA

OSNILDO ANDRADE CARVALHO

Trabalho de concluso de curso apresentado ao curso de Mestrado em Matemtica do Centro de Cincias Exatas e Tecnolgicas da Universidade Federal do Recncavo da Bahia, e a
Sociedade Brasileira de Matemtica como parte dos requisitos para a obteno do ttulo de
Mestre.

Banca Examinadora:

Orientador:____________________________________________________________
Profo Dr. Juarez dos Santos Azevedo - UFRB

Membro:______________________________________________________________
Profo Dr.....

Membro:______________________________________________________________
Profo Dr.....

Cruz das Almas, 01 de Maro de 2014.

A minha querida esposa Jsua

e meus filhos Silas e Ana Vitria,
com muito amor.

"Algo s impossvel at que algum duvida

e acaba provando o contrrio."
Albert Einstein

Agradecimentos
Agradeo, essencialmente, Deus pelo Seu amor incondicional, pelo Seu amparo ante aos
obstculos que a vida me imps e por ter permitido o cumprimento desta importante etapa da
minha vida.
Agradeo meus amigos Roque Lyrio, Gabriel Velame pelas palavras de incentivo e amizade que fizeram para que este momento pudesse se concretizar.
Agradeo minha famlia e, de um modo especial, minha esposa Jsua, pelo amor, incentivo e pelo contnuo apoio durante o perodo de mestrado, bem como fora dele.
Agradeo a Capes o apoio mediante o financiamento para realizao deste trabalho.
Agradeo a Sociedade Brasileira de Matemtica em propor este mestrado, no qual contemplou os professores em exerccios dando uma oportunidade para a capacitao profissional.
Agradeo em especial a meu orientador, professor Juarez Azevedo, por ter me acompanhado como seu orientando no desenvolvimento deste e de outros trabalhos acadmicos, pela
pacincia, pelas conversas e incentivo, por toda a dedicao e disponibilidade.
Agradeo aos professores .... e .... por aceitarem em participar da banca examinadora deste
trabalho, bem como pelas suas correes e formidveis sugestes adicionadas ele.
Enfim, a todos os que, de alguma maneira, contriburam para a concluso de mais esta
etapa da minha vida, os meus sinceros agradecimentos.
Osnildo Andrade Carvalho.

Resumo
trabalho, estudaremos uma abordagem das Geometrias no-Euclidianas, como uma
forma de verificar que a cincia, e em particular a Matemtica pode obter vises diferentes da realidade, mesmo depois de anos consolidada. Abordaremos os postulados de Euclides,
e as controvrsias em torno do postulados das paralelas, alm de tratar os dois tipos clssicos
de Geometrias no-Euclidianas: Hiperblica e Esfrica. Iremos concluir com aplicaes a Geometria Esfrica, assunto este instrutivo e de fcil acesso aos estudantes e professores do ensino
bsico.

ESTE

Palavras-chave: Geometrias no-Euclidianas, Geometria Hiperblica, Geometria Esfrica, Tringulos Esfricos.

Abstract
this paper, we study an approach to non-Euclidean geometries, as a way to verify that
science, particularly mathematics can get different views of reality, even after years consolidated. Therefore approach the postulates of Euclid, and the controversies surrounding the
postulates of parallel. In addition, addressing the two classical types of non-Euclidean geometries: spherical and hyperbolic. We will conclude with applications of Spherical Geometry,
issue this instructive and rich, easily accessible to students and teachers of basic education.

Keywords: Non-Euclidean Geometries, Euclidean, Spherical Geometry, Spherical Triangles.

Sumrio
Introduo
1

Preliminares
1.1 Histrico da Geometria Euclidiana. . . . . . . . . . .
1.1.1 Postulados ou Axiomas? . . . . . . . . . . . .
1.2 Tentativas frustradas de provar o quinto postulado.
1.3 Surgimento das Geometrias no-Euclidianas. . . . .
1.4 Geometria Hiperblica. . . . . . . . . . . . . . . . . .
1.4.1 Modelos da Geometria Hiperblica. . . . . .
1.5 Geometria Esfrica. . . . . . . . . . . . . . . . . . . .

11
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

14
14
17
19
21
24
25
29

Conhecendo melhor a Geometria Esfrica.

2.1 Definindo a esfera e, entendendo alguns de seus elementos. . . . . . . . . .
2.1.1 Relao entre o arco de paralelo e o correspondente arco do Equador.
2.2 Tringulos esfricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Propriedades dos tringulos esfricos. . . . . . . . . . . . . . . . . . .
2.2.2 O teorema de Pitgoras na Geometria Esfrica. . . . . . . . . . . . . .
2.2.3 Relao entre o nmero e o dimetro do crculo. . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

32
33
38
39
40
46
47

Aplicaes da Geometria Esfrica.

Consideraes finais

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

49
59

Lista de Figuras
1.1

Euclides de Alexandria. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.2
1.3

O quinto postulado de Euclides. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

Nasiraddin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.4

Jonh Wallis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.5

Johann Heinrich Lambert. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

1.6
1.7

Carl Friedrich Gauss. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

Farkas Bolyai. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

1.8

Janos Bolyai. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

1.9

Nicolai Lobachevsky. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

1.10 Representao geomtrica do Postulado de Lobachevsky. . . . . . . . . . . . . . . 25

1.11 (a) Eugnio Beltrami. (b) Pseudo esfera. . . . . . . . . . . . . . . . . . . . . . . . . 26
1.12 (a) Felix Klein. (b) Modelo de Klein. . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.13 Consequncias do modelo de Klein. . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.14 Quadriltero no modelo de Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.15 (a) Jules Henri Poincar. (b) Modelo de Poincar. . . . . . . . . . . . . . . . . . . . 28
1.16 Tringulo hiperblico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.17 Bernhard Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1

Esfera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.2

Eixo polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

2.3

Latitude e longitude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

2.4
2.5

Globo Terrestre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Plano euclidiano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

2.6

Plano esfrico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2.7

Trajetria Salvador-Lisboa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2.8

Arco paralelo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
9

2.9

Tringulo esfrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.10 ngulo triedrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

2.11 Tringulo esfrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.12 Superfcies esfricas limitadas por diedros . . . . . . . . . . . . . . . . . . . . . . . 42
2.13 Tringulo esfrico com 3 ngulos retos . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.14 Tringulo esfrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.15 Clculo do nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.16 Clculo de na geometria esfrica . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.1

Problema 3.1 na folha de papel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

3.2

Problema 3.1 na bola de isopor. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

3.3
3.4

Encontrando a distncia na superfcie esfrica . . . . . . . . . . . . . . . . . . . . 55

Comparando distncias na superfcie esfrica. . . . . . . . . . . . . . . . . . . . . 57

Introduo

Geometria na sua essncia baseada na realidade, e o seu desenvolvimento diretamente

ligado ao sistema dedutivo1 . Ela iniciada a partir de definies de elementos (pontos, retas, planos), sendo necessrio aceitar algumas verdades intuitivas impostas as quais se estabelecem entre esses elementos onde denominamos axioma. Em seguida, criamos regras atravs de
Teoremas ou Proposies, que so deduzidos apenas atravs de um raciocnio lgico de axiomas fixados. A depender, do conjunto dos axiomas a serem considerados, podemos estabelecer
vrias Geometrias distintas.
Neste sentido, iremos tratar do histrico da Geometria Euclidiana e no-Euclidiana e trazer
os fundamentos matemticos que motivaram a existncia de outras Geometrias. importante
salientar que a Geometria Euclidiana est interligada a grande aplicabilidade no cotidiano e
que a torna extremamente til em nossas vidas. Porm esta Geometria possui suas limitaes.
De acordo com De Maio [9], est Geometria no aplicvel no microcosmo (tomos e molculas), macrocosmo (posies dos corpos celestes na esfera celeste2 ) e nem a grandes distncias
(distncias astronmicas). Apesar disso, seu desenvolvimento desde a poca dos Babilnicos
(2000 a.C. a 1600 a.C.) at os dias atuais incontestvel. Sua grande expanso vem desde a
criao da famosa publicao Os Elementos por Euclides de Alexandria datada por volta de 300
anos a.C. 3 . Nessa poca todo conhecimento geomtrico emprico foi sistematizado por Euclides no perodo ureo da Grcia atravs do livro Os Elementos. Este livro era um conjunto de
treze livros ou captulos, que reunia os conhecimentos matemticos da poca e at hoje tem
ampla divulgao, perdendo somente para Bblia Sagrada [11].
1 sistema

dedutivo: aquele constitudo de axiomas e regras de inferncia que podem ser usadas para derivar
os teoremas do sistema.
2 uma esfera imaginria de raio indefinido, centrada na Terra. Todos os corpos celestes que podem ser vistos
no cu podem ser considerados como estando superfcie desta esfera.
3 Segundo [11] desapontador porm, muito pouco se sabe sobre a sua vida, salvo que foi ele, segundo possa
parecer, o criador da famosa escola de matemtica de Alexandria.

11

Embora a obra Os Elementos de Euclides tenha uma importncia fundamental para o desenvolvimento da Geometria, outras obras tentaram anteceder, mas sem xito, como por exemplo
o trabalho desenvolvido por Hipcrates de Quio e por conseguinte o de Lon, depois por Tedio de Magnsia na Academia de Plato. Provavelmente, a obra de Euclides tenha se baseado
nestas anteriores, e conseguiu se aperfeioar de forma inteligente escolhendo as proposies
adequadas e demonstraes eficazes [4]. O mrito desta obra, entretanto, no estava nos contedos abordados, visto serem conhecidos pelos egpcios, mesopotmicos e gregos, mas na
metodologia empregada da compilao dos mesmos [21].
At meados do sculo XIX, a Geometria Euclidiana se manteve inalterada, quando matemticos procuraram analisar a independncia dos postulados de Euclides. Motivados por
novas descobertas, surgiram ento as Geometrias no-Euclidianas, porm com estruturas axiomticas to consistentes quanto as Euclidianas. Estas Geometrias chegaram a ser chamada
de imaginrias, pelo fato de considerar a de Euclides a real, ou seja, a que representava o
universo fsico da poca, alm de dar um suporte a Fsica Newtoniana, que explicava de maneira satisfatria os fenmenos do cotidiano [9]. Alm disso, com o crescente desenvolvimento
das cincias, principalmente da Fsica, da Astrofsica, da Qumica e aperfeioamento dos instrumentos de anlise da matria, a Geometria Euclidiana se tornou limitada e no conseguiu
explicar alguns fenmenos fsicos neste perodo. Com isso as novas Geometrias deram suporte
ao aparecimento da Fsica Relativstica e da Mecnica Quntica [9].
Motivados pelo surgirmento e estudo destas distintas Geometrias e a fim de descrever suas
origens, iniciaremos este trabalho com o histrico da Geometria Euclidiana. Em seguida, mostraremos o surgimento de novas Geometrias, as chamadas no-Euclidianas destacando-se entre elas a Geometria Hiperblica e Geometria Esfrica. Tendo sua importncia no ensino bsico
para compreender o espao fsico onde vivemos, ou seja, o Globo Terreste. Desta forma, entender por exemplo a distncia de entre duas localidades no Globo Terrestre.
A dissertao organizada como segue:
Captulo 1: resgata um pouco da histria da obra Os Elementos de Euclides e mostra o
surgimentos das Geometrias no-Euclidianas, destacando a Geometria Hiperblica e Esfrica.
Captulo 2: apresenta elementos da Geometria Esfrica, como definies e conceitos referentes a esta Geometria alm dos principais teoremas e corolrios.
Captulo 3: faz algumas aplicaes da Geometria Esfrica, tendo destaque nos tringulos
esfricos e distncias na superfcie esfrica. Aplicaes essas, que podem ser abordadas tanto
no ensino bsico como na graduao. Sendo assim, uma forma de motivar a apresentao das
12

Geometrias no-Euclidianas.

13

Captulo 1
Preliminares

C aptulo

faz um breve resumo da obra de Euclides (Figura 1.1) intitulada "Os Elemen-

tos"e as discusses acerca do quinto postulado, o qual levaram ao surgimento das novas

Geometrias, com o intuito de deixar melhor compreendido os captulos seguintes.

Figura 1.1: Euclides de Alexandria.

1.1

Histrico da Geometria Euclidiana.

O livro Os Elementos foi um trabalho extremamante relevante, visto que at hoje a Geometria trabalhada na escola bsica est ligada aos postulados e teoremas apresentados na mesma
poca por Euclides. Uma grande influncia para as geraes seguintes, devido ao aspecto formal se tornando um modelo para a Matemtica moderna de acordo com [11, 20]. Apesar da
impresso difundida, Os Elementos no trata apenas de Geometria. O livro tambm apresenta

14

lgebra Elementar e Teoria dos Nmeros. Alm disso, composto de 465 proposies distribudas em treze volumes.
Como Euclides, abrangeu importantes conhecimentos Matemticos da poca, segue uma
descrio sucinta baseada em Boyer [4] de cada um dos volumes desta importante obra:
Livro I est diretamente ligado nas definies de Geometria, que trabalhada na escola
secundria, possuem 28 proposies, dentre elas: congruncias de tringulos, construes simples com rgua e compasso, desigualdades relativas a ngulos e lados de um tringulo, soma
dos ngulos internos de um tringulo como sendo igual a de dois ngulos retos. Finalizando,
com a demonstrao do teorema de Pitgoras.
Livro I I o menor deles, apresentando apenas quatorze proposies, voltada para lgebra
geomtrica. Como exemplo a Proposio 4: "Se uma reta cortada ao acaso, o quadrado sobre o
todo igual aos quadrados sobre os segmentos e duas vezes o retngulo contido pelos segmentos",
uma maneira de dizer ( a + b)2 = a2 + 2ab + b2 . Neste livro encontram-se os equivalentes
geomtricos de muitas identidades algbricas.
Livro I I I, trata de Geometria no crculo. Com 37 proposies, provavelmente descobertas
por Hipcrates [12], com elementos do crculo como arcos, segmentos, tangentes e cordas.
Livro IV, dedicado construo com rgua e compasso de alguns poligonos regulares:
tringulos, quadrados, pentgonos e hexagonos, inscritos e circunscritos em circunferncias.
Com base no tringulo e pentgono regulares, Euclides ensina a construir o polgono de 15
lados (pentadecgono).
Livro V, utiliza segmentos de retas para representar nmeros. Euclides, apresenta a teoria
das propores, de Eudxio 1 , como a proposio V 12: "Se um nmero qualquer de pares
de magnitudes mantm uma relao de propocionalidade, ento, da mesma maneira que um
antecedente est para seu consequente, a soma de todos os antecedentes estar para a soma de
todos os consequentes"[12]. Algebricamente temos:
a : b = c : d = e : f = ...
ento
a : b = ( a + c + e + . . .) : (b + d + f + . . .)
1 Eudxio de Cnidos era um humilde aluno que Plato recebeu em sua Academia, extremamante pobre, nascido
em 408 a. C. Entre outros grandes feitos, coube a Eudxio a eterna honra de reformular a teoria das propores
de modo a levar em conta a existncia dos irracionais, problema que os pitagricos no conseguiram resolver.
Assim, tornou-se um dos maiores matemticos da Antiguidade.

15

Essa e outras proposies de propocionalidade so independentes da comensurabilidade e acabaram tendo aplicao decisiva na Aritmtica que os gregos conseguiram construir.
Livro V I, destinado a aplicabilidade da teoria das propores (livro V) s figuras semelhantes. Nele encontramos os teoremas fundamentais de semelhana de tringulos; construes de terceiras, quartas e mdias proporcionais e resoluo geomtrica de equaes quadrticas. possvel que nenhum teorema nesse livro fosse desconhecido dos pitagricos antigos
[11].
Livro V I I, baseado na Teoria dos Nmeros, estuda as propriedades dos nmeros naturais
e suas relaes. Sendo a proposio V I I 2 a mais famosa dos Os Elementos, onde apresenta
o mtodo para se encontrar o Mximo Divisor Comum (m.d.c.) de dois nmeros, atravs de
uma sequncia de operaes que ficou conhecido como Algoritmo de Euclides. Enunciado em
forma de regra, como segue: "Divida o maior dos dois nmeros inteiros positivos pelo menor
e ento divida o divisor pelo resto. Continue esse processo de dividir o ltimo divisor pelo
resto, at que a diviso seja exata. O divisor final o m.d.c. procurado". Este procedimento
encontrado em vrios livros de Aritmtica [13, 20, 1, 10, 16].
Livro V I I I, com 27 proposies tambm um livro aritmtico e trata de propriedades dos
nmeros, em especial as sequncias que os gregos chamavam de proporo contnua, onde hoje
conhecemos como Progresses Geomtricas. Como exemplo a Proposio V I I I 22: "se trs
nmeros esto em proporo contnua e se o primeiro deles um quadrado, ento o terceiro
tambm ser um quadrado".
Livro IX, trata da Teoria dos Nmeros, com 36 proposies e teoremas relevantes como o
Teorema IX 14 "Teorema Fundamental da Aritmtica: "Qualquer nmero pode ser decomposto e de uma forma nica, exceto quanto ordem dos fatores, como o produto de seus fatores
primos". Sendo admirvel que os gregos j soubessem disso. Este teorema encontrado em
vrios livros de Teoria dos Nmeros e Criptografia [13, 20, 10, 16, 7].
Livro X, o mais longo dos 13 volumes, com 115 proposies. Neste livro, Euclides classifica e estuda os diversos tipos de grandezas incomensurveis das formas
q

q

a b, a + b, a b e
a b
onde a e b so magnitudes comensurveis. Encontramos tambm frmulas que fornecem as
ternas pitagricas, frmulas essas que os babilnicos antigos talvez j tivessem conhecimento
um milnio antes [11].
16

Livro XI, com 39 proposies, mostra a passagem do plano para o espao por Euclides. Pela
primeira vez, trata de figuras slidas, definidas como aquelas que tem comprimento, largura e
espessura. Descreve os slidos de revoluo como a pirmide, prisma, paraleleppedo, cone e
esfera, alm dos cinco poliedros regulares.
Livro XI I, traz 18 proposies, abordando o estudo de reas e volumes, alm de figuras
como cones, esferas e pirmides. Destaca-se o mtodo de exausto utilizado para encontrar a
rea de uma figura inscrevendo-se dentro dela uma sequncia de polgonos cuja soma das
reas converge para a rea da figura desejada. Os principais teoremas demonstrados so:
1. As pirmides e os prismas de mesma base (ou mesma altura) esto entre si como suas
alturas (ou bases).
2. Todo prisma triangular se decompe em trs pirmides equivalentes.
3. O volume de um cone um tero do volume do cilindro de mesma base e altura.
4. Os cones e cilindros de mesma base (ou altura) esto entre si como suas alturas (ou bases).
5. Os volumes de duas esferas esto entre si como os cubos dos seus dimetros.
O ltimo livro se dedica ao estudo das propriedades dos cinco slidos regulares: tetraedro,
cubo, octaedro, dodecaedro e icosaedro. Este fato levou a alguns historiadores a dizer que Os
Elementos foram compostos como uma glorificao das figuras platnicas [4]. Porm, como os
volumes anteriores no tem uma relao com os poliedros regulares, tal comentrio no tem
procedncia. Sendo apenas uma espcie de clmax para concluir sua obra [12].

1.1.1

Postulados ou Axiomas?

Apesar de nos dias atuais no se fazer distino entre axioma e postulado, a maioria dos
matemticos gregos consideravam esta distino a partir da seguinte definio: "um axioma
uma suposio comum a todas as cincias ao passo que um postulado uma suposio peculiar a uma cincia particular em estudo"[11]. No se sabe com exatido quais os axiomas
e postulados utilizados por Euclides, muito menos, quantos, devido as alteraes feitas pelos
editores subsequentes. Provavelmente, ele assumiu dez afirmaes, cinco axiomas A1 , . . . , A5 e
cinco postulados P1 , . . . , P5 a saber:
17

A1 : Coisas iguais mesma coisa so iguais entre si.

A2 : Adicionando-se iguais a iguais, as somas so iguais.
A3 : Subtraindo-se iguais, as diferenas so iguais.
A4 : Coisas que coincidem uma com a outra so iguais entre si.
A5 : O todo maior do que a parte.
P1 : possvel traar uma linha reta de um ponto qualquer a outro ponto qualquer.
P2 : possvel prolongar uma reta finita indefinidamente em linha reta.
P3 : possvel descrever um crculo com qualquer centro e qualquer raio.
P4 : Todos os ngulos retos so iguais entre si.
P5 : Se uma reta intercepta duas retas formando ngulos interiores de um mesmo lado menores
do que dois retos, prolongando-se essas duas retas indefinidamente elas se encontraro
no lado em que os dois ngulos so menores do que dois ngulos retos.
Atravs desses axiomas e postulados, Euclides construiu a Geometria que se estuda hoje,
tanto na educao bsica como superior. Atravs de uma breve anlise, percebemos que os
postulados P1 e P2 , estabelecem a existncia de uma reta determinada por dois pontos. J o P3
estabelece a existncia do crculo, apenas com o raio e o centro. Devido a isso a rgua sem escala
e o compasso desmontvel tornaram-se os nicos instrumentos permitidos para problemas
de construo da Geometria Euclidiana [11], enquanto o postulado P4 apenas estabelece uma
congruncia entre ngulos retos.
No caso do postulado P5 (vide Figura 1.2), devido a sua difcil linguagem, muitos matemticos durante mais de dois milnios, imaginaram se tratar de um teorema e no de um
postulado, onde poderia ser demonstrado a partir dos quatro primeiros [6]. Na tentativa de
melhorar o entendimento, outros enunciados surgiram. Dentre estes, o mais conhecido foi o
do matemtico e fsico escocs John Playfair (1748 1819): "Por um ponto fora de uma reta passa
uma nica reta paralela reta dada". Isto tornou o quinto postulado conhecido como postulado
das paralelas [11]. Outras alternativas para o postulado das paralelas so as seguintes:
(1) H pelo menos um tringulo cuja a soma dos ngulos internos igual a um ngulo raso;
18

(2) Existe um par de retas igualmente distantes uma da outra em todos os pontos;
(3) Por trs pontos no-colineares pode-se traar uma circunferncia;
(4) Por qualquer ponto interior de um ngulo menor que 90o pode-se sempre traar uma reta
que intercepta ambos os lados do ngulo.

Figura 1.2: O quinto postulado de Euclides.

1.2

Tentativas frustradas de provar o quinto postulado.

As tentativas de provar o quinto postulado ou postulados das paralelas, ocuparam os gemetras por mais de dois milnios. Porm, nenhuma das tentativas teve xito levando seguinte
concluso: no existe uma demonstrao para o postulado das paralelas, considerando os
quatro primeiros postulados como hiptese. Apesar das tentativas frustradas para provar o
postulado das paralelas, vale ressaltar que os esforos neste sentido foram essenciais para o
surgimento das Geometrias no-Euclidianas.
Algumas pessoas no decorrer da histria fizeram tentativas, mesmo que fracassadas para a
prova dos postulados das paralelas. Dentre elas, destacam-se:
Ptolomeu (sculo I I d.C.), escreveu um livro sobre o postulado das paralelas, com o ttulo:
"Que linhas prolongadas de ngulos menores que dois ngulos retos encontram-se uma com
a outra". Este fato foi citado por Proclus (410 485 d.C.) que nos seus comentrios afirma
que Ptolomeu cometeu um equvoco em admitir que a propriedade verdadeira somente sob
a validade do postulado das paralelas. Assume que as propriedades aceitas para os ngulos
interiores de um lado da reta transversal tambm devem ser vlidas para os ngulos do outro
lado [23].
19

Em seguida o prprio Proclus, props uma prova. Com o argumento de mostrar que dadas
duas retas paralelas, se uma transversal intercepta uma delas, dever ento interceptar a outra.
Na sua demonstrao acaba admitindo que duas retas paralelas so equidistantes. Porm, essa
afirmao vlida dentro da Geometria Euclidiana, como consequncia do quinto postulado.
Nasiraddin (1201 1274) (Figura 1.3), astrnomo e matemtico persa pode ter sido o primeiro a dirigir sua ateno para o quinto postulado utilizando o teorema da soma dos ngulos
internos de um tringulo. Mas, sua demonstrao acaba implicitamente considerando verdade
o quinto postulado [23]. Em 1663, o gemetra ingls Jonh Wallis (1616 1703) (Figura 1.4) na

Figura 1.3: Nasiraddin.

Universidade de Oxford, ofereceu uma prova de sua autoria para o quinto postulado. Nesta
prova, ele desprende-se da ideia de assumir retas paralelas sendo equidistantes [18]. Neste
caso, props um novo axioma: "Seja um tringulo ABC e um segmento DE quaisquer. Existe um
tringulo DEF (tendo DE como um de seus lados) que semelhante a ABC", substituindo o postulado das paralelas. Porm, no fez mais do que dar um novo enunciado ao quinto postulado
de Euclides.

Figura 1.4: Jonh Wallis.

20

No sculo XV I I I, Giorolamo Saccheri (1667 1733), professor jesuta de matemtica em

Pavia, na sua tentativa de provar o quinto postulado utilizou o mtodo reduo ao absurdo. Porm, seu trabalho no conseguiu convencer outros matemticos, mas o interessante que suas
concluses se aproximaram do que hoje se chama de Geometria no-Euclidiana; entretanto,
Saccheri rejeitou-as imediatamante, declarando que uma Geometria dessa espcie era repugnante [19].
Alm de Saccheri, o matemtico suo Johann Heinrich Lambert (1728 1777) (Figura 1.5)
prosseguiu com suas idias, que embora tentasse provar o quinto postulado, parece ter tido
conscincia de no ter conseguido. E, ningum mais chegou to perto da verdade sem descobrir as Geometrias no-Euclidianas [4]. Apesar do esforo empreendido na poca para se

Figura 1.5: Johann Heinrich Lambert.

encontrar uma demonstrao para o quinto postulado, no incio do sculo XIX surgiram as
primeiras suspeitas de que a demonstrao tanto procurada era impossvel [18]. Os primeiros
a perceber este fato foram os matemticos Carl Friedrich Gauss (1777 1855), Janos Bolyai

(1802 1860) e Nicolai Lobachevsky (1793 1856). Assim, seus trabalhados consistiram na
negao do quinto postulado o que motivou o surgimento de Geometrias no-Euclidianas.

1.3

Surgimento das Geometrias no-Euclidianas.

Na primeira metade do sculo XIX, foi descoberta uma Geometria autoconcistente, distinta da Geometria de Euclides. Com a substituio do quinto postulado, ou postulado das
paralelas, surgem dois tipos clssicos de Geometrias no-Euclidianas: Geometria Hiperblica e a
Geometria Esfrica.

21

Na Geometria Hiperblica, o quinto postulado de Euclides substitudo pela seguinte afirmativa: dado um ponto P, fora de uma reta r, existe, mais de uma paralela a esta reta r. J na
Geometria Esfrica postula-se que no existe nenhuma reta paralela [6].
Carl Friedrich Gauss (Figura 1.6) foi o primeiro a escrever sobre as ideias de uma nova Geometria, embora no tenha publicado tais escritos. Temeroso das reaes pouco receptivas da
comunidade cientfica da poca, essas ideias, levaram a independncia do quinto postulado
[21]. Contudo Gauss, compartilhou suas ideias com um colega da Universidade de Gttingen,
o matemtico hungro Farkas Bolyai (Figura 1.7). Em carta datada de 17 de dezembro de 1799,
ele escreveu: " verdade que cheguei a vrias coisas que muitas pessoas considerariam uma
prova: mas, em meus olhos, elas nada provam. Por exemplo, se algum conseguisse demonstrar a possibilidade de um tringulo retilneo cuja rea fosse maior do que qualquer rea dada,
ento eu estaria pronto para provar o conjunto da Geometria de maneira absolutamente rigorosa. Muitas pessoas admitiriam isso como um axioma mas eu no. De fato, seria possvel que
a rea ficasse sempre abaixo de certo limite, no importando o quo longe os trs vrtices do
tringulo fossem colocados"[12].
Esta afirmao a princpio causa uma certa perplexidade, basta observar que, sobre a superfcie de uma mesma esfera, as reas dos tringulos esfricos no podem ultrapassar certo
limite, porm estava correta.
Foram trocadas vrias correspondncias entre ambos, o que indica que Farkas tambm empregou muita energia, sem resultados satisfatrios. Gauss tambm teve muito tempo para
publicar seus trabalhos, mas jamais o fez [12]. Nesta poca, Farkas Bolyai teve um filho com

Figura 1.6: Carl Friedrich Gauss.

afinidade para a matemtica, Janos Bolyai (1802 1860) (Figura 1.8), onde aos treze anos j
se revelava um gnio, dominando completamente os clculos diferencial e integral e outros
22

Figura 1.7: Farkas Bolyai.

ramos da matemtica superior, fato este que o levou a se dedicar na demonstrao do quinto
postulado onde chegou a resultados interessantes. Em 1823, em uma carta ao seu pai Farkas
Bolyai escrevia: "Revolvi publicar um trabalho sobre as paralelas, to logo tenha o material
organizado. O objetivo ainda no foi alcanado, mas tenho feito descobertas maravilhosas que
quase sou esmagado por elas, eu criei um universo inteiramente novo a partir do nada 2 "[6].

Figura 1.8: Janos Bolyai.

importante notar, que a Geometrias no-Euclidiana pouco divulgada entre os estudantes
do ensino bsico, enquanto a Geometria Euclidiana exerce grande destaque. Por conta disso,
natural que a Geometria Euclidiana seja inconscientemente tida como nica e universal entre
estes estudantes. Assim, a busca em despertar nos estudantes que a cincia dinmica e as
verdades no so absolutas, leva-nos a analisar e refletir sobre os contedos e abordagens feitas
2 Palavras

do pai em carta ao filho Janos Bolyai: "Pelo amor de Deus, eu peo, desista! Tema, tanto isto quanto
as paixes sensuais, porque isso tambm pode tomar todo seu tempo, e priv-lo de sua sade, paz de esprito e
felicidade na vida!

23

no seu perodo acadmico.

Na prxima seo iniciamos um estudo a respeito das geometrias no-Euclidianas comeando com a Geometria Hiperblica.

1.4

Geometria Hiperblica.

De maneira independente, dois matemticos desenvolveram essa Geometria, o russo Nicolai Lobachevsky (1792 1856) (Figura 1.9), quase que simultaneamente, o matemtico hngaro Janos Bolyai (1802 1860) que apesar de suas convices, no aprofundou suas pesquisas. Lobachevsky dedicou mais de duas dcadas sua descoberta. Em 1826, foi a primeira

Figura 1.9: Nicolai Lobachevsky.

apresentao do seu trabalho, na cidade de Kazan na Rssia, sem nenhuma aceitao. As
afirmaes de Lobachevsky colocavam em dvida a inquestionvel Geometria de Euclides.
Apesar disso, Lobachevsky publicou seus trabalhos, finalizando sua obra, a Pangeometria em
1855. Curiosamente este texto foi ditado, pelo fato do mesmo estar idoso e cego, confirmando,
a sua confiana na sua descoberta e determinao. Isto leva a nova Geometria a ser conhecida
tambm pelo seu nome [6].
Esta Geometria se caracteriza pelo fato de admitir todos os postulados da Geometria Euclidiana, com exceo do quinto postulado, sendo substituido pelo postulado de Lobachevsky:
Por um ponto dado P, fora de uma reta r, existe, mais de uma paralela a esta reta r. A Figura
1.10 ilustra esta Geometria. Note que entre as retas m1 e m2 passam infinitas retas, que no
interceptam a reta r. Estas retas so chamadas de no-secantes, e no so consideradas como
paralelas reta r. Apenas as retas m1 e m2 o so.

24

Figura 1.10: Representao geomtrica do Postulado de Lobachevsky.

1.4.1

Modelos da Geometria Hiperblica.

A representao das Geometrias no-Euclidianas merece alguns comentrios pois, estamos

habituados a representar os elementos euclidianos sobre uma folha de papel que, entendemos
ser, uma aproximao razovel do que imaginamos ser o plano euclidiano. Assim, quando
representamos elementos planos (tringulos, crculos, retas, etc.), esses desenhos buscam respeitar as dimenses das figuras, mas evidentemente estes desenhos no passam de representaes de ideias abstratas. Mesmo os elementos tridimensionais, podem ser desenhados no
papel (buscando respeitar ngulos e distncias). Neste caso, so introduzidas distores tanto
nos ngulos quanto nos comprimentos. Estas distores, todavia passam despercebidas, pois
fomos habituados a ela desde a infncia de modo que, quando observamos os desenhos no
papel associamos simultaneamente s ideias espaciais abstratas.
No entanto, para as pessoas que esto comeando a conhecer as Geometrias no-Euclidianas,
sua representao sobre uma folha de papel introduz distores inevitveis: por exemplo, as
retas, as vezes so desenhadas como na Geometria Euclidiana e outras vezes como linhas curvas. O que pode causar uma sensao estranha para ao leitor. Uma vez que ele, acha que todas
as retas dentro de uma mesma Geometria, devem ser iguais [12].
Particularmente, para observar melhor a Geometria Hiperblica utilizada a superfcie
da pseudo-esfera (vide Figura 1.11(b)). Este modelo foi construdo por Eugnio Beltrami 3
(1835 1900) (Figura 1.11(a)) e representa a superfcie tridimensional adequada modelagem
da geometria hiperblica, sendo essa de curvatura negativa com valor constante. A partir desta
3 gemetra

italiano contribuiu para o trabalho em Geometria diferencial de curvas e superfcies e deu uma
realizao concreta da Geometria no-Euclidiana.

25

superfcie, determinam-se as retas a e b marcando uma distncia arbitrria KQ sobre a reta r.

Com centro em P e um raio s qualquer, traa-se o arco de crculo que intercepta a perpendicular
TQ a r nos pontos S1 e S2 . Assim, estes dois pontos com o P determinam as retas a e b.

(a)

(b)

Figura 1.11: (a) Eugnio Beltrami. (b) Pseudo esfera.

Como o modelo proposto por Beltrami era de difcil interpretao, outro modelo, desta vez
no plano foi apresentado pelo matemtico Felix Klein 4 (1849 1925) (Figura 1.12(a)). Para isto,
basta tomar um crculo no plano euclidiano, considerando apenas a regio interior chamada
de plano de Lobachevsky que representam as cordas do crculo, excluindo suas extremidades.
Uma ilustrao dada pela Figura 1.12(b). Observe que por P traam-se as retas PA e PB
paralelas reta AB. Com isso, as infinitas retas que passam por P e situadas no interior do
ngulo , so retas no-secantes. Sendo assim, as retas do plano lobachevskyano so cordas do
crculo, excluindo-se suas extremidades.
Para o modelo satisfazer os postulados de Lobachevsky, preciso que as retas tenham uma
extenso infinita dentro de uma rea finita [6]. Est dificuldade vencida introduzindo-se uma
unidade de medida varivel, isto , seu tamanho diminui na proporo que se aproxima da
fronteira do plano (circunferncia do crculo). Com essa ideia a extenso de uma reta (no modelo, uma corda) torna-se infinita, pois se insistirmos em medi-la, no conseguiremos atingir
4 foi

um matemtico alemo. Seu trabalho incidiu na Geometria no-Euclidiana e nas interligaes entre a
teoria dos grupos e a Geometria.

26

(a)

(b)

Figura 1.12: (a) Felix Klein. (b) Modelo de Klein.

a extremidade da corda. como comearmos a medir a reta com meia unidade, e tal unidade
de medida vai diminuindo, como uma Progresso Geomtrica infinita de razo 12 , ou seja,
1
1
1
2 + 4 + 8 + ... de modo que no conseguiramos atingir a unidade.
Algumas caractersticas extradas do modelo de Klein representando a Geometria Hiperblica plana ajudam entender alguns dos resultados (vide Figura 1.13):

Figura 1.13: Consequncias do modelo de Klein.

(1) O ngulo de paralelismo agudo (ngulo formado por uma das paralelas e a perpendicular
de P a AB);
27

(2) O ngulo de paralelismo varivel e depende da distncia do ponto P reta AB;

(3) Duas retas distintas e perpendiculares reta AB formam um quadriltero PQMK (Figura
1.14), que vem a ser o retngulo na Geometria Hiperblica.

Figura 1.14: Quadriltero no modelo de Klein

Um outro modelo conhecido como o disco de Poincar foi criado pelo matemtico francs
Jules Henri Poincar (1854 1912) (Figura 1.15(a)). Neste modelo, a diferena em relao ao
modelo de Klein est na representao das retas, as quais so arcos de crculos perpendiculares
ao crculo, que representa o plano hiperblico (Figura 1.15(b)).

(a)

(b)

Figura 1.15: (a) Jules Henri Poincar. (b) Modelo de Poincar.

28

Consequentemente os modelos apresentados nos dizem que: "a soma dos ngulos internos
de um tringulo hiperblico (Figura 1.16) qualquer menor que 180o ", fato este que contraria
o tringulo euclidiano.

Figura 1.16: Tringulo hiperblico.

1.5

Geometria Esfrica.

Com o surgimento da Geometria Hiperblica, questionamentos surgiram sobre a possibilidade outras geometrias. Assim, o matemtico alemo Georg Friedrich Bernhard Riemann
5 (1826 1866) (Figura 1.17) contribuiu para a criao da chamada Geometria Esfrica (ou Elptica), que tambm ficou conhecida como Geometria de Riemann.
Para motivar os estudantes ao introduzir este tipo de Geometria podemos propor o seguinte
desafio: desenhe um quadrado ou um tringulo numa folha de papel. Em seguida, recorte
essa figura e tente coloc-la recobrindo uma bola de isopor ou qualquer outro objeto esfrico;
observe que no ser possvel apoiar toda a rea do recorte feito, pois as propriedades das
superfcies planas so diferentes das propriedades da superfcie esfrica. Outro fato que
por dois pontos distintos determinam apenas uma reta na Geometria Euclidiana, enquanto
na Geometria Esfrica por dois pontos distintos existem infinitas retas que passam por eles.
Desta forma, a Geometria Esfrica admite todos os postulados da Geometria Euclidiana, com
5 Obteve o doutorado na Universidade de Gttingen, com uma tese no campo da teoria das funes complexas.

Na tese encontramos as equaes diferenciais de Cauchy-Riemann, que garantem a anlise de uma funo de
varivel complexa e o conceito de superfcies de Riemann, que trouxe consideraes topolgicas anlise. Teve
contribuies para Geometria no-Euclidiana da para horizontes mais amplos como a relatividade geral [11].

29

Figura 1.17: Bernhard Riemann

exceo do quinto postulado, sendo substituido pelo postulado de Riemann: Por um ponto
dado P, fora de uma reta r, no existe, paralela a esta reta r.
Segue uma tabela 1.1 comparativa das Geometrias: Euclidiana, Hiperblica e Esfrica.
XXXXXXXXXXX as frases na tabela esto muito longas e porisso o espaamento entre as paginas. Tentar reduzir as frases ou melhorar a tabela XXXXXXXXXXXXXXXXXXXXXX

30

Tabela 1.1: Comparao entre as Geometrias: Euclidiana, Hiperblica e Esfrica [21].

postulados
e
consequncias
1o postulado:

Geometria Euclidiana

2o postulado:
3o postulado:

Toda reta infinita.

Um ponto (centro) e
uma distncia (raio) determinam um crculo.
Todos os ngulos retos
so iguais entre si.
Por um ponto fora de
uma reta pode-se traar
uma nica reta paralela
reta dada.
A soma dos ngulos internos de um tringulo
igual a dois ngulos retos (180o ).
A razo entre o comprimento e o dimetro da
circunferncia igual a
.

4o postulado:
5o postulado:

1a consequncia:

2a consequncia:

Geometria Hiperblica

Dois pontos determi- Idem

nam uma reta.

Geometria Esfrica

Idem
Idem

Dois pontos determinam uma ou mais de

uma reta. (ex.: plos de
uma esfera.)
As retas so finitas.
Idem

Idem

Idem

Por um ponto fora de

uma reta pode-se traar
mais de uma reta paralela reta dada.
A soma dos ngulos internos de um tringulo
menor a dois ngulos
retos (180o ).
a razo entre o comprimento e o dimetro da
circunferncia maior
do que . E aumenta
com a rea do crculo

Por um ponto fora de

uma reta no possvel
traar uma reta paralela
reta dada.
A soma dos ngulos internos de um tringulo
maior a dois ngulos retos (180o ).
a razo entre o comprimento e o dimetro da
circunferncia menor
do que . E diminui
com a rea do crculo.

31

Captulo 2
Conhecendo melhor a Geometria Esfrica.
Inicialmente propomos duas situaes problemas, com o intuito de introduzir os conceitos
da Geometria Esfrica. A primeira proposta foi extrada de Polya [17] e a segunda situao
adaptada do exemplo de [6]:
(1) Um urso parte do ponto P e percorre um quilmetro no sentido sul. Em seguida, muda
de rumo e anda um quilmetro no sentido leste. Finalmente, muda outra vez de rumo,
percorre um quilmetro no sentido norte e chega exatamente ao ponto de partida. Qual
a cor do urso?
(2) Considere a situao hipottica: Um pescador leigo estava em alto mar, aconteceu uma
tempestade e ele se perdeu, nesta ocasio um avio o avistou e passou as seguintes coordenadas para um navio que estava localizado na posio 37o 100 N e 5o 100 W. Ateno!
Embarcao com algum precisando de ajuda! Localizao do pescador 39o 150 N e 2o 200 E.
Qual a distncia que o navio dever percorrer para salvar o pescador?
Em quais condies possvel acontecer a situao do problema (1)? Como explicar as condies ideais para satisfazer o problema (1) e encontrar um resultado satisfatrio para o problema
(2)?
As duas situaes acima, apresentam uma provocao para iniciar o captulo, no qual traremos sugestes de soluo. Desta forma, a escolha da Geometria Esfrica, vem devido ao
fcil entendimento que esta propicia quando fazemos analogia com o Planeta Terra ou Globo
Terrestre. Tal entendimento leva, os estudantes a compararem os conceitos da Geometria Euclidiana, bem como, as aplicaes que esto diretamente ligadas a esta analogia. Isto ir facilitar
a compreenso dos conceitos e ajudar a fazer uma interdisciplinaridade com outros campos
32

do saber, atravs da troca informaes e possveis atividades em conjunto. Na prxima seo

iremos definir o conceito de esfera e sua relao com o planeta Terra.

2.1

Definindo a esfera e, entendendo alguns de seus elementos.

Definio 2.1. Seja O um ponto do espao e r um nmero real positivo. A superfcie esfrica o lugar
geomtrico de pontos do espao que mantm a mesma distncia r do ponto fixo O, chamado de centro da
esfera, e consequentemente r o raio da esfera (Figura 2.1).

Figura 2.1: Esfera

Os pontos do espao cuja distncia a O menor que r so ditos interiores superfcie da
esfera; aqueles cuja distncia maior que r so exteriores mesma.
As posies relativas entre um plano e uma esfera, so definidas por: tangente, secante e
exterior. No caso do plano tangente, existe um nico ponto em comum que e perpendicular
ao raio da esfera; no plano secante gerado um crculo que intercepta a esfera. No caso deste
plano passar pelo centro da esfera obtemos o crculo mximo. O plano exterior acontece se o
plano no possui nenhum ponto em comum com a superfcie da esfera.
Nota-se que, o postulado das paralelas de Euclides no vale na Geometria Esfrica [21],
pois por um ponto P na superfcie esfrica fora de uma reta r (crculo mximo) no permitido
traar nenhuma paralela reta dada. Assim, podemos notar que duas retas (crculos mximos)
quaisquer possuem sempre dois pontos comuns e opostos pelo dimetro.
Para fins de comparao iremos considerar esfera como o planeta Terra, embora a mesma
seja ligeiramente achatada nos plos e aproximadamente um elipside de revoluo [2]. Na
33

Figura 2.2 os dois pontos em destaque N e S so chamandos de plos Norte e Sul, respectivamente e o eixo que liga estes pontos, eixo polar.

Figura 2.2: Eixo polar

O intuito de definir alguns elementos do Globo Terreste, tem como finalidade entender
algumas aplicaes da Geometria Esfrica. Neste caso, faremos uma breve explanao sobre o
significado de tais definies. Tambm, abordaremos sobre unidade de medida entre distncias
martimas ou areas.
Inicialmente cada crculo mximo no Globo Terrestre que passa pelos Plos Norte e Sul,
determinam dois semi-crculos denominados de meridianos. Em especial, temos o meridiano
de Greenwich 1 . Observe pela Figura 2.4 que o Equador tambm um crculo mximo (e o
nico, considerando o plano perpendicular ao eixo polar passando pelo centro) alm de dividir
o globo terrestre em dois hemisfrio Norte e Sul, e os demais crculos formados pela interseco
de planos paralelos ao equador so chamados de paralelos (em especial temos os Trpicos de
Capricrnio e Cncer, e os Crculos Polares rtico e Antrtico) que no so crculos mximos.
O planeta Terra, possui um movimento em torno do eixo polar de Oeste para Leste, promovendo as sucesses entre dias e noites chamado de rotao. Para encontrar os pontos cardeais,
preciso observar que o Plo Norte fica frente de um observador que tenha a direo Leste
sua direita, onde a direo Leste o nascer do sol. Desta forma, quando o dia est amanhecendo em Portugal, por exemplo, no Brasil ainda noite e ainda vai amanhecer. Assim,
1

o meridiano que passa sobre a localidade de Greenwich (no Observatrio Real, nos arredores de Londres,
Reino Unido) e que, por conveno, divide o globo terrestre em ocidente e oriente, permitindo medir a longitude.

34

sempre haver uma diferena de horrio entre dois lugares localizados em pontos diferentes
no planeta e, quanto mais afastados estes dois pontos, maior a diferena. Suponhamos agora
dois lugares diametralmente opostos no globo, enquanto em um deles dia, no outro j ser
noite, com uma diferena de 12 horas.
A tarefa de localizar um ponto na superfcie terrestre, requer uma preciso. Assim, possuimos um sistema de Coordenadas Geogrficas denominadas longitude e latitude, similar ao
Plano Cartesiano2 , supondo o Equador como eixo das abscissas e o meridiano de Greenwich
como eixo das ordenadas.
A latitude de um ponto P a medida do arco de meridiano que passa por P, situado entre
o paralelo que contm P e o equador. Ela uma medida angular que pode ser expressa em
graus, minutos e segundos. E, varia de 0o a 90o N (norte) ou de 0o a 90o S (sul)(Figura 2.3).
A longitude de um ponto P a medida do arco de paralelo que passa por P, situado entre
o meridiano que contm P e o meridiano de Greenwich. Tambm por se tratar de medida
angular, expressa em graus, minutos e segundos, e varia de 0o a 180o E (leste) ou 0 a 180o
W (oeste) (Figura 2.3).

Figura 2.3: Latitude e longitude

Os fusos horrios so cada uma das vinte e quatro reas em que se divide a Terra pelos
meridianos. A denominao fuso nomeia a poro de superfcie esfrica compreendida entre
dois semiplanos que partem de um dimetro da esfera (neste caso o dimetro do eixo polar),
2 criado

pelo matemtico Ren Descartes. Atravs dele podemos associar Geometria lgebra, composto por
duas retas perpendiculares e orientadas: horizontal e vertical, chamados respectivamente de abscissa e ordenada.

35

assemelhando-se superfcie externa de um gomo de laranja. Assim, cada fuso possui 15o de
360o
largura longitudinal, isto ,
, onde as 24 partes representam as 24 horas do dia (Figura
24partes
2.4).

Figura 2.4: Globo Terrestre

Nesta Geometria, temos como elementos primitivos: os planos (superfcie esfrica); as retas
(crculos mximos) e os pontos [21]. Sabemos da Geometria Euclidiana que a menor distncia
entre dois pontos A e B obtida percorrendo-se o segmento de reta que une os dois pontos
(Figura 2.5). No caso da Geometria Esfrica, a reta o crculo mximo e o segmento que une os
pontos A e B, um arco do crculo mximo (Figura 2.6). Da, a distncia na superfcie esfrica
dos pontos A e B a menor poro do crculo mximo que contm esses pontos.

Figura 2.5: Plano euclidiano.

Para compreender melhor a definio de distncia na superfcie esfrica, citamos um exemplo de uma trajetria de um vo internacional: Uma aeronave que parte de Salvador-Brasil
36

Figura 2.6: Plano esfrico.

com destino a Lisboa-Portugal, no segue uma trajetria reta (em azul). Segue porm, a trajetria (em vermelho) correspondente a um arco de crculo mximo entre as duas cidades (vide
Figura 2.7), sendo esta, a ideia de segmento na superfcie esfrica.

Figura 2.7: Trajetria Salvador-Lisboa.

A fim de medir trajetrias como no exemplo anterior, utilizamos unidades de medidas martimas e areas chamadas de Milha Martima ou Milha Natica. Apesar de no fazer parte
do Sistema Internacional, estas unidades so utilizadas pela Marinha e Aeronutica, alm de
profissionais que utilizam meios de transportes martimos e areos.
A Milha Martima ou Milha Natica, corresponde ao arco de meridiano de um minuto.
Assim, quando o navio ou uma aeronave percorre ao longo do crculo mximo, uma distncia
37

de 1o , cobre um percurso de 60 milhas martimas. Como a Terra no uma esfera perfeita, os

crculos mximos se aproximam de elipses, quando prximos aos plos menos curvos do que
quando medido nas proximidades do Equador. Para se evitar estas diferenas, estabeleceu-se
a Milha Maritma Internacional de 1.852m, que a mdia das milhas medidas no equador e
no plo [6].

2.1.1

Relao entre o arco de paralelo e o correspondente arco do Equador.

Iremos estabelecer algumas relaes entre os elementos no Globo Terrestre, para melhor
comparar as distncias na superfcie esfrica e poder concluir sobre o melhor percurso a fazer
durante um trajeto. Assim, a seguir vamos definir e estabelecer uma relao entre o arco de
paralelo e o correspondente arco do equador.
O arco de paralelo a menor poro do crculo correspondente ao paralelo (crculo perpendicular ao eixo-polar, distindo do Equador). Enquanto, arco do Equador a menor poro do
crculo correspondente ao Equador.
importante perceber que, como os meridianos convergem nos plos, os mesmos se interceptam por vrios paralelos e medida que aumenta a latitude de um paralelo, menor a
distncia entre dois meridianos. Veremos a seguir uma relao entre um arco de paralelo e o
correspondente arco do Equador. Na Figura 2.8, temos um arco ab paralelo, ao arco AB situado

Figura 2.8: Arco paralelo.

no Equador. Temos ainda, OP = OB = OA = R raio da Terra, onde OP perpendicular a Cb

38

raio do paralelo. Com isso o tringulo COb retngulo em C, e podemos escrever:

Cb = Ob sin(90o )
ou
Cb = Ob cos()
Alm disso,

(2.1)

arco de paralelo ab
raio do paralelo Cb
=
,
arco do Equador AB
raio da Terra OB

ou

Cb
ab
=
.
AB
OB
Como OB = Ob, combinando 2.1 e 2.2, temos:
ab = AB cos()

2.2

(2.2)

(2.3)

Tringulos esfricos

O estudo dos tringulos esfricos ser importante na Geometria Esfrica, pois atravs deles
podemos encontrar distncia entre dois pontos quaisquer na superfcie esfrica. Iremos agora
definir e estabelecer algumas relaes entre os elementos deste tringulo.
Definio 2.2. Sejam A,B e C trs pontos distintos sobre uma esfera e no pertencentes ao mesmo
crculo mximo. A figura formada pelos arcos de crculos mximos que une esses pontos dois a dois
denominado tringulo esfrico (vide Figura 2.9).

Figura 2.9: Tringulo esfrico

Na Figura 2.9, os lados BC, AC e AB do tringulo esfrico so escritos, respectivamente, por
a, b e c, e medidos pelos ngulos subentendidos por eles no centro da esfera (podendo ser em
39

graus ou radianos) sendo definido pelo ngulo do setor circular determinado por dois vrtices
b B
b que
b e C,
e o centro da esfera. E, os ngulos do tringulo ABC so os ngulos esfricos A,
b A BC
b
b e ACB.
podem ser reescritos como B AC,
Alm disso, os tringulos esfricos possuem trs: alturas, bissetrizes internas, medianas.
Com a mesma definio dos tringulos planos.

2.2.1

Propriedades dos tringulos esfricos.

(1) A soma de duas faces quaisquer de um ngulo triedro maior do que a terceira face;
(2) A soma dos trs lados de um tringulo esfrico maior que 0o e menor que 360o , ou seja,
0o < a + b + c < 360o ;
(3) A rea de um tringulo esfrico dada pela frmula:
b+B
b) ] = R2 E
b+C
S = R2 [( A
sendo E o excesso esfrico e representa o valor que a soma dos ngulos internos do tringulo esfrico excede a 180o ;
(4) A soma dos trs ngulos internos de um tringulo esfrico maior que dois ngulos retos
b+B
b < 3;
b+C
e menor que seis ngulos retos, ou seja, < A
(5) Dois lados de um tringulo esfrico so iguais, se e somente se, os ngulos opostos tambm
so iguais:
b=B
b
a=bA
(6) Ao maior lado se ope o maior ngulo e vice-versa;
(7) A soma de dois ngulos menor que o terceiro acrescido de 180o e a diferena menor que
o suplemento do terceiro:
b+B
b + 180o
b<C
A
bB
b
b < 180o C
A
Para as demonstraes das Propriedades 1-4, considere a Figura 2.10 (vide [3]):
Demonstrao (Propriedade 1): Caso os trs ngulos das faces sejam iguais, o teorema
[ maior do que
verdadeiro. Considere agora um ngulo triedro O XYZ no qual a face XOY
40

Figura 2.10: ngulo triedrico

[ e XOZ.
[ Sobre OX tome um ponto A qualquer ; sobre OY tome um ponto B
as outras duas, YOZ
[ Sobre OZ tome C de modo que OC = OD.
e sobre AB um ponto D de modo que \
AOD = XOZ.
Unindo-se A e B a C obtemos o tringulo ABC no qual AC + CB > AD + DB. Uma vez que os
tringulos AOC e AOD so congruentes (caso LAL),
AD = AC = AC + CB > AC + DB e CB > DB.
Assim os lados OD e OB do tringulo ODB so iguais, respectivamente, aos lados OC e OB do
[ > DOB.
[ Por construo, AOC
[ = DOB,
[ donde,
tringulo OCB,COB
[ + COB
[ >\
[ = AOB.
[ 
AOC
AOD + DOB

Demonstrao (Propriedade 2): Nas arestas do ngulo triedrico, O XYZ tomemos os

pontos A, B e C (vide Figura 2.10). Note que h trs ngulos com o vrtice O e que a soma
[ + BOC
[ + COA
[ + (OAB
[ + OAC
[)+
dos ngulos desses tringulos 3 180o = 540o ; isto , AOB
[ + OBC
[ ) + (OCA
[ + OCB
[ ) = 540o , pela Propriedade 1, temos:
(OBA
[ + OAC
[ > BAC,
[
OAB
[ + OBC
[ > ABC,
[
OBA
[ + OCB
[ > ACB.
[
OCA
Com isso:
[ + BOC
[ + COA
[ + BAC
[ + ABC
[ + ACB
[ < 540o
AOB
41

(2.4)

ou
[ + BOC
[ + COA
[ < 540o 180o = 360o . 
AOB
Demonstrao (Propriedade 3): De fato, sabe-se que um tringulo esfrico (Figura 2.11)
formado por trs pontos ligados por arcos de crculos mximos. Se estes arcos forem prolongados, forma-se outro tringulo esfrico que pode ser obtido por uma reflexo do original pelo
centro da esfera. Por simetria, os dois tringulos tm reas iguais.

Figura 2.11: Tringulo esfrico

Se representarmos a rea da esfera como uma soma de diedros convenientemente escolhidos, em cada vrtice do tringulo, obtemos dois diedros (Figura 2.12).

Figura 2.12: Superfcies esfricas limitadas por diedros

Representando a rea da esfera como a soma das reas desses diedros obtm-se
Ses f era = 2S AA0 + 2SBB0 + 2SCC0 4S ABC

(2.5)

Nota-se que a rea da superfcie esfrica delimitada pelo diedro proporcional ao ngulo didrico. Como a rea da esfera 4R2 = 2 (2 ) R2 , analogamente obtm-se que a superfcie
42

de um diedro com ngulo 2R2 . Portanto de (2.5) conclui-se que:

b + 2B
b) 4S ABC .
b + 2C
4R2 = 2R2 (2 A
Logo,
b+B
b ) R2 . 
b+C
S ABC = ( A
Demonstrao (Propriedade 4): A rea mnima de um tringulo esfrico quando tende a
b+B
b ) R2 = 0, com
b+C
zero. Considerando essa rea como sendo zero, tem-se S ABC = ( A
b+B
b = . Logo, A
b+B
b > .
b+C
b+C
R 6= 0 e, portanto, A
A rea mxima de um tringulo esfrico tende a uma semi-esfera (rea da semi-esfera
b+B
b ) R2 = 2R2 A
b+B
b = 2
b+C
b+C
2R2 ). Considerando que S ABC = ( A
b+B
b = 3. Logo A
b+B
b < 3. 
b+C
b+C
A
As demais propriedades (5), (6) e (7) possuem dedues intuitivamente claras e por isso
tero suas demonstraes omitidas.
Voltando para o teorema da soma dos ngulos internos de um tringulo esfrico na propriedade (4), podemos notar que o tringulo PAB tem AB sobre o Equador, PA sobre o Meridiano
de Greenhwich e PB sobre o meridiano 90o . Como os meridianos so perpendiculares ao Equador, os ngulos A e B so retos. Alm disso os meridianos formam um ngulo de 90o . Logo,
podemos concluir que A + B + C = 90o + 90o + 90o + 90o = 270o . Esse tringulo conhecido
como o triretngulo (vide Figura 2.13) e ocupa a oitava parte da esfera.

Figura 2.13: Tringulo esfrico com 3 ngulos retos

Os tringulos esfricos podem ter a seguinte classificao:
43

 Quanto aos ngulos:

1: Retngulo - um ngulo reto.
2: Birretngulo - dois ngulos retos.
3: Trirretngulo - os trs ngulos retos.
Quanto aos lados:
1: Retiltero - um lado medindo 90o .
2: Birretiltero - dois lados medindo 90o .
3: Trirretiltero - cada um dos lados medindo 90o .
Observamos que se um tringulo esfrico trirretngulo, ento tambm triretiltero e ocupa
exatamente a oitava parte da superfcie esfrica. Uma das caractersticas da Geometria Esfrica
que mais diferencia da geometria de Euclides, o fato de no existir a noo de semelhana, ou
seja, no podemos num plano esfrico, desenhar duas figuras que tenham a mesma proporo.
Neste caso, no podemos encontrar um tringulo esfrico que seja maior do que outro, e que
tenha os mesmos ngulos.
Desta forma, a Geometria Esfrica no admite a semelhana entre tringulos. Temos apenas congruncia entre tringulos. Isto acontece pois a rea de um tringulo esfrico depende
apenas da soma dos seus ngulos internos, na esfera todos os tringulos com ngulos congruentes tm a mesma rea; logo, so congruentes. Portanto, na Geometria Esfrica no existem
tringulos com a mesma forma e reas diferentes.
A partir das propriedades anteriores ser possvel deduzir algumas frmulas que iro nos
ajudar a encontrar relaes entre ngulos e lados do tringulo esfrico (Figura 2.14).
Proposio 2.1. Frmula Fundamental:
cos( a) = cos(b) cos(c) + sin(b) sin(c) cos( A)

(2.6)

Demonstrao: Seja o tringulo esfrico ABC da esfera de centro O e lados a, b e c, sendo

b AOC,
b AOB.
b
expressos, pela medida dos ngulos planos BOC,
As retas tangentes t1 e t2 aos
crculos mximos AB e AC so, ambas, perpendiculares ao raio OA da esfera. A partir dos
prolongamentos dos raios OB e OC encontram-se as tangentes t1 e t2 nos pontos D e E, formando com isso o tringulo plano ADE.
44

Figura 2.14: Tringulo esfrico

De acordo a Figura 2.14, observam-se quatro tringulos planos, dois deles retngulos em A.
Em virtude disto, escrevemos as relaes no tringulo retngulo AOD:
b )
AD = OA tan( BOA
e
b ).
OD = OA sec( BOA
b mede o lado c do tringulo, resulta:
Como BOA
AD = OA tan(c),
OD = OA sec(c).

(2.7)

No caso do tringulo retngulo AOE segue:

b )
AE = OA tan( AOC
e
b ),
OE = OA sec( AOC

(2.8)

ou:
AE = OA tan(b),
AE = OA sec(b).

(2.9)

No tringulo DAE:
2
2
2
b
DE = AD + AE 2AD AE D AE.

45

(2.10)

Agora considerando a esfera de raio unitrio, escreve-se esta ltima relao em termos trigonomtricos:
2

DE = tan2 (c) + tan2 (b) 2 tan(b) tan(c) cos( A)

(2.11)

b mede o ngulo esfrico A

b do tringulo ABC. Do tringulo DOE, temos:
onde D AE
2
2
2
b
DE = OD + OE 2OD OE DOE.

b mede o lado a do tringulo

Fazendo a mesma considerao e lembrando que o ngulo DOE
esfrico ABC, escrevemos:
2

DE = sec2 (c) + sec2 (b) 2 sec(b) sec(c) cos( a)

(2.12)

Utilizando as relaes (2.9) e (2.10), reescrevemos:

sec2 (c) + sec2 (b) 2 sec(b) sec(c) cos( a) = sec2 (c) + sec2 (b) 2 sec(b) sec(c) cos( a) (2.13)
Porm, como sec2 (c) = 1 + tan2 (c) e sec2 (b) = 1 + tan2 (b). Logo a relao 2.13 assume a
expresso:

1 + tan2 (c) + 1 + tan2 (b) 2 sec(b) sec(c)cos( a) = tan2 (c) + tan2 (b) 2 tan(b) tan(c) cos( A)

1
1
sin(b) sin(c)

cos( a) =

cos( A)
cos(b) cos(c)
cos(b) cos(c)
cos(b) cos(c) cos( a) = sin(b) sin(c) cos( A)

cos( a) = cos(b) cos(c) + sin(b) sin(c) cos( A).

2.2.2

O teorema de Pitgoras na Geometria Esfrica.

O ttulo acima sugere uma pergunta: como ser o teorema de Pitgoras na Geometria Esfrica? O teorema de Pitgoras derivado dos postulados da Geometria Euclidiana (relao
esta, que envolve os lados de um tringulo retngulo plano), e, de fato, a verso Euclidiana
no vlida nas Geometrias no-Euclidianas. Portanto, no temos o Teorema de Pitgoras na
Geometria Esfrica.
46

Podemos estabelecer uma relao entre os lados de um tringulo esfrico retngulo a partir
da frmula fundamental. E, ter uma notao diferente da Euclidiana. Caso, consideremos um
tringulo esfrico retngulo em A, a frmula fundamental (2.6) ter a seguinte notao
cos( a) = cos(b) cos(c).
Sendo esta a relao que envolve os lados do tringulo retngulo esfrico.

2.2.3

Relao entre o nmero e o dimetro do crculo.

Agora, analisemos a constante , que na geometria de Euclides a razo entre o comprimento c e o dimetro d de um crculo, ou seja, = dc , isto , c = d. (Figura 2.15).
Consideremos um caso particular da geometria esfrica (Figura 2.16):

Figura 2.15: Clculo do nmero

Figura 2.16: Clculo de na geometria esfrica

D - dimetro do crculo na Geometria Esfrica;
d - dimetro do crculo na Geometria Euclidiana;
47

 c - comprimento da circunferncia.
Seja

c
c
c
< =
< 
D
d
D
O que podemos observar que a razo entre o comprimento da circunferncia dada e o seu
D>d

dimetro esfrico menor que [21]. Alm disso, as Geometrias tanto Hiperblica, Esfrica e
Euclidiana so casos particulares de uma Geometria curva geral. No caso da Geometria Euclidiana, a curvatura do espao nula, enquato a Geometria Hiperblica a curvatura negativa
e na Geometria Esfrica a curvatura positiva. No prximo captulo, apresentaremos algumas
aplicaes da Geometria Esfrica.

48

Captulo 3
Aplicaes da Geometria Esfrica.
A fim de motivar a introduo das Geometrias no-euclidanas na educao bsica, buscaremos propor algumas aplicaes extradas de [17, 6, 22, 3], trazendo comparaes com a Geometria Euclidiana, percebendo as suas diferenas. Retomaremos agora, as situaes problema
do incio do captulo anterior. Assim segue:
Situao Problema 3.1. Um urso parte do ponto P e percorre um quilmetro no sentido sul. Em
seguida, muda de rumo e anda um quilmetro no sentido leste. Finalmente, muda outra vez de rumo,
percorre um quilmetro no sentido norte e chega exatamente ao ponto de partida. Qual a cor do urso?
Nesta situao temos so pedidos os seguintes itens:
1. Desenhar numa folha de papel o caminho percorrido pelo urso.
2. De acordo com a situao acima possvel que o urso volte ao ponto de partida? Anote suas
concluses.
3. Desenhar numa bola de isopor o caminho percorrido pelo urso.
4. Analisando o caminho desenhado na bola de isopor, possvel para o urso voltar ao mesmo ponto
de partida?
Este problema, alm de fazer conexes com a Geografia, sobre pontos cardeais (Norte, Sul,
Oeste e Leste), procura refletir sobre a nossa percepo a respeito superfcies plana e esfrica.
Gerando assim um debate sobre a representao do Globo Terrestre e do plano euclidiano. No
caso da folha de papel (Figura 3.1), possvel perceber que sempre ficaro duas retas paralelas,
enquanto na bola de isopor (Figura 3.2), os crculos mximos iro encontrar-se nos plos. Tal
49

situao s possvel na Geometria Esfrica. Onde o urso parte do plo norte e a cor do urso
branca.

Figura 3.1: Problema 3.1 na folha de papel.

Figura 3.2: Problema 3.1 na bola de isopor.

Situao Problema 3.2. Agora imagine a situao hipottica, que um caador, resolveu sair de casa e
caminhar em linha reta infinitamente.
1. Desenhe o caminho percorrido pelo caador numa folha de papel.
2. De acordo com o caminho percorrido desenhado na folha de papel, possvel para o caador voltar
no ponto de partida?
50

3. Desenhe o caminho percorrido pelo caador numa bola de isopor.

4. De acordo com o caminho percorrido desenhado na bola de isopor, possvel para o caador voltar
ao ponto de partida?
5. Anote suas concluses.
Esta atividade ajuda a compreender, atravs de material concreto (bola de isopor, papel,
caneta), a diferena de uma reta na superfcie plana e na superfcie esfrica, que chamamos de
crculo mximo. Permite formalizar o conceito de Geodsica que a menor distncia que une
dois pontos. Tambm leva a refletir que uma reta na Geometria Euclidiana infinita, enquanto
na Geometria Esfrica finita, e corresponde ao crculo mximo da esfera.
Situao Problema 3.3. Agora suponha que o caador caminhe em linha reta da sua casa at a floresta
a uma distncia de 10km.
1. Desenhe numa folha de papel o caminho percorrido pelo caador.
2. Desenhe numa esfera o caminho percorrido pelo caador e represente esse desenho na folha de papel.
3. Qual a diferena entre os dois desenhos? Anote suas concluses.
Esta situao leva discusso sobre a distncia entre pontos, e expe o estudante a duas situaes concretas, das quais conclui-se que a menor distncia dada pela medida do segmento
AB enquanto na Geometria Esfrica uma poro do crculo mximo.
Situao Problema 3.4. Considere a seguinte situao hipottica: Como seriam as trajetrias de dois
barcos navegando por um longo percurso, de modo que mantenham sempre a mesma distncia um do
outro? Explique e justifique.
1. Desenhe numa folha de papel o caminho percorrido pelos dois barcos.
2. Desenhe numa bola de isopor o caminho percorrido pelos dois barcos.
3. possvel traar retas paralelas para representar o caminho percorrido pelos dois barcos na folha
de papel e na bola de isopor?
4. Anote suas concluses.

51

Uma constatao que a situao acima torna evidente, a negao do quinto postulado
euclidiano, com a seguinte ideia: Por um ponto P qualquer, fora de uma reta r, no passa
nenhuma reta paralela a r. Neste caso, todos os crculos mximos de uma superfcie esfrica
sempre se cruzam em pelo menos dois pontos. Assim, os navios iro encontrar-se no ponto
diametralmente oposto ao incio do trajeto.
Situao Problema 3.5. Construa as figuras, como indicado abaixo.
1. Desenhe um tringulo qualquer numa folha de papel e com um transferidor mea seus ngulos e
anote os resultados.
2. Desenhe um tringulo qualquer numa bola de isopor e com um transferidor mea seus ngulos e
anote os resultados.
Alm, de comparar o tringulo nas duas superfcies, possvel observar que a soma dos
ngulos do tringulo esfrico maior que 180o .
O problema a seguir mostra que a soma dos ngulos internos de um tringulo esfrico,
alm de ser maior que 180o , no constante.
Situao Problema 3.6. Construa com fios elsticos um tringulo na superfcie da bola de isopor. Faa
as conjecturas da situaes abaixo.
1. O que acontecer com os ngulos se afastarmos progressivamente os vrtices?
2. Quanto medir os ngulos quando se inscreverem sobre um equador da esfera?
3. Quanto medir a soma desses ngulos?
Esta atividade prope conjecturar e comparar os resultados obtidos e entender melhor as
propriedades da soma dos ngulos internos dos tringulos esfricos.
Situao Problema 3.7. Utilizando uma bola de isopor, desenhe dois crculos mximos perpendiculares
e desenhe um terceiro crculo mximo, perpendicular aos dois j construdos.
1. Em quantos tringulos a bola ficou dividida?
2. Quanto mede cada ngulo desses tringulos?
3. Qual a soma dos ngulos internos desses tringulos?
52

4. Como classificado esse tringulo esfrico de acordo com seus lados e seus ngulos?
Nesta situao necessrio relembrar noes de perpendicularismo, alm de propor uma
discusso sobre a classificao dos tringulos esfricos.
Situao Problema 3.8. Para identificarmos a localizao de um ponto no plano, necessrio conhecer
duas referncias, no caso da geometria eulidiana, temos o plano cartesiano, e as duas referncias so as
coordenadas cartesianas x e y. No Globo Terrestre, como um ponto pode ser localizado?
1. Localize e determine, no globo terrestre, aproximadamente, a posio da Ilha de Fernando de
Noronha-PE e da Morro de So Paulo (Ilha de Tinhar-BA).
2. O globo terrestre possui um eixo de rotao imaginrio. Como se chamam as intersees do globo
terrestre com esse eixo?
3. Localize e caracterize o Equador.
4. Identifique quais tipos de crculos voc pode observar na superfcie do Globo Terrestre.
5. Quais dos crculos so crculos mximos?
6. Quais dos crculos so denominados paralelos terrestres?
7. Quais dos crculos so denominados meridianos?
A proposta a seguir familiarizar os estudantes com as coordenadas geogrficas: latitude e
longitude, alm de identificar os elementos da esfera na superfcie do Globo Terrestre.
Situao Problema 3.9. Encontre a diferena entre as longitudes:
1. Rio de Janeiro (2 = 43o 110 ) e Pearl Harbour (1 = 157o 58, 30 ).
2. Rio de Janeiro e Moscou (1 = 37o 34, 30 ).
3. Rio de Janeiro e Sydney (1 = 151o 13, 00 ).
4. Sydney e Moscou.
Para encontrar as distncias entre as longitude, basta fazer as operaes a seguir:

53

1. 1 2 = 157o 58, 30 43o 110 = 114o 47, 30 = 6887, 30 , uma vez que ambas esto Oeste
de Greenwich.
2. 1 + 2 = 37o 34, 30 + 43o 110 = 80o 45, 30 = 4845, 30 , uma vez que uma Leste e a outra
Oeste de Greenwich.
3. 360o (43o 110 + 151o 13, 00 ) = 165o 35, 70 = 9935, 70 .
4. 1 2 = 151o 13, 00 37o 34, 30 = 113o 38, 70 = 6818, 70 .
Situao Problema 3.10. Dois navios, ambos na latitude 23o N, esto afastados um do outro 420 milhas
martimas. Se os dois navios, com a mesma velocidade, navegam rumo ao norte, 1.927 milhas, qual a
nova distncia entre eles depois do percurso?
Para desenvolver este problema necessrio o conhecimento da relao entre o arco do
crculo mximo e um arco paralelo ao mesmo (2.3). Observando as informaes do problema
temos que a distncia de 1.927 milhas percorridas pelos navios equivale a um arco de meridiano de 32o 070 , o que podemos escrever:
Latitude de sada: 23o 000 N
Arco navegado ou = 32o 070 N;
Latitude final: 55o 070 N
Como os navios na sada estavam no paralelo 23o , o correspondente arco do Equador XY em
milhas vem a ser:
XY = 420 sec(23o ) = XY = 420 1, 08636 = XY = 456, 27.
A nova distncia procurada entre eles dado por:
x = 456, 27 cos(55o 070 ) = x = 456, 27 0, 57191 = x = 261milhas.
Situao Problema 3.11. Coutinho [6][adaptado]: Considere a situao hipottica: Um pescador leigo
estava em alto mar, aconteceu uma tempestade e ele se perdeu, nesta ocasio um avio o avistou e passou
as seguintes coordenadas para um navio que estava localizado na posio 37o 100 N e 5o 100 W. Ateno!
Embarcao com uma pessoa precisando de ajuda! Localizao do pescador 39o 150 N e 2o 200 E. Qual a
distncia que o navio dever percorrer para salvar o pescador?
54

Figura 3.3: Encontrando a distncia na superfcie esfrica

Para encontrar a soluo deste problema necessrio rever a equao (2.6). Considerando
o tringulo esfrico (Figura 3.3), notamos que o ponto A est situado no plo Norte, o ponto B
a localizao do navio e o ponto C a localizao do pescador. Assim:
O lado AB = c = 90o 37o 100 = 52o 500 ;
O lado AC = b = 90o 39o 150 = 50o 450 ;
O ngulo A = 5o 100 + 2o 200 = 7o 300 .
Aplicando a frmula fundamental (2.6), temos:
cos( a) = cos(b) cos(c) + sin(b) sin(c) cos( A)

= cos(50o 450 ) cos(52o 500 ) + sin(50o 450 ) sin(52o 500 ) cos(7o 300 )
= 0, 632705328 0, 60413561 + 0, 774392644 0, 796881524 0, 991444861
= 0, 382239819 + 0, 611819821
= 0, 99405964,
de modo que a = 6, 248261951, ou, 6o 150 , que equivale a 375 milhas. Assim, a distncia que o
navio dever percorrer para resgatar o pescador de 375 milhas.
Situao Problema 3.12. Considere as cidades de Huambo na Angola continente africano e Cruz das
Almas, Bahia, Brasil cujas coordenadas so:
55

Tabela 3.1: Coordenadas geogrficas de Huambo e Cruz das Almas

Latitude
12o 460 S
12o 400 S

Cidade
Huambo:
Cruz das Almas:

Longitude
15o 440 E
39o 060 W

Suponha agora que as duas cidades estejam na mesma Latitude 12o 400 S, consequentemente estaro
em um mesmo paralelo. A partir dessas informaes, encontre a distncia entre essas duas cidades. Faa
uma conjectura e aps fazer os clculos necessrios discuta os resultados.
Para resolver esta situao podemos pensar em dois procedimentos:
Caso (1): Como estamos considerando no mesmo paralelo (pois a diferena pequena), podemos utilizar a frmula (2.3). Considerando o ponto B referente a Cruz das Almas e C
referente a Huambo, temos:
Encontrando o ngulo entre os meridianos correspondentes aos pontos B e C: = 15o 440 +
39o 660 = 55o 500 , como xy = XY cos() (2.3), onde xy o arco paralelo correspondente
ao arco de Equador XY e podemos estabelecer a relao:
XY

=
2R
360o
considerando: = 3, 14, onde R o raio da Terra R = 6.400 km e a medida do ngulo
correspondente ao arco xy. Da obtemos,
XY = 111, 64
substituindo na expresso (2.3), temos:
A distncia entre B e C BC = xy = 111, 64 (55o 500 ) cos(12o 400 ) = 6.081, 53 km.
Caso (2): Tomemos agora o tringulo esfrico (Figura 3.4), onde o ponto A est situado no plo
sul, e o ponto B a localizao de Cruz das Almas, enquanto o ponto C a localizao de
Huambo. Logo:
O lado AB = c = 90o 12o 400 = 77o 200 ;
56

Figura 3.4: Comparando distncias na superfcie esfrica.

O lado AC = b = 90o 12o 400 = 77o 200 ;
O ngulo A = 15o 440 + 39o 660 = 55o 500 .
Agora, utilizando a frmula (2.6), obtemos:
cos( a) = cos(b) cos(c) + sin(b) sin(c) cos( A)

= cos(77o 200 ) cos(77o 200 ) + sin(77o 200 ) sin(77o 200 ) cos(55o 500 )
= 0, 219278624 0, 219278624 + 0, 97566228 0, 97566228 0, 561602106
= 0, 048083114 + 0, 534598527
= 0, 582681643,
de modo que a = 54, 36062298, ou seja, a = 54o 220 , que equivale a 3.262 milhas, ou
6.041, 22 km. possvel notar que essa distncia menor do que a encontrada no caso
(1) de modo que essa a distncia entre os pontos B e C. No caso (2) a trajetria foi pelo
crculo mximo que contm os pontos B e C (a geodsica), enquanto no caso (1), foi pelo
paralelo que contm os pontos B e C. Alm disso, podemos observar que essa diferena
no percurso poder ser muito maior em paralelos mais afastado do Equador. Logo a
57

escolha da trajetria feita pela segurana (devido o encontro de icebergs e tempestades)

e economia (pois um navio de porte mdio no gasta menos que 2 mil litros por hora) [6].

58

Consideraes finais

STE

trabalho procurou mostrar o surgimento histrico e filosfico das Geometrias Eucli-

diana e no-Euclidiana, desde a civilizao grega at os nossos dias, alm de selecionar

algumas atividades da Geometria Esfrica, que possam ser realizadas no ensino bsico e que
atendam s condies de desenvolvimento do pensamento geomtrico dos estudantes.
A presente proposta visa mostrar aos estudantes e professores do ensino bsico que a Matemtica no algo pronto e acabado, ou mesmo, infalvel e imutvel. Mas, atravs da quebra
de paradigmas, pretende incentivar os docentes e discentes a ampliar os horizontes para novos
caminhos na cincia.
No desenvolvimento do conhecimento matemtico, a histria mostrou grandes transformaes matemticas acessveis aos estudantes da educao bsica. Desta forma evidenciar a
abordagem das Geometrias no-Euclidianas para a educao bsica significa proporcionar aos
estudantes o acesso a outras ideias, com a finalidade de ampliar seu conhecimento e pensamento geomtrico.
A ttulo de exemplo, o texto traz um breve relato das discusses acerca do quinto postulado de Euclides que perduraram por sculos. Demostrando os esforos empregados de vrios
matemticos com o intuito de prov-lo. Mesmo sem xito, tais discusses criaram possibilidades para outras geometrias e possibilitaram uma nova maneira de analisar um mundo
no-euclidiano. Devido a isso, estes fatos histricos contribuiram nas mudanas ocorridas na
Geometria, de um modo geral.
A fim de fixar o entendimento do texto, aplicaes foram realizadas com a finalidade de
compreender os conceitos da Geometria Esfrica fazendo relaes desta com a Geometria Euclidiana plana. Neste sentido os estudantes sero capazes de compar-las e diferenci-las.
Alm do fato de que o trabalho envolvendo a manipulao de materiais como o globo terrestre, o mapa-mndi, a folha de papel, a bola de isopor, dentre outros utilizados, facilita o
entendimento dos conceitos empregados, aumentando a possibilidade de abstrao dos mode59

los geomtricos em questo.

Vale ressaltar, que o docente, em qualquer nvel escolar, deve ter um conhecimento profundo e amplo do contedo a ser ministrado em sala de aula, buscando conhecer sua origem
e possveis aplicaes. Muitas vezes, os professores e estudantes tem contato com a geometria
apenas pelos livros didticos, que, em alguns casos, abordam os contedos de forma superficial, alm de apresentarem erros, nas definies, conceitos ou aplicaes [15]. Atravs desta
busca, o professor proporcionar cada vez mais segurana ao seu exerccio profissional, rompendo fronteiras no ensino e aprendizado.
Espera-se que a insero das abordagens acerca das Geometrias no-Euclidianas no seja
imediata. Mas, mediante o interesse do professor tornar-se- possvel a ampliao de tais discusses. Por isso necessrio esforo e dedicao, para gerar uma mudana na postura atual
do ensino de Geometria.
Para futuros trabalhos, podero ser abordados na educao bsica, o funcionamento da
Matemtica do GPS; como calcular a hora local verdadeira (ambos utilizando a Geometria
Esfrica); detalhar a Geometria Hiperblica com suas possveis aplicaes; Geometria do Txi
[14]; Geometria Projetiva [8] e Fractais [5]. Alm disso, aplicar os conceitos das Geometrias
no-Euclidianas atravs de recursos computacionais. Assim, tem-se muito a explorar neste
ramo da Matemtica o qual rico e acessvel aos professores e estudantes da educao bsica.
Atravs deste trabalho e de tantos outros elaborados mediante a proposta do PROFMAT
espera-se que os professores possam ter a oportunidade de ampliar seus conhecimentos, de
pesquisar, alm de propor melhorias para o ensino e aprendizado da Matemtica.

60

Referncias Bibliogrficas
[1] E. Alencar Filho. Teoria elementar dos nmeros. Nobel, So Paulo-SP, 1981.
[2] S. Alves. A Geometria do Globo Terrestre. Revista do Programa de Iniciao Cientfica OBMEP - IMPA, Rio de Janeiro-RJ, 2010.
[3] F. Ayres Jr. Trigonometry of Plane and Spherical. Schaum Publishing co, New York, 1954.
[4] Carl B. Histria da Matemtica. 3a edio, Edgard Blcher/Edusp, So Paulo-SP, 2010.
[5] R. M. Barbosa. Descobrindo a Geometria Fractal para a sala de aula. Autntica, Belo HorizonteMG, 2002.
[6] L. Coutinho. Convite s geometrias no-euclidianas. Intercincia, Rio de Janeiro-RJ, 2001.
[7] S. C. Coutinho. Nmeros Inteiros e Criptografia RSA. IMPA, Rio de Janeiro-RJ, 2011.
[8] H. S. M. Coxeter. Projective Geometry. Springer Verlag, 1974.
[9] W. De Maio. Geometrias: geometrias analtica e vetorial: euclidianas e no-euclidianas. LTC, Rio
de Janeiro -RJ, 2008.
[10] H. H. Domingues. Fundamentos de Aritmtica. Atual, So Paulo-SP, 1991.
[11] H. Eves. Introduo a histria da matemtica. Editora da Unicamp, Campinas-SP, 2004.
[12] G. G. Garbi. A rainha das Cincias: um passeio maravilhoso mundo da matemtica. Editora
Livraria da Fsica 5a edio, So Paulo-SP, 2010.
[13] A. Hefez. Elementos de Aritmtica. SBM, Rio de Janeiro-RJ, 2006.
[14] E. F. Krause. Taxicab Geometry: An Adventure in Non-Euclidean Geometry. Dover, NY, 1986.
61

[15] E.L. Lima, P.C.P. Carvalho, and E. Wagner. Exame de Textos: Anlise de Livros de Matemtica
para o Ensino Mdio. SBM, Rio de Janeiro-RJ, 2001.
[16] C. P. Milies and S. P. Coelho. Nmeros: uma introduo a matemtica. EDUSP, So Paulo-SP,
2001.
[17] G. Polya. A arte de resolver problemas. Intercincia, Rio de Janeiro - RJ, 1995.
[18] B. Rogrio. Geometrias No-Euclidianas: Proposta de Abordagem Aplicvel ao Ensino Bsico.
UFBA - IM - SBM - PROFMAT, Salvador-BA, 2013.
[19] C. A. Ronan. Histria ilustrada a cincia da Universidade de Cambridge. Volume 4. Jorge Zahar
Editora, Rio de Janeiro - RJ, 2001.
[20] A. V. Santos. Histria das cincias: uma abordagem introdutria. Edio do Mestrado em
Cincias Sociais da UFRB, Cachoeira-BA, 2010.
[21] R. M. Tenrio, N. C.S. Pitombo, C.C. Borges, and A.L.M. Dias. Aprendendo pelas razes:
alguns caminhos da matemtica na histria. Centro Editorial e Didtico da UFBA, SalvadorBA, 1995.
[22] S. Valdeni and M.L. Thomaz. Geometria no-euclidiana e geometria esfrica. O professor pde
e os desafios da escola pblica paranaense. Secretaria de Educao, Paran, 2007.
[23] H. E. Wolfe. Introduction to non-eclidean geometry. The Dryden Prees, New York, 1945.

62