Trigonometría esférica
# Trigonometría esférica

La trigonometría esférica es la parte de la geometría esférica que estudia los polígonos que se forman sobre la superficie de la esfera, en especial, los triángulos. La resolución de triángulos esféricos tiene especial relevancia en astronomía náutica y navegación para determinar la posición de un buque en alta mar mediante la observación de los astros.

# Trigonometría esférica
## La esfera

Una esfera E, de centro en el punto (a,b,c) y radio k, es el dominio de ℝ³ definido por todos aquellos puntos en el espacio tridimensional que cumplen con la siguiente definición:
   $E=\{\ (x,y,z)\in \mathbb {R} ^{3}\ |\ (x-a)^{2}+(y-b)^{2}+(z-c)^{2}=k^{2}\}$

# Trigonometría esférica
## La esfera
### Círculo máximo

La intersección de una esfera con un plano que contenga al centro de dicha esfera genera un círculo máximo y una circunferencia máxima sobre la superficie de la esfera. Un círculo máximo divide a la esfera en dos hemisferios iguales. La distancia entre dos puntos de la superficie de la esfera, unidos por un arco de círculo máximo, es la menor entre ellos y se denomina distancia ortodrómica.
Como ejemplos de círculos máximos en la superficie de la Tierra tenemos los meridianos o la línea del ecuador.

# Trigonometría esférica
## La esfera
### Volumen y superficie de la esfera

El volumen de una esfera es el volumen de revolución engendrado por un semicírculo que gira alrededor del diámetro. Según esta definición, si su radio es r, su volumen será:
       $\!V={\frac {4}{3}}\pi r^{3}$
La superficie lateral de un cuerpo de revolución y vendrá dada por:
       $\!A=4\pi r^{2}$

# Trigonometría esférica
## La esfera
### Dominio sobre la superficie esférica

Un dominio de superficie esférica es un recinto o área sobre la superficie de la esfera limitado por curvas contenidas en dicha superficie.

# Trigonometría esférica
## Triángulo esférico

Si tres puntos de la superficie esférica son unidos por arcos de círculo máximo menores a 180°, la figura obtenida se denomina triángulo esférico. Los lados del polígono así formado se expresan por conveniencia como ángulos cuyo vértice es el centro de la esfera y no por su longitud. Este arco medido en radianes y multiplicado por el radio de la esfera es la longitud del arco. En un triángulo esférico los ángulos cumplen que: 180° < $\alpha \!$ + $\beta \!$ + $\gamma \!$ < 540°

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Notación

$\alpha \!$: ángulo formado entre los arcos AC y AB
$\beta \!$: ángulo formado entre los arcos AB y BC
$\gamma \!$: ángulo formado entre los arcos AC y BC

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Fórmula del coseno

    $\cos CB=\cos AC\;\cos AB+{\rm {sen}}AC\;{\rm {sen}}AB\;\cos \alpha \!$

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Fórmula del seno

    ${\frac {{\rm {sen}}CB}{{\rm {sen}}\alpha }}={\frac {{\rm {sen}}AC}{{\rm {sen}}\beta }}={\frac {{\rm {sen}}AB}{{\rm {sen}}\gamma }}$
Los senos de los lados son proporcionales a los senos de los ángulos opuestos.

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Fórmula del cotangente

La fórmula de la cotangente también se denomina fórmula de los elementos consecutivos. Ver en la figura los siguientes elementos consecutivos:
ángulo $\alpha \!$; lado $AB$; ángulo $\beta \!$; lado $BC$.
   $\cos \beta \cos AB=-{\rm {sen}}\beta \cot \alpha \!+{\rm {sen}}AB\cot CB$
Cosenos de los elementos medios, es igual a: menos seno del ángulo medio por la cotangente del otro ángulo, más seno del lado medio por la cotangente del otro lado.

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Fórmulas de Bessel

