公式表述
海倫公式：
驗證推導
勾股定理
此時化簡得出海倫公式，證畢。
恒等式
兩邊開方得出海倫公式，證畢。
其它證明
推廣拓展
一般來講僅用四邊長無法表達某個四邊形面積（某些特例除外），必須添加某些條件，比如角、對角線等。
婆羅摩笈多(Brahmagupta)在公元7世紀初的一部論及天文的著作中，給出了用四邊長a、b、c、d表達圓内接四邊形面積的婆羅摩笈多公式：
其中：
公式無論從形式上還是内容上都是海倫公式的延拓與推廣，但它僅适用于圓内接四邊形。當然， 為四邊形對角和之半時，依然有公式：
由于任何n邊的多邊形都可以分割成（n-2）個三角形，所以海倫公式可以用作求多邊形面積的公式，但需要先知道分割用的對角線的長度。
發展簡史
古希臘的數學發展到亞曆山大裡亞時期，數學的應用得到了很大的發展，其突出的一點就是三角術的發展，在解三角形的過程中，其中一個比較難的問題是如何利用三角形的三邊直接求出三角形面積。
這個公式是由古希臘數學家阿基米德得出的，但人們常常以古希臘的數學家海倫命名這個公式，稱此公式為海倫公式，因為這個公式最早出現在海倫的著作《測地術》中，并在海倫的著作《測量儀器》和《度量數》中給出證明。
中國宋代的數學家秦九韶在1247年獨立提出了“三斜求積術”，雖然它與海倫公式形式上有所不同，但它完全與海倫公式等價，它填補了中國數學史中的一個空白，從中可以看出中國古代已經具有很高的數學水平。 《數書九章》是中國古代數學名著,由南宋數學家秦九韶所著。
公式意義
海倫公式的提出為三角形和多邊形的面積計算提供了新的方法和思路，在知道三角形三邊的長而不知道高的情況下使用海倫公式可以更快更簡便的求出面積，比如說在測量土地的面積的時候，不用測三角形的高，隻需測兩點間的距離，就可以方便地導出答案。
