Referencia : http://planetmath.org/areaofasphericaltriangle área de un triángulo esférico
Un triángulo esférico se forma uniendo tres puntos de la superficie de una esfera con grandes arcos; estos tres puntos no se encuentran en un gran círculo de la esfera. La medida de un ángulo de un triángulo esférico es intuitivamente obvia, ya que a pequeña escala la superficie de una esfera parece plana. Más precisamente, el ángulo en cada vértice se mide como el ángulo entre las tangentes a los lados incidentes en el plano tangente al vértice.
Teorema. El área de un triángulo esférico ABC sobre una esfera de radio R es
SABC=(∠A+∠B+∠C-π)R2. (1) Por cierto, esta fórmula demuestra que la suma de los ángulos de un triángulo esférico debe ser mayor o igual que π, manteniéndose la igualdad en el caso de que el triángulo tenga área cero.
Como la esfera es compacta, puede haber cierta ambigüedad sobre si se está considerando el área del triángulo o su complemento. A efectos de la fórmula anterior, sólo consideramos triángulos con cada ángulo menor que π.
A continuación se muestra una ilustración de un triángulo esférico formado por los puntos A, B y C.
Observa que continuando los lados del triángulo original en grandes círculos completos, se forma otro triángulo esférico. El triángulo A′B′C′ es antípoda de ABC, ya que puede obtenerse reflejando el original a través del centro de la esfera. Por simetría, ambos triángulos deben tener la misma área.
Pruebas. Para la demostración de la fórmula anterior es útil la noción de diángulo esférico. Como su nombre indica, un diángulo está formado por dos grandes arcos que se cruzan en dos puntos, que deben estar situados en un diámetro. A continuación se muestran dos diángulos con vértices en el diámetro AA′.
En cada vértice, estos diángulos forman un ángulo de ∠A. Del mismo modo, podemos formar diángulos con vértices en los diámetros BB′ y CC′ respectivamente.
Obsérvese que estos diángulos cubren toda la esfera y sólo se solapan en los triángulos ABC y A′B′C′. Por lo tanto, el área total de la esfera se puede escribir como
Ssphere=2SAA′+2SBB′+2SCC′-4SABC. (2) Es evidente que un diángulo ocupa un área proporcional al ángulo que forma. Como el área de la esfera es 4πR2, el área de un diángulo de ángulo α debe ser 2αR2.
Por lo tanto, podemos reescribir la ecuación (2) como
4πR2=2R2(2∠A+2∠B+2∠C)−4SABC,
∴ SABC=(∠A+∠B+∠C-π)R2,
que es igual a la ecuación (1). ∎