アポロニウスの定理

幾何学におけるアポロニウスの定理（アポロニウスのていり）は、三角形の中線の長さと辺の長さに関係する定理である。「三角形の任意の二辺の平方和は第三辺の半分の平方の2倍と第三辺を二分する中線の2倍の和に等しい」という。

すなわち、任意の三角形を $ABC$ として、中線を $AD$ とすると

|AB|^{2}+|AC|^{2}=2\left(|AD|^{2}+|BD|^{2}\right).

この定理はスチュワートの定理の特殊な場合である。 $|AB|=|AC|$ の二等辺三角形ならば、中線 $AD$ は $BC$ と垂直となり、三角形 $ADB$ （または三角形 $ADC$ ）におけるピタゴラスの定理と一致する。また、平行四辺形の対角線が互いに二分するという事実から、平行四辺形の法則とも同値である。

この定理は古代ギリシャの数学者ペルガのアポロニウスにちなんで名付けられた。

証明[編集]

スチュワートの定理の特殊な場合として、あるいはベクトルを用いて証明することができる。以下の証明は余弦定理を用いたものである^[1]。

任意の三角形の三辺の長さを $a,b,c$ として、 $a$ の中線の長さを $d$ とする。また、中線に二分された線分の長さを $m$ とする（ $m$ は $a$ の半分）。

さらに、 $a$ と $d$ による角の大きさを $\theta$ と $\theta ^{\prime }$ とし、 $\theta$ は $b$ の対角、 $\theta ^{\prime }$ は $c$ の対角とする。すなわち、 $\theta ^{\prime }$ は $\theta$ の補角であり、 $\cos \theta ^{\prime }=-\cos \theta$ となる。