Imaginary Exponents and Euler's Equation
What does it mean to have an imaginary exponent? There is only one sensible way to define this. It was discovered in 1748 by the famous Swiss mathematician Leonhard Euler, who gave the following equation:
exi = cos(x) + sin(x) i
where x is any real number. This is called "Euler's Equation." Here x is the measure of an angle in radians, i is the square root of -1, and e is the base of natural logarithms. An equivalent equation had been discovered by Roger Cotes before 1722, and a related formula by Abraham DeMoivre in 1722.
Here are two different proofs of Euler's Equation.
ez = 1 + z + z2/2! + z3/3! + z4/4! + z5/5! + z6/6! + ... ,
All three series are valid for all real numbers. We want to accept the first one as valid for all complex numbers z. Then substitute z = xi, expand, use the facts that i2 = -1, i3 = -i, i4 = 1, and so on, and collect real and imaginary parts. You'll see that the real part of exi is just the series for cos(x), and the imaginary part is just the series for sin(x).
z = cos(x) + sin(x) i
and notice that when x = 0, z = 1. Then differentiate,
dz/dx = -sin(x) + cos(x) i
for some constant C, by indefinite integration. Now use the fact that when x = 0, z = 1, to conclude that C = 0. Thus
ln(z) = xi
A consequence of Euler's Equation is that
e i = -1
It is often useful to write a complex number as an exponential. This is always possible in the following way. Suppose z = a + bi, and z is not zero. Then
|z| = sqrt(a2+b2)
z/|z| is then a complex number whose absolute value is 1. Then there is some t such that
cos(t) = a/sqrt(a2+b2)
You can always choose t in the range
z = sqrt(a2+b2)[a/sqrt(a2+b2) + bi/sqrt(a2+b2)]
NOTE: The value of t is not unique. You can add any integer multiple of 2 to the above value, and get another that works just as well. This has the unexpected consequence that when we evaluate complex numbers raised to complex powers, such as ii, the result is not a single complex number, but an infinite set of them.
Math Forum Home || Math Library || Quick Reference || Math Forum Search