A partir de la ley de cosenos u otros métodos.
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 $A = \frac{1}{2}bh$, que requiere una altura, o las fórmulas trigonométricas que necesitan medidas de ángulos, la Fórmula de Heron depende únicamente de las longitudes intrínsecas de los lados $a$, $b$ y $c$. Esto la hace especialmente poderosa en matemáticas de competencia cuando trabajas con triángulos definidos por lados enteros o cuando las coordenadas y las alturas son difíciles de calcular.
La fórmula introduce el concepto del semiperímetro, denotado como $s$, que actúa como un factor de normalización para las longitudes de los lados. La estructura de la fórmula —que involucra el producto del semiperímetro y sus diferencias con cada lado— refleja los requisitos dimensionales del área (una longitud a la cuarta potencia bajo la raíz cuadrada da como resultado una longitud al cuadrado).
Atribuida históricamente a Heron de Alejandría, la fórmula es un caso específico de la fórmula de Brahmagupta para el área de un cuadrilátero cíclico (donde la longitud de un lado es cero). En el contexto del AMC 10/12 y las Olimpiadas, dominar la derivación algebraica de la Fórmula de Heron es tan valioso como la fórmula misma, ya que utiliza la Ley de Cosenos y técnicas de factorización de diferencia de cuadrados que se evalúan con frecuencia en problemas complejos de geometría algebraica.
El Semiperímetro El semiperímetro $s$ de un triángulo con lados $a$, $b$ y $c$ 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 (Forma Polinomial) Si evitas la variable del semiperímetro, 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 que suele ser útil para la manipulación algebraica: $$16K^2 = 2(a^2b^2 + a^2c^2 + b^2c^2) - (a^4 + b^4 + c^4)$$
Para derivar la Fórmula de Heron, usa la Ley de Cosenos y la fórmula trigonométrica del área. Este enfoque resalta la profunda conexión entre la trigonometría y la geometría algebraica.
Paso 1: Expresa el área usando trigonometría Si tomas $a$, $b$ y $c$ como las longitudes de los lados del triángulo, y $\gamma$ como el ángulo opuesto al lado $c$, el área $K$ del triángulo es: $$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 Usa la identidad pitagórica $\sin^2 \gamma = 1 - \cos^2 \gamma$ y sustitúyela en la ecuación del área: $$K^2 = \frac{1}{4}a^2b^2 (1 - \cos^2 \gamma)$$ Usa la factorización por diferencia de cuadrados: $$K^2 = \frac{1}{4}a^2b^2 (1 + \cos \gamma)(1 - \cos \gamma)$$
Paso 3: Aplica la Ley de Cosenos La Ley de Cosenos dice que $c^2 = a^2 + b^2 - 2ab \cos \gamma$. Si despejas $\cos \gamma$: $$\cos \gamma = \frac{a^2 + b^2 - c^2}{2ab}$$
Sustituye esta expresión en los factores $(1 + \cos \gamma)$ y $(1 - \cos \gamma)$.
Primer factor: $$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}$$
Segundo factor: $$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^2 - 2ab + b^2)}{2ab} = \frac{c^2 - (a-b)^2}{2ab}$$
Paso 4: Sustituye y simplifica Sustituye estos resultados de nuevo en la ecuación para $K^2$: $$K^2 = \frac{1}{4}a^2b^2 \left[ \frac{(a+b)^2 - c^2}{2ab} \right] \left[ \frac{c^2 - (a-b)^2}{2ab} \right]$$
Los términos $a^2b^2$ en el numerador se cancelan con el $(2ab)(2ab) = 4a^2b^2$ del denominador: $$K^2 = \frac{1}{16} \left[ (a+b)^2 - c^2 \right] \left[ c^2 - (a-b)^2 \right]$$
Paso 5: Factoriza usando diferencia de cuadrados Aplica $x^2 - y^2 = (x-y)(x+y)$ a ambos términos entre corchetes: $$K^2 = \frac{1}{16} \left[ (a+b-c)(a+b+c) \right] \left[ (c-(a-b))(c+(a-b)) \right]$$ $$K^2 = \frac{1}{16} (a+b-c)(a+b+c)(c-a+b)(c+a-b)$$
Paso 6: Introduce el semiperímetro Si defines $s = \frac{a+b+c}{2}$, esto implica que $2s = a+b+c$. Puedes reescribir los términos del numerador usando $2s$:
Sustituye esto en la expresión para $K^2$: $$K^2 = \frac{1}{16} \left[ 2(s-c) \cdot 2s \cdot 2(s-b) \cdot 2(s-a) \right]$$ $$K^2 = \frac{1}{16} \left[ 16s(s-a)(s-b)(s-c) \right]$$ $$K^2 = s(s-a)(s-b)(s-c)$$
Al sacar la raíz cuadrada de ambos lados obtienes el resultado final: $$K = \sqrt{s(s-a)(s-b)(s-c)}$$ $\square$