Difference between revisions of "De Moivre's Theorem"

m
m
Line 1: Line 1:
 
{{WotWAnnounce|week=September 5- September 11}}
 
{{WotWAnnounce|week=September 5- September 11}}
  
'''DeMoivre's Theorem''' is a very useful theorem in the mathematical fields of [[complex numbers]]. It allows complex numbers in [[polar form]] to be easily raised to certain powers. It states that for <math>x\in\mathbb{R}</math> and <math>n\in\mathbb{N}</math>, <math>\left(\cos x+i\sin x\right)^n=\cos(nx)+i\sin(nx)</math>.
+
'''DeMoivre's Theorem''' is a very useful theorem in the mathematical fields of [[complex numbers]]. It allows complex numbers in [[polar form]] to be easily raised to certain powers. It states that for <math>x\in\mathbb{R}</math> and <math>n\in\mathbb{Z}</math>, <math>\left(\cos x+i\sin x\right)^n=\cos(nx)+i\sin(nx)</math>.
  
 
== Proof ==
 
== Proof ==

Revision as of 12:15, 10 September 2008

This is an AoPSWiki Word of the Week for September 5- September 11

DeMoivre's Theorem is a very useful theorem in the mathematical fields of complex numbers. It allows complex numbers in polar form to be easily raised to certain powers. It states that for $x\in\mathbb{R}$ and $n\in\mathbb{Z}$, $\left(\cos x+i\sin x\right)^n=\cos(nx)+i\sin(nx)$.

Proof

This is one proof of De Moivre's theorem by induction.

  • If $n>0$, for $n=1$, the case is obviously true.
Assume true for the case $n=k$. Now, the case of $n=k+1$:
DeMoivreInductionP1.gif
Therefore, the result is true for all positive integers $n$.
  • If $n=0$, the formula holds true because $\cos(0x)+i\sin (0x)=1+i0=1$. Since $z^0=1$, the equation holds true.
  • If $n<0$, one must consider $n=-m$ when $m$ is a positive integer.
DeMoivreInductionP2.gif

And thus, the formula proves true for all integral values of $n$. $\Box$

Note that from the functional equation $f(x)^n = f(nx)$ where $f(x) = \cos x + i\sin x$, we see that $f(x)$ behaves like an exponential function. Indeed, Euler's formula states that $e^{ix} = \cos x+i\sin x\right$ (Error compiling LaTeX. Unknown error_msg). This extends De Moivre's theorem to all $n\in \mathbb{R}$.