スチュワートの定理

スチュワートの定理は、図における線分たちの長さの間の関係式を与える。

スチュワートの定理（-ていり）は、平面幾何学において三角形の頂点から辺に引かれた線分の長さに関する定理である。

定理

三角形の辺 BC, CA, AB の長さを a, b, c とする。辺 AB 上に点 M を取り、C との距離を d とする。AM, BM の長さを x, y とすると、以下の式が成り立つ。

[math]a^2x + b^2y = c(d^2 + xy)[/math]

M が辺の中点のとき、この式は中線定理の式に一致する。

∠AMC=θ, ∠BMC=θ′ とおくと cos θ′ = −cos θ である。余弦定理より以下の式が成り立つ。

[math] \begin{align} b^2 &= x^2 + d^2 - 2dx\cos\theta \\ a^2 &= y^2 + d^2 - 2dy\cos\theta' \\ &= y^2 + d^2 + 2dy\cos\theta.\, \end{align} [/math]

上の式に y をかけ、下の式に x をかけて和をとり、cos θ の項を消去する。

[math] \begin{align} &b^2y + a^2x \\ &= x^2y + y^2x + (x + y)d^2 \\ &= (x + y)(xy + d^2) \\ &= c(xy + d^2) \\ \end{align} [/math]

↑ Some General Theorems of Considerable Use in the Higher Parts of Mathematics "Proposition II"