Demostración del teorema del coseno

Teorema del coseno:

El cuadrado de un lado es igual a la suma de los cuadrados de los otros lados menos el
doble producto de estos lados por el coseno del ángulo comprendido:
a 2  b 2  c 2  2bc cos 
A

b 2  a 2  c 2  2ac cos B

c 2  a 2  b 2  2ab cos C

Trazamos una de las alturas, por ejemplo la correspondiente al vértice C, hC , en el

triángulo ABC , obteniendo los triángulos rectángulos AMC y MBC , donde M es el
punto en el que dicha altura corta al lado AB.

C En el triángulo AMC:
h
sen A  C  hC  b  sen 
A
b a b
hc En el triángulo MBC:
M
sen   hC  h  a  sen B
B 
A m cm B a
C

c Aplicando el teorema de Pitágoras al triángulo

MBC:
a   c  m   hC 2
2 2

Ahora bien, como hC  b  sen 

A y m  b  cos 
A , se tiene que

   
2 2
a 2   c  m   hC 2  c  b  cos A  b  sen A
2

 c 2  2cb  cos 
A  b 2  cos 2 
A  b 2  sen 2 
A  c2 A  b  cos
 2cb  cos  2 2 

A  sen 2 
A 

 c 2  b 2  2cb  cos 
A
De forma análoga se obtendrían las otras dos igualdades.
Que es lo que queríamos probar.