ヘロンの公式

ヘロンの公式（ヘロンのこうしき、）とは、3辺の長さが  などと分かっている三角形の面積  を求める公式のことである。

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

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

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

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

公式 

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

証明

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

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

このとき△ABCの面積  は、

となる。ここで、

とおくと、

が得られる。

ピタゴラスの定理を用いた代数的証明 
△ABC において、A, B, C の対辺 BC, CA, AB の長さをそれぞれ  とし、A から辺 BC に下ろした垂線 AH の長さを  とする。

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

なので、
 (1)
と表せる。

適当な符号で、
 (2) 
は自明であり、

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

ピタゴラスの定理より、
 (3)
 (4)
と表せるので、(3)(4)の式に(1)を代入し、(2)の式に(3)(4)を代入すると、

となる。

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

ピタゴラスの定理より、
 (3)
 (4)
と表すと、
 (5)
(6)
(5)の式を(6)の式に代入して、hを消すと、

(7)
(7)の式を(5)の式に代入して、

ここで

とおくと、

ここで

とおくと、

となり、

よって

が得られる。

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

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

脚注

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

関連項目 

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

外部リンク 

初等数学
面積
三角形に関する定理
アレクサンドリアのヘロン
数学に関する記事
数学のエポニム