(New page: == Introduction == This formula is named after Leonhard Euler and is an important formula in the analysis of complex numbers. This formula was first discovered by Roger Cotes in 1714, eve...)
 
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
[[Category:ECE301]]
 +
[[Category:Euler's formula]]
 +
[[Category:complex numbers]]
 +
 +
= [[More_on_Eulers_formula|Euler's Formula]] =
 +
----
 
== Introduction ==
 
== Introduction ==
 
This formula is named after Leonhard Euler and is an important formula in the analysis of complex numbers.  This formula was first discovered by Roger Cotes in 1714, even though the formula is named after Euler.  It shows the relationship between the complex exponential and the trigonometric functions sine and cosine.
 
This formula is named after Leonhard Euler and is an important formula in the analysis of complex numbers.  This formula was first discovered by Roger Cotes in 1714, even though the formula is named after Euler.  It shows the relationship between the complex exponential and the trigonometric functions sine and cosine.
  
== Euler's Formula ==
+
== [[More_on_Eulers_formula|Euler's Formula]] ==
 
:<math> \,\mathrm{e}^{j x} = (\cos x + j\sin x )\,</math>
 
:<math> \,\mathrm{e}^{j x} = (\cos x + j\sin x )\,</math>
 +
 +
== Proof of [[More_on_Eulers_formula|Euler's Formula]] ==
 +
This can be proved in one of several ways, using calculus (derivatives), differential equations, or the Taylor series, which is used here.
 +
 +
The functions ''e''<sup>''x''</sup>, cos&nbsp;''x'' and sin&nbsp;''x'' of the (real) variable ''x'' can be expressed using their Taylor expansions around zero:
 +
 +
: <math> \begin{align}
 +
e^x &{}= 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots \\
 +
\cos x &{}= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\
 +
\sin x &{}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots
 +
\end{align}</math>
 +
 +
For complex ''z'' we ''define'' each of these functions by the above series, replacing the real variable ''x'' with the complex variable ''z''. This is possible because the radius of convergence of each series is infinite. We then find that
 +
 +
: <math>\begin{align}
 +
e^{iz} &{}= 1 + iz + \frac{(iz)^2}{2!} + \frac{(iz)^3}{3!} + \frac{(iz)^4}{4!} + \frac{(iz)^5}{5!} + \frac{(iz)^6}{6!} + \frac{(iz)^7}{7!} + \frac{(iz)^8}{8!} + \cdots \\
 +
        &{}= 1 + iz - \frac{z^2}{2!} - \frac{iz^3}{3!} + \frac{z^4}{4!} + \frac{iz^5}{5!} - \frac{z^6}{6!} - \frac{iz^7}{7!} + \frac{z^8}{8!} + \cdots \\
 +
        &{}= \left( 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} + \frac{z^8}{8!} - \cdots \right) + i\left( z - \frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} + \cdots \right) \\
 +
        &{}= \cos z + i\sin z
 +
\end{align}</math>
 +
 +
The rearrangement of terms is justified because each series is absolutely convergent. Taking ''z'' = ''x'' to be a real number gives the original identity as Euler discovered it.
 +
 +
== Sources ==
 +
http://en.wikipedia.org/wiki/Euler's_formula 
 +
 +
Linear Circuit Analysis, 2nd edition DeCarlo/Lin
 +
----
 +
[[ECE301|Back to ECE301: "signals and systems"]]
 +
 +
[[More_on_Eulers_formula|Back to Euler's Formula Page]]
 +
 +
Go to [[ComplexNumberFormulas|Collective Table of Complex Number Formulas]]

Latest revision as of 07:05, 11 July 2012


Euler's Formula


Introduction

This formula is named after Leonhard Euler and is an important formula in the analysis of complex numbers. This formula was first discovered by Roger Cotes in 1714, even though the formula is named after Euler. It shows the relationship between the complex exponential and the trigonometric functions sine and cosine.

Euler's Formula

$ \,\mathrm{e}^{j x} = (\cos x + j\sin x )\, $

Proof of Euler's Formula

This can be proved in one of several ways, using calculus (derivatives), differential equations, or the Taylor series, which is used here.

The functions ex, cos x and sin x of the (real) variable x can be expressed using their Taylor expansions around zero:

$ \begin{align} e^x &{}= 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots \\ \cos x &{}= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\ \sin x &{}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \end{align} $

For complex z we define each of these functions by the above series, replacing the real variable x with the complex variable z. This is possible because the radius of convergence of each series is infinite. We then find that

$ \begin{align} e^{iz} &{}= 1 + iz + \frac{(iz)^2}{2!} + \frac{(iz)^3}{3!} + \frac{(iz)^4}{4!} + \frac{(iz)^5}{5!} + \frac{(iz)^6}{6!} + \frac{(iz)^7}{7!} + \frac{(iz)^8}{8!} + \cdots \\ &{}= 1 + iz - \frac{z^2}{2!} - \frac{iz^3}{3!} + \frac{z^4}{4!} + \frac{iz^5}{5!} - \frac{z^6}{6!} - \frac{iz^7}{7!} + \frac{z^8}{8!} + \cdots \\ &{}= \left( 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \frac{z^6}{6!} + \frac{z^8}{8!} - \cdots \right) + i\left( z - \frac{z^3}{3!} + \frac{z^5}{5!} - \frac{z^7}{7!} + \cdots \right) \\ &{}= \cos z + i\sin z \end{align} $

The rearrangement of terms is justified because each series is absolutely convergent. Taking z = x to be a real number gives the original identity as Euler discovered it.

Sources

http://en.wikipedia.org/wiki/Euler's_formula

Linear Circuit Analysis, 2nd edition DeCarlo/Lin


Back to ECE301: "signals and systems"

Back to Euler's Formula Page

Go to Collective Table of Complex Number Formulas

Alumni Liaison

Prof. Math. Ohio State and Associate Dean
Outstanding Alumnus Purdue Math 2008

Jeff McNeal