公式表述
海伦公式：
验证推导
勾股定理
此时化简得出海伦公式，证毕。
恒等式
两边开方得出海伦公式，证毕。
其它证明
推广拓展
一般来讲仅用四边长无法表达某个四边形面积（某些特例除外），必须添加某些条件，比如角、对角线等。
婆罗摩笈多(Brahmagupta)在公元7世纪初的一部论及天文的著作中，给出了用四边长a、b、c、d表达圆内接四边形面积的婆罗摩笈多公式：
其中：
公式无论从形式上还是内容上都是海伦公式的延拓与推广，但它仅适用于圆内接四边形。当然， 为四边形对角和之半时，依然有公式：
由于任何n边的多边形都可以分割成（n-2）个三角形，所以海伦公式可以用作求多边形面积的公式，但需要先知道分割用的对角线的长度。
发展简史
古希腊的数学发展到亚历山大里亚时期，数学的应用得到了很大的发展，其突出的一点就是三角术的发展，在解三角形的过程中，其中一个比较难的问题是如何利用三角形的三边直接求出三角形面积。
这个公式是由古希腊数学家阿基米德得出的，但人们常常以古希腊的数学家海伦命名这个公式，称此公式为海伦公式，因为这个公式最早出现在海伦的著作《测地术》中，并在海伦的著作《测量仪器》和《度量数》中给出证明。
中国宋代的数学家秦九韶在1247年独立提出了“三斜求积术”，虽然它与海伦公式形式上有所不同，但它完全与海伦公式等价，它填补了中国数学史中的一个空白，从中可以看出中国古代已经具有很高的数学水平。 《数书九章》是中国古代数学名著,由南宋数学家秦九韶所著。
公式意义
海伦公式的提出为三角形和多边形的面积计算提供了新的方法和思路，在知道三角形三边的长而不知道高的情况下使用海伦公式可以更快更简便的求出面积，比如说在测量土地的面积的时候，不用测三角形的高，只需测两点间的距离，就可以方便地导出答案。
