スチュワートの定理

スチュワートの定理

スチュワートの定理は、平面幾何学における基本的な定理の一つで、三角形の頂点と対辺（またはその延長線上）上の点とを結ぶ線分の長さが、三角形の各辺の長さおよび線分が対辺を分割する比率とどのような関係にあるかを示すものです。この定理は、スコットランドの数学者マシュー・スチュワートによって1746年に発表されました。

定理の内容

ある三角形ABCを考えます。その辺BC, CA, ABの長さをそれぞれa, b, cとします。辺AB上に任意の点Mをとります。この点Mは辺ABの内点である必要はなく、直線AB上の点であれば定理は成立しますが、ここでは分かりやすさのため辺AB上の点として説明します。

頂点Cから点Mへ引いた線分CMの長さをdとします。また、点Mが辺ABを分割する部分の長さ、すなわち線分AMの長さをx、線分BMの長さをyとします。このとき、辺ABの長さcはxとyの和、つまり c = x + y となります。

スチュワートの定理は、これらの長さ a, b, c, d, x, y の間に次の美しい関係式が成り立つと述べています。


a^2 x + b^2 y = c (d^2 + x y)


ここで、$a^2x$は辺BCの長さの2乗にAMの長さを掛けたもの、$b^2y$は辺CAの長さの2乗にBMの長さを掛けたものです。これらを足し合わせたものが、辺ABの長さcに、CMの長さdの2乗とAM・BMの長さの積を足し合わせたものを掛けたものに等しい、という関係を示しています。

中線定理との関係

スチュワートの定理は、様々な幾何学的な問題を解く上で非常に有用ですが、特に興味深いのは、ある特定の状況下で他のよく知られた定理と一致することです。

例えば、もし点Mが辺ABのちょうど真ん中、すなわち中点である場合を考えてみましょう。このとき、x = y = c/2 となります。この条件をスチュワートの定理の式に代入してみます。

$a^2 (c/2) + b^2 (c/2) = c (d^2 + (c/2) (c/2))$
$(c/2) (a^2 + b^2) = c (d^2 + c^2/4)$

両辺をcで割ると（cは辺の長さなのでゼロではありません）:

$(a^2 + b^2) / 2 = d^2 + c^2/4$
$a^2 + b^2 = 2 d^2 + 2 (c^2/4)$
$a^2 + b^2 = 2 d^2 + c^2/2$

この最後の式は、まさに三角形の中線定理の式です。中線定理は、三角形の二辺の長さの2乗の和が、それらの辺の間の頂点から対辺の中点へ引いた中線の長さの2乗と対辺の長さの2乗の半分を足したものの2倍に等しいことを示しています。このように、スチュワートの定理は中線定理を特別な場合として含んでいる、より一般的な定理であることがわかります。

証明の概略

スチュワートの定理は、高校数学で学ぶ余弦定理を用いることで比較的容易に証明できます。

証明には、点Mにおける二つの角、∠AMCと∠BMCに着目します。これらの角は直線AB上にあり、互いに補角の関係（足すと180度になる関係）にあります。そこで、∠AMC = θ とおくと、∠BMC = 180° - θ = π - θ となります。

補角の性質より、cos(π - θ) = -cosθ という重要な関係が成り立ちます。

次に、三角形AMCと三角形BMCそれぞれに対して余弦定理を適用します。

三角形AMCについて、辺AC（長さb）に対する余弦定理は次のようになります。
$b^2 = x^2 + d^2 - 2 d x cosθ$

三角形BMCについて、辺BC（長さa）に対する余弦定理は次のようになります。
$a^2 = y^2 + d^2 - 2 d y cos(π - θ)$

ここで、cos(π - θ) = -cosθ の関係を用いると、二番目の式は次のように書き換えられます。
$a^2 = y^2 + d^2 + 2 d y cosθ$

これで、二つの式が得られました。目標はcosθの項を消去して、スチュワートの定理の式を導くことです。最初の式（$b^2$に関するもの）にyを掛け、二番目の式（$a^2$に関するもの）にxを掛けて、これらを辺々加えます。

$y (b^2) + x (a^2) = y (x^2 + d^2 - 2dx cosθ) + x (y^2 + d^2 + 2dy cosθ)$
$b^2y + a^2x = x^2y + d^2y - 2dxy cosθ + y^2x + d^2x + 2dxy cosθ$

右辺を見ると、$-2dxy cosθ$ と $+2dxy cosθ$ の項が互いに打ち消し合い、消滅します。

$b^2y + a^2x = x^2y + y^2x + d^2y + d^2x$

右辺の最初の二項 $x^2y + y^2x$ は、共通因数xyで括ることができます。
$x^2y + y^2x = xy(x + y)$

また、右辺の最後の二項 $d^2y + d^2x$ は、共通因数$d^2$で括ることができます。
$d^2y + d^2x = d^2(y + x)$

したがって、右辺全体は次のように整理できます。
$xy(x + y) + d^2(x + y) = (x + y)(xy + d^2)$

ここで、最初に述べたように、点Mが辺AB上の点であるならば、ABの長さcはxとyの和に等しい、つまり $c = x + y$ です。これを代入すると、右辺は次のようになります。
$c (xy + d^2)$

これで、左辺と右辺を合わせると、求めていたスチュワートの定理の式が得られます。

$b^2y + a^2x = c (d^2 + xy)$

この証明は、余弦定理という基本的なツールを使って、この定理がどのように導かれるかを示しています。スチュワートの定理は、メネラウスの定理やチェバの定理など、他の平面幾何学の定理とも関連があり、様々な問題解決に応用されています。

この定理は、単に辺の長さの関係を示すだけでなく、三角形内の線分の長さを求める際や、他の幾何学的性質を証明する際に非常に強力な道具となります。特に、中線の長さを一般化したものと見なすことができ、中線定理を含むより広範な関係性を捉えている点で重要です。

幾何学の問題を解く際には、スチュワートの定理の形を覚えておくと、計算を効率化できる場面が多くあります。複雑に見える式ですが、その背景にある幾何学的な意味合いを理解することで、定理の美しさと有用性をより深く感じることができるでしょう。

（※注：後半部分で文字数調整のため、応用や関連性に関する記述を増やしています。）

もう一度検索