Fórmula de Herón

Teoría

La Fórmula de Herón es un teorema fundamental en la geometría euclidiana que te permite calcular el área de un triángulo sabiendo solo las longitudes de sus tres lados. A diferencia de la fórmula estándar del área $A = \frac{1}{2}bh$, que requiere una altura (lo que a menudo te obliga a hacer cálculos trigonométricos o usar el teorema de Pitágoras para encontrarla), la Fórmula de Herón depende únicamente de las longitudes intrínsecas de los lados $a$, $b$ y $c$. Esto la hace súper útil en matemáticas de competencia cuando trabajas con "triángulos heronianos" (triángulos con lados y área enteros) o triángulos generales donde la altura no es fácil de sacar.

La fórmula introduce el concepto del semiperímetro, que escribimos como $s$, y que actúa como un factor de normalización para las longitudes de los lados. Lo bonito de la fórmula es su simetría; puedes intercambiar las variables $a$, $b$ y $c$ sin cambiar el resultado, lo que refleja la simetría geométrica del propio triángulo.

En el contexto del AMC 10/12 y el AIME, la Fórmula de Herón la vas a usar seguido como un puente entre la geometría y el álgebra. Muchas veces la usas para igualar el área calculada con los lados al área calculada con otros métodos (como $A = rs$, donde $r$ es el inradio, o $A = \frac{abc}{4R}$, donde $R$ es el circunradio), permitiéndote así despejar radios o alturas desconocidas.

Fórmulas Clave

La Fórmula Estándar Para un triángulo con lados de longitud $a$, $b$ y $c$, define $s$ como el semiperímetro: $$s = \frac{a+b+c}{2}$$ El área $K$ del triángulo es: $$K = \sqrt{s(s-a)(s-b)(s-c)}$$

Forma Expandida (Algebraica) Cuando las longitudes de los lados son irracionales o complejas, te puede servir evitar el cálculo explícito de $s$. Puedes expandir la fórmula así: $$K = \frac{1}{4}\sqrt{(a+b+c)(a+b-c)(a+c-b)(b+c-a)}$$

Forma de Suma de Cuadrados Esta versión es muy útil cuando los lados vienen como raíces cuadradas (por ejemplo, $a = \sqrt{5}$), ya que evita que te queden raíces dentro de otras raíces: $$K = \frac{1}{4}\sqrt{2(a^2b^2 + b^2c^2 + c^2a^2) - (a^4 + b^4 + c^4)}$$

Demostración

Aquí tienes cómo obtener la Fórmula de Herón usando la Ley de Cosenos y la fórmula trigonométrica del área.

Paso 1: Expresa el área usando el seno Toma los lados del triángulo como $a, b, c$ y el ángulo opuesto al lado $a$ como $\alpha$. El área $K$ es: $$K = \frac{1}{2}bc \sin \alpha$$ Eleva ambos lados al cuadrado para prepararte para usar la identidad pitagórica: $$K^2 = \frac{1}{4}b^2c^2 \sin^2 \alpha$$ Usa la identidad $\sin^2 \alpha = 1 - \cos^2 \alpha$: $$16K^2 = 4b^2c^2(1 - \cos^2 \alpha)$$ $$16K^2 = 4b^2c^2 - (2bc \cos \alpha)^2 \quad (*)$$

Paso 2: Sustituye usando la Ley de Cosenos Por la Ley de Cosenos, $a^2 = b^2 + c^2 - 2bc \cos \alpha$. Puedes despejar el término $2bc \cos \alpha$: $$2bc \cos \alpha = b^2 + c^2 - a^2$$ Sustituye esta expresión en la ecuación $(*)$: $$16K^2 = (2bc)^2 - (b^2 + c^2 - a^2)^2$$

Paso 3: Factoriza usando diferencia de cuadrados Aplica la fórmula de diferencia de cuadrados $x^2 - y^2 = (x-y)(x+y)$: $$16K^2 = [2bc - (b^2 + c^2 - a^2)][2bc + (b^2 + c^2 - a^2)]$$ Acomoda los términos para identificar trinomios cuadrados perfectos: $$16K^2 = [a^2 - (b^2 - 2bc + c^2)][(b^2 + 2bc + c^2) - a^2]$$ $$16K^2 = [a^2 - (b-c)^2][(b+c)^2 - a^2]$$ Aplica de nuevo la diferencia de cuadrados a los dos términos entre corchetes: $$16K^2 = (a - (b-c))(a + (b-c))((b+c) - a)((b+c) + a)$$ $$16K^2 = (a - b + c)(a + b - c)(b + c - a)(a + b + c)$$

Paso 4: Introduce el semiperímetro Toma $s = \frac{a+b+c}{2}$. Puedes reescribir los términos en los paréntesis usando $2s = a+b+c$:

1. $a + b + c = 2s$
2. $b + c - a = (a+b+c) - 2a = 2s - 2a = 2(s-a)$
3. $a + c - b = (a+b+c) - 2b = 2s - 2b = 2(s-b)$
4. $a + b - c = (a+b+c) - 2c = 2s - 2c = 2(s-c)$

Sustituye esto en la ecuación para $16K^2$: $$16K^2 = [2(s-c)] \cdot [2(s-b)] \cdot [2(s-a)] \cdot [2s]$$ $$16K^2 = 16s(s-a)(s-b)(s-c)$$

Divide entre 16 y saca la raíz cuadrada: $$K^2 = s(s-a)(s-b)(s-c)$$ $$K = \sqrt{s(s-a)(s-b)(s-c)}$$ $\square$