ヘロンの公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Jump to navigation Jump to search
各辺がa, b, cの三角形

ヘロンの公式(ヘロンのこうしき)は任意の三角形の3辺a, b, c の長さから面積 T を求める公式アレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられる[1]

概要[編集]

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

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

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

公式[編集]

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

ただし、

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

証明[編集]

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

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

このとき△ABCの面積を T とすると、

となる。ここで、

とすると、

が得られる。

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

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

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

なので、

(1)

と表せる。

適当な符号で、

(2)

は自明であり、

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

ピタゴラスの定理より、

(3)

(4)

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

となる。

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

3次元版[編集]

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

3次元版ヘロンの公式 ― 6辺の長さがである四面体の体積

ただし、四面体の頂点をとすると,, , , , , .


n次元版[編集]

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

n次元版ヘロンの公式(Cayley-Menger Determinant) ― n次元単体 (数学)の体積は,辺の長さによって次のように書かれる。

ただし,は頂点と頂点を結ぶ辺の長さ。

脚注[編集]

  1. ^ Fórmula de Herón para calcular el área de cualquier triángulo” (Spanish). 2012年6月30日閲覧。
  2. ^ Sabitov, I. (1998). “The Volume as a Metric Invariant of Polyhedra”. Discrete Comput Geom 20: 405. doi:10.1007/PL00009393. 
  3. ^ Cayley-Menger Determinant” (English). 2018年6月19日閲覧。

参考文献[編集]

関連項目[編集]

外部リンク[編集]