互いに直交する三角関数の和
式
$C_{n}$と$S_{n}$を以下のように定義する。
$$ \begin{align*} C_{n}: &= 1+\cos x + \cos 2x + \cdots +\cos nx \\ S_{n}: &= \sin x +\sin 2x + \cdots + \sin nx \end{align*} $$
すると、以下の式が成立する。
$$ \begin{align*} C_{n} &= \dfrac{\sin \dfrac{n+1}{2}x}{\sin \dfrac{1}{2}x} \cos \dfrac{n}{2}x \\ S_{n} &= \dfrac{\sin \dfrac{n+1}{2}x}{\sin \dfrac{1}{2}x}\sin \dfrac{n}{2}x \end{align*} $$
証明
オイラーの公式を使う。
$$ \begin{align*} & C_{n}+ i S_{n} \\ =&\ (1+\cos x + \cos 2x + \cdots + \cos nx) + i(\sin x + \sin 2x + \cdots + \sin nx) \\ =&\ 1+(\cos x + i\sin x) + (\cos 2x + i \sin 2x) + \cdots + (\cos nx + i\sin nx) \\ =&\ e^{i0x}+e^{i1x}+e^{i2x}+\cdots +e^{inx} \\ =&\ \sum \limits_{k=0}^{n} \left( e^{ix} \right)^k \\ =&\ \dfrac{e^{i(n+1)x}-1}{e^{ix}-1} \\ =&\ \dfrac{ e^{i(n+1)x/2} } {e^{ix/2} }\dfrac{ e^{i(n+1)x/2- e^{-i(n+1)x/2} } }{e^{ix/2}-e^{-ix/2}} \\ =&\ e^{inx/2}\dfrac{ \sin \dfrac{n+1}{2}x }{\sin \dfrac{1}{2}x} \\ =&\ \dfrac{ \sin \dfrac{n+1}{2}x }{\sin \dfrac{1}{2}x}(\cos \dfrac{n}{2}x+i\sin\dfrac{n}{2}x) \\ =&\ \dfrac{ \sin \dfrac{n+1}{2}x }{\sin \dfrac{1}{2}x}\cos \dfrac{n}{2}x+i \dfrac{ \sin \dfrac{n+1}{2}x }{\sin \dfrac{1}{2}x}\sin\dfrac{n}{2}x \end{align*} $$
5番目の等号で等比数列の和の公式を使っている。
■