Teorema del coseno

El teorema del coseno, denominado tambin como ley

Euclides, Elementos.[4]
[1]
de cosenos , es una generalizacin del teorema de Pitgoras en los tringulos rectngulos que se utiliza, normalmente, en trigonometra.
Siendo ABC el tringulo, cuyo ngulo obtuso est en C, y
El teorema relaciona un lado de un tringulo cualquiera BH la altura respecto del vrtice B (cf. Fig. 2 contigua),
con los otros dos y con el coseno del ngulo formado por la notacin moderna permite formular el enunciado as:
estos dos lados:
En la mayora de los idiomas, este teorema es conocido
con el nombre de teorema del coseno, denominacin no
obstante relativamente tarda. En francs, sin embargo,
lleva el nombre del matemtico persa Ghiyath al-Kashi
que unic los resultados de sus predecesores.[2]

Fig. 2 - Tringulo ABC con altura BH.

AB 2 = CA2 + CB 2 + 2 CA CH

Faltaba esperar la trigonometra rabe-musulmana de la

Edad Media para ver al teorema evolucionar a su forma y
Fig. 1 - Notacin ms habitual de un tringulo.
en su alcance: el astrnomo y matemtico al-Battani[5] generaliz el resultado de Euclides en la geometra esfrica
a principios del siglo X, lo que permiti efectuar los clculos de la distancia angular entre el Sol y la Tierra.[6][7]
Fue durante el mismo perodo cuando se establecieron las
1 Historia
primeras tablas trigonomtricas, para las funciones seno
y coseno. Eso permiti a Ghiyath al-Kashi,[8] matemLos Elementos de Euclides, que datan del siglo III a. C.,
tico de la escuela de Samarcanda, de poner el teorema
contienen ya una aproximacin geomtrica de la generabajo una forma utilizable para la triangulacin durante
lizacin del teorema de Pitgoras: las proposiciones 12
el siglo XV. La propiedad fue popularizada en occideny 13 del libro II, tratan separadamente el caso de un
te por Franois Vite quien, al parecer, lo redescubri
tringulo obtusngulo y el de un tringulo acutngulo. La
independientemente.[9]
formulacin de la poca es arcaica ya que la ausencia de
funciones trigonomtricas y del lgebra oblig a razonar Fue a nales del siglo XVII cuando la notacin algebraien trminos de diferencias de reas.[3] Por eso, la propo- ca moderna, aunada a la notacin moderna de las funciones trigonomtricas introducida por Euler en su libro
sicin 12 utiliza estos trminos:
Introductio in analysin innitorum, permitieron escribir el
teorema bajo su forma actual, extendindose el nombre
En los tringulos obtusngulos, el cuadrade teorema (o ley) del coseno.[10]
do del lado opuesto al ngulo obtuso es mayor
que los cuadrados de los lados que comprenden el ngulo obtuso en dos veces el rectngulo
2 El teorema y sus aplicaciones
comprendido por un lado de los del ngulo obtuso sobre el que cae la perpendicular y la recta
El teorema del coseno es tambin conocido por el nomexterior cortada por la perpendicular, hasta el
bre de teorema de Pitgoras generalizado, ya que el
ngulo obtuso.
1

teorema de Pitgoras es un caso particular: cuando el ngulo es recto o, dicho de otro modo, cuando cos = 0
, el teorema del coseno se reduce a:

DEMOSTRACIONES

cc = aa + bb (ab + a b) cos .

3 Demostraciones

c2 = a2 + b2
que es precisamente la formulacin del teorema de Pitgoras.

3.1 Por desglose de reas

Fig. 4a - Demostracin del teorema del coseno por desglose de

reas, cuando el ngulo es agudo.

Un cierto nmero de las demostraciones del teorema hacen intervenir un clculo de reas. Conviene en efecto
remarcar que
a2 , b2 , c2 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 apndice).
Fig. 3 - Utilizacin del teorema del coseno: ngulo o lado desconocido.

El teorema se utiliza en triangulacin (ver Fig. 3) para

resolver un tringulo, y saber determinar:
el tercer lado de un tringulo cuando conocemos un
ngulo y los lados adyacentes:
c=

a2 + b2 2ab cos .

los ngulos de un tringulo cuando conocemos los

tres lados:
= arccos

a2 +b2 c2
2ab

