# Untitled Page 33

- Page ID
- 148377

## 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 *e*^{x}, sin *x*, and cos *x*:

If *x*=*i*φ is an imaginary number, we have

*e*

^{iφ}= cos φ +

*i*sin φ ,

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 definition^{3} 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.

##### Example 3

◊ 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}

##### Example 5

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

*i*)

^{20}(79+3

*i*)

^{8}

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!