Fórmula de Herón

En geometría, la fórmula de Herón, descubierta por Herón de Alejandría, da la superficie $S$ de un triángulo en términos de las longitudes de sus lados a, b y c:

$S={\sqrt {p\left(p-a\right)\left(p-b\right)\left(p-c\right)}},$

donde p es el semiperímetro:

$p={\frac {a+b+c}{2}}$

La fórmula puede reescribirse de la siguiente forma:

$S={\ {\sqrt {(a+b+c)(a+b-c)(b+c-a)(c+a-b)\,}}\ \over 4}\,$

Demostración

Una demostración moderna, que emplea álgebra y trigonometría (bastante distinta a la que dio Herón en su libro), podría ser la siguiente. Sea un triángulo de lados a, b, c cuyos ángulos opuestos a cada uno de esos lados son A, B, C. Entonces, por el teorema del coseno:

$\cos(C)={\frac {a^{2}+b^{2}-c^{2}}{2ab}}$.

De la identidad pitagórica

$\operatorname {sen} ^{2}\left(C\right)+\cos ^{2}\left(C\right)=1$

se obtiene:

$|\operatorname {sen} (C)|={\sqrt {1-\cos ^{2}(C)}}={\frac {\sqrt {4a^{2}b^{2}-(a^{2}+b^{2}-c^{2})^{2}}}{2ab}}$.

La altura de un triángulo de base a tiene una longitud b |sen(C)|. Por tanto,

$S={\frac {1}{2}}({\mbox{base}})({\mbox{altura}})={\frac {1}{2}}ab|\operatorname {sen} (C)|={\frac {1}{4}}{\sqrt {4a^{2}b^{2}-(a^{2}+b^{2}-c^{2})^{2}}}$

$\$

$\qquad ={\sqrt {p\left(p-a\right)\left(p-b\right)\left(p-c\right)}}$, como se quería demostrar.

Generalizaciones

La fórmula de Herón es un caso particular de la fórmula de Brahmagupta para el cálculo de la superficies de cuadriláteros inscritos en una circunferencia; y ambas son casos particulares de la fórmula de Bretschneider para calcular la superficie de un cuadrilátero.

Expresando la fórmula de Herón de forma matricial dentro de un determinante en términos de cuadrados de distancias de los tres vértices dados, obtenemos:

$S={\frac {1}{4}}{\sqrt {\begin{vmatrix}0&a^{2}&b^{2}&1\\a^{2}&0&c^{2}&1\\b^{2}&c^{2}&0&1\\1&1&1&0\end{vmatrix}}}$

Ninguno de los resultados puede dar 0, pues no tendría solución el problema; por ejemplo: a=10, b=20, c=30, el primero saldría bien porque es una suma, pero los siguientes (a+b-c)=(10+20-30)=0 nunca se puede dar esa situación.

Así como un triángulo está determinado por las longitudes de sus tres lados, un tetraedro lo está por las longitudes de sus seis lados. Tartaglia halló la fórmula del volumen del tetraedro en función de las longitudes de sus lados. Los determinantes de Cayley-Menger generalizan esta fórmula a dimensiones por encima de tres.

Enlaces externos

• Portal:Matemática. Contenido relacionado con Matemática.