Estas frmulas son difciles de aplicar en el caso de mediciones de tringulos muy agudos utilizando mtodos simples, es decir, cuando el lado c es muy pequeo respecto
los lados a y b o su equivalente, cuando el ngulo es
muy pequeo.

Dado que cos() cambia de signo dependiendo de si es

mayor o menor a 90, se hace necesario dividir la prueba
en dos casos.
La gura 4a (contigua) divide un heptgono de dos maneras diferentes para demostrar el teorema del coseno en
el caso de un ngulo agudo. La divisin es la siguiente:
En verde, las reas a2 , b2 la izquierda, y el rea , c2
a la derecha.
En rojo, el tringulo ABC en ambos diagramas y en
amarillo tringulos congruentes al ABC.
En azul, paralelogramos de lados a y b con ngulo
90-.
Igualando las reas y cancelando las guras iguales se
obtiene que a2 + b2 = c2 + 2ab cos , equivalente al
Teorema del coseno.

La gura 4b (contigua) desglosa un hexgono de dos maExiste un corolario del teorema del coseno para el caso neras diferentes para demostrar el teorema del coseno en
de dos tringulos semejantes ABC y A'B'C'
el caso de un ngulo obtuso. La gura muestra

3.2

Por el teorema de Pitgoras

3
c2 = a2 b2 + 2bu
Por la denicin de coseno, se tiene:
cos =

bu
a

y por lo tanto:
u = b a cos
Fig. 4b - Demostracin del teorema del coseno por desglose de
reas, cuando el ngulo es obtuso.

En verde a2 , b2 la izquierda y c2 a la derecha.

Sustituimos el valor de u en la ecuacin para c2 , concluyendo que:

c2 = a2 + b2 2ab cos

En azul 2ab cos(), recordando que al ser cos()

negativo, la expresin completa es positiva.
con lo que concluye la prueba del primer caso.
En rojo, dos veces el tringulo ABC para ambos lados de la gura.

Segundo caso: c es adyacente a un ngulo obtuso.

Igualando reas y cancelando las zonas rojas da a2 +b2

2ab cos = c2 , como queramos demostrar.

3.2

Por el teorema de Pitgoras

Notemos que el Teorema de Cosenos es equivalente al

Teorema de Pitgoras cuando el ngulo es recto. Por
tanto slo 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 2: c es adyacente a un ngulo obtuso

Consideremos la gura adjunta. El teorema de Pitgoras

establece nuevamente c2 = h2 + u2 pero en este caso
h2 = a2 (b + u)2 . Combinando ambas ecuaciones
obtenemos c2 = u2 + a2 b2 2bu u2 y de este
modo:

u
b

c2 = a2 b2 2bu .
De la denicin de coseno, se tiene cos =
tanto:

b+u
a

y por

Caso 1: c es adyacente a dos ngulos agudos

u = a cos b .
Consideremos la gura adjunta. Por el teorema de Pitgoras, la longitud c es calculada as:
Sustituimos en la expresin para c2 = a2 b2
2b(a cos b) , concluyendo nuevamente
(left) c2 = h2 + u2
c2 = a2 + b2 2ab cos .
Pero, la longitud h tambin se calcula as:
Esto concluye la demostracin. c2 = a2 - b2 - 2b(a cos()
2
2
2
(left) h = a (b u)
- b) Es importante notar, que si se considera a u como un
segmento dirigido, entonces slo hay un caso y las dos
Sumando ambas ecuaciones y luego simplicando obte- demostraciones se convierten en la misma.
nemos:

3.3

4 GENERALIZACIN EN GEOMETRAS NO EUCLDEAS

Por la potencia de un punto con respec- 3.5 Demostracin geomtrica

to a un crculo

Cualquiera que sea el tringulo ABC se cumple que

AB 2 = AC 2 + BC 2 2 AC BC cos .
Si el ngulo es igual a 90, la proposicin se colige del
Teorema de Pitgoras, puesto que cos 90=0. En el caso
de que el ngulo sea agudo, segn un teorema anterior se
tiene que
AB 2 = AC 2 + BC 2 2 BC CD.
En el tringulo ACD, se cumple que CD = AC cos . .
Por ello

Fig. 6 - Demostracin del teorema del coseno utilizando la

potencia de un punto con respecto a un crculo.

AB 2 = AC 2 + BC 2 2 BC AC cos .
Sea esta vez un ngulo obtuso, segn un teorema pertimente, se cumple que

