ヘロンの公式

△ABC に対して、頂点の対辺の長さは、頂点と同じアルファベットの小文字で表す。

ヘロンの公式（ヘロンのこうしき、英: Heron's formula）とは、3辺の長さが a, b, c などと分かっている三角形の面積 S を求める公式のことである。

アレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられる。

概要

この公式はアレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられるが、現代ではこれ自体はシラクサのアルキメデスにも既知であったと考えられていて、さらにそれ以前から知られていた可能性もある。

一般化として、円に内接する四角形の面積を辺の長さから求めるブラーマグプタの公式があり、さらには円に内接するという条件を外し、角度も用いて四角形の面積を求めるブレートシュナイダーの公式がある。ヘロンの公式はこれらの公式の特別な場合となっている。

しかし、円に内接するn角形について面積をその辺の長さから求める代数的な公式は n ≥ 5 では存在しないことが知られている。

公式

ヘロンの公式 ― 3辺の長さが a, b, c である三角形の面積 S は

$S={\sqrt {s(s-a)(s-b)(s-c)}}$

ただし

$s={\frac {a+b+c}{2}}$

また、以下のような s を用いない表記もある。

$S={\frac {\sqrt {(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}{4}}$

$S={\frac {\sqrt {2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})}}{4}}$

$S={\frac {\sqrt {(a^{2}+b^{2}+c^{2})^{2}-2(a^{4}+b^{4}+c^{4})}}{4}}$

証明

三角比、余弦定理、因数分解を用いた証明。

△ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ a, b, c とし、A から辺 BC に下ろした垂線の長さを h とする。

このとき△ABCの面積 S は、

${\begin{aligned}S&={\frac {ah}{2}}={\frac {ab}{2}}\sin C={\frac {ab}{2}}{\sqrt {1-\cos ^{2}C}}\\&={\frac {ab}{2}}{\sqrt {(1+\cos C)(1-\cos C)}}\\&={\frac {ab}{2}}{\sqrt {\left(1+{\frac {a^{2}+b^{2}-c^{2}}{2ab}}\right)\left(1-{\frac {a^{2}+b^{2}-c^{2}}{2ab}}\right)}}\\&={\frac {ab}{2}}{\sqrt {{\frac {a^{2}+2ab+b^{2}-c^{2}}{2ab}}\times {\frac {-(a^{2}-2ab+b^{2}-c^{2})}{2ab}}}}\\&={\frac {1}{4}}{\sqrt {[(a+b)^{2}-c^{2}][-\{(a-b)^{2}-c^{2}\}]}}\\&={\frac {1}{4}}{\sqrt {[(a+b+c)(a+b-c)][-(a-b+c)(a-b-c)]}}\\&={\frac {1}{4}}{\sqrt {(a+b+c)(b+c-a)(c+a-b)(a+b-c)}}\end{aligned}}$

となる。ここで、

$a+b+c=2s$

とおくと、

$S={\sqrt {s(s-a)(s-b)(s-c)}}$

が得られる。

ピタゴラスの定理を用いた代数的証明

△ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ a, b, c とし、A から辺 BC に下ろした垂線 AH の長さを h とする。

この時△ABC の面積を S とすると h は、

${{\text{1}} \over {\text{2}}}ah=S$

なので、

$h={2S \over a}$ (1)

と表せる。

適当な符号で、

$\pm {\text{CH}}\pm {\text{BH}}=a$ (2)

は自明であり、

（±は鈍角三角形と鋭角三角形の場合分けを省くためである。）

ピタゴラスの定理より、

${\text{CH}}={\sqrt {b^{2}-h^{2}}}$ (3)

${\text{BH}}={\sqrt {c^{2}-h^{2}}}$ (4)

と表せるので、(3)(4)の式に(1)を代入し、(2)の式に(3)(4)を代入すると、

$\pm {\sqrt {b^{2}-\left({\frac {2S}{a}}\right)^{2}}}\pm {\sqrt {c^{2}-\left({\frac {2S}{a}}\right)^{2}}}=a$

となる。

この式を S について解いた正の方が解である。

3次元版

ヘロンの公式の3次元版として、四面体の体積を6辺の長さから求める公式を紹介する。

3次元版ヘロンの公式 ― 6辺の長さが $l_{1},l_{2},\cdots ,l_{6}$ である四面体の体積 $V$ は

${\begin{aligned}V^{2}=&{\frac {1}{144}}\{{l_{1}}^{2}{l_{5}}^{2}(-{l_{1}}^{2}+{l_{2}}^{2}+{l_{3}}^{2}+{l_{4}}^{2}-{l_{5}}^{2}+{l_{6}}^{2})+{l_{2}}^{2}{l_{6}}^{2}({l_{1}}^{2}-{l_{2}}^{2}+{l_{3}}^{2}+{l_{4}}^{2}+{l_{5}}^{2}-{l_{6}}^{2})\\&+{l_{3}}^{2}{l_{4}}^{2}({l_{1}}^{2}+{l_{2}}^{2}-{l_{3}}^{2}-{l_{4}}^{2}+{l_{5}}^{2}+{l_{6}}^{2})-{l_{1}}^{2}{l_{2}}^{2}{l_{4}}^{2}-{l_{2}}^{2}{l_{3}}^{2}{l_{5}}^{2}-{l_{1}}^{2}{l_{3}}^{2}{l_{6}}^{2}-{l_{4}}^{2}{l_{5}}^{2}{l_{6}}^{2}\}.\end{aligned}}$

ただし、四面体の頂点を O, A, B, C とすると、$l_{1}=|{\text{OA}}|$, $l_{2}=|{\text{OB}}|$, $l_{3}=|{\text{OC}}|$, $l_{4}=|{\text{AB}}|$, $l_{5}=|{\text{BC}}|$, $l_{6}=|{\text{CA}}|$.

n次元版

ヘロンの公式のn次元版はCayley-Menger Determinantとして知られている。

n次元版ヘロンの公式(Cayley-Menger Determinant) ― n次元単体の体積 $V$ は、${\frac {n(n+1)}{2}}$辺の長さによって次のように書かれる。

$V^{2}={\frac {(-1)^{n+1}}{2^{n}(n!)^{2}}}\left|{\begin{array}{ccccc}0&{d_{12}}^{2}&\cdots &{d_{1(n+1)}}^{2}&1\\{d_{21}}^{2}&0&\cdots &{d_{2(n+1)}}^{2}&1\\&&\cdots &&\\{d_{(n+1)1}}^{2}&{d_{(n+1)2}}^{2}&\cdots &0&1\\1&1&\cdots &1&0\end{array}}\right|$

ただし、$d_{ij}$ は頂点$i=1,2,\cdots ,n+1$ と頂点$j=1,2,\cdots ,n+1$ を結ぶ辺の長さ。

参考文献

• T・L・ヒース著、平田寛他訳『ギリシア数学史』共立出版、1998年5月。ISBN 4-320-01588-6

関連項目

• アレクサンドリアのヘロン
• 三斜法
• ブラーマグプタの公式
• ブレートシュナイダーの公式
• ヘロンの三角形
• リュイリエの公式

外部リンク

• 『ヘロンの公式』 - コトバンク
• 『{{{2}}}』 - 高校数学の美しい物語
• Weisstein, Eric W. "Heron's Formula". mathworld.wolfram.com (英語).