# Ley esférica de los cosenos

En trigonometría esférica, la ley de los cosenos (también llamada regla del coseno para los lados) es un teorema que relaciona los lados y los ángulos de un triángulo esférico, análogo al teorema del coseno ordinario del plano en trigonometría.
Dada una esfera unitaria, un "triángulo esférico" en la superficie de la esfera está definido por las circunferencias máximas que conectan tres puntos u, v y w en la esfera (según la imagen). Si las longitudes de estos tres lados son a (de u a v), b (de u a w) y c (de v a w), y el ángulo de la esquina opuesta a c es C, entonces la (primera) ley esférica de los cosenos establece que:
    $\cos c=\cos a\cos b+\operatorname {sen} a\operatorname {sen} b\cos C\,$
Como se trata de una esfera unitaria, las longitudes a, b y c son simplemente iguales a los ángulos (en radianes) subtendidos por esos lados desde el centro de la esfera. Para una esfera no unitaria, las longitudes son los ángulos subtendidos multiplicados por el radio, y la fórmula sigue siendo válida si a, b y c se reinterpretan como ángulos subtendidos. Como caso especial, para C = π/2, luego cos C = 0, y se obtiene el análogo esférico del teorema de Pitágoras:
    $\cos c=\cos a\cos b\,$
Si se usa la ley de los cosenos para resolver c, la necesidad de invertir el coseno aumenta el error de redondeo cuando c es pequeño. En este caso, es preferible la expresión alternativa de la fórmula del semiverseno.
Una variación de la ley de los cosenos, la segunda ley esférica de los cosenos, (también llamada regla del coseno para ángulos) establece que:
    $\cos C=-\cos A\cos B+\operatorname {sen} A\operatorname {sen} B\cos c\,$
donde A y B son los ángulos de las esquinas opuestas a los lados a y b, respectivamente. Se puede obtener considerando un triángulo esférico dual con el dado.

## Demostraciones
### Primera demostración

Se denominan u, v y w a los vectores unitarios que van del centro de la esfera a los vértices del triángulo. En esta demostración se emplearán coordenadas cartesianas y las coordenadas esféricas $(r,\theta ,\phi )$, donde θ es la colatitud, es decir, el ángulo medido desde el polo norte, no desde el plano ecuatorial. Los ángulos y las distancias no cambian si se gira el sistema de coordenadas, por lo que, por sencillez, lo giramos de modo que $\mathbf {u}$ esté en polo norte, esto es, que tenga coordenadas $(1,0,0)$, que $\mathbf {v}$ esté en algún lugar del meridiano cero, esto es, que tenga coordenadas $(1,a,0)$ y que las coordenadas de $\mathbf {w}$ sean $(r,\theta ,\phi )=(1,b,C)$. Las coordenadas cartesianas de $\mathbf {v}$ y $\mathbf {w}$ son, respectivamente, $(\operatorname {sen} a,0,\cos a)$ y $(\operatorname {sen} b\cos C,\operatorname {sen} b\operatorname {sen} C,\cos b)$. El valor de $\cos c$ es $\cos c=\mathbf {v} \cdot \mathbf {w} =\operatorname {sen} a\operatorname {sen} b\cos C+\cos a\cos b$.

### Segunda demostración

Sean u, v y w los vectores unitarios desde el centro de la esfera hasta las esquinas del triángulo. Se tiene que u · u = 1, v · w = cos c, u · v = cos a y u · w = cos b. Los vectores u × v y u × w tienen longitudes sen a y sen b respectivamente y el ángulo entre ellos es C, entonces
    sen a sen b cos C = (u × v) · (u × w) = (u · u)(v · w) − (u · v)(u · w) = cos c − cos a cos b,
utilizando productos vectoriales, productos escalaress y la identidad de Binet-Cauchy (p × q) · (r × s) = (p · r)(q · s) − (p · s)(q · r).

## Reordenamientos

La primera y segunda leyes esféricas de los cosenos se pueden reorganizar para colocar los lados (a, b, c) y los ángulos (A, B, C) en lados opuestos de las ecuaciones:
    ${\begin{aligned}\cos C&={\frac {\cos c-\cos a\cos b}{\operatorname {sen} a\operatorname {sen} b}}\\\\\cos c&={\frac {\cos C+\cos A\cos B}{\operatorname {sen} A\operatorname {sen} B}}\\\end{aligned}}$

## Límite plano: ángulos pequeños

Para triángulos esféricos pequeños, es decir, para a, b y c pequeños, la ley esférica de los cosenos es aproximadamente la misma que la ley ordinaria de los cosenos en el plano,
    $c^{2}\approx a^{2}+b^{2}-2ab\cos C\,.$
Para probar esto, se usa la aproximación para ángulos pequeños obtenida de la serie de Taylor para las funciones coseno y seno:
    $\cos a=1-{\frac {a^{2}}{2}}+O\left(a^{4}\right),\,\operatorname {sen} a=a+O\left(a^{3}\right)$
Sustituyendo estas expresiones en la ley esférica de los cosenos se obtiene:
    $1-{\frac {c^{2}}{2}}+O\left(c^{4}\right)=1-{\frac {a^{2}}{2}}-{\frac {b^{2}}{2}}+{\frac {a^{2}b^{2}}{4}}+O\left(a^{4}\right)+O\left(b^{4}\right)+\cos(C)\left(ab+O\left(a^{3}b\right)+O\left(ab^{3}\right)+O\left(a^{3}b^{3}\right)\right)$
o después de simplificar:
    $c^{2}=a^{2}+b^{2}-2ab\cos C+O\left(c^{4}\right)+O\left(a^{4}\right)+O\left(b^{4}\right)+O\left(a^{2}b^{2}\right)+O\left(a^{3}b\right)+O\left(ab^{3}\right)+O\left(a^{3}b^{3}\right).$
Los términos cota superior O para a y b están dominados por O(a$^4$) + O(b$^4$) a medida que a y b se vuelven pequeños, por lo que se puede escribir esta última expresión como:
    $c^{2}=a^{2}+b^{2}-2ab\cos C+O\left(a^{4}\right)+O\left(b^{4}\right)+O\left(c^{4}\right).$