Product Formula for Sine

Theorem

 * $\ds \map \sin {n z} = 2^{n - 1} \prod_{k \mathop = 0}^{n - 1} \map \sin {z + \frac {k \pi} n}$

Proof
We have: