Sum of Sines of Arithmetic Sequence of Angles/Formulation 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\alpha \in \R$ be a real number such that $\alpha \ne 2 \pi k$ for $k \in \Z$.

Then:

\(\ds \sum_{k \mathop = 0}^n \map \sin {\theta + k \alpha}\) \(=\) \(\ds \sin \theta + \map \sin {\theta + \alpha} + \map \sin {\theta + 2 \alpha} + \map \sin {\theta + 3 \alpha} + \dotsb\)
\(\ds \) \(=\) \(\ds \frac {\map \sin {\alpha \paren {n + 1} / 2} } {\map \sin {\alpha / 2} } \map \sin {\theta + \frac {n \alpha} 2}\)


Proof

From Sum of Complex Exponentials of i times Arithmetic Sequence of Angles: Formulation 1:

$\ds \sum_{k \mathop = 0}^n e^{i \paren {\theta + k \alpha} } = \paren {\map \cos {\theta + \frac {n \alpha} 2} + i \map \sin {\theta + \frac {n \alpha} 2} } \frac {\map \sin {\alpha \paren {n + 1} / 2} } {\map \sin {\alpha / 2} }$

It is noted that, from Sine of Multiple of Pi, when $\alpha = 2 \pi k$ for $k \in \Z$, $\map \sin {\alpha / 2} = 0$ and the right hand side is not defined.


From Euler's Formula, this can be expressed as:

$\ds \sum_{k \mathop = 0}^n \paren {\map \cos {\theta + k \alpha} + i \map \sin {\theta + k \alpha} } = \frac {\map \sin {\alpha \paren {n + 1} / 2} } {\map \sin {\alpha / 2} } \paren {\map \cos {\theta + \frac {n \alpha} 2} + i \map \sin {\theta + \frac {n \alpha} 2} }$


Equating imaginary parts:

$\ds \sum_{k \mathop = 0}^n \map \sin {\theta + k \alpha} = \frac {\map \sin {\alpha \paren {n + 1} / 2} } {\map \sin {\alpha / 2} } \map \sin {\theta + \frac {n \alpha} 2}$

$\blacksquare$


Sources