Desde las fórmulas de los cosenos, obtenidas en la sección anterior, se pueden obtener de inmediato un conjunto de varias fórmulas conocidas como "relaciones del seno por el coseno" o también denominadas Fórmulas de Bessel, o tercera fórmula de Bessel. Fueron deducidas por primera vez por el matemático alemán Friedrich Wilhelm Bessel.
   $\cos {\Big{\frac {a}{k}}{\Big )}=\cos {\Big{\frac {b}{k}}{\Big )}*\cos {\Big{\frac {c}{k}}{\Big )}+\operatorname {sen} {\Big{\frac {b}{k}}{\Big )}*\operatorname {sen} {\Big{\frac {c}{k}}{\Big )}*\cos A$
   $\cos {\Big{\frac {b}{k}}{\Big )}=\cos {\Big{\frac {c}{k}}{\Big )}*\cos {\Big{\frac {a}{k}}{\Big )}+\operatorname {sen} {\Big{\frac {c}{k}}{\Big )}*\operatorname {sen} {\Big{\frac {a}{k}}{\Big )}*\cos B$
   $\cos {\Big{\frac {c}{k}}{\Big )}=\cos {\Big{\frac {a}{k}}{\Big )}*\cos {\Big{\frac {b}{k}}{\Big )}+\operatorname {sen} {\Big{\frac {a}{k}}{\Big )}*\operatorname {sen} {\Big{\frac {b}{k}}{\Big )}*\cos C$
El conjunto de las fórmulas de Bessel puede escribirse, para la esfera de radio unidad, esto es, la esfera trigonométrica, de la forma:
   $\operatorname {sen} c*\cos B=\cos b*\operatorname {sen} a-\cos a*\operatorname {sen} b*\cos C$
   $\operatorname {sen} c*\cos A=\cos a*\operatorname {sen} b-\cos b*\operatorname {sen} a*\cos C$
   $\operatorname {sen} b*\cos A=\cos a*\operatorname {sen} c-\cos c*\operatorname {sen} a*\cos B$
   $\operatorname {sen} b*\cos C=\cos c*\operatorname {sen} a-\cos a*\operatorname {sen} c*\cos B$
   $\operatorname {sen} a*\cos B=\cos b*\operatorname {sen} c-\cos c*\operatorname {sen} b*\cos A$
   $\operatorname {sen} a*\cos C=\cos c*\operatorname {sen} b-\cos b*\operatorname {sen} c*\cos A$

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Presentación matricial de las fórmulas del triángulo esférico

El conjunto de las fórmulas del seno, del coseno (llamadas por algunos segunda y primera fórmula de Bessel), y la (tercera) fórmula de Bessel, pueden expresarse de forma matricial:
   ${\begin{vmatrix}\cos(a)\\\operatorname {sen}(a)\operatorname {sen}(B)\\\operatorname {sen}(a)\cos(B)\end{vmatrix}}={\begin{vmatrix}\cos(c)&0&\operatorname {sen}(c)\\0&1&0\\\operatorname {sen}(c)&0&-\cos(c)\end{vmatrix}}.{\begin{vmatrix}\cos(b)\\\operatorname {sen}(b)\operatorname {sen}(A)\\\operatorname {sen}(b)\cos(A)\end{vmatrix}}$
siendo a, b y c los lados; y A, B y C los ángulos del triángulo esférico.

# Trigonometría esférica
## Triángulo esférico
### Fórmulas fundamentales
#### Triángulo esférico rectángulo

Al triángulo esférico, con al menos un ángulo recto, se denomina triángulo rectángulo. En un triángulo esférico sus tres ángulos pueden ser rectos, en tal caso su suma es 270°. En todos los otros casos esa suma excede los 180° y a ese exceso se nombra exceso esférico; que se simboliza con E, expresada mediante la fórmula: E = $\alpha \!$+$\beta \!$+$\gamma \!$ − 180°.
Una proposición afirma que cualquier triángulo esférico puede descomponerse en dos triángulos esféricos rectángulos.

# Trigonometría esférica
## Pentágono de Napier

El pentágono de Napier es una regla nemotécnica para resolver triángulos esféricos rectángulos; toma este nombre en memoria del científico escocés John Napier, y se construye de la siguiente forma:
Se colocan en cada sector circular: cateto - ángulo - cateto - ángulo - cateto, consecutivamente, tal como aparecen ordenados en el triángulo, exceptuando el ángulo recto C.
Se remplazan los ángulos B, A, y la hipotenusa c por sus complementarios:
    B por (90° - B)
    A por (90° - A)
    c por (90° - c)
Se establecen dos reglas:
* el seno de un elemento es igual al producto de las tangentes de los elementos adyacentes:
    sen(a) = tg(b) tg(90° - B), o su equivalente: sen(a) = tg(b) ctg(B)
* el seno de un elemento es igual al producto de los cosenos de los elementos opuestos:
    sen(a) = cos(90° - A) cos(90° - c), o su equivalente: sen(a) = sen(A) sen(c)