倭算数理研究所

科学・数学・学習関連の記事を、「倭マン日記」とは別に書いていくのだ!

三角関数の n 倍角の公式を導く ~余弦編~

もう少し三角関数の公式シリーズ(目次)。 前回はド・モアブルの公式を使って三角関数 { n } 倍角の公式を導きましたが、そこで導いた公式では  { \sin\theta,\,\cos\theta } が混在した式になっていました。 今回は別の方法で  { \sin\theta } もしくは  { \cos\theta } にもう少し統一された公式を導きます。 できうる限り  { \sin\theta } を用いるかもしくは  { \cos\theta } を用いるかで公式にいくつかの形があり得ますが、今回は  { \cos\theta } を主に使う式を導きます。

最終的に得られる公式や途中式は一見複雑に見えますが、高校数学で充分理解可能な範囲だと思います。

【この記事の目次】

余弦の n 倍角の公式

まずは  { \cos n\theta } { \cos\theta } で表す、余弦 { n } 倍角の公式を導きます。 証明の概要は、 { \cos n\theta } を2回微分すると

  { \displaystyle\begin{align*}
  \left(\cos n\theta\right)'' = -n^2 \cos n\theta 
\end{align*}}

のように、自分自身に  { -n^2 } がかかった式になるのに着目して、 { \cos \theta }多項式でこの関係を満たすものを求めるという流れです。

以下で「準備」の箇所で証明している事項は正直あまり面白い証明ではないので、そこを飛ばして「余弦の n 倍角の公式を導く」の箇所の最初に書いていることを認めるくらいでいいかと思います。

準備
 { \cos n\theta,\,\frac{\sin n\theta}{\sin\theta} } はそれぞれ  { \cos\theta } { n,\,n-1 } 次式で書けることを示します。 証明は数学的帰納法で。

 { n = 1 } のときは明らか。

 { n = 2 } のときは、倍角の公式

  { \displaystyle\begin{align*}
  \cos 2\theta &= 2\cos^2\theta - 1 \\
  \sin 2\theta &= 2\sin\theta\cos\theta
\end{align*}}

より成り立っていることが分かります。

 { n = k \quad (k \geqq 1) } のとき成り立っていると仮定して、 { n = k+2 } のときに成り立つことを示しましょう。  { \cos n\theta,\,\frac{\sin n\theta}{\sin\theta} } { \cos\theta }多項式で表したときの  { \cos^m\theta } の係数をそれぞれ  { c_m^{(n)},\,s_m^{(n)} } とおくと

  { \displaystyle\begin{align*}
  \cos n\theta &= \sum_{m=0}^n c_m^{(n)} \cos^m\theta, &
  \sin n\theta &= \sin\theta \sum_{m=0}^{n-1} s_m^{(n)} \cos^m\theta
\end{align*}}

となります。 このとき三角関数の加法定理より

  { \displaystyle\begin{align*}
  \cos(k+2)\theta
    &= \cos k\theta \cos 2\theta - \sin k\theta \sin2\theta \\
    &= (2\cos^2\theta-1)\sum_{m=0}^k c_m^{(k)} \cos^m\theta
      - 2\sin^2\theta \cos\theta \sum_{m=0}^{k-1} s_m^{(n)} \cos^m\theta \\
    &= 2\left(c_k^{(k)} + s_{k-1}^{(k)}\right) \cos^{k+2}\theta \\
      &\qquad + \sum_{m=0}^k \left(2c_{m-2}^{(k)} - c_m^{(k)} - 2s_{m-1}^{(k)} + 2s_{m-3}^{(k)}\right) \cos^m\theta \\
      &\qquad\qquad \left(\textrm{ただし} \, \ell < 0 \, \textrm{のとき} \,
        c_\ell^{(k)} = 0,\,s_\ell^{(k)} = 0 \, \textrm{とする}\right)
\end{align*}}

となって  { \cos n\theta } { \cos\theta } { k+2 } 次式で書けることが示せました。 同様にして

  { \displaystyle\begin{align*}
  \sin(k+2)\theta
    &= \sin k\theta \cos 2\theta + \cos k\theta \sin 2\theta \\
    &= \sin\theta(2\cos^2\theta - 1) \sum_{m=0}^{k-1} s_m^{(k)} \cos^m\theta
      + 2\sin\theta\cos\theta \sum_{m=0}^k c_m^{(k)} \cos^m\theta \\
    &= \sin\theta\Big[2\left(s_{k-1}^{(k)} + c_k^{(k)}\right) \cos^{k+1}\theta \\
      &\qquad + \sum_{m=0}^{k-1} \left(2s_{m-2}^{(k)} - s_m^{(k)} - 2c_{m-1}^{(k)}\right) \cos^m\theta\Big] \\
      &\qquad\qquad \left(\textrm{ただし} \, \ell < 0 \, \textrm{のとき} \,
        c_\ell^{(k)} = 0,\,s_\ell^{(k)} = 0 \, \textrm{とする}\right)
\end{align*}}

