ヘロンの公式

ヘロンの公式（ヘロンのこうしき、英: Heron's formula, Hero's formula）とは、3辺の長さが a, b, c などと分かっている三角形の面積 S を求める公式のことである。 アレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられる。 この公式はアレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられるが、現代ではこれ自体はシラクサのアルキメデスにも既知であったと考えられていて、さらにそれ以前から知られていた可能性もある。 一般化として、円に内接する四角形の面積を辺の長さから求めるブラーマグプタの公式があり、さらには円に内接するという条件を外し、角度も用いて四角形の面積を求めるブレートシュナイダーの公式がある。ヘロンの公式はこれらの公式の特別な場合となっている。 しかし、円に内接するn角形について面積を、その辺の長さから四則演算とk乗根をとる操作によって求める代数的な公式は n ≥ 5 では存在しないことが知られている。 ヘロンの公式 ― 3辺の長さが a, b, c である三角形の面積 S は S = s ( s − a ) ( s − b ) ( s − c ) {\displaystyle S={\sqrt {s(s-a)(s-b)(s-c)}}} ただし s = a + b + c 2 {\displaystyle s={\frac {a+b+c}{2}}} また、以下のような s を用いない表記もある。 S = ( a + b + c ) ( − a + b + c ) ( a − b + c ) ( a + b − c ) 4 {\displaystyle S={\frac {\sqrt {(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}{4}}} S = 2 ( a 2 b 2 + a 2 c 2 + b 2 c 2 ) − ( a 4 + b 4 + c 4 ) 4 {\displaystyle S={\frac {\sqrt {2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})}}{4}}} S = ( a 2 + b 2 + c 2 ) 2 − 2 ( a 4 + b 4 + c 4 ) 4 {\displaystyle S={\frac {\sqrt {(a^{2}+b^{2}+c^{2})^{2}-2(a^{4}+b^{4}+c^{4})}}{4}}} S = 4 b 2 c 2 − ( a 2 − b 2 − c 2 ) 2 4 {\displaystyle S={\frac {\sqrt {4b^{2}c^{2}-(a^{2}-b^{2}-c^{2})^{2}}}{4}}} 特に下3つは一辺の長さが有理数の平方根であるときに有用である。 三角比、余弦定理、因数分解を用いた証明。 △ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ a, b, c とし、A から辺 BC に下ろした垂線の長さを h とする。 このとき△ABCの面積 S は、 S = a h 2 = a b 2 sin ⁡ C = a b 2 1 − cos 2 ⁡ C = a b 2 ( 1 + cos ⁡ C ) ( 1 − cos ⁡ C ) = a b 2 ( 1 + a 2 + b 2 − c 2 2 a b ) ( 1 − a 2 + b 2 − c 2 2 a b ) = a b 2 a 2 + 2 a b + b 2 − c 2 2 a b ⋅ − ( a 2 − 2 a b + b 2 − c 2 ) 2 a b = ( a + b ) 2 − c 2 4 ⋅ − [ ( a − b ) 2 − c 2 ] 4 = ( a + b + c ) ( a + b − c ) 4 ⋅ − ( a − b + c ) ( a − b − c ) 4 = a + b + c 2 ⋅ − a + b + c 2 ⋅ a − b + c 2 ⋅ a + b − c 2 = a + b + c 2 ( a + b + c 2 − a ) ( a + b + c 2 − b ) ( a + b + c 2 − c ) {\displaystyle {\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}}\cdot {\frac {-(a^{2}-2ab+b^{2}-c^{2})}{2ab}}}}\\&={\sqrt {{\frac {(a+b)^{2}-c^{2}}{4}}\cdot {\frac {-[(a-b)^{2}-c^{2}]}{4}}}}\\&={\sqrt {{\frac {(a+b+c)(a+b-c)}{4}}\cdot {\frac {-(a-b+c)(a-b-c)}{4}}}}\\&={\sqrt {{\frac {a+b+c}{2}}\cdot {\frac {-a+b+c}{2}}\cdot {\frac {a-b+c}{2}}\cdot {\frac {a+b-c}{2}}}}\\&={\sqrt {{\frac {a+b+c}{2}}\left({\frac {a+b+c}{2}}-a\right)\left({\frac {a+b+c}{2}}-b\right)\left({\frac {a+b+c}{2}}-c\right)}}\end{aligned}}} となる。ここで、 a + b + c 2 = s {\displaystyle {\frac {a+b+c}{2}}=s} とおくと、 S = s ( s − a ) ( s − b ) ( s − c ) {\displaystyle 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 は、 1 2 a h = S {\displaystyle {{\text{1}} \over {\text{2}}}ah=S} なので、 h = 2 S a {\displaystyle h={2S \over a}} (1) と表せる。 適当な符号で、 ± CH ± BH = a {\displaystyle \pm {\text{CH}}\pm {\text{BH}}=a} (2) は自明であり、 （±は鈍角三角形と鋭角三角形の場合分けを省くためである。） ピタゴラスの定理より、 CH = b 2 − h 2 {\displaystyle {\text{CH}}={\sqrt {b^{2}-h^{2}}}} (3) BH = c 2 − h 2 {\displaystyle {\text{BH}}={\sqrt {c^{2}-h^{2}}}} (4) と表せるので、(3)(4)の式に(1)を代入し、(2)の式に(3)(4)を代入すると、 ± b 2 − ( 2 S a ) 2 ± c 2 − ( 2 S a ) 2 = a {\displaystyle \pm {\sqrt {b^{2}-\left({\frac {2S}{a}}\right)^{2}}}\pm {\sqrt {c^{2}-\left({\frac {2S}{a}}\right)^{2}}}=a} となる。 この式を S について解いた正の方が解である。 ピタゴラスの定理より、 CH = b 2 − h 2 = a − d {\displaystyle {\text{CH}}={\sqrt {b^{2}-h^{2}}}=a-d} (3) BH = c 2 − h 2 = d {\displaystyle {\text{BH}}={\sqrt {c^{2}-h^{2}}}=d} (4) と表すと、 c 2 = d 2 + h 2 {\displaystyle c^{2}=d^{2}+h^{2}} (5) b 2 = h 2 + ( a − d ) 2 = h 2 + a 2 − 2 a d + d 2 {\displaystyle b^{2}=h^{2}+(a-d)^{2}=h^{2}+a^{2}-2ad+d^{2}} (6) (5)の式を(6)の式に代入して、hを消すと、 b 2 = a 2 − 2 a d + c 2 {\displaystyle b^{2}=a^{2}-2ad+c^{2}} d = a 2 − b 2 + c 2 2 a {\displaystyle d={\frac {a^{2}-b^{2}+c^{2}}{2a}}} (7) (7)の式を(5)の式に代入して、 h 2 = c 2 − ( a 2 − b 2 + c 2 2 a ) 2 = 4 a 2 c 2 − ( a 2 − b 2 + c 2 ) 2 4 a 2 = ( 2 a c ) 2 − ( a 2 − b 2 + c 2 ) 2 4 a 2 = ( 2 a c + a 2 − b 2 + c 2 ) ( 2 a c − a 2 + b 2 − c 2 ) 4 a 2 = ( ( a + c ) 2 − b 2 ) ( b 2 − ( a − c ) 2 ) 4 a 2 = ( a + b + c ) ( a − b + c ) ( a + b − c ) ( − a + b + c ) 4 a 2 = ( a + b + c ) ( a + b + c − 2 b ) ( a + b + c − 2 c ) ( a + b + c − 2 a ) 4 a 2 {\displaystyle {\begin{aligned}h^{2}&=c^{2}-\left({\frac {a^{2}-b^{2}+c^{2}}{2a}}\right)^{2}\\&={\frac {4a^{2}c^{2}-(a^{2}-b^{2}+c^{2})^{2}}{4a^{2}}}\\&={\frac {(2ac)^{2}-(a^{2}-b^{2}+c^{2})^{2}}{4a^{2}}}\\&={\frac {(2ac+a^{2}-b^{2}+c^{2})(2ac-a^{2}+b^{2}-c^{2})}{4a^{2}}}\\&={\frac {((a+c)^{2}-b^{2})(b^{2}-(a-c)^{2})}{4a^{2}}}\\&={\frac {(a+b+c)(a-b+c)(a+b-c)(-a+b+c)}{4a^{2}}}\\&={\frac {(a+b+c)(a+b+c-2b)(a+b+c-2c)(a+b+c-2a)}{4a^{2}}}\\\end{aligned}}} ここで a + b + c = T {\displaystyle a+b+c=T} とおくと、 h 2 = T ( T − 2 b ) ( T − 2 c ) ( T − 2 a ) 4 a 2 {\displaystyle {\begin{aligned}h^{2}&={\frac {T(T-2b)(T-2c)(T-2a)}{4a^{2}}}\end{aligned}}} ここで s = a + b + c 2 {\displaystyle s={\frac {a+b+c}{2}}} とおくと、 T = 2 s {\displaystyle T=2s} となり、 h 2 = 2 s ( 2 s − 2 b ) ( 2 s − 2 c ) ( 2 s − 2 a ) 4 a 2 = 16 s ( s − a ) ( s − b ) ( s − c ) 4 a 2 {\displaystyle {\begin{aligned}h^{2}&={\frac {2s(2s-2b)(2s-2c)(2s-2a)}{4a^{2}}}\\&={\frac {16s(s-a)(s-b)(s-c)}{4a^{2}}}\end{aligned}}} h = 2 s ( s − a ) ( s − b ) ( s − c ) a {\displaystyle {\begin{aligned}h&={\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{a}}\end{aligned}}} よって S = 1 2 a h = 1 2 a 2 s ( s − a ) ( s − b ) ( s − c ) a = s ( s − a ) ( s − b ) ( s − c ) {\displaystyle {\begin{aligned}S&={{\text{1}} \over {\text{2}}}ah\\&={{\text{1}} \over {\text{2}}}a{\frac {2{\sqrt {s(s-a)(s-b)(s-c)}}}{a}}\\&={\sqrt {s(s-a)(s-b)(s-c)}}\end{aligned}}} が得られる。 ヘロンの公式の3次元版として、四面体の体積を6辺の長さから求める公式を紹介する。 3次元版ヘロンの公式 ― 6辺の長さが l 1 , l 2 , ⋯ , l 6 {\displaystyle l_{1},l_{2},\cdots ,l_{6}} である四面体の体積 V {\displaystyle V} は V 2 = 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 } . {\displaystyle {\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 = | OA | {\displaystyle l_{1}=|{\text{OA}}|} , l 2 = | OB | {\displaystyle l_{2}=|{\text{OB}}|} , l 3 = | OC | {\displaystyle l_{3}=|{\text{OC}}|} , l 4 = | AB | {\displaystyle l_{4}=|{\text{AB}}|} , l 5 = | BC | {\displaystyle l_{5}=|{\text{BC}}|} , l 6 = | CA | {\displaystyle l_{6}=|{\text{CA}}|} . ヘロンの公式のn次元版はCayley-Menger Determinantとして知られている。 n次元版ヘロンの公式(Cayley-Menger Determinant) ― n次元単体の体積 V {\displaystyle V} は、 n ( n + 1 ) 2 {\displaystyle {\frac {n(n+1)}{2}}} 辺の長さによって次のように書かれる。 V 2 = ( − 1 ) n + 1 2 n ( n ! ) 2 | 0 d 12 2 ⋯ d 1 ( n + 1 ) 2 1 d 21 2 0 ⋯ d 2 ( n + 1 ) 2 1 ⋯ d ( n + 1 ) 1 2 d ( n + 1 ) 2 2 ⋯ 0 1 1 1 ⋯ 1 0 | {\displaystyle 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 i j {\displaystyle d_{ij}} は頂点 i = 1 , 2 , ⋯ , n + 1 {\displaystyle i=1,2,\cdots ,n+1} と頂点 j = 1 , 2 , ⋯ , n + 1 {\displaystyle j=1,2,\cdots ,n+1} を結ぶ辺の長さ。 ^ “Fórmula de Herón para calcular el área de cualquier triángulo” (Spanish). 2012年6月30日閲覧。 ^ Non-Biri 数学研究会「ヘロンとガロワ」『数学セミナー』、日本評論社、2009年11月、42頁。  ^ Sabitov, I. (1998). “The Volume as a Metric Invariant of Polyhedra”. Discrete Comput Geom 20: 405. doi:10.1007/PL00009393.  ^ “Cayley-Menger Determinant” (English). 2018年6月19日閲覧。 T・L・ヒース著、平田寛他訳『ギリシア数学史』共立出版、1998年5月。ISBN 4-320-01588-6 アレクサンドリアのヘロン 三斜法 ブラーマグプタの公式 ブレートシュナイダーの公式 ヘロンの三角形 リュイリエの公式 『ヘロンの公式』 - コトバンク 『ヘロンの公式の証明と使用例』 - 高校数学の美しい物語 Weisstein, Eric W. "Heron's Formula". mathworld.wolfram.com (英語).