サムネイル|灰色の正方形の面積が灰色の長方形の面積と一致する。 ユークリッド幾何学における直角三角形の頂垂線定理または幾何平均定理（きかへいきんていり、Geometric mean theorem）とは直角三角形の斜辺に下ろした垂線と斜辺に作られる二つの線分について、垂線の長さと二つの線分の長さの幾何平均が一致するという定理。
定理とその逆 サムネイル|の特別な場合としての幾何平均定理 ある直角三角形について斜辺に下ろした垂線の長さを 、斜辺に作られる二つの線分の長さをそれぞれ , と置くと、定理の主張は次の式で表される: (German, )
または面積について:
定理の逆もまた成り立つ。どんな三角形に対してもある垂線の長さが、それによって作られる二つの線分の長さの幾何平均と等しいならば、その三角形は直角三角形である。
タレスの定理の逆から直角三角形の斜辺がその外接円の直径になるため、この定理は円についての の特別な場合と考えることもできる。
機能 サムネイル| q を 1 とすると が図に現れる サムネイル|相加・相乗平均の関係式
歴史 この定理はユークリッド（紀元前360年頃-紀元前280年頃）『原論』の中で第6巻の命題8の系として記述されている。また、第2巻の命題14で述べられている長方形を正方形に変換する方法とこの方法は実質的に一致しているが、その正当性を示すのには幾何平均定理は用いずに、より複雑な証明を用いている。
証明 相似による証明 サムネイル| 定理の証明:
三角形 は相似。なぜならば
三角形 についてが成立。よって二角相等で、 さらに、三角形 についてが成立。よって二角相等で、
よって、三角形 はどちらも に相似、つまり
相似性から、辺の長さの比について得られる式を変形して定理が示される。
脚注
注釈
出典