中線定理
中線定理（ちゅうせんていり、）とは、幾何学において、三角形の中線の長さと辺の長さの関係を表す定理である。パップスの定理と知られているが、実はアポロニウスが発見した定理である。
三角形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 が成り立つので、