海伦公式是计算三角形面积的著名方法，适用于已知三边长度的情况。其公式为：
$$ S = sqrt{p(p-a)(p-b)(p-c)} $$
其中 $ p = frac{a+b+c}{2} $，$ a, b, c $ 为三角形的三边。
证明思路总结：
1. 利用余弦定理推导出面积表达式。
2. 结合三角函数与代数运算，化简得出海伦公式。
3. 通过代数变换，将面积表达式转化为仅含三边的表达式。
| 步骤 | 内容 |
| 1 | 使用余弦定理：$ cos A = frac{b^2 + c^2 - a^2}{2bc} $ |
| 2 | 面积公式：$ S = frac{1}{2}bc sin A $ |
| 3 | 代入 $ sin^2 A = 1 - cos^2 A $，化简得面积平方 |
| 4 | 引入半周长 $ p $，最终得到海伦公式 |
海伦公式简洁实用，广泛应用于几何学和工程计算中。
