Teorema del coseno


Teorema del coseno


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:

Teorema del coseno

Dado un triángulo ABC, siendo α, β, γ, los ángulos, y a, b, c, los lados respectivamente opuestos a estos ángulos entonces:

c^2=a^2+b^2-2ab\,\cos(\gamma)

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.[1]

Fig. 1 - Notación más habitual de un triángulo.

Contenido

Historia

Los Elementos de Euclides, que datan del siglo III a. C., contienen ya una aproximación geométrica de la generalización del teorema de Pitágoras: las proposiciones 12 y 13 del libro II, tratan separadamente el caso de un triángulo obtusángulo y el de un triángulo acutángulo. La formulación de la época es arcaica ya que la ausencia de funciones trigonométricas y del álgebra obligó a razonar en términos de diferencias de áreas.[2] Por eso, la proposición 12 utiliza estos términos:

«En los triángulos obtusángulos, el cuadrado del lado opuesto al ángulo obtuso es mayor que los cuadrados de los lados que comprenden el ángulo obtuso en dos veces el rectángulo comprendido por un lado de los del ángulo obtuso sobre el que cae la perpendicular y la recta exterior cortada por la perpendicular, hasta el ángulo obtuso.»
Euclides, Elementos.[3]

Siendo 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í:

Fig. 2 - Triángulo ABC con altura BH.

AB^2 = CA^2 + CB^2 + 2\ CA\ CH

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-Battani[4] 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ó a Ghiyath al-Kashi,[7] matemático de la escuela de Samarcanda, de poner el teorema bajo una forma utilizable para la triangulació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 libro Introductio 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 \gamma \, es recto o, dicho de otro modo, cuando \cos\gamma = 0 \,, el teorema del coseno se reduce a:

\,c^2=a^2+b^2

que es precisamente la formulación del teorema de Pitágoras.

Fig. 3 - Utilización del teorema del coseno: ángulo o lado desconocido.

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:

c = \sqrt{a^2+b^2-2ab\cos\gamma}.

  • los ángulos de un triángulo cuando conocemos los tres lados:

\gamma = \arccos \frac{a^2+b^2-c^2}{2ab}.

Estas fórmulas son difíciles de aplicar en el caso de mediciones de triángulos muy agudos utilizando 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'

\,cc' = aa' + bb' - (ab'+a' b)\cos\gamma.

Demostraciones

Por desglose de áreas

Fig. 4a - Demostración del teorema del coseno por desglose de áreas, cuando el ángulo es agudo.

Un cierto número de las demostraciones del teorema hacen intervenir un cálculo de áreas. Conviene en efecto remarcar que

  • a², b², c² son las áreas de los cuadrados de lados respectivos a, b, c.
  • ab cos(γ) es el área de un paralelogramo de lados a y b que forman un ángulo de 90°-γ (para una prueba, ver el apéndice).

Dado que cos(γ) cambia de signo dependiendo de si γ es mayor o menor a 90°, se hace necesario dividir la prueba en 2 casos

La figura 4a (contigua) divide un heptágono de dos maneras diferentes para demostrar el teorema del coseno en el caso de un ángulo agudo. La división es la siguiente:

  • En verde, las áreas a², b² la izquierda, y el área ,a la derecha.
  • En rojo, el triángulo ABC en ambos diagramas y en amarillo triángulos congruentes al ABC.
  • En azul, paralelogramos de lados a y b con ángulo 90°-γ.

Igualando las áreas y cancelando las figuras iguales se obtiene que a^2+b^2 = c^2+2ab\, \cos\gamma, equivalente al Teorema del coseno.

Fig. 4b - Demostración del teorema del coseno por desglose de áreas, cuando el ángulo es obtuso.

La figura 4b (contigua) desglosa un hexágono de dos maneras diferentes para demostrar el teorema del coseno en el caso de un ángulo obtuso. La figura muestra

  • En verde a², b² la izquierda y a la derecha.
  • En azul -2ab cos(γ), recordando que al ser cos(γ) negativo, la expresión completa es positiva.
  • En rojo, dos veces el triángulo ABC para ambos lados de la figura.

Igualando áreas y cancelando las zonas rojas da \,a^2+b^2-2ab\cos\gamma = c^2, como queríamos demostrar.

Por el teorema de Pitágoras

Notemos que el Teorema de Cosenos es equivalente al Teorema de Pitágoras cuando el ángulo γ es recto. Por tanto sólo es necesario considerar los casos cuando c es adyacente a dos ángulos agudos y cuando c es adyacente a un ángulo agudo y un obtuso.

Primer caso: c es adyacente a dos ángulos agudos.

Caso 1: c es adyacente a dos ángulos agudos

Consideremos la figura adjunta. Por el teorema de Pitágoras, la longitud c es calculada así:

(left) c^2 = h^2 + u^2\,

Pero, la longitud h también se calcula así:

(left) h^2 = a^2 - (b-u)^2\,

Combinando ambas ecuaciones y luego simplificando obtenemos:

c^2 = a^2 - b^2 + 2bu\,

Por la definición de coseno, se tiene:

cos\gamma\,= \frac{b-u}{a}

y por lo tanto:

 u = b- a \,\cos\gamma\,

Sustituimos el valor de u en la ecuación para c2, concluyendo que:

 c^2 = a^2 +b^2 -2ab\, \cos \gamma

con lo que concluye la prueba del primer caso.

Segundo caso: c es adyacente a un ángulo obtuso.

Caso 2: c es adyacente a un ángulo obtuso

Consideremos la figura adjunta. El teorema de Pitágoras establece nuevamente c2 = h2 + u2 pero en este caso h2 = a2 − (b + u)2. Combinando ambas ecuaciones obtenemos c2 = u2 + a2b2 − 2buu2 y de este modo:

c^2 = a^2 -b^2 -2bu\,.

De la definición de coseno, se tiene cos\gamma\,= \frac{b+u}{a} y por tanto:

 u = a\, \cos\gamma -b\,.

Sustituimos en la expresión para y simplificamos c² = a²-b² -2b(a cos(γ)-b), concluyendo nuevamente

 c^2 = a^2 +b^2 -2ab\, \cos \gamma\,.

Esto concluye la demostración.

Es importante notar, que si se considera a u como un segmento dirigido, entonces sólo hay un caso y las dos demostraciones se convierten en la misma.

Por la potencia de un punto con respecto a un círculo

Fig. 6 - Demostración del teorema del coseno utilizando 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

AP\cdot AL=AC\cdot AK= AC (AC+CK).

Por otro lado, AL = c+a y AP = c-a de modo que

AP\cdot AL = (c+a)(c-a) = c^2 -a^2.

Además, CK= -2a cos(γ) (ver el apéndice) por lo que

AC(AC+CK) = b(b -2a\,cos(\gamma)).

Igualando las expresiones obtenidas se llega finalmente a:

c^2=a^2+b^2-2a\;b\,\cos(\gamma)

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.

Por el cálculo vectorial

Utilizando el cálculo vectorial, más precisamente el producto escalar, es posible encontrar el teorema del coseno en algunas líneas:

c^2\, =\lVert\overrightarrow{\mathrm{AB}}\lVert^2
= \lVert\overrightarrow{\mathrm{CB}}-\overrightarrow{\mathrm{CA}}\lVert^2
=\lVert\overrightarrow{\mathrm{CB}}\lVert^2-2\cdot\overrightarrow{\mathrm{CB}}\cdot\overrightarrow{\mathrm{CA}}+\lVert\overrightarrow{\mathrm{CA}}\lVert^2
=\mathrm{CB}^2-2\cdot\left|\mathrm{CB}\right|\cdot\left|\mathrm{CA}\right|\cos\widehat{\mathrm{ACB}}+\mathrm{CA}^2
=a^2+b^2-2ab \cos\gamma\,

Generalización en geometrías no euclídeas

Fig. 7 - Triángulo esférico: dimensiones reducidas a, b y c ; ángulos α, β y γ.

Para una superficie no euclídea de curvatura K, señalamos con R el radio de curvatura. Este verifica

\,R = 1/\sqrt{|K|}.

Definimos entonces las dimensiones reducidas del triángulo:

\,a = BC/R,
\,b = AC/R,
\,c = AB/R.

En el caso de un triángulo esférico, a, b y c corresponden a la medida angular de los segmentos de circunferencia maximal[10] [BC], [AC] y [AB] (ver Fig. 7).

Geometría esférica

Artículo principal: Geometría esférica

Cuando el radio de curvatura es muy grande comparado con las dimensiones del triángulo, es decir cuando

\,a <\!\!< 1,

esta expresión se simplifica para dar la versión euclídea del teorema del coseno. Para hacerlo, :\,\cos a = 1 - a^2/2 + O(a^3), etc.

Existe una identidad similar que relaciona los tres ángulos:

\cos\gamma = - \cos\alpha\,\cos\beta + \sin\alpha\,\sin\beta\,\cos c


Geometría hiperbólica

Artículo principal: Geometría hiperbólica

En un triángulo hiperbólico ABC, el teorema del coseno se escribe

\cosh c = \cosh a\,\cosh b - \sinh a\,\sinh b\,\cos\gamma.

Cuando el radio de curvatura se vuelve muy grande frente las dimensiones del triángulo, encontramos el teorema del coseno euclídeo a partir de los desarrollos limitados

\,\sinh a = a + O(a^3), etc.,
\,\cosh a = 1 + a^2/2 + O(a^3), etc.

Generalización en el espacio euclídeo

Fig. 8 - Tetraedro: vértices, caras y ángulos.

Consideremos un tetraedro A1A2A3A4 del espacio euclídeo, siendo:

\,\mathrm S_k la cara opuesta al vértice \mathrm A_k\ ;
\,s_k la superficie de \mathrm S_k\ ;
\,\Delta_k el plano que contiene a la cara \mathrm S_k\ ;
\,\theta_{ij} el ángulo diedral \widehat{(\Delta_i, \Delta_j)}.

(La figura 8, contigua, presenta la notación de los vértices, caras y ángulos del tetraedro).

Entonces, las superficies y ángulos verifican:

\,s_4^2 = s_1^2+s_2^2+s_3^2 - 2s_1s_2\cos\theta_{12}\,
- 2s_1s_3\cos\theta_{13} - 2s_2s_3\cos\theta_{23}\,.



2ab+a.b(.b)= AC*AS"

Véase también

Referencias

  1. Kennedy, E S ; Debarnot, M.- T (1979). «Al-Kashi's Impractical Method of Determining the Solar Altitude». Journal for the History of Arabic Science Aleppo 3 (2). pag 219-227. http://cat.inist.fr/?aModele=afficheN&cpsidt=12569968. 
  2. Heath, Sir Thomas (1921) (en inglés). A history of Greek Mathematics vol. 1. Londres, Inglaterra: Oxford University Press. OCLC 2014918. 
  3. «Proposición 12 del libro II de Los Elementos de Euclides».
  4. «Esquema del desarrollo histórico de la matemática» págs. pág. 6. Universidad Nacional del Nordeste.
  5. O'Connor, John J.; Robertson, Edmund F., «Biografía de Abu Abdallah Mohammad ibn Jabir Al-Battani» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Abu%27l-Wafa.html, consultado el 08-06-2008 
  6. «La trigonometria àrab, Al-Battani, Abu’l-Wafa, Ibn Yunus, Nasir al-Tusi» (en catalán) (html). Consultado el 08-06-2008.
  7. «Al-Kashi, Gamshid ibn Messaoud» (en francés).
  8. Viète, François (1579). Canon mathematicus seu ad triangula. Lutetia Mettayer. OCLC 165919384. 
  9. Boyer, Carl B.; Uta C. Merzbach (1968). A History of Mathematics. New York: Estados Unidos: John Wiley & Sons. pp. 439–445. ISBN 0-471-54397-7. 
  10. En geometría esférica el concepto de línea recta es reemplazado por el de geodésica la cual es la distancia más corta entre dos puntos dados de la misma y ésta es siempre una línea que debe pertenecer a una circunferencia máxima (también llamada maximal). Las circunferencias máximas son las líneas de intersección entre la superficie esférica y cualquier plano que pase por el centro de la misma, con estas restricciones se puede hablar aún de triángulos de lados geodésicos. Los triángulos esféricos no cumplen con que la suma de sus ángulos internos sea 180°, sin embargo la desigualdad triangular sigue vigente en geometría esférica.

Bibliografía


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teorema del coseno — Enunciado El teorema del coseno dice que «el cuadrado de un lado es igual a la suma de los cuadrados de los otros lados menos el doble del producto de estos lados por el coseno del ángulo comprendido» …   Enciclopedia Universal

  • Teorema del coseno/apéndice — Artículo principal: Teorema del coseno El objetivo de este apéndice es presentar pruebas de algunas afirmaciones usadas en el artículo Teorema del coseno, pero que por razones didácticas es preferible separar del cuerpo principal, ya que… …   Wikipedia Español

  • Teorema del seno — Teorema del seno. En trigonometría, el teorema del seno es una relación de proporcionalidad entre las longitudes de los lados de un triángulo y los senos de los ángulos respectivamente opuestos. Usualmente se presenta de la siguiente forma …   Wikipedia Español

  • coseno, teorema del — Generalización del teorema de Pitágoras que relaciona las longitudes de los lados de un triángulo. Si a, b y c son las longitudes de los lados y C es el ángulo opuesto al lado c, entonces c2 = a2 + b2 2 …   Enciclopedia Universal

  • Teorema de Apolonio — fig.1: Esquema con áreas → ( ). En geometría, el teorema de Apolonio, también llamado teorema de la mediana, es un teorema que relaciona …   Wikipedia Español

  • Teorema de Pitágoras — El Teorema de Pitágoras establece que en un triángulo rectángulo, el área del cuadrado de la hipotenusa (el lado de mayor longitud del triángulo rectángulo) es igual a la suma de las áreas del cuadrado de los catetos (los dos lados menores del… …   Wikipedia Español

  • Teorema de Stewart — En geometría el teorema de Stewart es una generalización del teorema de la mediana. Establece una relación entre la longitud de los lados de un triángulo y la longitud de una ceviana. Su nombre se debe al matemático escocés Matthew Stewart quién… …   Wikipedia Español

  • Teorema de la tangente — Fig. 1 Un triángulo. En trigonometría, el teorema de la tangente es una fórmula que relaciona las longitudes de los tres lados de un triángulo y las tangentes de sus ángulos. En la Figura 1, a, b, y c son las longitudes de los tres lados del… …   Wikipedia Español

  • Teorema — (Del gr. theorema, meditación.) ► sustantivo masculino 1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento. 2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema. * * *… …   Enciclopedia Universal

  • del — ► contracción Forma contracta de la preposición de y el artículo el. * * * del Contracción de la preposición «de» y el artículo «el»: ‘El cultivo del arroz’. * * * del. contracc. De el. La naturaleza del hombre, por la naturaleza de el hombre.… …   Enciclopedia Universal


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.