となって、 { \frac{\sin (k+2)\theta}{\sin\theta} } { \cos\theta } { k+1 } 次式で書けることが示せました。  証明終了。

補足
上記で定義した係数  { c_m^{(n)},\,s_m^{(n)} } のうち、特に最高次の係数は

  { \displaystyle\begin{align*}
  c_n^{(n)} = s_{n-1}^{(n)} = 2^{n-1}
\end{align*}}

を満たします。 この関係は後で使います。 証明は、上記の証明で  { 2\left(c_k^{(k)} + s_{k-1}^{(k)}\right) = 2^{k+1} } となることに注意すればできます。

公式1つ
後ほど使うので、 { m }自然数として  { \cos^m\theta } の2階微分を計算しておきます:

  { \displaystyle\begin{align*}
  (\cos^m\theta)'
    &= -m\cos^{m-1}\theta \sin\theta \\[2mm]
  (\cos^m\theta)''
    &= m(m-1)\cos^{m-2}\theta \sin^2\theta - m \cos^{m-1}\theta\cos\theta \\
    &= m(m-1)\cos^{m-2}\theta (1-\cos^2\theta) - m \cos^m\theta \\
    &= -m^2\cos^m\theta + m(m-1) \cos^{m-2}\theta
\end{align*}}

結果だけを書くと

  { \displaystyle\begin{align*}
  (\cos^m\theta)'' = -m^2\cos^m\theta + m(m-1) \cos^{m-2}\theta
\end{align*}}

となります。

余弦の n 倍角の公式を導く
「準備」の箇所で定義した  { c_m^{(n)} } をここでも使います:

  { \displaystyle\begin{align*}
  \cos n\theta &= \sum_{m=0}^n c_m^{(n)} \cos^m\theta \qquad
    \left(c_n^{(n)} = 2^{n-1}\right)
\end{align*}}

両辺を  { \theta } で2回微分すると、左辺は

  { \displaystyle\begin{align*}
  \left(\cos n\theta\right)''
    &= -n^2\cos n\theta \\
    &= \sum_{m=0}^n \left(-n^2c_m^{(n)}\right) \cos^m\theta
\end{align*}}

また右辺は、「公式1つ」の箇所で導いた公式を使って

  { \displaystyle\begin{align*}
  \left(\sum_{m=0}^n c_m^{(n)} \cos^m\theta\right)''
    &= \sum_{m=0}^n c_m^{(n)} \left(\cos^m\theta\right)'' \\
    &= \sum_{m=0}^n c_m^{(n)} \left\{-m^2\cos^m\theta + m(m-1) \cos^{m-2}\theta\right\} \\
    &= -\sum_{m=0}^n m^2 c_m^{(n)}\cos^m\theta + \sum_{m=2}^n m(m-1) c_m^{(n)} \cos^{m-2}\theta \\
    &= -\sum_{m=0}^n m^2 c_m^{(n)}\cos^m\theta + \sum_{m=0}^n (m+2)(m+1) c_{m+2}^{(n)} \cos^m\theta \\
    &= \sum_{m=0}^n \left\{-m^2 c_m^{(n)} +  (m+2)(m+1) c_{m+2}^{(n)}\right\} \cos^m\theta \\
\end{align*}}

となります。 両辺で  { \cos^m\theta } の係数を比べて

  { \displaystyle\begin{align*}
  -n^2c_m^{(n)} &= -m^2 c_m^{(n)} +  (m+2)(m+1) c_{m+2}^{(n)} \\
  \therefore \, -(n-m)(n+m)c_m^{(n)} &= (m+2)(m+1) c_{m+2}^{(n)}
\end{align*}}

