$m$, $n$ を正の整数とするとき, $$ \int_{-\pi}^{\pi}\cos{mx}\cos{nx}\,dx = \begin{cases} 0, & m\neq n \\ \pi, & m=n \end{cases} $$ が成り立つことを証明せよ.
解答例 1
三角関数の加法公式より, $$ \cos{mx}\cos{nx} = \frac{1}{2}\bigl( \cos{(m-n)x} + \cos{(m+n)x} \bigr). $$ $m\neq n$ のとき, \begin{align*} &\int_{-\pi}^{\pi}\cos{mx}\cos{nx}\,dx \\ &\qquad = \frac{1}{2}\left(\int_{-\pi}^{\pi}\cos{(m-n)x}\,dx + \int_{-\pi}^{\pi}\cos{(m+n)x}\,dx\right) \\ &\qquad = \frac{1}{2}\left( \Biggl[ \frac{\sin{(m-n)x}}{m-n} \Biggr]_{-\pi}^{\pi} + \Biggl[ \frac{\sin{(m+n)x}}{m+n} \Biggr]_{-\pi}^{\pi}\right) \\ &\qquad = 0. \end{align*} $m=n$ のとき, \begin{align*} \int_{-\pi}^{\pi}\cos^2{mx}\,dx &= \int_{-\pi}^{\pi}\frac{1 + \cos{2mx}}{2}\,dx \\ &= \frac{1}{2}\left( \int_{-\pi}^{\pi}dx + \Biggl[ \frac{\sin{2mx}}{2m} \Biggr]_{-\pi}^{\pi} \right) \\ &= \pi. \end{align*}
最終更新日:2011年11月02日