Consideremos un crculo con centro en B y radio BC, como en la gura 6. Si AC es tangente al crculo, nuevamente se tiene el Teorema de Pitgoras. Cuando AC no AB 2 = AC 2 + BC 2 + 2 BC CD,
es tangente, existe otro punto K de corte con el crculo.
[11]
, se halla que CD =
LA potencia del punto A con respecto a dicho crculo es pero en el tringulo ADC
\ . Sin embargo el ngulo ACD es el
AC cos(ACD).
suplemento del ngulo del tringulo ABC. De esta maAP AL = AC AK = AC(AC + CK)
\ = cos , por consiguiennera se tiene que cos(ACD)
.
te AC cos y nalmente
Por otro lado, AL = c+a y AP = c-a de modo que
AP AL = (c + a)(c a) = c2 a2 .

AB 2 = AC 2 + BC 2 2 AC BC cos ,
quedando demostrado el teorema.[12]

Adems, CK= 2a cos() (ver el apndice) por lo que

AC(AC + CK) = b(b 2a cos()) .

4 Generalizacin en geometras no
eucldeas

Igualando las expresiones obtenidas se llega nalmente a:

c = a + b 2a b cos()
2

Para una supercie no eucldea de curvatura K, sealamos

con R el radio de curvatura. Este verica

Contrariamente a las precedentes, para esta demostra- R = 1/|K|

cin, no es necesario recurrir a un estudio por caso pues
las relaciones algebraicas son las mismas para el caso del Denimos entonces las dimensiones reducidas del tringulo:
ngulo agudo.

a = BC/R

3.4

Por el clculo vectorial

b = AC/R

Utilizando el clculo vectorial, ms precisamente el c = AB/R

producto escalar, es posible encontrar el teorema del co- En el caso de un tringulo esfrico, a, b y c corresponden
seno en algunas lneas:
a la medida angular de los segmentos de circunferencia
maximal[13] [BC], [AC] y [AB] (ver Fig. 7).

5 Generalizacin en el espacio eucldeo

Fig. 7 - Tringulo esfrico: dimensiones reducidas z, b y c ; ngulos , y .

Fig. 8 - Tetraedro: vrtices, caras y ngulos.

4.1

Consideremos un tetraedro A1 A2 A3 A4 del espacio eucldeo, siendo:

Geometra esfrica

Cuando el radio de curvatura es muy grande comparado

con las dimensiones del tringulo, es decir cuando

Sk la cara opuesta al vrtice Ak ;

sk la supercie de Sk ;
k el plano que contiene a la cara Sk ;

a << 1

\
ij el ngulo diedral (
i , j ) .

esta expresin se simplica para dar la versin eucldea

del teorema del coseno. Para hacerlo,
(La gura 8, contigua, presenta la notacin de los vrtices,
caras y ngulos del tetraedro).
cos a = 1 a2 /2 + O(a3 )

Entonces, las supercies y ngulos verican:

Existe una identidad similar que relaciona los tres ngulos:

s24 = s21 + s22 + s23 2s1 s2 cos 12

2s1 s3 cos 13 2s2 s3 cos 23

cos = cos cos + sin sin cos c

4.2

Geometra hiperblica

6 Apndice

En un tringulo hiperblico ABC, el teorema del coseno 6.1

se escribe

rea de un paralelogramo

cosh c = cosh a cosh b sinh a sinh b cos

Cuando el radio de curvatura se vuelve muy grande frente
las dimensiones del tringulo, encontramos el teorema del
coseno eucldeo a partir de los desarrollos limitados

sinh a = a + O(a3 )

Deduccin del teorema sobre rea de un paralelogramo.

cosh a = 1 + a2 /2 + O(a3 )

Se arma:

Considrese un paralelogramo de lados a y b, formando

un ngulo de , como en el diagrama. Dividiendo el paralelogramo por medio de una diagonal arroja dos zonas
triangulares. En una de ellas, se construye una altura h
como se muestra en la gura.
La zona triangular roja tiene por rea ah/2. Por denicin,
sin()=h/b,[14] de modo que h=b sin(). La sustitucin en
la frmula del rea triangular prueba que:[15]
Dado que el rea del paralelogramo es el doble del
tringulo,[16] se concluye que
La conclusin se sigue notando que si =90- entonces
sen()=sen(90-) = cos(). Se hace notar tambin que la
demostracin es independiente de cual de las diagonales
del paralelogramo se escoja, puesto que sen()=sen(180).

6.2

Cuerdas en un crculo

