余弦定理を解析します

　三角比を学び始めると比較的早い段階で正弦定理と余弦定理を習うと思いますが、それだけ応用範囲が広く使い勝手の良い定理なのです。今回は余弦定理の意味を微積分を用いて探ってみたいと思います。

　

　余弦定理は上図にあるように、三角形のある頂点の向かいにある辺の長さ L は頂点をはさむ辺の長さ a, b によって
　
\[L(\theta)=\sqrt{a^{2}+b^{2}-2abcos\theta}\tag{1}\]
と表せるというものです。いわば（直角三角形に用いる）ピタゴラスの定理の一般バージョンというわけです。実際、θ = π/2 でピタゴラスの定理と一致します。
　θ < π/2 なら cosθ は正ですから √ の中身にある a ² + b² から値が少し引かれて、ピタゴラスの定理で得られる直角三角形の辺の長さよりも短くなります。
　θ > π/2 なら cosθ は負となって、逆に直角三角形の辺の長さよりも長くなります。
　　

2 辺の長さを固定します

　さて、ここでちょっとこんなことを考えてみます。下図のように 2 辺が 1 の 2 等辺三角形を考えて、θ をどんどん大きくして三角形を広げていくのです。

　

　すると最後には三角形は潰れてしまって、L(θ) は 2 辺を足した長さ 2 に等しくなるはずです。公式 (1) で a = b = 1 とおくと

\[L(\theta)=\sqrt{2(1-cos\theta)}\tag{2}\]
　θ = πを代入すれば L(θ) = 2 となりますね。
　辺の長さが増加する様子を Excel のグラフで確認してみます。

　

　θ がπに近づくほど増加率が落ちているのが気になるところです。 L(θ) を微分して詳しく解析してみましょう。無理関数の微分は少し面倒なので、

L2 = 2(1 - cosθ)

の形で両辺を θ で微分します：

L (dL/dθ) = sinθ

　L の表式を再度代入して
　
\[\frac{dL}{d\theta }=\frac{sin\theta }{\sqrt{2(1-cos\theta )}}\tag{3}\]
が得られます。Excel でグラフを描いてみると ……

　

　角度が非常に小さい時には、角度 + 1 [rad] に対して対辺の長さも + 1 という割合で急増します。角度が開いていくにしたがって増加率は減少し、θ = πに近いところでは θ の変化にともなう対辺の増加はほとんどありません。
　

角度を固定します

　今度は θ = π/3 に固定して、1 辺の長さを下図のように直線に沿って変化させます。

　

　公式 (1) で a = 1, b = x, θ = π/3 とおくと
　
\[L(x)=\sqrt{x^{2}-x-1}\tag{4}\]
という式が得られます。グラフは次のようになります。

　今度は辺の長さ x によって三角形の形が決まります。
　グラフではちょうど x = 1/2 のところ、すなわち直角三角形になるところを境にして辺の長さは減少から増加に転じています。 x はいくらでも大きくできますから、この場合の L は x → ∞ で発散します。無限大の長さの辺というのも想像しにくいですけどね …… 。