三角関数の代表的な定理のひとつである余弦定理ですが、今回は正弦定理と加法定理を使って余弦定理の式を求めてみたいと思います。
余弦定理の式は
ですが、これを変形した
を求めたいと思います。まず正弦定理より
(Rは三角形ABCの外接円の半径)
ここで 2R = kとおくと
a=ksinA、b=ksinB、c=ksinC となるので
ここで、C=180°-(A+B) なので
sinC=sin{180°-(A+B)}=sin(A+B)
=sinAcosB+cosAsinB (加法定理)
この結果を先ほどの式に代入して
かっこの中を計算すると
よって
もっと数学の実力を伸ばしたいという方は次の動画を見てみましょう。