△ABCの辺
BCの中点を
Mとし、中線
APを引くと
AB2+AC2=2(AM2+BM2)
という関係が成り立ちます。この関係のことを
中線定理といいます。
なぜこれが成り立つといえるのでしょうか?
余弦定理を利用して成り立つことを確かめます。
△ABCの辺BCの中点をM、∠AMB=θとします。このときBM=CMです。
△ABMに着目して、余弦定理より
AB2=AM2+BM2−2AM⋅BMcosθ
が成り立ちます。
これを
cosθについて解くと
2AM⋅BMcosθ=AM2+BM2−AB2cosθ=AM2+BM2−AB22AM⋅BM(1)
となります。
次に
△ACMに着目すると
∠AMB=θより
∠AMC=180°−θとなり、余弦定理より
AC2=AM2+CM2−2AM⋅CMcos(180°−θ)
が成り立ちます。
また、三角関数の性質より
cos(180°−θ)=−cosθなので
AC2=AM2+CM2−2AM⋅CM(−cosθ)=AM2+CM2+2AM⋅CMcosθ
となり、
cosθについて解くと
2AM⋅CMcosθ=AC2−AM2−CM2cosθ=AC2−AM2−CM22AM⋅CM(2)
となります。
(1),(2)より
AM2+BM2−AB22AM⋅BM=AC2−AM2−CM22AM⋅CM
ここで
BM=CMより
AM2+BM2−AB22AM⋅BM=AC2−AM2−BM22AM⋅BMAM2+BM2−AB2=AC2−AM2−BM2∴AB2+AC2=2(AM2+BM2)
したがって、中線定理が成り立つことがわかります。
この中線定理から三角形の中線の長さを求めることができます。
上の
△ABCにおける中線定理の式を変形して
AMについて解くと
AB2+AC2=2AM2+2BM22AM2=AB2+AC2−2BM2AM2=AB2+AC2−2BM22AM=√AB2+AC2−2BM22(∵AM>0)
BM=BC2より
AM=
⎷AB2+AC2−2(BC2)22=√AB2+AC2−BC222=√2(AB2+AC2)−BC24
となります。三角形の3辺の長さによって中線の長さを求めることができます。