を得ます。 この漸化式より  { c_m^{(n)} \ne 0 } かつ  { c_{m+2}^{(n)} = 0 } となるのは  { n = m } のときで、また  { n } と異なる偶奇を持つ  { m } では  { c_m^{(n)} = 0 } となることが分かります。  { p }自然数として、上記の漸化式を繰り返し使って  { c_{n-2p}^{(n)} } { c_n^{(n)} } で表すと

  { \displaystyle\begin{align*}
  c_{n-2p}^{(n)}
    &= -\frac{(n-2p+2)(n-2p+1)}{2p\cdot2(n-p)} c_{n-2p+2}^{(n)} \\
    &= (-1)^2\frac{(n-2p+4)(n-2p+3)(n-2p+2)(n-2p+1)}{2^2p(p-1)\cdot2^2(n-p)(n-p+1)} c_{n-2p+4}^{(n)} \\
    &\qquad\vdots \\
    &= (-1)^p \frac{n(n-1)\cdots(n-2p+1)}{2^{2p}\cdot p(p-1)\cdots 1 \cdot (n-1)(n-2)\cdots(n-p)} c_n^{(n)} \\
    &= (-1)^p \frac{\frac{n!}{(n-2p)!}}{2^{2p}p!\frac{(n-1)!}{(n-p-1)!}} c_n^{(n)} \\
    &= (-1)^p n \frac{(n-p-1)!}{p!(n-2p)!} \frac{c_n^{(n)}}{2^{2p}} \\
    &= \frac{(-1)^p n}{n-p} {}_{n-p}C_p\;2^{n-2p-1} \qquad \left(\because c_n^{(n)} = 2^{n-1}\right) 
\end{align*}}

 { {}_nC_r = \binom{n}{r} = \frac{n!}{(n-r)!r!} } は二項係数(組合せ数)です。 これを元の級数に代入して( { n } と偶奇の異なる  { m } の項は消えるので  { p = \frac{n-m}{2} } として)

  { \displaystyle\begin{align*}
  \cos n\theta
    &= \sum_{p=0}^{\left[n/2\right]} \frac{(-1)^pn}{n-p} {}_{n-p}C_p\;2^{n-2p-1}\cos^{n-2p}\theta \\
    &= \sum_{p=0}^{\left[n/2\right]} \frac{(-1)^pn}{2(n-p)} {}_{n-p}C_p\;\left(2\cos\theta\right)^{n-2p}
\end{align*}}

ただし、 { [x] } { x } を越えない最大の整数を表すガウス記号です。

式を具体的に書き下す
小さな  { n } について具体的に式を書き下しておきましょう。  { n = 0 } の場合は成り立たないようですね。  { n = 1 } の場合はきちんと  { \cos\theta } になります。

 { n = 2 } の場合

  { \displaystyle\begin{align*}
  \cos 2\theta
    &= \sum_{p=0}^1 \frac{(-1)^p}{2-p} {}_{2-p}C_p\;\left(2\cos\theta\right)^{2-2p} \\
    &= 2\cos^2\theta - 1
\end{align*}}

 { n = 3 } の場合

  { \displaystyle\begin{align*}
  \cos 3\theta
    &= \sum_{p=0}^1 \frac{(-1)^p\cdot 3}{2(3-p)} {}_{3-p}C_p\;\left(2\cos\theta\right)^{3-2p} \\
    &= 4\cos^3\theta - 3\cos\theta
\end{align*}}

 { n = 4 } の場合

  { \displaystyle\begin{align*}
  \cos 4\theta
    &= \sum_{p=0}^2 \frac{(-1)^p\cdot 4}{2(4-p)} {}_{4-p}C_p\;\left(2\cos\theta\right)^{4-2p} \\
    &= 8\cos^4\theta - 8\cos^2\theta + 1
\end{align*}}

 { n = 5 } の場合

  { \displaystyle\begin{align*}
  \cos 5\theta
    &= \sum_{p=0}^2 \frac{(-1)^p\cdot 5}{2(5-p)} {}_{5-p}C_p\;\left(2\cos\theta\right)^{5-2p} \\
    &= 16\cos^5\theta - 20\cos^3\theta + 5\cos\theta
\end{align*}}

チェビシェフの多項式
 { \cos n\theta } { \cos\theta } で表した式で  { x = \cos\theta } とおいたときの  { x }多項式チェビシェフの多項式 (Chebyshev polynomials, Tchebycheff polynomials) と呼ばれます:

  { \displaystyle\begin{align*}
  T_n(x)
    &= \sum_{p=0}^{\left[n/2\right]} \frac{(-1)^pn}{2(n-p)} {}_{n-p}C_p\;\left(2x\right)^{n-2p}
\end{align*}}

いくつか具体的に書き下すと

  { \displaystyle\begin{align*}
  T_0(x) &= 1 \\
  T_1(x) &= x \\
  T_2(x) &= 2x^2 - 1 \\
  T_3(x) &= 4x^3 - 3x \\
  T_4(x) &= 8x^4 - 8x^2 + 1 \\
  T_5(x) &= 16x^5 - 20x^3 + 5x
\end{align*}}

となります。

定義より、余弦 { n } 倍角の公式はチェビシェフの多項式  { T_n(x) } を使って

  { \displaystyle\begin{align*}
  \cos n\theta = T_n(\cos\theta)
\end{align*}}

