海伦公式，也称为海伦-秦九韶公式，是计算三角形面积的一种简便方法。对于任意给定的一个三角形，只要知道其三边长a、b和c，就可以使用海伦公式来计算其面积S。海伦公式的表达式为：
$S = \sqrt{p(p - a)(p - b)(p - c)}$
其中，p是三角形的半周长，即 $p = \frac{a + b + c}{2}$。
以下是对海伦公式的证明过程：
证明步骤
设定变量：
- 设三角形的三边长为a、b、c。
- 设三角形的面积为S。
- 设三角形的半周长为p，即 $p = \frac{a + b + c}{2}$。
余弦定理的应用：
- 根据余弦定理，对于三角形的任意一边c和其对应的角C，有： $c^2 = a^2 + b^2 - 2ab\cos C$
- 将上式变形以解出$\cos C$，得到： $\cos C = \frac{a^2 + b^2 - c^2}{2ab}$
正弦定理的应用：
- 根据正弦定理，三角形的面积可以表示为： $S = \frac{1}{2}ab\sin C$
- 为了将上式中的$\sin C$用已知的三边长表示出来，我们使用三角恒等式$\sin^2 C + \cos^2 C = 1$，从而得到： $\sin C = \sqrt{1 - \cos^2 C}$
- 将第2步中得到的$\cos C$的表达式代入上式，得到： $\sin C = \sqrt{1 - \left(\frac{a^2 + b^2 - c^2}{2ab}\right)^2}$
代入并化简：
- 将$\sin C$的表达式代入到面积的公式中，得到： $S = \frac{1}{2}ab\sqrt{1 - \left(\frac{a^2 + b^2 - c^2}{2ab}\right)^2}$
- 进一步化简上式，可以得到海伦公式的形式。为了简化这个过程，我们可以先求出平方根内的部分： $1 - \left(\frac{a^2 + b^2 - c^2}{2ab}\right)^2 = \frac{(2ab)^2 - (a^2 + b^2 - c^2)^2}{(2ab)^2}$ $= \frac{4a^2b^2 - (a^4 + b^4 + c^4 - 2a^2b^2 - 2b^2c^2 - 2a^2c^2)}{(2ab)^2}$ $= \frac{4a^2b^2 - a^4 - b^4 - c^4 + 2a^2b^2 + 2b^2c^2 + 2a^2c^2}{4a^2b^2}$ $= \frac{(2ab)^2 - (a^2 - b^2)^2 - c^4 + 2c^2(a^2 + b^2)}{4a^2b^2}$ $= \frac{(2ab + a^2 - b^2)(2ab - a^2 + b^2) - c^4 + 2c^2(a^2 + b^2)}{4a^2b^2}$ $= \frac{(a + b)^2(b - a)^2 - (c^2 - a^2 - b^2)^2}{4a^2b^2}$ （这里利用了平方差公式） $= \frac{[c^2 - (a - b)^2][c^2 - (a + b)^2]}{4a^2b^2}$ （因为 $c^2 = a^2 + b^2 - 2ab\cos C$ 可以转化为与a, b, C有关的形式，但在这里我们直接利用前面的式子进行化简） $= \frac{(a + b + c)(-a + b + c)(a - b + c)(a + b - c)}{4a^2b^2}$ （再次利用平方差公式进行因式分解）
- 将上述结果代入面积的公式中，并进行化简，最终可以得到海伦公式的形式： $S = \sqrt{\frac{1}{16}(a + b + c)(-a + b + c
