PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
de Moivre identity (Theorem)

From the Euler relation

\begin{equation*} e^{i\theta} = \cos \theta + i \sin \theta \end{equation*} it follows that

$\displaystyle e^{i\theta \cdot n}$ $\displaystyle = (e^{i\theta})^n$    
$\displaystyle \cos n \theta + i \sin n \theta$ $\displaystyle = (\cos \theta + i \sin \theta)^n$    

where $n\in\mathbb{Z}$ . This is called de Moivre's formula, and besides being generally useful, it's a convenient way to remember double- (and higher-multiple-) angle formulas. For example,

\begin{equation*} \cos 2 \theta + i \sin 2 \theta = (\cos \theta + i \sin \theta)^2 = \cos^2 \theta + 2 i \sin \theta \cos \theta - \sin^2 \theta. \end{equation*} Since the imaginary parts and real parts on each side must be equal, we must have \begin{equation*} \cos 2 \theta = \cos^2 \theta - \sin^2 \theta \end{equation*}and \begin{equation*} \sin 2 \theta = 2 \sin \theta \cos \theta. \end{equation*}



"de Moivre identity" is owned by Daume. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: Euler relation, double angle identity, argument of product and quotient

Other names:  de Moivre's theorem, de Moivre's formula

Attachments:
proof of de Moivre identity (Proof) by rspuzio
trigonometric formulas from de Moivre identity (Derivation) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: side, real parts, imaginary parts, formulas, angle, Euler relation
There are 10 references to this entry.

This is version 8 of de Moivre identity, born on 2002-02-16, modified 2005-06-15.
Object id is 1994, canonical name is DeMoivreIdentity.
Accessed 17228 times total.

Classification:
AMS MSC12E10 (Field theory and polynomials :: General field theory :: Special polynomials)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy
Is this already proven? by NeuRet on 2002-05-27 11:23:18
This entry is classified as unproven, yet the
entry itself already contains the short proof, in my opinion, for it follows easily from Euler's identity. Is there a way to change the classification of this object?
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)