8.2 Euler's formula
Having expanded our horizons to include the complex numbers, it's natural to want to extend functions we knew and loved from the world of real numbers so that they can also operate on complex numbers. The only really natural way to do this in general is to use Taylor series. A particularly beautiful thing happens with the functions ex, sin x, and cos x:
If x=iφ is an imaginary number, we have
a result known as Euler's formula. The geometrical interpretation in the complex plane is shown in figure f.
Although the result may seem like something out of a freak show at first, applying the definition3 of the exponential function makes it clear how natural it is:
When x=iφ is imaginary, the quantity (1+iφ/n) represents a number lying just above 1 in the complex plane. For large n, (1+iφ/n) becomes very close to the unit circle, and its argument is the small angle φ/n. Raising this number to the nth power multiplies its argument by n, giving a number with an argument of φ.
Euler's formula is used frequently in physics and engineering.
◊ Write the sine and cosine functions in terms of exponentials.
◊ Euler's formula for x=-iφ gives cos φ - i sin φ, since cos(-θ)=cosθ, and sin(-θ)=-sinθ.
Example 4◊ Evaluate
◊ Problem 15 on p. 99 suggested a special-purpose trick for doing this integral. An approach that doesn't rely on tricks is to rewrite the cosine in terms of exponentials:
Since this result is the integral of a real-valued function, we'd like it to be real, and in fact it is, since the first and second terms are complex conjugates of one another. If we wanted to, we could use Euler's theorem to convert it back to a manifestly real result.2
Euler found the equation
which allowed the computation of π to high precision in the era before electronic calculators, since the Taylor series for the inverse tangent converges rapidly for small inputs. A cute way of proving the validity of the equation is to calculate
as follows in Yacas:
(7+I)^20*(79+3*I)^8; -1490116119384765625 00000000000000
The fact that it is purely real, and has a negative real part, demonstrates that the quantity on the right side of the original equation equals π+2π n, where n is an integer. Numerical estimation shows that n=0. Although the proof was straightforward, it provides zero insight into how Euler figured it out in the first place!