検索用コード
z\neqq1$のとき$1+z+z^2+\cdots\cdots+z^n=\bunsuu{1-z^{n+1}}{1-z}\ (n:自然数)$が成り立つことを\ \\[1zh] \hspace{.5zw}利用し,\ 以下の等式が成り立つことを示せ.\ ただし,\ $\sin\bunsuu{\theta}{2}\neqq0$とする. \\[2zh] {ド・モアブルの定理と三角関数の和}}}} ド・モアブルの定理より \(k:自然数)$
\centerline{$\therefore$\ \ \textbf{\maru3と\maru4の実部と虚部は一致するから,\ \maru1と\maru2が成り立つ.}} \\\\\\
等比数列の和の公式においてz=\cos\theta+i\sin\theta\ とし,\ 両辺の実部と虚部を比較するだけである. \\[.2zh] 左辺は,\ ド・モアブルの定理を適用すると容易に等式の形が現れる. \\[.2zh] しかし,\ 右辺は三角関数の各種公式を適切に利用して変形していかなければ面倒なことになる. \\[.2zh] 1-\cos(n+1)\theta\,と1-\cos\theta\ には,\ 半角の公式\ \sin^2\bunsuu{\theta}{2}=\bunsuu{1-\cos\theta}{2}\ の逆を適用する. \\[.6zh] \sin(n+1)\theta\,と\,\sin\theta\,には,\ 2倍角の公式\ \sin2\theta=2\sin\theta\cos\theta\ を適用する. \\[.2zh] すると共通因数ができるので,\ くくり出すことができる. \\[.2zh] このとき,\ \bm{-\,2iをくくり出して括弧の中身を極形式の形にする}のが最大の変形ポイントである. \\[.2zh] 後は,\ 次の法則を利用してまとめればよい .\\[.2zh] 同種の変形を要する問題は他にもあるので,\ 習得しておきたい変形である.
複素数を利用せずに数列のみで証明する別解も重要である. \\[.2zh] 分母をはらった\ を示す. \\[.8zh] まず,\ \sin\bunsuu{\theta}{2}\ はkとは無関係の定数であるから,\ 逆に\retuwa{k=0}{n}の中に入れることができる. \\[.8zh] 積和公式\ \cos\alpha\sin\beta=\bunsuu12\{\sin(\alpha+\beta)-\sin(\alpha-\beta)\}\ により,\ \bm{階差の形f(k+1)-f(k)}にできる. \\[.8zh] \bm{階差の形の和は,\ 順に書き出すと中央がすべて消えて端だけが残る}ことで求まるのであった. \\[.2zh] \sin(-\,\theta)=-\,\sin\theta\ を適用し,\ 和積公式\ \sin A+\sin B=2\sin\bunsuu{A+B}{2}\cos\bunsuu{A-B}{2}\ で積に戻す. \\[.8zh] 最後,\ \cos(-\,\theta)=\cos\theta\ も適用すると目的の式が得られる. \\\\
\retuwa{k=1}{n}\sin k\theta\ も同様である.\ \ 積和公式\ \
和積公式\ \