# Tag Info

Hmm, I'm surprised than no one mentioned de Moivre's formula: $$(\cos \phi +i\cdot \sin \phi)^n= \cos (n\phi) + i\cdot\sin (n\phi)$$ It is an excellent theorem to prove where we must also use the addition theorem for sin and cos.