Fórmula de Herón

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Triángulo de lados a, b, c.

En geometría, la fórmula de Herón, descubierta por Herón de Alejandría,[1] relaciona el área de un triángulo en términos de las longitudes de sus lados a, b y c:

\acute{A}rea = \sqrt{s\left(s-a\right)\left(s-b\right)\left(s-c\right)}

donde s es el semiperímetro del triángulo:

s = \frac{a+b+c}{2}

La fórmula también puede escribirse de las siguientes formas:

\acute{A}={\ \sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)\ \over 16}\,}
\acute{A}={\ \sqrt{2(a^2 b^2+a^2c^2+b^2c^2)-(a^4+b^4+c^4)\ \over 16}\,}
\acute{A} = {\ \sqrt{(a+b+c)(a+b-c)(b+c-a)(c+a-b)\,}\ \over 4}\,
\acute{A} = \frac{1}{4}\sqrt{(a^2 + b^2 + c^2)^2 - 2(a^4 + b^4 + c^4)}.

La fórmula de Herón se distingue de otras fórmulas para hallar el área de un triángulo, como la de la mitad de la base por la altura o la de la mitad del módulo de un producto cruz de dos lados, al no requerir ninguna elección arbitraria de un lado como base o un vértice como origen.

Ejemplo[editar]

Un triángulo con lados 3, 25 y 26 (unidades de longitud) tiene semiperímetro (3 + 25 + 26)/2 = 27 (unidades de longitud). Así, su área es \acute{A}rea = \sqrt{27 \cdot 24 \cdot 2 \cdot 1}=36. (Unidades de Área)

Historia[editar]

La fórmula se le atribuye a Herón de Alejandría, y se puede encontrar una prueba en su libro, Métrica, escrito en el 60 dC. Se ha propuesto que Arquímedes ya sabía la fórmula dos siglos antes, y puesto que Métrica es una colección de los conocimientos matemáticos disponibles en el mundo antiguo, es posible que la fórmula preceda a la referencia que figura en dicho trabajo.[2]

A saber, una fórmula equivalente a la de Herón:

\acute{A}=\frac1{2}\sqrt{a^2c^2-\left(\frac{a^2+c^2-b^2}{2}\right)^2}, donde a \ge b \ge c

fue descubierta por los chinos, independientemente de los griegos. Fue publicada en Shushu Jiuzhang ("Tratado matemático en nueve secciones"), escrito por Qin Jiushao y publicado en el año 1247.

Demostración[editar]

Una demostración moderna, que emplea álgebra y trigonometría (bastante distinta a la que dio Herón en su libro Métrica), podría ser la siguiente:

Demostración

Sea un triángulo de lados a, b, c, cuyos ángulos opuestos a cada uno de esos lados son \widehat A, \widehat B, \widehat C. Entonces, por el teorema del coseno:

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

De la identidad pitagórica

\sen^2 \widehat C +\cos^2 \widehat C = 1

se obtiene:

