在本节中,我们将介绍使用半角公式解三角形的另一种方法。
给定一个边长为a,b和c的三角形,定义
- s = 1⁄2(a+b+c).
注意
- a+b-c = 2s-2c = 2(s-c)
以及a和b的类似情况。
我们从余弦定理得到
所以
- .
根据对称性,存在包含角 B 和 C 的类似表达式。
注意,在这个表达式和所有其他半角表达式中,总是取正平方根。这是因为三角形的一半角必须始终小于直角。
所以
- .
- .
同样,根据对称性,存在包含角 B 和 C 的类似表达式。
可以用以下任何一个恒等式找到 sin(A) 的公式
这两个公式都得出:
始终使用正平方根,因为A不能超过180º。同样地,通过对称,有关于角B和C的类似表达式。这些表达式为正弦定理提供了另一种证明。
由于三角形的面积
- ,
这就是海伦公式。