Multiple Angle Formula for Sine

Theorem

 * $\ds \frac {\sin n \theta} {\sin \theta} = 2^{n - 1} \prod_{k \mathop = 1}^{n - 1} \paren {\cos n \theta - \cos \frac {k \pi} n}$

for $\sin \theta \ne 0$.