Derive multiple‑angle trigonometric identities (#659)

Derive multiple‑angle trigonometric identities (#659)

Expand cos⁡nθ\cos n\theta and sin⁡nθ\sin n\theta using binomial theorem and de Moivre.