Ley esférica de los cosenos

Triángulo esférico resuelto por la ley 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 Plantilla:Math y Plantilla:Math en la esfera (según la imagen). Si las longitudes de estos tres lados son Plantilla:Math (de Plantilla:Math a Plantilla:Math (de Plantilla:Math a Plantilla:Math) y Plantilla:Math (de Plantilla:Math a Plantilla:Math), y el ángulo de la esquina opuesta a Plantilla:Math es Plantilla:Math, entonces la (primera) ley esférica de los cosenos establece que:

$\cos c=\cos a\cos b+\mathrm{sen}a\mathrm{sen}b\cos C$

Como se trata de una esfera unitaria, las longitudes Plantilla:Math y Plantilla:Math 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 Plantilla:Math y Plantilla:Math se reinterpretan como ángulos subtendidos. Como caso especial, para Plantilla:Math, luego Plantilla:Math, 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 Plantilla:Math, la necesidad de invertir el coseno aumenta el error de redondeo cuando Plantilla:Math 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+\mathrm{sen}A\mathrm{sen}B\cos c$

donde Plantilla:Math y Plantilla:Math son los ángulos de las esquinas opuestas a los lados Plantilla:Math y Plantilla:Math, respectivamente. Se puede obtener considerando un triángulo esférico dual con el dado.

Demostraciones

Primera demostración

Se denominan Plantilla:Math y Plantilla:Math 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 ,\varphi )$, 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 $𝐮$ esté en polo norte, esto es, que tenga coordenadas $(1,0,0)$, que $𝐯$ esté en algún lugar del meridiano cero, esto es, que tenga coordenadas $(1,a,0)$ y que las coordenadas de $𝐰$ sean $(r,\theta ,\varphi )=(1,b,C)$. Las coordenadas cartesianas de $𝐯$ y $𝐰$ son, respectivamente, $(\mathrm{sen}a,0,\cos a)$ y $(\mathrm{sen}b\cos C,\mathrm{sen}b\mathrm{sen}C,\cos b)$. El valor de $\cos c$ es $\cos c=𝐯\cdot 𝐰=\mathrm{sen}a\mathrm{sen}b\cos C+\cos a\cos b$.

Segunda demostración

Sean Plantilla:Math y Plantilla:Math los vectores unitarios desde el centro de la esfera hasta las esquinas del triángulo. Se tiene que Plantilla:Math, Plantilla:Math, Plantilla:Math y Plantilla:Math. Los vectores Plantilla:Math y Plantilla:Math tienen longitudes Plantilla:Math y Plantilla:Math respectivamente y el ángulo entre ellos es Plantilla:Math, entonces

Plantilla:Math,

utilizando productos vectoriales, productos escalaress y la identidad de Binet-Cauchy Plantilla:Math.

Reordenamientos

La primera y segunda leyes esféricas de los cosenos se pueden reorganizar para colocar los lados (Plantilla:Math) y los ángulos (Plantilla:Math) en lados opuestos de las ecuaciones:

$\begin{array}{cc}\cos C& =\frac{\cos c-\cos a\cos b}{\mathrm{sen}a\mathrm{sen}b}\\ \\ \cos c& =\frac{\cos C+\cos A\cos B}{\mathrm{sen}A\mathrm{sen}B}\\ \end{array}$

Límite plano: ángulos pequeños

Para triángulos esféricos pequeños, es decir, para Plantilla:Math y Plantilla:Math 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),\mathrm{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)(ab+O\left(a^{3}b\right)+O\left(a{b}^3\right)+O\left(a^3{b}^3\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(a{b}^3\right)+O\left(a^3{b}^3\right).$

Los términos cota superior O para Plantilla:Math y Plantilla:Math están dominados por Plantilla:Math a medida que Plantilla:Math y Plantilla:Math 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).$

Véase también

• Fórmulas de la mitad del lado
• Teorema del coseno
• Resolución de triángulos