An important theorem in plane geometry, also known as Hero's formula. Given the lengths of the sides , , and and the semiperimeter
(1)
|
of a triangle, Heron's formula gives the area of the triangle as
(2)
|
Heron's formula may be stated beautifully using a Cayley-Menger determinant as
(3)
|
Another highly symmetrical form is given by
(4)
|
(Buchholz 1992).
Expressing the side lengths , , and in terms of the radii , , and ' of the mutually tangent circles centered on the triangle vertices (which define the Soddy circles),
(5)
| |||
(6)
| |||
(7)
|
gives the particularly pretty form
(8)
|
Heron's proof (Dunham 1990) is ingenious but extremely convoluted, bringing together a sequence of apparently unrelated geometric identities and relying on the properties of cyclic quadrilaterals and right triangles. Heron's proof can be found in Proposition 1.8 of his work Metrica (ca. 100 BC-100 AD). This manuscript had been lost for centuries until a fragment was discovered in 1894 and a complete copy in 1896 (Dunham 1990, p. 118). More recently, writings of the Arab scholar Abu'l Raihan Muhammed al-Biruni have credited the formula to Heron's predecessor Archimedes prior to 212 BC (van der Waerden 1961, pp. 228 and 277; Coxeter and Greitzer 1967, p. 59; Kline 1990; Bell 1986, p. 58; Dunham 1990, p. 127).
A much more accessible algebraic proof proceeds from the law of cosines,
(9)
|
Then
(10)
|
giving
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|
(Coxeter 1969). Heron's formula contains the Pythagorean theorem as a degenerate case.