\sen \widehat C = \sqrt{1-\cos^2 \widehat 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 \cdot \sen \widehat C


\begin{align}
\acute{A}rea & = \frac{1}{2} (\mbox{base}) (\mbox{altura}) \\
& = \frac{1}{2} ab\sen \widehat C \\
& = \frac{1}{4}\sqrt{4a^2 b^2 -(a^2 +b^2 -c^2)^2} \\
& = \frac{1}{4}\sqrt{(2a b -(a^2 +b^2 -c^2))(2a b +(a^2 +b^2 -c^2))} \\
& = \frac{1}{4}\sqrt{(c^2 -(a -b)^2)((a +b)^2 -c^2)} \\
& = \frac{1}{4}\sqrt{(c -(a -b))(c +(a -b))((a +b) -c)((a +b) +c)} \\
\end{align}

Como 2s = a+b+c \,, se llega finalmente a:

\acute{A}rea = \sqrt{s\left(s-a\right)\left(s-b\right)\left(s-c\right)}.

Se utilizó la factorización de dos cuadrados en dos etapas diferentes.

Prueba usando el teorema de Pitágoras[editar]

Triángulo con altitud h cortando con base c

La prueba original de Herón hace uso de los cuadriláteros cíclicos, mientras que otros argumentos apelan a la trigonometría como el anterior, o para el incentro y un excentro del triángulo [2]. El siguiente argumento reduce la fórmula de Herón directamente al teorema de Pitágoras utilizando únicamente medios elementales.

En la forma 4Á 2 = 4s(s − a)(s − b)(s − c), La parte izquierda de la fórmula de Herón se reduce a (ch)2, o bien

(cb)^2-(cd)^2 que es lo mismo que c^2(b^2-d^2)

usando b 2 − d 2 = h 2 por el teorema de Pitágoras; en cuanto a la parte derecha de la fórmula, puede expresarse como

\displaystyle (s(s-a)+(s-b)(s-c))^2 - (s(s-a)-(s-b)(s-c))^2

vía la identidad (p + q) 2 − (p − q) 2 = 4pq. Por tanto, basta mostrar

 cb=s(s-a)+(s-b)(s-c), \,

y

 cd = s(s-a)-(s-b)(s-c). \,

En lo que se refiere a la primera forma, expandiéndola se obtiene lo siguiente:

 2s^2 - s(a + b + c) + cb. \,

y que se reduce a cb al sustituir 2s = (a + b + c) y simplificando.

Respecto la segunda expresión, s(s − a) − (s − b)(s − c), expandiéndola y sustituyendo el valor de s=(a+b+c)/2 se reduce hasta

 (b^2 +c^2 - a^2)/2\,

Sustituyendo b 2 por d 2 + h 2 y a 2 por (c − d) 2 + h 2, por teorema de Pitágoras, entonces simplificando se obtiene cd según se requería.

Estabilidad numérica[editar]

La fórmula de Herón dada más arriba es numéricamente inestable para triángulos de ángulos muy pequeños (como ocurre frecuentemente en astronomía). Una alternativa numéricamente más estable[3] [4] implica reordenar las longitudes de los lados de modo que abc, y luego realizar el computo de acuerdo con la siguiente forma reordenada, de la fórmula de Herón:

\acute{A}rea = \frac{1}{4}\sqrt{(a+(b+c)) (c-(a-b)) (c+(a-b)) (a+(b-c))}.

En la fórmula precedente los paréntesis son absolutamente necesarios para evitar la inestabilidad numérica en la evaluación.

Generalizaciones[editar]

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

Expresando parte de la fórmula de Herón (sólo los términos internos a la raíz) de forma matricial dentro de un determinante (determinante de Cayley-Menger) en términos de cuadrados de distancias de los tres vértices dados (más precisamente, el valor absoluto del determinante), obtenemos:

ilustra su similitud con la fórmula de Tartaglia para el volumen de un simple de tres.

\acute{A}rea=\frac{1}{4} \sqrt{\left|{det
\begin{bmatrix}
 0 & a^2 & b^2 & 1 \\
 a^2 & 0 & c^2 & 1 \\
 b^2 & c^2 & 0 & 1 \\
 1 & 1 & 1 & 0
\end{bmatrix}}\right|}

Donde a, b y c son las longitudes de los lados del triángulo y A será el área del mismo. Hay que asegurarse que los datos a, b y c que se proveen al determinante cumplan con la desigualdad triangular (véase figura), de lo contrario no se trataría de un triángulo y en ese caso el determinante daría resultados positivos o cero pero erróneos. Por otra parte con datos que si cumplan con la desigualdad triangular el determinante da siempre resultados negativos (no necesariamente erróneos pero inapropiados dentro de una raíz) por lo cual es necesario tomar el valor absoluto del determinante que está dentro de la raíz, de lo contrario obtendríamos resultados complejos.

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.

David P. Robbins descubrió otra generalización de la fórmula de Herón de pentágonos y hexágonos inscritos en un círculo.[5]

Fórmula tipo Herón para el volumen de un tetraedro[editar]

Si U, V, W, u, v, w son las longitudes de las aristas del tetraedro (las primeras tres forman un triángulo, u opuesto a U, y así sucesivamente), entonces[6]


\text{volumen} = \frac{\sqrt {\,( - a + b + c + d)\,(a - b + c + d)\,(a + b - c + d)\,(a + b + c - d)}}{192\,u\,v\,w}

donde


    \begin{align} a & = \sqrt {xYZ} \\ b & = \sqrt {yZX} \\ c & = \sqrt {zXY} \\ d & = \sqrt {xyz} \\ X & = (w - U + v)\,(U + v + w) \\ x & = (U - v + w)\,(v - w + U) \\ Y & = (u - V + w)\,(V + w + u) \\ y & = (V - w + u)\,(w - u + V) \\ Z & = (v - W + u)\,(W + u + v) \\ z & = (W - u + v)\,(u - v + W). \end{align}

Notas y referencias[editar]

  1. «Fórmula de Herón para calcular el área de cualquier triángulo». Consultado el 30 de junio de 2012.
  2. Weisstein, Eric W. «Heron's Formula» (en inglés). MathWorld. Wolfram Research.
  3. P. Sterbenz (1973). Floating-Point Computation, Prentice-Hall. 
  4. W. Kahan (24 de marzo de 2000). «Miscalculating Area and Angles of a Needle-like Triangle».
  5. D. P. Robbins, "Areas of Polygons Inscribed in a Circle", Discr. Comput. Geom. 12, 223-236, 1994.
  6. W. Kahan, "What has the Volume of a Tetrahedron to do with Computer Programming Languages?", [1], pp. 16-17.

Enlaces externos[editar]