\[\text{BP}:\text{PC}=\text{AB}:\text{AC}\]
という関係が成り立ちます。
$△\text{ABC}$に$∠\text{A}$の二等分線$\text{AP}$を引き、$∠\text{BAP}=∠\text{PAC}=θ$とします。
.png)
$△\text{ABP}$において余弦定理より
.png)
\[\text{BP}^2=\text{AB}^2+\text{AP}^2-2\text{AB}\cdot \text{AP}\cos\theta\]
が成り立ちます。これを$\cosθ$について解くと
\begin{align*}2\text{AB}\cdot
\text{AP}\cos\theta&=\text{AB}^2+\text{AP}^2-\text{BP}^2\\[0.5em]\cos\theta&=\frac{\text{AB}^2+\text{AP}^2-\text{BP}^2}{2\text{AB}\cdot
\text{AP}}\tag1\end{align*}
となります。
.png)
\[\text{CP}^2=\text{AC}^2+\text{AP}^2-2\text{AC}\cdot \text{AP}\cos\theta\]
が成り立ちます。これを$\cosθ$について解くと
\begin{align*}2\text{AC}\cdot
\text{AP}\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{AC}\cdot
\text{AP}}\tag2\end{align*}
となります。
$(1), (2)$より
\[\frac{\text{AB}^2+\text{AP}^2-\text{BP}^2}{2\text{AB}\cdot \text{AP}}&=\frac{\text{AC}^2+\text{AP}^2-\text{CP}^2}{2\text{AC}\cdot
\text{AP}}\]
両辺に$2\text{AB}\cdot \text{AC}\cdot \text{AP}$を掛けて
\[\text{AC}\bigl(\text{AB}^2+\text{AP}^2-\text{BP}^2\bigr)=\text{AB}\bigl(\text{AC}^2+\text{AP}^2-\text{CP}^2\bigr)\]
展開して整理すると
\[(\text{AB-AC})\text{AP}^2&=(\text{AB-AC})\text{AB}\cdot \text{AC-AC}\cdot \text{BP}^2+\text{AB}\cdot \text{CP}^2\]
ここで角の二等分線と比の性質$\text{BP}:\text{PC}=\text{AB}:\text{AC}$より
\[\text{PC}\cdot \text{AB}=\text{BP}\cdot \text{AC}\]
が成り立つので代入すると
\begin{align*}(\text{AB-AC})\text{AP}^2&=(\text{AB-AC})\text{AB}\cdot \text{AC-AB}\cdot \text{BP}\cdot \text{CP}+\text{AC}\cdot
\text{BP}\cdot \text{CP}\\[0.5em]&=(\text{AB-AC})\text{AP}^2&=(\text{AB-AC})\text{AB}\cdot \text{AC-}(\text{AB-AC})\text{BP}\cdot
\text{CP}\end{align*}
両辺を$\text{AB-AC}$で割ると（ただし$\text{AB-AC}\neq0$）
\[\text{AP}^2=\text{AB}\cdot \text{AC-BP}\cdot \text{CP}\tag{*}\]
となり、三角形の内角の二等分線の長さと3辺の長さとの間には上式のような関係が成り立つことがわかります。
この式の両辺の正の平方根をとれば
\[\text{AP}=\sqrt{\text{AB}\cdot \text{AC-BP}\cdot \text{CP}}\]
となり、三角形の内角の二等分線の長さを求められるようになります。
$\text{AB}=\text{AC}$のとき、すなわち$△\text{ABC}$が二等辺三角形のときは$∠\text{A}$の二等分線は$\text{BC}$の垂直二等分線でもあるので、$\text{BP}=\text{CP}$となります。
すると$\text{AB}=\text{AC}=s, \text{BP}=\text{CP}=t$とすれば$△\text{ABP}$でも$△\text{ACP}$でも三平方の定理より
\[\text{AP}^2=s^2-t^2\]
が成り立ちます。これは$(*)$に$\text{AB}=\text{AC}=s, \text{BP}=\text{CP}=t$を代入した場合のものと同一の式です。
したがって、$\text{AB, AC}$の長さに関わらず常に$(*)$の式が成り立つことがわかります。
スチュワートの定理を利用することでも同じ式を導くことができます。
Share:
