余弦定理を解析します

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

 余弦定理の図

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

 θ がπに近づくほど増加率が落ちているのが気になるところです。 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}\]
という式が得られます。グラフは次のようになります。

余弦定理θ固定Lグラフ

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

エクセルや数学に関するコメントをお寄せください

  1. スミトモユキノブ より:

    自分が気になっている内容の答えがここに書かれていたような気がします。ありがとうございます。

    • Blog Cat より:

      ありがとうございます。
      数学の定理や公式は少し極端な状況に適用してみると、その本質が見えることがあります。