Documentos de Académico
Documentos de Profesional
Documentos de Cultura
La esfera tiene muchisimas simetrias, por ejemplo las reflexiones en planos que pasan por el origen.
Cada reflexion deja fijo un circulo de radio maximo, y podemos pensar que es una reflexion en ese
circulo. En la esfera no hay lineas rectas, pero podemos definir como “lineas esfericas” a los circulos
de radio maximo.
Idea de la demostracion. Sea L la trayectoria mas corta entre dos puntos a y b. Si L no es un arco de circulo
maximo, entonces hay un circulo maximo C que cruza a L en dos puntos.
L
C
Reflejando a L en C, obtenemos otra trayectoria L' que queda de un solo lado de C y tiene exactamente la misma
longitud que L.
C
L'
La trayectoria L' tiene esquinas, asi que podemos suavizarlas para obtener otra trayectoria L'' que es un poco mas
corta que L', y por lo tanto L'' es mas corta que L.
C
L''
Esto contradice la suposicion de que L es la trayectoria mas corta entre los puntos a y b. Por lo tanto ningun circulo
maximo puede cruzar a L en mas de un punto y L debe ser un arco de circulo maximo.
Distancias y angulos
La distancia entre los puntos p y q en la esfera es el angulo El angulo entre dos lineas esfericas es el angulo
entre los vectores unitarios p y q (medido en radianes). entre los planos por el origen que las definen.
Triangulos
Dos triangulos esfericos son congruentes si tienen lados y angulos correspondientes iguales.
Los criterios de congruencia LLL, LAL, ALA funcionan igual en la esfera que en el plano.
●
Teorema de Girard (1632) Los angulos internos de un triangulo esferico Δ suman π + Area Δ
Demostracion.
Los dos gajos con angulo A, los dos gajos con angulo B y dos gajos con angulo C
juntos cubren a toda la esfera, cubriendo al triangulo Δ y a su antipoda 3 veces.
Por lo tanto si sumamos las areas de todos los gajos obtenemos el area de la esfera
mas cuatro veces el area del triangulo:
Corolario: Dos triangulos esfericos (no degenerados) con los mismos angulos son congruentes.
Dem. Sean ABC y A'B'C' dos triangulos esfericos con angulos iguales. Por el B'
Teorema de Girard los triangulos tienen areas iguales. Coloquemos los
B
triangulos de modo que el angulo A coincida con A'.
B E
Igualeando las ecuaciones (1) y (3) obtenemos
O
2OA2 −2OE·OD cosa = −2AE·ADcosA
⇒ OE·ODcosa = OA2 +AE·ADcosA
⇒ cos a = OA/OE · OA/OD + AE/OE · AD/OD cos A
C D
⇒ cosa = cosb cosc + sinb sinc cosA
Este resultado se ve muy distinto que el teorema de Pitagoras en el plano, pero puede mostarse que
cuando los triangulos son muy pequeños, el Teorema clasico es un limite de este teorema.
4. ¿Si un cuadrado esferico tiene area π, cuanto miden sus lados?¿Cuanto miden sus
angulos?