El teorema del coseno es una generalización del teorema de Pitágoras en los triángulos no rectángulos que se utiliza, normalmente, en trigonometría.
El teorema relaciona un lado de un triángulo con los otros dos y con el coseno del ángulo formado por estos dos lados:
|
En la mayoría de los idiomas, este teorema es conocido con el nombre de teorema del coseno, denominación no obstante relativamente tardía. En francés, sin embargo, lleva el nombre del matemático persa Ghiyath al-Kashi que unificó los resultados de sus predecesores.
1Siendo ABC el triángulo, cuyo ángulo obtuso está en C, y BH la altura respecto del vértice B (cf. Fig. 2 contigua), la notación moderna permite formular el enunciado así:
Faltaba esperar la trigonometría árabe-musulmana de la Edad Media para ver al teorema evolucionar a su forma y en su alcance: el astrónomo y matemático al-Battani4 generalizó el resultado de Euclides en la geometría esférica a principios del siglo X, lo que permitió efectuar los cálculos de la distancia angular entre el Sol y la Tierra.5 6 Fue durante el mismo período cuando se establecieron las primeras tablas trigonométricas, para las funciones seno y coseno. Eso permitió aGhiyath al-Kashi,7 matemático de la escuela de Samarcanda, de poner el teorema bajo una forma utilizable para latriangulación durante el siglo XV. La propiedad fue popularizada en occidente por François Viète quien, al parecer, lo redescubrió independientemente.8
Fue a finales del siglo XVII cuando la notación algebraica moderna, aunada a la notación moderna de las funciones trigonométricas introducida por Euler en su libroIntroductio in analysin infinitorum, permitieron escribir el teorema bajo su forma actual, extendiéndose el nombre de teorema (o ley) del coseno.9
El teorema y sus aplicaciones
El teorema del coseno es también conocido por el nombre de teorema de Pitágoras generalizado, ya que el teorema de Pitágoras es un caso particular: cuando el ángulo es recto o, dicho de otro modo, cuando , el teorema del coseno se reduce a:
que es precisamente la formulación del teorema de Pitágoras.
El teorema se utiliza en triangulación (ver Fig. 3) para resolver un triángulo, y saber determinar
- el tercer lado de un triángulo cuando conocemos un ángulo y los lados adyacentes:
.
- los ángulos de un triángulo cuando conocemos los tres lados:
.
Estas fórmulas son difíciles de aplicar en el caso de mediciones de triángulos muy agudos utlizando métodos simples, es decir, cuando el lado c es muy pequeño respecto los lados a y b —o su equivalente, cuando el ángulo γ es muy pequeño.
Existe un corolario del teorema del coseno para el caso de dos triángulos semejantes ABC y A'B'C'
Por la potencia de un punto con respecto a un círculo
Consideremos un círculo con centro en B y radio BC, como en la figura 6. Si AC es tangente al círculo, nuevamente se tiene el Teorema de Pitágoras. Cuando AC no es tangente, existe otro punto K de corte con el círculo. LA potencia del punto A con respecto a dicho círculo es
.
Por otro lado, AL = c+a y AP = c-a de modo que
.
Además, CK= -2a cos(γ) (ver el apéndice) por lo que
.
Igualando las expresiones obtenidas se obtiene nuevamente c²=a²+b²-2ab cos(γ).
Contrariamente a las precedentes, para esta demostración, no es necesario recurrir a un estudio por caso pues las relaciones algebraicas son las mismas para el caso del ángulo agudo.