Navigation Panel: (IMAGE)(IMAGE)(IMAGE)(IMAGE) (SWITCH TO TEXT-ONLY VERSION) (IMAGE)(IMAGE) (These buttons explained below)

UNIVERSITY OF TORONTO
MATHEMATICS NETWORK

Question Corner and Discussion Area


Why is e^(pi i) = -1?

Asked by Brad Peterson, student, Roy High on January 29, 1997:
I was watching an episode of The Simpsons the other day, the one where Homer gets sucked into the third dimension, and in this 3-D world, there was an equation that said  (IMAGE) . So I put it into the calculator and it worked, but I have no idea why, because e to any power isnt supposed to be a negative number, and I thought pi was in no way related to e.

If you could explain the process, it would save lots of time pondering and plugging e, pi, and i into the calculator in random ways to figure out whats going on.

We'd be glad to explain; that's exactly what this area is here for.

The first question to ask, though, is not "why does  (IMAGE) ", but rather, "what does  (IMAGE) even mean?" In other words, what does it mean to raise a number to an imaginary power?

Once that question is answered, it will be much more clear why  (IMAGE) . It turns out that  (IMAGE) for all x, a fact which is known as de Moivre's formula, and illustrates how closely related the exponential function is to the trigonometric functions. From this formula, it follows immediately that  (IMAGE) .

So now, the question is, why is  (IMAGE) the "right" thing to define what e raised to an imaginary power means?

Raising a number to an imaginary power makes no sense based on the original definition of exponentiation you learned, where  (IMAGE) means "a multiplied by itself b times." That definition only makes sense when b is a positive integer. After all, what would it mean to multiply something by itself i times??

Of course, the original definition doesn't even make sense for fractions and negative numbers. You should have learned how to extend the definition to include fractions. For example, since 1/3 is that number which, when multiplied by 3, gives you 1, it makes sense to define  (IMAGE) to be that number which, if you raise it to the power of 3, would give you  (IMAGE) (i.e., a); in other words,  (IMAGE) is defined to be the cube root of a. Similarly, you learned how to extend the definition to negative exponents by  (IMAGE) .

But none of these considerations give any clue as to what raising a number to a complex power should mean. Instead, we need to express exponentiation, or its properties, in some way that can be extended to complex powers.

The first way to do this is to use the fact that  (IMAGE) happens to be equal to the infinite sum

 (IMAGE)

(where n! means n factorial, the product of the numbers 1,2,. . . ,n).

The reason why this is so depends on the theory of Taylor series from calculus, which would take too long to describe here. You will encounter it in a calculus class at some point, if you haven't already.

Now, this infinite sum makes perfectly good sense even for imaginary numbers. By plugging in ix in place of x, you get

 (IMAGE)

Now it turns out that  (IMAGE) is the infinite sum for cos x, while  (IMAGE) is the infinite sum for sin x (again by the theory of Taylor series). Therefore,  (IMAGE) .

Now, this may be a little unsatisfying to you since I haven't explained why  (IMAGE) , cos x, and sin x equal those three different infinite sums. I can't do so without assuming some calculus background that you may not have.

However, here's another way of understanding why  (IMAGE) . It too involves some calculus, but I can describe the calculus involved more easily.

Associated to many functions f(x) is another function f'(x), called the derivative of f(x). It measures how rapidly f(x) is changing at the value x.

If  (IMAGE) , f(x) may represent, for example, an exponentially growing population. The rate of change of such a population (the number of births per day, for example) is directly proportional to the current size of the population; that is, f'(x) is a constant times f(x). When  (IMAGE) , that constant is exactly 1 (that's the property which defines the number e). More generally, if  (IMAGE) , then  (IMAGE) .

What about the trigonometric functions? Well, if f(x) = sin x, then f'(x) = cos x, and if f(x) = cos x, then f'(x) = - sin x.

If you think about it for a minute, these equations are very reasonable. First of all, when x=0, sin x equals zero but increases as x increases; in fact, the slope of the graph of y = sin x at the point (0,0) is 1, which is another way of saying that the rate of increase there is 1, so f'(0) = 1.

 (IMAGE)

But then, as x increases to  (IMAGE) , the rate of increase drops off and eventually sin x stops increasing altogether and starts decreasing. In other words, f'(x) drops to zero when  (IMAGE) , and becomes -1 by the time x reaches pi (see the picture).

Therefore, f'(x) is a function which starts at 1 when x=0, decreases to 0 when  (IMAGE) , drops to -1 when  (IMAGE) , rises back to 0 when  (IMAGE) , and so on. This is precisely what the cosine function does, so it should be no surprise that f'(x) = cos x. Similar reasoning shows why it is reasonable that, when f(x)=cos x, f'(x)=-sin x. The exact proofs of these facts you will see in a calculus class.

Now, keeping those facts in mind, what should  (IMAGE) be? If we write it in terms of real and imaginary parts g(x) + i h(x), what should the functions g(x) and h(x) be?

The key is to take the derivative. It is only reasonable to define  (IMAGE) in such a way that it still has the same properties as mentioned above, namely, the derivative of  (IMAGE) should still equal  (IMAGE) . Therefore, if  (IMAGE) , we should have

 (IMAGE)

But f'(x) should also equal g'(x) + i h'(x), so we are looking for a pair of functions g and h for which h' = g and g' = -h. This is exactly the same interrelationship that the sine and cosine functions have, as we saw above. It also turns out that these two equations, together with the conditions g(0)=1 and h(0)=0 that arise from the fact that  (IMAGE) needs to equal 1, uniquely determine the functions g and h.

It follows from all this that g must be the cosine function and h must be the sine function. That is why  (IMAGE) .

[ Submit Your Own Question ] [ Create a Discussion Topic ]

This part of the site maintained by (No Current Maintainers)
Last updated: April 19, 1999
Original Web Site Creator / Mathematical Content Developer: Philip Spencer
Current Network Coordinator and Contact Person: Joel Chan - mathnet@math.toronto.edu


Navigation Panel: (IMAGE)(IMAGE)(IMAGE)(IMAGE) (SWITCH TO TEXT-ONLY VERSION) (IMAGE)(IMAGE)

(IMAGE) Go backward to Infinity, Pi and Symmetry
(IMAGE) Go up to Question Corner Index
(IMAGE) Go forward to What is the Square Root of i?
 (SWITCH TO TEXT-ONLY VERSION) Switch to text-only version (no graphics)
(IMAGE) Access printed version in PostScript format (requires PostScript printer)
(IMAGE) Go to University of Toronto Mathematics Network Home Page