圖形的半周長定義為
|
(1)
|
其中 是周長。多邊形的半周長以意想不到的方式出現在其面積的計算中。最顯著的例子是在高、外接圓半徑和內切圓半徑的三角形、索迪圓、海倫公式(用於根據邊長
、
和
計算三角形的面積)中
|
(2)
|
|
(3)
|
半周長也出現在關於球面三角形的優美 l'Huilier 定理中。
對於三角形,以下恆等式成立:
|
(4)
| |||
|
(5)
| |||
|
(6)
|
現在考慮上圖。設 為三角形
的內心,
、
和
為內切圓的切點。延長線段
,使得
。注意三角形對
、
、
是全等的。那麼
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
|
此外,
|
(14)
| |||
|
(15)
| |||
|
(16)
| |||
|
(17)
| |||
|
(18)
| |||
|
(19)
| |||
|
(20)
| |||
|
(21)
| |||
|
(22)
| |||
|
(23)
|
(Dunham 1990)。這些方程是海倫推導海倫公式的一些基石。