次へ: 7 未定係数法 上へ: cosmx・sinnx の積分について 前へ: 5 積→和の公式を利用する方法 (PDF ファイル: cosn-1.pdf)


6 オイラーの公式を利用する方法

4 節の方法も 5 節の方法も、 途中の計算には実は明確な方針はなく、やり方は色々ありうる。 そういう意味で、やや機械的にはやりにくいという点もある。

それを解消するには、複素数を利用して機械的に計算するという方法がある。 そこで利用されるのが以下のオイラーの公式である。

\begin{displaymath} \left\{\begin{array}{ll} e^{i\theta} & = \cos\theta + i\si... ... e^{-i\theta} & = \cos\theta - i\sin\theta \end{array}\right.\end{displaymath} (16)

この公式自体の説明は省略するが、 これを利用すると $\cos x$, $\sin x$ は複素指数を用いて以下のように書ける。
\begin{displaymath} \cos x = \frac{e^{ix}+e^{-ix}}{2},\hspace{1zw} \sin x = \frac{e^{ix}-e^{-ix}}{2i}\end{displaymath} (17)

これを使えば、5 節と同等の $\cos^n x$ の形の式から $\cos m x$ の形の式の和への変形が、 展開と指数法則により機械的に行える。 例えば $\cos^4 x$, $\cos^6 x$ でそれを行ってみる。

まず、$\cos^4 x$ は、

\begin{eqnarray*}\cos^4 x &=& \left(\frac{e^{ix}+e^{-ix}}{2}\right)^4 = \fr... ...{16} (2\cos 4x+8\cos 2x+6) = \frac{1}{8} (\cos 4x+4\cos 2x+3)\end{eqnarray*}


となり、4 乗の二項展開の公式から容易に 4 節の式 (13) と同じ式が得られることになる。

$\cos^6 x$ も、

\begin{eqnarray*}\cos^6 x &=& \left(\frac{e^{ix}+e^{-ix}}{2}\right)^6 &=&... ...cos 2x+20) &=& \frac{1}{32} (\cos 6x+6\cos 4x+15\cos 2x+10)\end{eqnarray*}


となり、6 乗の二項展開の公式から 5 節の (15) と同じ式が得られる。

これらの例からもわかると思うが、 この方法は三角関数の公式を利用するよりは機械的で計算は楽であるから、 それなりに有用な方法だと思う。 ただし、オイラーの公式 (16) を知らないと使えない方法なので、 実際に基礎数理の講義等でこの方法を導入するのは難しい。

ついでに $\cos^6x\sin^4 x$ ($I(6,4)$) の場合も計算してみるが、この場合は、

のような 2 つの方法が考えられるが、前者は展開の計算がやや煩雑であるし、 後者は $\cos x$ の次数が上がるため、係数の計算がやはりやや面倒になる。 このそれぞれを行ってみる。

まずは前者であるが、一応半角の公式

\begin{displaymath} \cos x\sin x = \frac{1}{2} \sin 2x \end{displaymath}

を利用すれば多少は楽になるが、それでも展開はそれなりに煩雑である。
\begin{eqnarray*}\cos^6 x\sin^4 x &=& \cos^2 x(\cos x\sin x)^4 = \frac{1}{16... ...10}} (e^{2ix}+2+e^{-2ix})(e^{8ix}-4e^{4ix}+6-4e^{-4ix}+e^{-8ix})\end{eqnarray*}


となり、この先の展開がやや面倒で、
\begin{eqnarray*}\lefteqn{\frac{1}{2^{10}} (e^{2ix}+2+e^{-2ix}) (e^{8ix}-4e^{4... ... \frac{1}{2^9} (\cos 10x+2\cos 8x-3\cos 6x-8\cos 4x+2\cos 2x +6)\end{eqnarray*}


より、
$\displaystyle {\cos^6 x\sin^4 x }$
  $\textstyle =$ $\displaystyle \frac{1}{2^9} \cos 10x + \frac{1}{2^8} \cos 8x - \frac{3}{2^9} \cos 6x -\frac{1}{2^6} \cos 4x + \frac{1}{2^8} \cos 2x + \frac{3}{2^8}$ (18)

となる。

次に後者の $\cos x$ に直してから代入を行う方法で計算してみる。 この場合は積の展開は二項定理を用いるだけなのでその点は難しくない。

\begin{eqnarray*}\cos^6 x\sin^4 x &=& \cos^6 x(1-\cos^2 x)^2 = \cos^6 x - 2... ...e^{-ix}}{2}\right)^8 +\left(\frac{e^{ix}+e^{-ix}}{2}\right)^{10}\end{eqnarray*}


ここで、6 次、8 次、10 次の二項係数は、それぞれ となるので、 $e^{nix}$ の $n<0$ の方は $n>0$ の方と対称であるから省略すれば、
\begin{eqnarray*}\lefteqn{\cos^6 x\sin^4 x } &=& \frac{1}{2^6} (e^{6ix}+6e... ... -\frac{1}{2^6} \cos 4x + \frac{1}{2^8} \cos 2x + \frac{3}{2^8}\end{eqnarray*}


となり、(18) と同じ式が得られる。 こちらは積の展開の計算はないものの、 次数が上がることにより係数が大きくなり、 その係数の計算が大変になることがわかるだろう。 よって、どちらでやっても大差はないが、 大きな数を使わなくて済む分、前者の方が楽かもしれない。

このように、$I(m,n)$ の場合にはこの複素指数を使う方法も、 それほど楽ではないことがわかる。

次へ: 7 未定係数法 上へ: cosmx・sinnx の積分について 前へ: 5 積→和の公式を利用する方法
竹野茂治＠新潟工科大学
2010年3月12日