スチュワートの定理

スチュワートの定理（-ていり）は、平面幾何学において三角形の頂点から辺に引かれた線分の長さに関する定理である。
1746年にスコットランドの数学者マシュー・スチュワートによって発表された。
定理.
三角形の辺 BC, CA, AB の長さを a, b, c とする。辺 AB 上に点 M を取り、C との距離を d とする。AM, BM の長さを x, y とすると、以下の式が成り立つ。
M が辺の中点のとき、この式は中線定理の式に一致する。
証明.
∠AMC=θ, ∠BMC=θ′ とおくと cos θ′ = cos(π-θ) = −cos θ である。
余弦定理より以下の式が成り立つ。
上の式に y をかけ、下の式に x をかけて和をとり、cos θ の項を消去する。