となります。

正弦の n 倍角の公式

前節の「準備」の箇所で示した

  { \displaystyle\begin{align*}
  \sin n\theta &= \sin\theta \sum_{m=0}^{n-1} s_m^{(n)} \cos^m\theta \qquad 
    \left(s_{k-1}^{(n)} = 2^{n-1}\right)
\end{align*}}

を使うと  { \sin n\theta } をできるだけ  { \cos\theta } を使って表す公式が導けます。 実際に必要なのはできるだけ  { \sin\theta } を使って表す式でしょうけど。 導き方は前節の余弦 { n } 倍角の公式を導いた手順と同じなので、あまり細かく導きません。

正弦の n 倍角の公式を導く
 { \sin\theta\cos^m\theta } を2回微分すると以下のようになります:

  { \displaystyle\begin{align*}
  \left(\sin\theta\cos^m\theta\right)''
    = \sin\theta\Big\{-(m+1)^2\cos^m\theta + m(m-1)\cos^{m-2}\theta\Big\}
\end{align*}}

これを踏まえて

  { \displaystyle\begin{align*}
  \sin n\theta &= \sin\theta \sum_{m=0}^{n-1} s_m^{(n)} \cos^m\theta
\end{align*}}

の両辺を2回微分して、上記の公式を使い、両辺の  { \sin\theta\cos^m\theta } の係数を比べると

  { \displaystyle\begin{align*}
  -(n-m-1)(n+m+1) s_{m}^{(n)} = (m+2)(m+1)s_{m+2}^{(n)}
\end{align*}}

を得ます。  { s_{m}^{(n)} } { m } { n } と異なる偶奇を持つ場合にのみ0でないので、漸化式を繰り返し使って  { s_{n-2p-1}^{(n)} } { s_{n-1}^{(n)} } で表すと

  { \displaystyle\begin{align*}
  s_{n-2p-1}^{(n)} = (-1)^p {}_{n-p-1}C_p 2^{n-2p-1}
\end{align*}}

となります。 これを元の級数に代入して( { p = \frac{n-m-1}{2} } として)

  { \displaystyle\begin{align*}
  \sin n\theta &= \sin\theta \sum_{p=0}^{\left[(n-1)/2\right]} (-1)^p {}_{n-p-1}C_p \left(2\cos\theta\right)^{n-2p-1}
\end{align*}}

を得ます。  { \cos n\theta } の公式よりこちらの方が綺麗にまとまってますけど・・・

式を具体的に書き下す
 { n=0 } の場合は和の上限からして既に意味を成してないのでパス。  { n=1 } の場合はきちんと  { \sin\theta } になります。

 { n=2 } の場合

  { \displaystyle\begin{align*}
  \sin 2\theta
    &= \sin\theta \sum_{p=0}^0 (-1)^p {}_{1-p}C_p \left(2\cos\theta\right)^{1-2p} \\
    &= 2\sin\theta\cos\theta
\end{align*}}

 { n=3 } の場合

  { \displaystyle\begin{align*}
  \sin 3\theta
    &= \sin\theta \sum_{p=0}^1 (-1)^p {}_{2-p}C_p \left(2\cos\theta\right)^{2-2p} \\
    &= 4\sin\theta\cos^2\theta - \sin\theta
\end{align*}}

 { n=4 } の場合

  { \displaystyle\begin{align*}
  \sin 4\theta
    &= \sin\theta \sum_{p=0}^1 (-1)^p {}_{3-p}C_p \left(2\cos\theta\right)^{3-2p} \\
    &= 8\sin\theta\cos^3\theta - 4\sin\theta\cos\theta
\end{align*}}

 { n=5 } の場合

  { \displaystyle\begin{align*}
  \sin 5\theta
    &= \sin\theta \sum_{p=0}^2 (-1)^p {}_{4-p}C_p \left(2\cos\theta\right)^{4-2p} \\
    &= 16\sin\theta\cos^4\theta - 12\sin\theta\cos^2\theta + 1
\end{align*}}

まとめ

今回導いた  { n } 倍角の公式

  { \displaystyle\begin{align*}
  \cos n\theta
    &= \sum_{p=0}^{\left[n/2\right]} \frac{(-1)^pn}{2(n-p)} {}_{n-p}C_p\;\left(2\cos\theta\right)^{n-2p} \\[2mm]
  \sin n\theta
    &= \sin\theta \sum_{p=0}^{\left[(n-1)/2\right]} (-1)^p {}_{n-p-1}C_p \left(2\cos\theta\right)^{n-2p-1}
\end{align*}}

【追記】

  • チェビシェフの多項式について追記しました。