Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/Main/Regular/GeometricShapes.js
横画面推奨!
モバイル機器の場合、数式が見切れる場合があります。

2023年7月17日

スチュワートの定理

スチュワートの定理
 △\text{ABC}の辺\text{BC}上に点\text{P}をうち、線分\text{AP}を引くと
\text{CP}\cdot\text{AB}^2+\text{BP}\cdot\text{AC}^2=\text{BC}\bigl(\text{AP}^2+\text{BP}\cdot\text{CP}\bigr)
という関係が成り立ちます。この関係のことをスチュワートの定理といいます。

なぜこれが成り立つといえるのでしょうか?


 余弦定理を利用して成り立つことを確かめます。
△\text{ABC}の辺\text{BC}上に点\text{P}をうち、∠\text{APB}=θとします。
スチュワートの定理 △ABPで余弦定理
 △\text{ABP}に着目して、余弦定理より
\text{AB}^2=\text{AP}^2+\text{BP}^2-2\text{AP}\cdot\text{BP}\cos\theta
が成り立ちます。
これを\cosθについて解くと
\begin{align*}2\text{AP}\cdot \text{BP}\cos\theta&=\text{AP}^2+\text{BP}^2-\text{AB}^2\\[0.5em]\cos\theta&=\frac{\text{AP}^2+\text{BP}^2-\text{AB}^2}{2\text{AP}\cdot \text{BP}}\tag1\end{align*}
となります。

スチュワートの定理 △ACPで余弦定理
 次に△\text{ACP}に着目すると∠\text{APB}=θより∠\text{APC}=180°-θなので、余弦定理より
\text{AC}^2=\text{AP}^2+\text{CP}^2-2\text{AP}\cdot\text{CP}\cos(180°-\theta)
が成り立ちます。
また、三角関数の性質より\cos(180°-θ)=-\cosθなので
\begin{align*}\text{AC}^2&=\text{AP}^2+\text{CP}^2-2\text{AP}\cdot \text{CP}(-\cos\theta)\\[0.5em]&=\text{AP}^2+\text{CP}^2+2\text{AP}\cdot \text{CP}\cos\theta\end{align*}
となり、\cosθについて解くと
\begin{align*}2\text{AP}\cdot \text{CP}\cos\theta&=\text{AC}^2-\text{AP}^2-\text{CP}^2\\[0.5em]\cos\theta&=\frac{\text{AC}^2-\text{AP}^2-\text{CP}^2}{2\text{AP}\cdot \text{CP}}\tag2\end{align*}
となります。

 (1), (2)より
\begin{align*}\frac{\text{AP}^2+\text{BP}^2-\text{AB}^2}{2\text{AP}\cdot \text{BP}}&=\frac{\text{AC}^2-\text{AP}^2-\text{CP}^2}{2\text{AP}\cdot \text{CP}}\\[0.5em]\frac{\text{AP}^2+\text{BP}^2-\text{AB}^2}{\text{BP}}&=\frac{\text{AC}^2-\text{AP}^2-\text{CP}^2}{\text{CP}}\\[0.5em]\text{CP}\bigl(\text{AP}^2+\text{BP}^2-\text{AB}^2\bigr)&=\text{BP}\bigl(\text{AC}^2-\text{AP}^2-\text{CP}^2\bigr)\\[0.5em]\text{CP}\cdot \text{AB}^2+\text{BP}\cdot\text{AC}^2&=(\text{BP}+\text{CP})\text{AP}^2+\text{BP}\cdot \text{CP}(\text{BP}+\text{CP})\\[0.5em]&=(\text{BP}+\text{CP})\bigl(\text{AP}^2+\text{BP}\cdot\text{CP}\bigr)\end{align*}
\text{BP}+\text{CP}=\text{BC}より
\text{CP}\cdot\text{AB}^2+\text{BP}\cdot\text{AC}^2=\text{BC}\bigl(\text{AP}^2+\text{BP}\cdot\text{CP}\bigr)
となり、スチュワートの定理が成り立つことがわかります。

 点\text{P}が辺\text{BC}m:nに内分すると考えると\text{BP}=\dfrac{m}{m+n}\text{BC, CP}=\dfrac{n}{m+n}\text{BC}となるので、スチュワートの定理の式は以下のように変形できます。
\begin{align*}\frac{n}{m+n}\text{BC}\cdot\text{AB}^2+\frac{m}{m+n}\text{BC}\cdot \text{AC}^2&=\text{BC}\left\{\text{AP}^2+\frac{mn}{(m+n)^2}\text{BC}^2\right\}\end{align*}
両辺に\dfrac{m+n}{\text{BC}}を掛ければ
n\text{AB}^2+m\text{AC}^2=(m+n)\text{AP}^2+\frac{mn}{m+n}\text{BC}^2

 点\text{P}が辺\text{BC}の中点であるとき、\text{BP}=\text{CP, BC}=2\text{BP}となるためスチュワートの定理の式は
\begin{align*}\text{BP}\cdot\text{AB}^2+\text{BP}\cdot \text{AC}^2&=2\text{BP}\bigl(\text{AP}^2+\text{BP}^2\bigr)\\[0.5em]\therefore&\text{AB}^2+\text{AC}^2=2\bigl(\text{AP}^2+\text{BP}^2\bigr)\end{align*}
となり、中線定理の式となります。

 線分\text{AP}∠\text{BAC}の二等分線であるとき、スチュワートの定理から線分\text{AP}の長さを求める式をつくることができます。
三角形の内角の二等分線と比の性質より\text{BP}:\text{CP}=\text{AB}:\text{AC}が成り立ち、これを変形すると\text{CP}\cdot \text{AB}=\text{BP}\cdot\text{AC}となります。
スチュワートの定理の式を変形します。
\begin{align*}\text{CP}\cdot\text{AB}^2+\text{BP}\cdot\text{AC}^2&=\text{BC}\cdot\text{AP}^2+\text{BC}\cdot\text{BP}\cdot \text{CP}\\[0.5em]\text{BC}\cdot\text{AP}^2&=\text{CP}\cdot\text{AB}^2+\text{BP}\cdot\text{AC}^2-\text{BC}\cdot\text{BP}\cdot \text{CP}\end{align*}
ここで、\text{CP}\cdot\text{AB}=\text{BP}\cdot\text{AC}より
\begin{align*}\text{BC}\cdot\text{AP}^2&=\text{BP}\cdot\text{AB}\cdot\text{AC}+\text{CP}\cdot\text{AB}\cdot \text{AC}-\text{BC}\cdot\text{BP}\cdot\text{CP}\\[0.5em]&=(\text{BP}+\text{CP})\text{AB}\cdot\text{AC}-\text{BC}\cdot\text{BP}\cdot \text{CP}\end{align*}
\text{BP}+\text{CP}=\text{BC}より
\begin{align*}\text{BC}\cdot\text{AP}^2&=\text{BC}\cdot \text{AB}\cdot\text{AC}-\text{BC}\cdot\text{BP}\cdot \text{CP}\\[0.5em]\text{AP}^2&=\text{AB}\cdot\text{AC}-\text{BP}\cdot\text{CP}\\[0.5em]\text{AP}&=\sqrt{\text{AB}\cdot \text{AC}-\text{BP}\cdot\text{CP}}&(\because \text{AP}>0)\end{align*}
となります。

Share:
share
◎Amazonのアソシエイトとして、当サイト「数学について考えてみる」は適格販売により収入を得ています。
Powered by Blogger.

PR

blogmura_pvcount
ブログランキング・にほんブログ村へ