REFERENCIAS

7 Vase tambin
Trigonometra
Triangulacin
Trigonometra esfrica
Funcin trigonomtrica
Geometra del tringulo
Teorema de Pitgoras
Teorema del seno
Matemticos
Euclides
Al-Battani
Ghiyath al-Kashi
Franois Vite

8 Referencias
[1] Granville-Smith-Mikesh. Trigonometra plana y esfrica.
UTeha, Mxico D.F.(1982) ISBN 968-438-774-1
[2] Kennedy, E S ; Debarnot, M.- T (1979). Al-Kashis
Impractical Method of Determining the Solar Altitude.
Journal for the History of Arabic Science Aleppo 3 (2). pag
219-227.
[3] Heath, Sir Thomas (1921). A history of Greek Mathematics vol. 1 (en ingls). Londres, Inglaterra: Oxford University Press. OCLC 2014918.
Diagrama usado en la prueba basada en potencia de un punto.

En la demostracin del Teorema del coseno usando

potencia de un punto, se arma que el segmento CK en el
diagrama mide precisamente 2a cos().

[4] Proposicin 12 del libro II de Los Elementos de Euclides.

[5] Esquema del desarrollo histrico de la matemtica.
Universidad Nacional del Nordeste. pp. pg. 6.

La demostracin ms sencilla consiste en prolongar el

segmento CB hasta cortar nuevamente la circunferencia
en un punto D, de modo que CD es un dimetro del crculo, puesto que pasa por el centro del mismo.

[6] O'Connor, John J.; Robertson, Edmund F., Abu Abdallah Mohammad ibn Jabir Al-Battani (en ingls),
MacTutor History of Mathematics archive, Universidad
de Saint Andrews, http://www-history.mcs.st-andrews.
ac.uk/Biographies/Abu%27l-Wafa.html, consultado el 8
de junio de 2008.

Al ser un dimetro, el ngulo inscrito CKD es necesariamente recto por lo que el tringulo CKD es rectngulo. El
ngulo DCK mide =180- y por denicin:

[7] La trigonometria rab, Al-Battani, Abul-Wafa, Ibn Yunus, Nasir al-Tusi (html) (en cataln). Consultado el 8 de
junio de 2008.

cos() =

CK
CD

CK
2a

y por tanto
CK = 2a cos() = 2a cos(180 ) =
2a cos()
ya que cos(180-x) = -cos(x) para cualquier valor de x.

[8] Al-Kashi, Gamshid ibn Messaoud (en francs).

[9] Vite, Franois (1579). Canon mathematicus seu ad triangula. Lutetia Mettayer. OCLC 165919384.
[10] 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.
[11] El punto D es la proyeccin ortogonal del punto A sobre
el lado BC

[12] Pogorlov. Geometra elemental

[13] En geometra esfrica el concepto de lnea recta es reemplazado por el de geodsica la cual es la distancia ms corta entre dos puntos dados de la misma y sta es siempre
una lnea que debe pertenecer a una circunferencia mxima (tambin llamada maximal). Las circunferencias mximas son las lneas de interseccin entre la supercie esfrica y cualquier plano que pase por el centro de la misma, con estas restricciones se puede hablar an de tringulos de lados geodsicos. Los tringulos esfricos no cumplen con que la suma de sus ngulos internos sea 180,
sin embargo la desigualdad triangular sigue vigente en
geometra esfrica.
[14] Lonjedo, M. A. Razones trigonomtricas de un ngulo
agudo. Universitat de Valencia. Consultado el 11 de diciembre de 2015.
[15] IES Complutense. Resolucin de tringulos. Consultado el 11 de diciembre de 2015.
[16] Miller, C. D., Heeren, V. D. y Hornsby, J. (2006). 9.3
Permetro, rea y circunferencia. Matemtica: razonamiento y aplicaciones (10 edicin). Pearson. p. 925. ISBN
9789702607526. Consultado el 11 de diciembre de 2015.

Bibliografa
Los Elementos, tomo II, Euclides.
Weisstein, Eric W. Law of cosines. En Weisstein,
Eric W. MathWorld (en ingls). Wolfram Research.
mov, N. (1981). Gomtrie Suprieure. Mosc :
ditions Mir. OCLC 11732242.
Lions, Jacques Louis (1980). Petite Encyclopdie des
Mathmatiques. Pars : Didier. OCLC 23703843.
A. V. Pogorlov (1974). Geometra elemental. Editorial Mir, Mosc.

