ヘロンの公式

ヘロンの公式（ヘロンのこうしき、英：Heron's formula）は任意の三角形の3辺a, b, c の長さから面積 S を求める公式。アレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられる。 この公式はアレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられるが、現代ではこれ自体はシラクサのアルキメデスにも既知であったと考えられていて、さらにそれ以前から知られていた可能性もある。 一般化として、円に内接する四角形の面積を辺の長さから求めるブラーマグプタの公式があり、さらには円に内接するという条件を外し、角度も用いて四角形の面積を求めるブレートシュナイダーの公式がある。ヘロンの公式はこれらの公式の特別な場合となっている。 しかし、円に内接するn角形について面積をその辺の長さから求める代数的な公式は 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}}.} 三角比、余弦定理、因数分解を用いた証明。 △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 ( a + b ) 2 − c 2 2 a b × − { ( a − b ) 2 − c 2 } 2 a b = a b 2 ( a + b + c ) ( a + b − c ) 2 a b × − ( a − b + c ) ( a − b − c ) 2 a b = a b 2 ( a + b + c ) ( a + b − c ) 2 a b × ( a − b + c ) ( − a + b + c ) 2 a b = a b 2 ( a + b + c ) { ( a + b + c ) − 2 c } { ( a + b + c ) − 2 b } { ( a + b + c ) − 2 a } 4 a 2 b 2 = a 2 b 2 4 × ( a + b + c ) { ( a + b + c ) − 2 a } { ( a + b + c ) − 2 b } { ( a + b + c ) − 2 c } 4 a 2 b 2 = ( a + b + c ) { ( a + b + c ) − 2 a } { ( a + b + c ) − 2 b } { ( a + b + c ) − 2 c } 16 = a + b + c 2 × ( a + b + c ) − 2 a 2 × ( a + b + c ) − 2 b 2 × ( a + b + c ) − 2 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}}\times {\frac {-(a^{2}-2ab+b^{2}-c^{2})}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b)^{2}-c^{2}}{2ab}}\times {\frac {-\{(a-b)^{2}-c^{2}\}}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b+c)(a+b-c)}{2ab}}\times {\frac {-(a-b+c)(a-b-c)}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b+c)(a+b-c)}{2ab}}\times {\frac {(a-b+c)(-a+b+c)}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {\frac {(a+b+c)\{(a+b+c)-2c\}\{(a+b+c)-2b\}\{(a+b+c)-2a\}}{4a^{2}b^{2}}}}\\&={\sqrt {{\frac {a^{2}b^{2}}{4}}\times {\frac {(a+b+c)\{(a+b+c)-2a\}\{(a+b+c)-2b\}\{(a+b+c)-2c\}}{4a^{2}b^{2}}}}}\\&={\sqrt {\frac {(a+b+c)\{(a+b+c)-2a\}\{(a+b+c)-2b\}\{(a+b+c)-2c\}}{16}}}\\&={\sqrt {{\frac {a+b+c}{2}}\times {\frac {(a+b+c)-2a}{2}}\times {\frac {(a+b+c)-2b}{2}}\times {\frac {(a+b+c)-2c}{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}}} となる。ここで、 s = a + b + c 2 {\displaystyle s={\frac {a+b+c}{2}}} とすると、 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 の長さを ｈ とする。 この時△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) と表せる。 適当な符号で、 ± C H ± B H = a {\displaystyle \pm CH\pm BH=a} (2) は自明であり、 (±は鈍角三角形と鋭角三角形の場合分けを省くためである。) ピタゴラスの定理より、 C H = b 2 − h 2 {\displaystyle CH={\sqrt {b^{2}-h^{2}}}} (3) B H = c 2 − h 2 {\displaystyle 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 について解いた正の方が解である。 ヘロンの公式の3次元版として，四面体の体積を6辺の長さから求める公式を紹介する。 3次元版ヘロンの公式 ― 6辺の長さが l 1 , l 2 , … , l 6 {\displaystyle l_{1},l_{2},\ldots ,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 {\displaystyle OABC} とすると， l 1 = | O A | {\displaystyle l_{1}=|OA|} , l 2 = | O B | {\displaystyle l_{2}=|OB|} , l 3 = | O C | {\displaystyle l_{3}=|OC|} , l 4 = | A B | {\displaystyle l_{4}=|AB|} , l 5 = | B C | {\displaystyle l_{5}=|BC|} , l 6 = | C A | {\displaystyle l_{6}=|CA|} . ヘロンの公式のn次元版はCayley-Menger Determinantとして知られている。 。 n次元版ヘロンの公式(Cayley-Menger Determinant) ― n次元単体 (数学)の体積 V {\displaystyle V} は， n ( n + 1 ) / 2 {\displaystyle 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,\ldots ,n+1} と頂点 j = 1 , 2 , … , n + 1 {\displaystyle j=1,2,\ldots ,n+1} を結ぶ辺の長さ。 ^ “Fórmula de Herón para calcular el área de cualquier triángulo” (Spanish). 2012年6月30日閲覧。 ^ 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（英語）. CS1 maint: Multiple names: authors list