next up previous
Next: Usage Up: DeMoivre's Theorem Previous: Introduction

Derivation

We start with complex numbers, of the form

\begin{displaymath}z = x + \imath y
\end{displaymath}

which has an Argand diagram which looks like

 
Figure 1: Argand Diagram
\fbox{\includegraphics*[]{argand.ps}}

We know that $x = r \cos \theta$ and $y \ r \sin \theta$ by elementary trigonomentry, and that the inverse relations obtain

\begin{displaymath}r = \sqrt{x^2+y^2}\ \ \;\ \ \theta = \arctan \frac{y}{x}
\end{displaymath}

If we expand $e^{\imath \theta}$ in a Taylor Series one has

\begin{displaymath}e^{\imath \theta} = 1 +
\imath \theta +
\frac{1}{2!} (\imath...
...!} (\imath \theta)^3 +
\frac{1}{4!} (\imath \theta)^4 + \cdots
\end{displaymath}

which results in

\begin{displaymath}e^{\imath \theta} = 1 +
\imath \theta -
\frac{1}{2!} (\theta...
...c{1}{3!} \imath (\theta)^3 +
\frac{1}{4!} ( \theta)^4 + \cdots
\end{displaymath}

where we form two alternating series, one imaginary, the other real. The $\sqrt{-1}$ can be factored from the imaginary series, so that we finally obtain (recognizing the Taylor expansions of sine and cosine)

\begin{displaymath}e^{\imath \theta} = \cos \theta + \imath \sin \theta
\end{displaymath}

which is DeMoivre's (Euler's) Theorem.


1998-06-15