10 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

10
10.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

Teorema del coseno Fuente: https://es.wikipedia.org/wiki/Teorema_del_coseno?oldid=90915440 Colaboradores: Pieter, Mdiagom, Dodo,

Sms, Perky Pat, Ramjar, Renabot, Taichi, Magister Mathematicae, Orgullobot~eswiki, Alpertron, RobotQuistnix, Yrbot, Amads, Varano,
Maleiva, YurikBot, Gargo~eswiki, Camima, Chlewbot, Siabef, Alfredobi, Paintman, BOTpolicia, CEM-bot, Laura Fiorucci, JMCC1, Xexito, Marianov, Fidelmoquegua, Davius, Antur, FrancoGG, Rafa606, Thijs!bot, Isha, JAnDbot, Beta15, TXiKiBoT, Netito777, Plux, BL,
Jtico, VolkovBot, Matdrodes, AlleborgoBot, Muro Bot, Bucho, Racso, BotMultichill, SieBot, PaintBot, Cobalttempest, Bigsus-bot, Dark,
BOTarate, Garber, El bot de la dieta, Camiloalcubo2, Farisori, Ener6, Juan Mayordomo, Raulshc, SilvonenBot, Andrew diaz, Camilo,
UA31, Shalbat, Taty2007, AVBOT, LucienBOT, Gizbot, Carbetran, Ginosbot, Diegusjaimes, DumZiBoT, MelancholieBot, Luckas-bot,
Amirobot, Nallimbot, FariBOT, Vic Fede, ArthurBot, Manuelt15, Jkbw, Rubinbot, -Erick-, Panderine!, Gusbelluwiki, Jcdy, AlbertoCrakito, Halfdrag, RedBot, PatruBOT, KamikazeBot, Mr.Ajedrez, TjBot, Humbefa, Foundling, EmausBot, HRoestBot, Sergio Andres
Segovia, LuKaS2o1o, MercurioMT, ChuispastonBot, XanaG, MetroBot, Maquedasahag, LlamaAl, Acolera, Addbot, Pepemorales123,
Balles2601, Hans Topo1993, Stee 16, Alejandrocoria, Jiuvelka jasuara lopez rosales, Manuel Balarezo, MarioFinale, Ineditable, Jarould,
BenjaBot, Nehusn 2014, X2y3, El vigilante de los AB y Annimos: 107

10.2

Imgenes

Archivo:Area_de_paralelogramo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e1/Area_de_paralelogramo.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Drini
Archivo:Artculo_bueno.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e5/Art%C3%ADculo_bueno.svg Licencia:
Public domain Colaboradores: Circle taken from Image:Symbol support vote.svg Artista original: Paintman y Chabacano
Archivo:CosenosPorPitagoras1.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/75/CosenosPorPitagoras1.svg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:CosenosPorPitagoras2.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e6/CosenosPorPitagoras2.svg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Cosenos_por_potencia_de_un_punto.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b8/Cosenos_por_
potencia_de_un_punto.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Drini
Archivo:Ley_de_cosenos_con_ngulo_agudo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fd/Ley_de_cosenos_
con_%C3%A1ngulo_agudo.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Drini, based on work by Rgis
Lachaume.
Archivo:Ley_de_cosenos_con_ngulo_obtuso.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d0/Ley_de_cosenos_
con_%C3%A1ngulo_obtuso.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: Drini, based on work by Rgis
Lachaume.
Archivo:Obtuse-triangle-with-altitude.png
Fuente:
https://upload.wikimedia.org/wikipedia/commons/2/20/
Obtuse-triangle-with-altitude.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Spherical_triangle_with_notations.png Fuente: https://upload.wikimedia.org/wikipedia/commons/4/42/Spherical_triangle_
with_notations.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Tetrahedro_con_angulos_dihedrales.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/62/Tetrahedro_con_
angulos_dihedrales.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: Drini
Archivo:Triangle_with_notations_2.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/49/Triangle_with_notations_2.
svg Licencia: Public domain Colaboradores: En-Wiki. Original description is/was here Artista original: David Weisman (Dweisman)
Archivo:Tringulo_con_un_ngulo_o_un_lado_desconocido.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7f/
Tri%C3%A1ngulo_con_un_%C3%A1ngulo_o_un_lado_desconocido.svg Licencia: Public domain Colaboradores: Trabajo propio Artista
original: Drini

10.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0