Demostración de la fórmula de Herón

Santiago Peña.
Centro Grial. VA. 2010.

1.- Teorema (Fórmula de Herón).

En todo triángulo ABC se cumple que su área A se puede calcular como
A= pp − ap − bp − c
donde p es el semiperímetro,
p = a+b+c.
2

2.- Demostración.
Sabemos que el área de un triángulo es igual a
A = 1 ab sin C
2
(expresión trigonométrica del área). Elevando al cuadrado:
A 2 = 1 a 2 b 2 sin 2 C.
4
y multiplicando por 4,
4A 2 = a 2 b 2 sin 2 C. 1

Por otra parte, del teorema del coseno

c 2 = a 2 + b 2 − 2ab cos C
se deduce que
cos C = a + b − c
2 2 2
2ab
que elevando al cuadrado nos da
2
a 2 + b 2 − c 2 
=
cos 2 C
4a 2 b 2
2 2
lo que multiplicando por a b se transforma en
a 2 b 2 cos 2 C = 1 a 2 + b 2 − c 2  2
4
o, lo que es igual,
1 a 2 + b 2 − c 2  2 = a 2 b 2 cos 2 C 2
4

Si ahora sumamos las ecuaciones 1 y 2 tenemos

4A 2 + 1 a 2 + b 2 − c 2  2 = a 2 b 2 sin 2 C + a 2 b 2 cos 2 C. 3
4
El lado derecho se puede simplificar:
a 2 b 2 sin 2 C + a 2 b 2 cos 2 C = a 2 b 2 sin 2 C + cos 2 C = a 2 b 2 1 = a 2 b 2
con lo que la ecuación 3 queda como
4A 2 + 1 a 2 + b 2 − c 2  2 = a 2 b 2 .
4
Multiplicando por 4 :
1
 16A 2 + a 2 + b 2 − c 2  2 = 4a 2 b 2
que se transforma en
16A 2 = 4a 2 b 2 − a 2 + b 2 − c 2  2 4
Vamos a reescribir el lado derecho de otra forma:
4a 2 b 2 − a 2 + b 2 − c 2  2 = 2ab 2 − a 2 + b 2 − c 2  2 =

= 2ab − a 2 + b 2 − c 2  2ab + a 2 + b 2 − c 2  =

= 2ab − a 2 − b 2 + c 2 2ab + a 2 + b 2 − c 2 =

= 2ab − a 2 − b 2  + c 2 2ab + a 2 + b 2  − c 2 =

= −a − b 2 + c 2 a + b 2 − c 2 =

= c 2 − a − b 2 a + b 2 − c 2 =

= c − a − b c + a − b a + b − c a + b + c =

= −a + b + ca − b + ca + b − ca + b + c

lo que volviendo a la ecuación 4 nos da la expresión
16A 2 = −a + b + ca − b + ca + b − ca + b + c. 5

Estudiemos los factores del lado derecho, teniendo en cuenta que

p = a + b + c  2p = a + b + c
2
− a + b + c = a + b + c − 2a = 2p − 2a = 2p − a
a − b + c = a + b + c − 2b = 2p − 2b = 2p − b
a + b − c = a + b + c − 2c = 2p − 2c = 2p − c
a + b + c = 2p
y así se transforma la ecuación 5 en
16A 2 = 2p − a2p − b2p − c2p
16A 2 = 16pp − ap − bp − c
lo que, dividiendo entre 16 no da la buscada fórmula de Herón:
A 2 = pp − ap − bp − c

A= pp − ap − bp − c

como queríamos demostrar. ■