[五分解説] 二年生に忘れられた夢 ー 三角函数の算法について

二年生に忘れられた夢
前提知識 : 三角函数の加法定理, 和積・積和の公式
$\ $
$\ $
$\ $
$\ $
$\ $
$\ $

扇形式

お久し振りです. 今回の記事は, 三角函数の計算について, 私の考えるところを簡単に書くことに致します. とくに高校生の方に人気のある話題だと思います.

実数 (または複素数) の四つ組$(x,y,z,w)$の中で, 等式
\begin{align} x+y=z+w \end{align}
をみたすものにたいし, 以下四種の三角比の式を考えます.
\begin{align} &\cos(x)\cos(y)-\cos(z)\cos(w),\\ &\\ &\cos(x)\sin(y)-\cos(z)\sin(w),\\ &\\ &\sin(x)\sin(y)-\sin(z)\sin(w),\\ &\\ &\cos(x)\cos(y)+\sin(z)\sin(w). \end{align}
これらをかりに扇せん形けい式と呼ぶことにすれば, つぎの定理が成立します.

ついでに, 扇形式から$\cos$や$\sin$を取りはずして
\begin{align} xy-zw \end{align}
という多項式函数を考えてみますと, $x+y=z+w$ならば,
\begin{align} (x+d)(y+d)-(z+d)(w+d)=xy-zw \end{align}
になりますから, 三角函数のものと同じ性質をもつことがわかります.
(なぜこれらの性質は共通しているのしょうか ? Euler の公式を知っている方は考察してみるといいでしょう. )
$\ $
$\ $
$\ $
$\ $
$\ $
$\ $

具体例

扇形式の定理をつかって, 加法定理や積和・和積の公式を導出してみせたいと思います.
$\ $
$\ $
$\ $

加法定理

$\cos(x+y)$を計算するために, これを$\cos(x+y)\cos(0)+\sin(x+y)\sin(0)$のように見なします. すると扇形式の型になりますから, それぞれの引数より$y$を引いて,
\begin{align} &\cos(x+y)\\ =\;&\cos(x+y)\cos(0)+\sin(x+y)\sin(0)\\ =\;&\cos(x)\cos(-y)+\sin(x)\sin(-y)\\ =\;&\cos(x)\cos(y)-\sin(x)\sin(y) \end{align}
という結果になります. 次に$\sin(x+y)$を計算するために, これを$\sin(x+y)\cos(0)-\sin(0)\cos(x+y)$に換えれば,
\begin{align} &\sin(x+y)\\ =\;&\sin(x+y)\cos(0)-\sin(0)\cos(x+y)\\ =\;&\sin(x)\cos(-y)-\sin(-y)\cos(x)\\ =\;&\sin(x)\cos(y)+\sin(y)\cos(x). \end{align}
加法定理については以上です.
$\ $
$\ $
$\ $

三平方の定理の式

$\cos(x)^2+\sin(x)^2$も一種の扇形式として見ることができますので, 各成分から$x$を引くと,
\begin{align} &\cos(x)^2+\sin(x)^2\\ =\;&\cos(0)^2+\sin(0)^2\\ =\;&1. \end{align}
これは三平方の定理の式と同じです.
$\ $
$\ $
$\ $

和積・積和の公式

すこし複雑になりますが, 和積の公式も確かめることができます.
\begin{align} &\cos(x)+\cos(y)\\ =\;&\cos(x)\cos(0)+\sin(x)\sin(0)\\ &\qquad+\sin(y)\sin(0)+\cos(y)\cos(0)\\ =\;&\cos\left(x-\frac{x+y}{2}\right)\cos\left(-\frac{x+y}{2}\right)+\sin\left(x-\frac{x+y}{2}\right)\sin\left(-\frac{x+y}{2}\right)\\ &\qquad+\sin\left(y-\frac{x+y}{2}\right)\sin\left(-\frac{x+y}{2}\right)+\cos\left(y-\frac{x+y}{2}\right)\cos\left(-\frac{x+y}{2}\right)\\ =\;&\cdots\\ =\;&2\cos\left(\frac{x+y}{2}\right)\cos\left(\frac{x-y}{2}\right). \end{align}
また積和の公式についても,
\begin{align} &\cos(x)\cos(y)\\ =\;&\frac{\,1\,}{\,2\,}\left(\left(\cos(x)\cos(y)+\sin(x)\sin(y)\right)+\left(\cos(x)\cos(y)-\sin(x)\sin(y)\right)\right)\\ =\;&\frac{\,1\,}{\,2\,}\left(\left(\cos(x)\cos(y)+\sin(x)\sin(y)\right)+\left(\cos(x)\cos(-y)+\sin(x)\sin(-y)\right)\right)\\ =\;&\frac{\,1\,}{\,2\,}\left(\left(\cos(x-y)\cos(0)+\sin(x-y)\sin(0)\right)+\left(\cos(x+y)\cos(0)+\sin(x+y)\sin(0)\right)\right)\\ =\;&\frac{\,1\,}{\,2\,}\left(\cos(x+y)+\cos(x-y)\right). \end{align}
こんな具合に計算したらいかがでしょうか.
$\ $
$\ $
$\ $
今回は三角函数を主題に扇形式を解説したのでありますが, もともと私がこの定理に気が付いたのは, Lucas 数と Fibonacci 数の等式を研究していたときのことでありました. Fibonacci 数の恒等式につきましては, またの機会にブログ記事の種にしようと思います.

それでは, 長い解説にお付きあい頂きましてありがとうございました.
$\ $
$\ $
$\ $
$\ $
$\ $
$\ $