Euler's formula for e^{iθ}
A geometric riff on an analytic
theme
Scott E. Brodie
'Gentlemen, that is surely true, it is absolutely paradoxical; we cannot understand it, and we don't know what it means. But we have proved it, and therefore we know it must be the truth.' Benjamin Peirce |
An intuitive understanding of Euler's formula for the complex exponential,
e^{iθ} = cos θ + i sin θ,
remains elusive, notwithstanding hundreds of years of contemplation. While the formula can be "motivated" or "justified" by rearrangement of the infinite series for the sine, cosine, and exponential functions, this argument requires a deeper understanding of the theory of infinite series than is likely available when Euler's formula is first encountered. A persuasive argument can also be had by demanding that differentiation of the complex exponential obey the chain rule, which leads to simple differential equations whose unique solutions recover Euler's formula [Allendoerfer], but, again, one must appeal to results from a more advanced course.
In this note, I suggest a simple heuristic motivation for Euler's formula which requires only simple geometry and limiting arguments which are within reach of a well-informed high-school student. While the argument cannot be called a "proof," for reasons which are indicated below, the construction is highly suggestive, and perhaps explains Euler's formula in a more concrete way than those based purely on analytic reasoning.
The number e is ordinarily defined by the limit
This definition for e as a limit implies a simple formula for the powers of e, which is surely valid at least for positive real exponents:
(*) |
where the first step follows from the continuity of the power function, and the second step is obtained by the
substitution
While, on its face, the first line in (*) makes little sense if we take p = iθ, the third line in (*) is just the limit of a sequence of complex numbers, each of which is simply a complex number raised to an integer power -- this format avoids the uninterpretable imaginary exponent.
In fact, we show below that
As an added benefit, we can apply the geometric interpretation of complex number arithmetic to visualize each term of the sequence. The magnitude of the mth term is
,
while the argument (the angle from the positive x-axis) of the m^{th} term is
m tan^{-1} (θ / m).
The problem with this program as a "proof" of the Euler equation is the substitution step in (*). In the case of a positive real exponent p, the sequence of values of m = np approaches infinity in the same sense as the original sequence of indices n, and the usual definition of the limit of a sequence applies without difficulty. This of course is not true for a sequence of the form
m = inθ
as the definition of the limit of a sequence (for each
In order to visualize the approach to the limit
consider an explicit example, say θ = 2 (Figure 1.)
Figure 1 |
The first element of the sequence (1 + 2i/n)^{n} is
A similar plot of the construction of
Figure 2 |
Evidently, as n increases, the successive points of the form
Figure 3 |
In other words, with increasing n, the points
Of course, there is nothing special about the value
First, consider the magnitude. We must show that
There is no point in retaining the square-root: we may as well show that
,
since a sequence of positive real numbers and the sequence of its square roots approach 1,or not,together.
First, it let's put the exponent back on the outside of the square brackets:
Thus, we need only show that
To this end, expand in terms of the binomial theorem:
Of course,
,
so taking the limit as m increases without bound, we have
,
QED.
(This calculation can be greatly simplified by the use of logarithms, but that seems contrary to the spirit of this exercise.)
Now consider the argument of the limit point. We must show that
The geometry is shown in the figure:
O is the origin; B is the point (1,0), and A is the point
1 + iθ / n
Denote the angle DOB by θ_{n}. Then
sin θ_{n}< θ_{n}< tan θ_{n}.
Now sin θ_{n}= CD. Since triangle DCO is similar to triangle ABO, we have
.
Thus
,
since tan θ_{n} = θ/n.
Now multiply through by n:
.
Now take the limit as n increases without bound:
,
or
,
QED.
Reference
- Allendoerfer CB, Editorial - The Proof of Euler's Equation. American Mathematical Monthly 55(2) (Feb, 1948), pp 94-95.
Appendix
One can sidestep a close analysis in terms of the binomial coefficients by taking logarithms. To avoid stray coefficients one works with natural logarithms (that is, logarithms with base e), for which
Taking the limit as n grows without bound, we have
,
or
,
since the logarithm is continuous.
|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny