Geometria da Esfera

Original em inglês no sítio

www.math.rice.edu/~pcmi/sphere

Índice analítico
•Introdução
•Informações básicas sobre esferas
•Linhas e esferas
•Os planos, esferas, círculos e grandes círculos:
•Exercício: Comparação com a geometria plana
•Relações de incidência em uma esfera
•Distância esférica e isometrias
•Luas (Biângulo)
•Ângulos na esfera
•Área na esfera
•A área de uma Lua
•Triângulos geodésicos esféricos
•Exercício: Experiências com triângulos esféricos
•Exercício: A área de um triângulo esférico
•A área de um triângulo esférico. Teorema de Girard
•Consequências do Teorema de Girard
•Exercício: Distorção em mapas
•Exercício: Semelhança
•Exercício: teoremas de congruência
•Exercício: Pequeno triângulos em grandes esferas
•Exercício: polígonos esféricos
•A prova da Fórmula de Euler
•Apêndices
•Relações de incidência no plano e no espaço
•Graus e radianos, por Boyd E. Hemphill
•Fazendo uma "régua esférica", por E. Boyd Hemphill

Introdução
Estamos interessados aqui na geometria de uma esfera comum. Na geometria Euclidiana plana
estudamos pontos, linhas retas, triângulos, polígonos, etc, sobre a esfera temos pontos, mas não há
linhas retas --- pelo menos não no sentido usual. No entanto, as linhas retas no plano são
caracterizados pelo fato de que eles são os caminhos mais curtos entre os pontos, dizemos que elas
minimizam distância entre dois pontos. Curvas que minimizam comprimento de curvas que ligam
dois pontos são chamadas de geodésicas.
As curvas na esfera com a mesma propriedade são os grandes círculos. Por isso, é natural usar
grandes círculos como substitutos de linhas. Então, podemos falar sobre triângulos e polígonos e
outros objetos geométricos. Nestas notas vamos fazer isso, e, ao mesmo tempo, vamos
continuamente olhar para trás para o Plano para comparar os resultados da geometria esférica com
os resultados da geometria plana.
Vamos estudar as relações de incidência entre os grandes círculos, a noção de ângulo sobre a esfera,
e as áreas de certas regiões fundamentais na esfera, culminando com a área de triângulos esféricos.
Nosso objetivo final é de dois resultados muito agradáveis. Primeiro vamos provar o Teorema de
Girard, o que dá uma fórmula para a soma dos ângulos internos de um triângulo esférico. Em
seguida, usaremos o Teorema de Girard para apresentar uma outra prova do Teorema de Euler que
diz que, qualquer poliedro tridimensional convexo temos que a relação de Euler V - E + F = 2, onde
V é o número de vértices, E é o número de arestas, e F é o número de faces.

Informações básicas sobre esferas

Vamos começar com o básico. A esfera é um conjunto de pontos no espaço tridimensional
equidistante de um ponto chamado o centro da esfera. A distância a partir do centro para os pontos
da esfera é chamado o raio da esfera. Observe que estamos falando sobre a superfície de uma bola,
e não a própria bola (o sólido, que contém o centro). A superfície do planeta em que vivemos é uma
boa aproximação para uma esfera. Como você lida com esse material que seria útil ter uma bola de
cerca de 12'' de diâmetro, com uma superfície de cor lisa, sólida, uma caneta de marcação, de
preferência do tipo que facilmente lavável, barbante, tesoura, e um transferidor.

Interseções de Retas de R3 e esferas

Se tomarmos uma linha reta qualquer do espaço R 3 e uma esfera, podem ocorrer várias posições
relativas de um em relação ao outro. Primeiro, a linha reta e a esfera podem não se intersectar. Esse
caso não é muito interessante. Em segundo lugar, a linha reta pode intersectar a esfera em somente
um ponto. Nesse caso, esta reta é a reta tangente à esfera. A única outra situação que pode
acontecer é que a reta intersecta a esfera precisamente em dois pontos. Em particular, uma linha reta
não pode estar na esfera, similar a uma reta e uma circunferência na geometria plana, não podem se
intersectar em mais que dois pontos (faça uma figura marcando o centro C do círculo e pelo menos
3 pontos de uma reta distando R de C, o raio da circunferência, teríamos daí dois triângulos
isósceles, que contrariam o Teorema da ângulo externo).
O caso em que é mais interessante é quando a reta passa pelo centro da esfera. Neste caso, os dois
pontos de intersecção com a esfera são chamados pontos antípodas. O exemplo mais conhecido de
pontos antípodas são os pólos Norte e Sul da Terra.

Planos, esferas, círculos e grandes círculos

Em seguida, vamos olhar para as posições relativas de um plano qualquer do espaço R 3 e uma
esfera. Novamente, há várias situações que podem acontecer. No caso em que o plano e a esfera não
intersectam um ao outro. Se um intersectar o outro, há duas possibilidades. Primeiro, eles podem se
encontrar em um único ponto. Neste caso, o plano é tangente à esfera no ponto de intersecção. No
outro caso, a esfera e o plano se encontram em um círculo.
Área na esfera

A área de uma esfera de raio R é 4\pi R2. Um grande círculo divide a esfera em dois hemisférios
congruentes. Cada um deles terá área 2\pi R2. Outro grande círculo, que se encontra com o primeiro
em ângulos retos, divide a esfera em quatro luas congruentes, cada uma com área \pi R2.
(Faça uma figura, veja no sítio, gif animado, gire a esfera usando o aplet)
Podemos continuar este processo, dividindo cada um destas quatro luas em dois por bissetriz do
ângulo. Em seguida, obter oito luas congruentes, cada uma com área de \pi R2/2. Note-se que o
ângulo lunar para cada uma destas luas é /4 radianos ou 45 graus.

A área de uma Lua ou Biângulo

Suponha que nós dividimos um hemisfério em q luas iguais desenhando grandes círculos tudo a
partir de um ponto sobre o grande círculo que forma o limite do hemisfério. O ângulo de cada lua
é \alpha /q, e a área de cada lune é 2\alpha R2/q. Agora, se olharmos para a união de p desses lunes,
temos um lune com ângulo lunar p/q, e a área será 2p R/q.
Assim, se a \alpha p/q é o ângulo lunar, então a área do lune é 2R2 \alpha. Assim
área (lune) = 2R\times \{ângulo lunar\}.
Provamos isso por ângulos da forma \alpha= p/q \pi, mas a partir deste segue-se por ângulos gerais,
aproximando o ângulo com múltiplos racionais de \pi.
É interessante considerar a fórmula para a área de uma lua quando o ângulo é medido em graus, em
vez de radianos. Uma vez que um radiano é igual a 180/\pi graus, e um grau é igual a \pi/180
radianos, torna-se a fórmula
área (L\alpha) = 2R2 \times \alpha\pi/180 =\pi R2/90\times \alpha.
Comparação entre as fórmulas fornece ainda uma outra razão para o uso de radianos.

Triângulos Esféricos

Um triângulo esférico é definido apenas como um triângulo planar. Ele consiste de três pontos
chamados vértices, os arcos de grandes círculos que unem os vértices, chamados de lados, e a área
que está nele encerrada. No entanto, logo que o que é dito que você percebe que há um monte de
ambigüidade. Em primeiro lugar, existem dois segmentos do círculo grande que se juntar cada par
de pontos. Então, uma vez que tenha decidido qual dos dois segmentos para usar, o valor resultante
é o limite de duas regiões diferentes: --- que pode ser chamado o exterior, bem como no interior.
Uma vez que apenas um lado do "longo" pode ser utilizado sem obter pontos extra de intersecção
dos lados, pode-se contar 8 regiões que podem ser chamadas de triângulos, todos os quais têm estes
três pontos como vértices. É claro que a situação é ainda mais complicada se dois dos pontos são
antípodas.
Para fugir dessa complexidade, vamos lidar apenas com pequenos triângulos. Dadas as três vértices,
nenhum par dos quais são antípodas, o pequeno triângulo tem como lados os segmentos curtos de
grandes círculos que unem os vértices. Notamos que há um hemisfério que contém os três pontos,
ea região que escolhemos é a região delimitada pelos lados e reside inteiramente nesse hemisfério.
Na verdade, os resultados que vai descobrir são verdadeiras para triângulos "grandes", mas vamos
deixar a verificação do que para o leitor.

Exercício: Experiências com triângulos esféricos.

Desenhe três triângulos esféricos de diferentes tamanhos em uma bola de praia (Boyd Hemphill tem
uma maneira de aumentar a precisão com que isso pode ser feito). Medir os ângulos dos triângulos e
comparar a soma dos ângulos com o tamanho relativo do triângulo. Se há outros que trabalham com
isso, comparar seus resultados com os deles.
Você percebe algum padrão nos dados? Em particular como é que a soma comparar com os 180
graus que esperamos no plano? O que acontece que a soma dos ângulos que o tamanho do triângulo
fica maior?

Exercício: A área de um triângulo esférico.

Você pode encontrar uma fórmula que relaciona a área de um triângulo esférico para a soma de seus
ângulos?

Este é um problema difícil, mas você sabe que tudo o que você precisa saber para
resolvê-lo. Pense sobre os três lados do triângulo e os grandes círculos dos quais fazem
parte. Para cada um dos ângulos do triângulo, estes grandes círculos ligados dois lunes
congruentes, um dos quais contém o triângulo e um que não faz. Se você pode
visualizar a configuração destes seis luas na esfera, você estará no caminho para uma
solução.

A solução para este problema é o Teorema de Girard, e se for provado na próxima seção.

A área de um triângulo esférico. Teorema de Girard

Considere o triângulo preto T da esfera figura (ver sítio) à esquerda. Estaremos derivar uma fórmula
para a área de T. A chave para a compreensão da derivação é a configuração dos três grandes
círculos na esfera, como mostrado na figura. Não há nenhuma dificuldade em entender o que você
vê lá. O que pode causar problemas é que a configuração é semelhante do outro lado da esfera. No
entanto, este número é de um applet java e você pode girá-lo clicando e arrastando o mouse em
qualquer lugar de partida na figura, no sítio.
Nós vamos rotular os vértices de T por R, G e B, e os ângulos correspondentes do T por r, g, e b. As
letras correspondem ao vermelho, verde e azul, e, por exemplo, o vértice R é o vértice de T, onde T
é o oposto de um triângulo vermelho. Os ângulos de R no triângulo preto T e no triângulo vermelho
são ângulos opostos e, portanto, são iguais. O seu valor será designado por r. Na verdade, R é o
vértice de duas luas congruentes, uma das quais consiste no triângulo vermelho e um triângulo
cinzento, e a outra das quais contém o triângulo preto e outro triângulo vermelho. Vamos nos referir
a essas duas luas como luas vermelhas. Vamos denotar por Lr' a lua vermelha, que não contém T e
por Lr a lua vermelha que contém T. Exatamente da mesma maneira, vemos que G é o vértice de
dois congruente, lunes verdes --- Lg que contémT e Lg' que não contém T, e o vértice B é o vértice
de duas congruentes, luas azuis --- Lb que contém T, e Lb', que não contém o t.
Se você girar a esfera você também vai ver um triângulo cinza que parece praticamente o mesmo
que T. Este é o triângulo antípoda T'. Os vértices são R', G' e B', que são os pontos de antípodas R,
G, e B, respectivamente. Desde que T e T' são imagens um do outro sob a aplicação antípoda, a qual
é uma isometria (preserva distância, ângulo, área), eles têm a mesma área.
É importante entender a situação de cada par de como lunes coloridas. Concentre-se nos dois lunes
azuis, Lb e Lb'. Eles são mostrados de forma isolada no applet para a direita. Observe o triângulo
preto T faz parte da lua Lb e o triângulo cinza T', que é antípoda ao T, faz parte da Lb'. O exame dos
outros pares de lunes revela que o lunes Gg e Lr também conter T, enquanto que Gg' e Lr' contêm t'.
Para resumir, a seis luas Lr, Lr', Lg, Lg', Lb e Lb', têm as seguintes propriedades:

•O triângulo T está contido em cada uma das três luas Lr, Gg, Lb, e nas outras não.
•O triângulo antípoda T' está contido em cada um dos três luas Lr', Lg', Lb', e em nenhum
outro.
•Cada ponto da esfera que não está em T ou T' é contido precisamente uma das luas.
Compreender a prova do teorema de Girard se resume a entender a configuração do triângulo e os
seis lunes, e verificando os três pontos com marcadores. Esperemos que os applets nesta página são
úteis. No entanto, de longe, a melhor maneira de visualizar as seis luas é por experimentação física
com uma esfera real. Obter uma bola de praia de cerca de 8 a 12 polegadas de diâmetro. Desenhe
um triângulo T nele. Em seguida, estenda cuidadosamente cada lado do triângulo para um grande
círculo completo. Será notado que esses grandes círculos se cruzam no outro lado da esfera e
formam um outro triângulo T' que é a imagem antípoda de T. Assim, t' é congruente com T e
consequentemente tem a mesma área.
Suponha-se que os três ângulos de T são R, G, e B. Em cada um desses vértices existem duas luas
do ângulo apropriado que se encontram. Um deles contém T. Chamar esta lua Lr, Gg, e Lb como o
caso. Denotam o outro lune, que não contém T por Gr', Gg', e Lb'. Chocar as duas luas Lr e Lr' com
uma cor distinta e marcação (como pequenos círculos). Preencha as luas Lg e Lg' com uma cor ou
marcação diferente, e usar ainda um terceiro para as luas Lb e Lb'.
Agora, examinando a bola de praia que você vai ser capaz de verificar os três pontos com
marcadores.
Podemos resumir os pontos com marcadores, dizendo que os seis lunes cobrir toda a esfera com os
pontos T e T' coberto duas vezes. Portanto, quando somarmos as áreas dos luas teremos

