K = √(s(s-a)(s-b)(s-c)).
La Fórmula de Heron es un teorema fundamental en la geometría euclidiana que te permite calcular el área de un triángulo teniendo solo las longitudes de sus tres lados. A diferencia de la fórmula estándar del área $K = \frac{1}{2}bh$, que requiere una altura, o la fórmula SAS $K = \frac{1}{2}ab\sin C$, que requiere un ángulo, la Fórmula de Heron depende totalmente de las longitudes de los lados. Esto la hace muy poderosa en las olimpiadas de matemáticas (como el AMC 10/12) donde los triángulos suelen estar definidos por lados enteros sin referencia a coordenadas o ángulos específicos.
La fórmula se basa en el concepto del semiperímetro, que escribimos como $s$, y es la mitad del perímetro del triángulo. Lo bonito de la Fórmula de Heron es su simetría y su utilidad algebraica. Convierte el problema de encontrar un área en una simple evaluación algebraica. Se usa seguido como un puente entre la geometría y la teoría de números, sobre todo en problemas que involucran triángulos heronianos (triángulos con lados enteros y área entera).
Aunque la fórmula lleva el nombre de Heron de Alejandría, es un caso específico de la fórmula de Brahmagupta para cuadriláteros cíclicos. En la resolución de problemas avanzados, la Fórmula de Heron suele ser el último recurso cuando la elegancia geométrica falla, o el método principal cuando trabajas con manipulación algebraica de los lados, como al demostrar desigualdades que involucran el área y el perímetro.
El Semiperímetro Para un triángulo con lados de longitud $a$, $b$ y $c$, el semiperímetro $s$ lo definimos como: $$s = \frac{a + b + c}{2}$$
Fórmula de Heron El área $K$ del triángulo está dada por: $$K = \sqrt{s(s-a)(s-b)(s-c)}$$
Forma Expandida Para evitar calcular $s$ explícitamente, o para manipulación algebraica, puedes escribir la fórmula como: $$K = \frac{1}{4}\sqrt{(a+b+c)(a+b-c)(a-b+c)(-a+b+c)}$$ O en una forma polinomial útil para revisar errores de cálculo: $$16K^2 = 2(a^2b^2 + a^2c^2 + b^2c^2) - (a^4 + b^4 + c^4)$$
Relación con el Inradio Como el área de un triángulo también se obtiene multiplicando el inradio $r$ por el semiperímetro $s$ ($K=rs$), la fórmula de Heron te da una forma directa de calcular el inradio a partir de los lados: $$r = \frac{\sqrt{s(s-a)(s-b)(s-c)}}{s} = \sqrt{\frac{(s-a)(s-b)(s-c)}{s}}$$
Aquí tienes una deducción usando la Ley de los Cosenos y la fórmula trigonométrica del área. Este enfoque resalta la conexión entre la trigonometría y la geometría algebraica.
Paso 1: Expresa el área usando el seno Ponle $a, b, c$ a las longitudes de los lados del triángulo y $\gamma$ al ángulo opuesto al lado $c$. El área $K$ está dada por: $$K = \frac{1}{2}ab \sin \gamma$$ Eleva al cuadrado ambos lados para prepararte para la sustitución algebraica: $$K^2 = \frac{1}{4}a^2b^2 \sin^2 \gamma$$
Paso 2: Convierte el seno a coseno Usando la identidad pitagórica $\sin^2 \gamma = 1 - \cos^2 \gamma$: $$K^2 = \frac{1}{4}a^2b^2 (1 - \cos^2 \gamma) = \frac{1}{4}a^2b^2 (1 - \cos \gamma)(1 + \cos \gamma)$$
Paso 3: Aplica la Ley de los Cosenos Por la Ley de los Cosenos, $c^2 = a^2 + b^2 - 2ab \cos \gamma$, lo que implica que: $$\cos \gamma = \frac{a^2 + b^2 - c^2}{2ab}$$
Sustituye esto en las expresiones $(1 - \cos \gamma)$ y $(1 + \cos \gamma)$:
Para $(1 + \cos \gamma)$: $$1 + \frac{a^2 + b^2 - c^2}{2ab} = \frac{2ab + a^2 + b^2 - c^2}{2ab} = \frac{(a+b)^2 - c^2}{2ab}$$
Para $(1 - \cos \gamma)$: $$1 - \frac{a^2 + b^2 - c^2}{2ab} = \frac{2ab - a^2 - b^2 + c^2}{2ab} = \frac{c^2 - (a-b)^2}{2ab}$$
Paso 4: Sustituye y factoriza Sustituye estas fracciones de nuevo en la ecuación del área: $$K^2 = \frac{1}{4}a^2b^2 \left[ \frac{c^2 - (a-b)^2}{2ab} \right] \left[ \frac{(a+b)^2 - c^2}{2ab} \right]$$
Los términos $a^2b^2$ se cancelan con los denominadores: $$K^2 = \frac{1}{16} \left[ c^2 - (a-b)^2 \right] \left[ (a+b)^2 - c^2 \right]$$
Aplica la diferencia de cuadrados ($x^2 - y^2 = (x-y)(x+y)$) a los términos entre corchetes: $$K^2 = \frac{1}{16} (c - (a-b))(c + (a-b)) ((a+b) - c)((a+b) + c)$$ $$K^2 = \frac{1}{16} (c - a + b)(c + a - b)(a + b - c)(a + b + c)$$
Paso 5: Introduce el semiperímetro Recuerda que $2s = a + b + c$. Puedes reescribir los términos como:
Sustituye esto en la ecuación para $K^2$: $$K^2 = \frac{1}{16} [2(s-a)] [2(s-b)] [2(s-c)] [2s]$$ $$K^2 = \frac{16}{16} s(s-a)(s-b)(s-c)$$ $$K^2 = s(s-a)(s-b)(s-c)$$
Al sacar la raíz cuadrada de ambos lados obtienes la Fórmula de Heron: $$K = \sqrt{s(s-a)(s-b)(s-c)}$$ $\square$