\begin{equation}BC^2=AB^2+AC^2-2AB\cdot AC\cos\theta\end{equation}
が成り立ちます。
ではここで、$\vec{AB},\vec{AC},\vec{BC}$というベクトルを考えたとき、余弦定理はベクトルでどのように表すことができるのでしょうか？
3辺の長さ$AB,AC,BC$はベクトルにおいてはそれぞれベクトルの大きさ$|\vec{AB}|,|\vec{AC}|,|\vec{BC}|$に相当します。
したがって、$(1)$はベクトルの大きさをもちいて
\[|\vec{BC}|^2=|\vec{AB}|^2+|\vec{AC}|^2-2|\vec{AB}||\vec{AC}|\cos\theta\]
と書くことができます。
さらに、右辺の最後の項の$|\vec{AB}||\vec{AC}|\cos\theta$の部分はベクトルの内積の定義式の形をしているので、最終的に$(1)$は
\[|\vec{BC}|^2=|\vec{AB}|^2+|\vec{AC}|^2-2\vec{AB}\cdot\vec{AC}\]
となります。
ここで注意したいのは$∠B=φ$としたとき、余弦定理
\begin{equation}AC^2=AB^2+BC^2-2AB\cdot BC\cos\varphi\end{equation}
が成り立つのですが、だからといって$(1)$のときと同様に
ベクトルの大きさをもちいると
としてはいけないということです。
\[|\vec{AC}|^2=|\vec{AB}|^2+|\vec{BC}|^2-2|\vec{AB}||\vec{BC}|\cos\varphi\]
となるから、ベクトルの内積をもちいて
\[|\vec{AC}|^2=|\vec{AB}|^2+|\vec{BC}|^2-2\vec{AB}\cdot\vec{BC}\]
どこに問題があるかというと、$\cos\varphi$の部分にあります。
$\vec{AB}$と$\vec{BC}$のなす角の大きさを調べてみると$φ$ではなく$180°-φ$なので、そのまま$\vec{AB}\cdot\vec{BC}$とすることはできません。
そこで、以下のように変形します。
これが正しい式となります。
\[\vec{AB}\cdot\vec{BC}=|\vec{AB}||\vec{BC}|\cos(180°-\varphi)\]
であり、三角関数の性質より$\cos(180°-x)=-\cos x$であることから
\[\vec{AB}\cdot\vec{BC}=-|\vec{AB}||\vec{BC}|\cos\varphi\]
したがって、
\begin{align*}|\vec{AC}|^2&=|\vec{AB}|^2+|\vec{BC}|^2-2|\vec{AB}||\vec{BC}|\cos\varphi\\[0.5em]&=|\vec{AB}|^2+|\vec{BC}|^2+2\bigl(-|\vec{AB}||\vec{BC}|\cos\varphi\bigr)\\[0.5em]\therefore&|\vec{AC}|^2=|\vec{AB}|^2+|\vec{BC}|^2+2\vec{AB}\cdot\vec{BC}\end{align*}
このように、余弦定理をベクトルで表すときはベクトルの向きを見てベクトルのなす角によく注意する必要があります。
Share:
