中線定理

中線定理（ちゅうせんていり、）とは、幾何学において、三角形の中線の長さと辺の長さの関係を表す定理である。パップスの定理と知られているが、実はアポロニウスが発見した定理である。
概要.
初等幾何学における中線定理.
三角形OABにおいて以下の関係が成り立つ。
この性質を中線定理という。これはスチュワートの定理の特別な場合である。特に二等辺三角形においてはピタゴラスの定理と同等になる。
平行四辺形の対角線が互いの中点を通るという事実から、平行四辺形ABCD に対し
と書くこともできるので平行四辺形の法則とも言われる。
内積空間における中線定理.
中線定理は、内積を有するベクトル空間（計量ベクトル空間）の一般的性質としてとらえることができる。内積空間 "V" において、ノルムから導かれる内積 :
を与えると、任意の元 x, y ∈ "V" について、次の中線定理が成り立つ：
このように、計量ベクトル空間において、内積から導かれるノルムについて中線定理が成り立つが、逆に十分条件でもあることが、フォン・ノイマンおよびパスクアル・ヨルダンによって示されている。すなわち、内積が定義されていないノルム空間において、ノルムが中線定理を満たすならば、そのノルムを導く内積が存在する。
実際、中線定理が成り立つならば、実数体 R 上のノルム空間の元 x, y に対して、
複素数体 C 上のノルム空間の元 x, y に対して、
により内積が導かれる。
証明.
定理をスチュワートの定理の特別な場合と考えて証明するか、または計量ベクトル空間におけるベクトルを使用することで証明することができる。
ベクトルによる証明.
formula_7 をそれぞれ formula_8 と置くと、辺ABの中点がMなので、formula_9 はそれぞれ formula_10 となる。
したがって、
これより、辺々を加えて2倍すると、
解析幾何学による証明.
三角形OABにおいて、辺ABの中点Mを原点に取り、辺ABを"x"軸上に取ると、
と置くことができる。
ここで、頂点Oの座標を ("b", "c") とすると、
したがって、辺々を加えると、
一方、
したがって、
初等幾何学による証明.
三角形OABにおいて、辺ABの中点をMとし、∠OMA = θ とすると、
∠OMB = π - θ.
三角形OMAにおいて、余弦定理を適用すると、
三角形OMBにおいて、余弦定理を適用すると、
ここで、点Mは辺ABの中点だから、AM = BM が成り立つ。
一方、formula_21 が成り立つので、
中線定理の逆.
中線定理の逆は成り立たない。反例として、∠ACB ≠ 90°を満たす △ABC と直線BC上の点 P が
を満たすとする。ただし L は辺BC の中点である。
AB の中点を N とすると、
∠ACB ≠ 90°のとき、これを満たす点P で L と異なるものがある。故に、中線定理の式が成り立っても、P は辺BC の中点とは限らない。■