ヘロンの公式

ヘロンの公式（ヘロンのこうしき、）とは、3辺の長さが などと分かっている三角形の面積 を求める公式のことである。
アレクサンドリアのヘロンが彼の著書『"Metrica"』の中で証明を与えていることから彼に帰せられる。
概要.
この公式はアレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられるが、現代ではこれ自体はシラクサのアルキメデスにも既知であったと考えられていて、さらにそれ以前から知られていた可能性もある。
一般化として、円に内接する四角形の面積を辺の長さから求めるブラーマグプタの公式があり、さらには円に内接するという条件を外し、角度も用いて四角形の面積を求めるブレートシュナイダーの公式がある。ヘロンの公式はこれらの公式の特別な場合となっている。
しかし、円に内接する"n"角形について面積を、その辺の長さから四則演算と"k"乗根をとる操作によって求める代数的な公式は "n" ≥ 5 では存在しないことが知られている。
公式.
また、以下のような を用いない表記もある。
証明.
三角関数を用いた証明.
三角比、余弦定理、因数分解を用いた証明。
△ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ とし、A から辺 BC に下ろした垂線の長さを とする。
このとき△ABCの面積 は、
となる。ここで、
とおくと、
が得られる。
ピタゴラスの定理を用いた代数的証明.
△ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ とし、A から辺 BC に下ろした垂線 AH の長さを とする。
この時△ABC の面積を とすると は、
なので、
と表せる。
適当な符号で、
は自明であり、
（±は鈍角三角形と鋭角三角形の場合分けを省くためである。）
ピタゴラスの定理より、
と表せるので、(3)(4)の式に(1)を代入し、(2)の式に(3)(4)を代入すると、
となる。
この式を について解いた正の方が解である。
ピタゴラスの定理より、
と表すと、
(5)の式を(6)の式に代入して、hを消すと、
(7)の式を(5)の式に代入して、
ここで
formula_21
とおくと、
ここで
formula_23
とおくと、
formula_24
となり、
よって
が得られる。
3次元版.
ヘロンの公式の3次元版として、四面体の体積を6辺の長さから求める公式を紹介する。
n次元版.
ヘロンの公式の次元版はCayley-Menger Determinantとして知られている。
 0 &{d_{12}}^2 &\cdots &{d_{1(n+1)}}^2 &1 \\
 & &\cdots & & \\
1 &1 &\cdots &1 &0
\end{array} \right|</math>
ただし、formula_28 は頂点formula_29 と頂点formula_30 を結ぶ辺の長さ。