ヘロンの公式

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

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

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

概要

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

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

しかし、円に内接するn角形について面積を、その辺の長さから四則演算とk乗根をとる操作によって求める代数的な公式は n ≥ 5 では存在しないことが知られている[2]。

公式

ヘロンの公式 ― 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}}}

証明

三角関数を用いた証明

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

△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次元版

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

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次元版

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

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} を結ぶ辺の長さ。

脚注

  1. ^ “Fórmula de Herón para calcular el área de cualquier triángulo” (Spanish). 2012年6月30日閲覧。
  2. ^ Non-Biri 数学研究会「ヘロンとガロワ」『数学セミナー』、日本評論社、2009年11月、42頁。 
  3. ^ Sabitov, I. (1998). “The Volume as a Metric Invariant of Polyhedra”. Discrete Comput Geom 20: 405. doi:10.1007/PL00009393. 
  4. ^ “Cayley-Menger Determinant” (English). 2018年6月19日閲覧。

参考文献

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

関連項目

外部リンク