# Euler's Formula

### From Math Images

## Contents |

# Introduction

Euler's Formula, sometimes called Euler's identity, states that^{[1]}:

Read more about the imaginary number *i* in the helper page Complex Numbers. This result was discovered by Leonhard Euler around 1740^{[1]}. After replacing variable *x* with constant π, the formula turns into:

which is considered one of the most beautiful mathematical formulas of all time. It connects five constants of mathematics and also the three most important mathematical operations: addition, multiplication, and exponentiation.

To Benjamin Peirce, one of Harvard's leading mathematicians in the nineteenth century, this formula came as something of a revelation. Having discovered it one day, he turned to his students and said^{[2]}: "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."

# A Geometric Representation of the Right Hand Side

In this article we take a geometric approach to the formula. Recall that the parametric representation in terms of the sine and cosine functions of a unit circle is:

,

with a random point *A* being *(cosθ, sinθ)* (as shown in Figure 1), where *θ* is the angle formed by the positive *x* axis and the line connecting the origin *O* and point *A* We first try to form a visualization of right hand side, *(cosx + isinx)* on some coordinate system.

Yet after *i* is included, there's no plausible representation of *(cosθ,isinθ)* on **R _{2}**.

^{[3]}By the end of the 18th century several mathematicians in rapid succession found the geometric representation of the then mystical quantity of

*a + bi*as a point on a plane, or a vector connecting the origin to that point. The plane is denoted as

**C**, as shown in Figure 2. The horizontal axis is denoted the

**real axis**while the vertical axis is the

**imaginary axis**.

With this in mind, we could replace *a* with *cosx* and *b* with *sinx* and equate the quantity to 1, and once again, we arrive at a parametrization of the unit circle, only this time on the complex plane **C**.

The right hand side of *e ^{ix} =cosx + isinx* simply means a point on the unit circle in the complex plane with angle

*x*, and if we take Euler's Formula for granted, we arrive at the conclusion that the left hand side, e

^{ix}represents the same point. But why? What exactly does e

^{ix}

*mean*?

# Moving Particle Argument^{[4]}

To make sense of the left hand side of Euler's formula, e^{ix}, we first attempt a moving particle argument. We define *e ^{it}* to be position function of some particle with respect to time,

Recall the basic fact that is its own derivative:

Let's now "extend" the action of derivation from with just real numbers to include complex numbers, so that we can "assume":

Note: An important generalization of the derivative concerns complex functions of complex variables, such as functions from (a domain in) the complex numbers **C** to **C**. The notion of the derivative of such a function is obtained by replacing real variables with complex variables in the definition. If **C** is identified with **R ^{2}** by writing a complex number

*z*as

*x + i y*, then a differentiable function from

**C**to

**C**is certainly differentiable as a function from

**R**to

^{2}**R**(in the sense that its partial derivatives all exist), but the converse is not true in general.

^{2}^{[5]}For the purpose of this page, we will simply treat the complex constants like how constants would have been treated in real number derivations.

We are used to visually thinking of the derivative of a real function as the slope of the tangent to the graph of the function, but how are we to make sense of the derivation in the above function?

We appeal to a geometric interpretation. As in Figure 3, at time *t* the particle's position is given by *Z(t)*. Next recall from physics that the **velocity V(t)**^{[6]} is the vector whose length and direction are given by the instantaneous speed, and the instantaneous direction of motion (tangent to the trajectory), of the moving particle. The figure shows the movement *M* of the particle between time *t* and *t + a*, and this should make it clear that:

Thus, given a complex function *Z(t)* of a real variable *t*, we can always visualize *Z(t)* as the position of a moving particle and its first derivative as its velocity. In our case of *Z(t)=e ^{it}*,

Let's take a second here to notice the relationships between the location vector *Z(t)* and the velocity vector *V(t)*. We first take their dot product,

Yet we notice the right hand side of the previous equation is:

So the dot product of *Z(t)* and *V(t)* is actually:

Since *Z(t)* is a vector on a circle, its magnitude is a constant. Thus,

Next, let's compare their magnitudes,

Thus,we have arrived at the following two conclusions:

- The magnitude of the position vector and velocity vector of the moving particle are equal.

- The position vector and the velocity vector are always perpendicular to each other.

Recall that in the Cartesian coordinate system a unit circle is a circle with the origin as its center and radius 1. According to the rules of complex transformation^{[7]}, to multiply a vector on the complex plane by *i* is to keep its length constant, while rotating it counterclockwise *90* degrees. Since the particle's initial position, *Z(0)*, is equal to 1, its initial velocity is *i*, so it is moving vertically upward. A split second later, the particle will have moved very slightly in this direction, and its *new* velocity will be at right angles to its *new* position vector. Continuing to construct the motion in this way, it is clear that the particle will travel around the unit circle. This whole process it illustrated in Figure 4.