Dentro desta equação que substituir as fórmulas para a área de uma lua, e a área da superfície de
uma esfera de raio R. Finalmente, usando o fato de que T e T' têm a mesma área, obtemos
.
Em seguida, resolvendo para a área de T, e colocando em evidência os termos isso se torna
 .
Esta última fórmula é chamada fórmula de Girard, e o resultado da fórmula é chamado Teorema de
Girard.
Ficamos com uma variante interessante se resolver para a soma dos ângulos:

.
Ambas as fórmulas são interessantes. O primeiro enfatiza a área do triângulo esférico, e o segundo
ressalta a soma dos ângulos do triângulo esférico. Para efeitos de comparação com geometria plana,
a segunda é especialmente interessante, pois diz precisamente quanto a soma dos ângulos de um
triângulo esférico superior a dois ângulos rectos, a soma dos ângulos de um triângulo planar. Que a
diferença envolve a área da esfera é uma partida notável a partir do que seria de esperar de nosso
conhecimento de geometria plana.
Exercício: Encontre a fórmula para o resultado do Teorema de Girard quando os ângulos são
medidos em graus em vez de radianos.

Consequências do Teorema de Girard

Exercício:. Distorção em mapas

Todo mundo sabe que um mapa do mesmo uma pequena porção da esfera ao plano deve envolver
alguma distorção. No entanto Teorema de Girard faz essa afirmação mais precisa. Vamos chamar
um mapa ideal se faz duas coisas.
•Ele mapeia grandes círculos de linhas retas.
•Ele preserva ângulos.
Será que um mapa ideal existe?

Há mapas que têm uma das propriedades?

Não parece ser muito, muito pedir um mapa para ser ideal. Pense sobre estas duas perguntas. (No
sítio você pode encontrar as respostas clicando no texto no link “here”)
Exercício: Semelhança.
Suponha que temos um triângulo sobre a esfera com ângulos A, B e C. Podemos encontrar um
triângulo maior com os mesmos ângulos? Em outras palavras, não existe semelhança de triângulos
na esfera?
A resposta é não! Pela fórmula da área, qualquer triângulo com estes ângulos devem ter a mesma
área, e, por conseguinte, não podem ser maiores. Veja que da razão entre áreas de duas figuras
semelhantes de áreas A1 e A2 que é igual ao quadrado da constante k da razão de semelhança, mas
áreas iguais implica que k=1, logo lados proporcionais serão iguais, e AAA implica LLL.
Exercício:. Teoremas de congruência
No plano, há uma série de casos de congruência dos triângulos. Eles são normalmete referido por
suas siglas, ou seja, LLL, LAL, AAL e ALA.
Você pode modificar as provas dos teoremas planares para provar estes teoremas sobre a esfera?
Pode ser necessário modificar as declarações dos teoremas para cuidar de alguns casos especiais.
(Você deve ser avisado de que algumas delas são difíceis de provar.)

Para triângulos esféricas não é um novo teorema de congruência que afirma que
quaisquer dois triângulos com os mesmos ângulos devem ser congruente. Assim, na
esfera também temos AAA. Você pode provar isso?

Exercício:. Pequenos triângulos em grandes esferas

Vamos olhar novamente para a fórmula da soma dos ângulos de um triângulo esférico.

Quando o raio R é muito grande, e a área do triângulo é pequena, o último termo do lado direito é
extremamente pequena. Em tais casos, seria difícil distinguir a soma dos ângulos de 180 graus.
Assim, a soma planar da fórmula ângulos é quase verdade, talvez para os limites da nossa
capacidade para medir ângulos. Por exemplo, o raio da terra está próximo de 4.000 milhas.
Se estamos olhando para um triângulo na terra com área de 1 m² milha, quanto será a soma dos
ângulos diferem de 180 graus? Você acha provável que essa diferença será detectável?
Exercício:. Polígonos esféricos
O Teorema de Girard pode ser facilmente estendido a partir de triângulos para polígonos esféricos.
Claro que um polígono esférico é uma figura em uma esfera, que é delimitada por segmentos de
grandes círculos.
Suponha-se que P é um quadrilátero esférico com ângulos de um, b, c, e d. Mostre que

Suponha-se que P é um polígono esférica com n lados. Mostram que a soma dos ângulos é igual

Será que o resultado para polígonos aplica quando o polígono é uma lua?
Existem alguns estados, como Utah e Colorado, que parecem ser polígonos esféricos. São eles
realmente? Olhe para esses estados em um mapa, e medir a soma dos ângulos. Compará-lo com a
fórmula acima, e decidir se eles são realmente polígonos esféricos. Você pode explicar a
discrepância?
.