视频字幕
海伦公式是计算三角形面积的重要公式，表达式为S等于根号下s乘以s减a乘以s减b乘以s减c，其中s是半周长，等于三边长之和除以2。这个公式的最大优势是只需要知道三角形的三边长，就能直接计算出面积，无需知道高或角度。让我们看一个例子：边长为3、4、5的三角形，半周长s等于6，代入公式得到面积为6平方单位。
海伦公式得名于古希腊数学家海伦，他生活在约公元10到70年的亚历山大港。海伦不仅是数学家，也是杰出的工程师。这个公式最早记录在他的著作《度量术》中。从古希腊时代开始，这个公式经过阿拉伯学者的传播和发展，最终成为现代几何学的重要组成部分。海伦公式在测量学、计算机图形学和工程计算等现代领域都有广泛应用，体现了古代数学智慧的持久价值。
现在我们用余弦定理来证明海伦公式。首先，三角形面积等于二分之一乘以两边乘以夹角的正弦值。根据余弦定理，c的平方等于a的平方加b的平方减去2ab乘以角C的余弦值。由此可得角C的余弦值。利用正弦平方加余弦平方等于1的恒等式，可以求出正弦平方的表达式。经过复杂的代数运算，最终可以证明正弦平方等于4s乘以s减a乘以s减b乘以s减c，再除以a平方b平方。将此结果代入面积公式，即可得到海伦公式。
第二种证明方法使用坐标几何。我们将三角形放置在坐标系中，设A点在原点，B点在x轴上坐标为c逗号0，C点坐标为x逗号y。利用距离公式，可以表示出各边长：AC等于b，BC等于a。在坐标系中，三角形面积等于二分之一乘以底边c乘以高y。通过坐标关系和距离公式的约束条件，经过复杂的代数运算，最终可以化简得到海伦公式。这种方法体现了解析几何与传统几何的完美结合。
第三种证明方法利用三角形的内切圆性质。三角形面积等于内切圆半径乘以半周长，即S等于rs。内切圆与三角形各边相切，从每个顶点到相邻两个切点的距离分别为s减a、s减b、s减c。利用这些几何关系和面积公式，可以推导出内切圆半径的表达式。将半径公式代入面积关系式，最终得到海伦公式。这种方法巧妙地利用了内切圆的几何性质，展现了几何图形之间的深刻联系。