Since we now know that the length of the vector *|Z(t)|* remains equal to 1 throughout the motion, it follows the particle's speed (defined to be the length of the velocity vector) *V(t)* also remains equal to 1. Thus after time *t=θ*, the particle will have traveled a distance *θ* around the unit circle. This argument gives a geometric statement of the left hand side of the Euler's formula.

# Power Series Argument

As an alternative approach, we look at the left hand side of Euler's formula using power series.

Recall that the Taylor Series of a real function f(x) that is infinitely differentiable in a neighborhood of a real or complex number a is the **power series**^{[7]}

Note: Since the Taylor series is only defined for real functions, our approach which concerns the imaginary unit as a constant will not be a rigorous proof of Euler's formula. However, we shall assume just as we did with the moving particles argument that *i* can be treated as merely a constant.

Since the defining property of the exponential function *f(x)=e ^{x}* is,

By setting *a=0*, we have:

By substitution, the Taylor series of the left hand side of the Euler's formula becomes:

Recall some basic facts about the powers of *i*:

By substituting these four properties into Equa (1),

, where

By applying Taylor's Theorem we can also obtain the power series of the sine and cosine function^{[7]},

Thus, the left hand side of Euler's formula turns into:

# Applications of Euler's Formula^{[4]}

## Sine and Cosine in terms of Euler's Formula

A simple but important consequence of Euler's formula is that sine and cosine can be "redefined" in terms of the exponential function. We can visualize sine and cosine on the unit circle.

There's also a direct mathematical derivation for this:

Then Equa(2) + Equa(3) and Equa(2) - Equa(3) yields:

## Further Applications in Trigonometry

If in high school you were constantly baffled by the trigonometric identities that were simply impossible to remember, Euler's formula provides a new method to view them via complex multiplication. In other words, all trigonometric identities can be derived from complex multiplication. In the following examples, I will reduce clutter by using the following simplifications:

### Cos(θ+φ) and Sin(θ+φ)

We shall start by tackling the identity for cos(θ+φ), which you might have known the answer to. (Cc-Ss)
With Euler's Formula, we easily relate cos(θ+φ) to real part of the point B, e^{i(θ+φ)} on the unit circle, as shown in Figure 5.

It seems we obtain not only the identity for *cos(θ+φ)*, but also one for *sin(θ+φ)*:

It's like two birds with one stone, isn' it?

### From Cos(3θ),Sin(3θ) to Cos(nθ),Sin(3θ)

With the previous derivation, it is natural to relate *cos3θ* and *sin3θ* to the real and imaginary components of *e ^{i3θ}* on the complex plane. The mathematical manipulation is as follows:

Recall the fundamental trigonometry identity,

Thus,

We have derived our two identities,

Now if we replace the constant integer 3 with a variable *n*, we will be able to generalize our results,

For low *n* values, simply plug in and expand the above general formula to get the corresponding trigonometry identity.

### Cos^{4}θ

Using Euler's Formula, we can not only express trig functions of multiples of *θ* in terms of powers of trig functions of *θ*, but we can also go in the opposite direction. For example,

Since

Then we take both sides to the fourth power to get:

# Teaching Materials

There are currently no teaching materials for this page.

# References

- ↑
^{1.0}^{1.1}Wikipedia. http://en.wikipedia.org/wiki/Euler's_formula - ↑ Science News. http://www.sciencenews.org/view/generic/id/8406/title/Math_Trek__Eulers_Beautiful_Equation
- ↑ Wikipedia. This information is compiled from the Wiki link of the Complex Plane, http://en.wikipedia.org/wiki/Complex_plane.
- ↑
^{4.0}^{4.1}Author, Needham, Tristan. (1999). Complex Visual Analysis. Place of publication: Oxford University Press, USA. ISBN-13: 978-0198534464 The idea and main structure for this proof came from this book. I rewrote some of its proofs. - ↑ Wikipedia, http://en.wikipedia.org/wiki/Derivative
- ↑ Wikipedia, http://en.wikipedia.org/wiki/Velocity
- ↑
^{7.0}^{7.1}^{7.2}This site has a clear, comprehensive overview of simple complex transformation rules, http://www.clarku.edu/~djoyce/complex/plane.html. This content could also be found in typical complex analysis texts.