In the world of complex numbers, as we integrate trigonometric expressions, we will likely encounter the so-called **Euler’s formula**.

Named after the legendary mathematician Leonhard Euler, this powerful equation deserves a closer examination — in order for us to use it to its full potential.

We will take a look at how Euler’s formula allows us to express complex numbers as **exponentials**, and explore the different ways it can be established with relative ease.

In addition, we will also consider its several **applications** such as the particular case of Euler’s identity, the exponential form of complex numbers, alternate definitions of key functions, and alternate proofs of de Moivre’s theorem and trigonometric additive identities.

Note

This Euler’s formula is to be distinguished from other Euler’s formulas, such as the one for **convex polyhedra**.

Prefer the PDF version instead?

Get our complete, 22-page guide on Euler’s formula—in offline, printable **PDF format**.

## Euler’s Formula Explained: Introduction, Interpretation and Examples

So what exactly is **Euler’s formula**? In a nutshell, it is the theorem that states that

eix=cosx+isinx

where:

- x is a
**real number**. - e is the
**base of the natural logarithm**. - i is the
**imaginary unit**(i.e., square root of −1).

Note

In this formula, the right-hand side is sometimes abbreviated as cisx, though the left-hand expression eix is usually preferred over the cis notation.

Euler’s formula establishes the fundamental relationship between **trigonometric functions** and **exponential functions**. Geometrically, it can be thought of as a way of bridging two representations of the same unit complex number in the complex plane.

Let’s take a look at some of the **key values** of Euler’s formula, and see how they correspond to points in the trigonometric/unit circle:

- For x=0, we have e0=cos0+isin0, which gives 1=1. So far so good: we know that an angle of 0 on the trigonometric circle is 1 on the real axis, and this is what we get here.
- For x=1, we have ei=cos1+isin1. This result suggests that ei is precisely the point on the unit circle whose angle is
**1 radian**. - For x=π2, we have eiπ2=cosπ2+isinπ2=i. This result is useful in some calculations related to physics.
- For x=π, we have eiπ=cosπ+isinπ, which means that eiπ=−1. This result is equivalent to the famous
**Euler’s identity**. - For x=2π, we have ei(2π)=cos2π+isin2π, which means that ei(2π)=1, same as with x=0.

A key to understanding Euler’s formula lies in rewriting the formula as follows:(ei)x=cosx+isinxwhere:

- The right-hand expression can be thought of as the
**unit complex number**with angle x. - The left-hand expression can be thought of as the
**1-radian unit complex number**raised to x.

And since raising a unit complex number to a power can be thought of as **repeated multiplications** (i.e., adding up angles in this case), Euler’s formula can be construed as two different ways of running around the unit circle to arrive at the same point.

## Derivations

Euler’s formula can be established in at least three ways. The first derivation is based on **power series**, where the exponential, sine and cosine functions are expanded as power series to conclude that the formula indeed holds.

The second derivation of Euler’s formula is based on **calculus**, in which both sides of the equation are treated as functions and differentiated accordingly. This then leads to the identification of a common property — one which can be exploited to show that both functions are indeed equal.

Yet another derivation of Euler’s formula involves the use of **polar coordinates** in the complex plane, through which the values of r and θ are subsequently found. In fact, you might be able to guess what these values are — just by looking at the formula itself!

### Derivation 1: Power Series

One of the most intuitive derivations of Euler’s formula involves the use of **power series**. It consists in expanding the power series of exponential, sine and cosine — to finally conclude that the equality holds.

As a caveat, this approach assumes that the power series expansions of sinz, cosz, and ez are **absolutely convergent** everywhere (e.g., that they hold for all complex numbers z). However, it also has the advantage of showing that Euler’s formula holds for all complex numbers z as well.

For a complex variable z, the **power series expansion** of ez isez=1+z1!+z22!+z33!+z44!+⋯Now, let us take z to be ix (where x is an arbitrary complex number). As z gets raised to increasing powers, i also gets raised to increasing powers. The **first eight powers** of i look like this:(by the definition of )i0=1i4=i2⋅i2=1i1=ii5=i⋅i4=ii2=−1(by the definition of i)i6=i⋅i5=−1i3=i⋅i2=−ii7=i⋅i6=−i(notice the **cyclicality** of the powers of i: 1, i, −1, −i. We’ll be using these powers shortly.)

With z=ix, the expansion of ez becomes:eix=1+ix+(ix)22!+(ix)33!+(ix)44!+⋯Extracting the powers of i, we get:eix=1+ix−x22!−ix33!+x44!+ix55!−x66!−ix77!+x88!+⋯And since the power series expansion of ez is absolutely convergent, we can rearrange its terms without altering its value. Grouping the **real** and **imaginary terms** together then yields:eix=(1−x22!+x44!−x66!+x88!−⋯)+i(x−x33!+x55!−x77!+⋯)Now, let’s take a detour and look at the power series of **sine** and **cosine**. The power series of cosx iscosx=1−x22!+x44!−x66!+x88!−⋯And for sinx, it issinx=x−x33!+x55!−x77!+⋯In other words, the last equation we had is preciselyeix=cosx+isinxwhich is the statement of Euler’s formula that we were looking for.

### Derivation 2: Calculus

Another neat way to establish Euler’s formula is to consider both eix and cosx+isinx as **functions** of x, before differentiating them to find some common property about them.

For that to happen though, one must assume that the functions ez, cosx and sinx are defined and **differentiable** for all real numbers x and complex numbers z. By assuming that these functions are differentiable for all complex numbers, it is also possible to show that Euler’s formula holds for all complex numbers as well.

First, let f1(x) and f2(x) be eix and cosx+isinx, respectively. **Differentiating** f1 via chain rule then yields:f1′(x)=ieix=if1(x)Similarly, differentiating f2 also yields:f2′(x)=−sinx+icosx=if2(x)In other words, both functions satisfy the differential equation f′(x)=if(x). Now, consider the function f1f2, which is well-defined for all x (since f2(x)=cosx+isinx corresponds to points on the unit circle, which are never zero). With that settled, using the **quotient rule** on this function then yields:(f1f2)′(x)=f1′(x)f2(x)−f1(x)f2′(x)[f2(x)]2=if1(x)f2(x)−f1(x)if2(x)[f2(x)]2=0And since the derivative here is 0, this implies that the function f1f2 must have been a **constant** to begin with. What is the value of this constant? Let’s figure it out by plugging in x=0 into the function:(f1f2)(0)=ei0cos0+isin0=1In other words, we must have that for all x:(f1f2)(x)=eixcosx+isinx=1which, after moving cosx+isinx to the right, becomes the famous formula we’ve been looking for.

### Derivation 3: Polar Coordinates

Yet another ingenious proof of Euler’s formula involves treating exponentials as numbers, or more specifically, as complex numbers under **polar coordinates**.

Indeed, we already know that all non-zero complex numbers can be expressed in **polar coordinates** in a unique way. In particular, any number of the form eix (with real x), which is non-zero, can be expressed as:eix=r(cosθ+isinθ)where θ is its **principal angle** from the positive real axis (with, say, 0≤θ<2π), and r is its **radius** (with r>0). We make no assumption about the values of r and θ, except the fact that they are functions of x (which may or may not contain x as variable). They will be determined in the course of the proof.

(However, what we do know is that when x=0, the left-hand side is 1, which implies that r and θ satisfy the **initial conditions** of r(0)=1 and θ(0)=0, respectively.)

For what it’s worth, we’ll begin by **differentiating** both sides of the equation. By the definition of exponential, differentiating the left side of the equation with respect to x yields ieix. After differentiating the right side of the equation, the equation then becomes:ieix=drdx(cosθ+isinθ)+r(−sinθ+icosθ)dθdxWe’re looking for an expression that is uniquely in terms of r and θ. To get rid of eix, we substitute back r(cosθ+isinθ) for eix to get:ir(cosθ+isinθ)=(cosθ+isinθ)drdx+r(−sinθ+icosθ)dθdxOnce there, distributing the i on the left-hand side then yields:r(icosθ−sinθ)=(cosθ+isinθ)drdx+r(−sinθ+icosθ)dθdxEquating the **imaginary** and **real parts**, respectively, we get:ircosθ=isinθdrdx+ircosθdθdxand−rsinθ=cosθdrdx−rsinθdθdxWhat we have here is a **system** of two equations and two unknowns, where dr/dx and dθ/dx are the variables. We can solve it in a few steps. First, by assigning α to dr/dx and β to dθ/dx, we get:(I)(II)(I)rcosθ=(sinθ)α+(rcosθ)β(II)−rsinθ=(cosθ)α−(rsinθ)βSecond, by multiplying (I) by cosθ and (II) by sinθ, we get:(III)(IV)(III)rcos2θ=(sinθcosθ)α+(rcos2θ)β(IV)−rsin2θ=(sinθcosθ)α−(rsin2θ)βThe purpose of these operations is to eliminate α by doing (III) – (IV), and when we do that, we get:r(cos2θ+sin2θ)=r(cos2θ+sin2θ)βSince cos2θ+sin2θ=1, a simpler equation emerges:r=rβAnd since r>0 for all x, this implies that β — which we had set to be dθ/dx — is equal to 1.

Once there, substituting this result back into (I) and (II) and doing some cancelling, we get:0=(sinθ)α0=(cosθ)αwhich implies that α — which we have set to be drdx — must be equal to 0.

From the fact that dr/dx=0, we can deduce that r must be a **constant**. Similarly, from the fact that dθ/dx=1, we can deduce that θ=x+C for some constant C.

However, since r satisfies the **initial condition** r(0)=1, we must have that r=1. Similarly, because θ satisfies the initial condition θ(0)=0, we must have that C=0. That is, θ=x.

With r and θ now identified, we can then plug them into the original equation and get:eix=r(cosθ+isinθ)=cosx+isinxwhich, as expected, is exactly the statement of Euler’s formula for real numbers x.

## Applications

Being one of the most important equations in mathematics, Euler’s formula certainly has its fair share of interesting **applications** in different topics. These include, among others:

- The famous
**Euler’s identity** - The
**exponential form**of complex numbers - Alternate definitions of
**trigonometric**and**hyperbolic functions** - Generalization of
**exponential**and**logarithmic functions**to complex numbers - Alternate proofs of
**de Moivre’s theorem**and**trigonometric additive identities**

### Euler’s Identity

Euler’s identity is often considered to be the most beautiful equation in mathematics. It is written as

eiπ+1=0

where it showcases five of the most important **constants** in mathematics. These are:

- The
**additive identity**0 - The
**unity**1 - The
**Pi constant**π (ratio of a circle’s circumference to its diameter) - The
**base of natural logarithm**e - The
**imaginary unit**i

Among these, three **types of numbers** are represented: integers, irrational numbers and imaginary numbers. Three of the basic **mathematical operations** are also represented: addition, multiplication and exponentiation.

We obtain Euler’s identity by starting with Euler’s formulaeix=cosx+isinxand by setting x=π and sending the subsequent −1 to the left-hand side. The intermediate formeiπ=−1is common in the context of **trigonometric unit circle** in the complex plane: it corresponds to the point on the unit circle whose angle with respect to the positive real axis is π.

### Complex Numbers in Exponential Form

At this point, we already know that a complex number z can be expressed in **Cartesian coordinates** as x+iy, where x and y are respectively the real part and the imaginary part of z.

Indeed, the same complex number can also be expressed in **polar coordinates** as r(cosθ+isinθ), where r is the magnitude of its distance to the origin, and θ is its angle with respect to the positive real axis.

But it does not end there: thanks to Euler’s formula, every complex number can now be expressed as a **complex exponential** as follows:

z=r(cosθ+isinθ)=reiθ

where r and θ are the same numbers as before.

To go from (x,y) to (r,θ), we use the formulasr=x2+y2θ=atan2(y,x)(where atan2(y,x) is the **two-argument arctangent function** with atan2(y,x)=arctan(yx) whenever x>0.)

Conversely, to go from (r,θ) to (x,y), we use the formulas:x=rcosθy=rsinθThe exponential form of complex numbers also makes **multiplying** complex numbers much easier — much like the same way rectangular coordinates make addition easier. For example, given two complex numbers z1=r1eiθ1 and z2=r2eiθ2, we can now multiply them together as follows:z1z2=r1eiθ1⋅r2eiθ2=r1r2ei(θ1+θ2)In the same spirit, we can also **divide** the same two numbers as follows:z1z2=r1eiθ1r2eiθ2=r1r2ei(θ1−θ2)

Note

To be sure, these do presuppose **properties of exponent** such as ez1+z2=ez1ez2 and e−z1=1ez1, which for example can be established by expanding the power series of ez1, e−z1 and ez2.

Had we used the rectangular x+iy notation instead, the same division would have required multiplying by the **complex conjugate** in the numerator and denominator. With the polar coordinates, the situation would have been the same (save perhaps worse).

If anything, the **exponential form** sure makes it easier to see that multiplying two complex numbers is really the same as multiplying magnitudes and adding angles, and that dividing two complex numbers is really the same as dividing magnitudes and subtracting angles.

### Alternate Definitions of Key Functions

Euler’s formula can also be used to provide alternate definitions to **key functions** such as the complex exponential function, trigonometric functions such as sine, cosine and tangent, and their hyperbolic counterparts. It can also be used to establish the relationship between some of these functions as well.

#### Complex Exponential Function

To begin, recall that Euler’s formula states thateix=cosx+isinxIf the formula is assumed to hold for real x only, then the exponential function is only defined up to the **imaginary numbers**. However, we can also expand the exponential function to include all complex numbers — by following a very simple trick:

ez=ex+iy(=exeiy)=dfex(cosy+isiny)

Note

Here, we are not necessarily assuming that the **additive property for exponents** holds (which it does), but that the first and the last expression are equal.

In other words, the exponential of the complex number x+iy is simply the complex number whose **magnitude** is ex and whose **angle** is y. Interestingly, this means that complex exponential essentially maps vertical lines to circles. Here’s an animation to illustrate the point:

#### Trigonometric Functions

Apart from extending the domain of exponential function, we can also use Euler’s formula to derive a similar equation for the **opposite angle** −x:e−ix=cosx−isinxThis equation, along with Euler’s formula itself, constitute a **system of equations** from which we can isolate both the sine and cosine functions.

For example, by subtracting the e−ix equation from the eix equation, the cosines cancel out and after dividing by 2i, we get the complex exponential form of the **sine function**:

sinx=eix−e−ix2i

Similarly, by adding the two equations together, the sines cancel out and after dividing by 2, we get the complex exponential form of the **cosine** function:

cosx=eix+e−ix2

To be sure, here’s a **video** illustrating the same derivations in more detail.

On the other hand, the **tangent function** is defined to be sinxcosx, so in terms of complex exponentials, it becomes:

tanx=eix−e−ixi(eix+e−ix)

If Euler’s formula is proven to hold for all complex numbers (as we did in the proof via power series), then the same would be true for these three formulas as well. Their presence allows us to switch freely between **trigonometric functions** and **complex exponentials**, which is a big plus when it comes to calculating derivatives and integrals.

#### Hyperbolic Functions

In addition to trigonometric functions, **hyperbolic functions** are yet another class of functions that can be defined in terms of complex exponentials. In fact, it’s through this connection we can identify a hyperbolic function with its trigonometric counterpart.

For example, by starting with **complex sine** and **complex cosine** and plugging in iz (and making use of the facts that i2=−1 and 1/i=−i), we have:siniz=ei(iz)−e−i(iz)2i=e−z−ez2i=i(ez−e−z2)=isinhzcosiz=ei(iz)+e−i(iz)2=ez+e−z2=coshzFrom these, we can also plug in iz into **complex tangent** and get:tan(iz)=sinizcosiz=isinhzcoshz=itanhzIn short, this means that we can now define **hyperbolic functions** in terms of trigonometric functions as follows:

sinhz=sinizicoshz=cosiztanhz=tanizi

But then, these are not the only functions we can provide new definitions to. In fact, the **complex logarithm** and the **general complex exponential** are two other classes of functions we can define — as a result of Euler’s formula.

### Complex Logarithm and General Complex Exponential

The logarithm of a complex number behaves in a peculiar manner when compared to the logarithm of a real number. More specifically, it has an **infinite** number of values instead of one.

To see how, we start with the definition of **logarithmic function** as the inverse of exponential function. That is:elnz=zln(ez)=zFurthermore, we also know that for any pair of complex numbers z1 and z2, the **additive property for exponents** holds:ez1ez2=ez1+z2Thus, when a non-zero complex number is expressed as an **exponential**, we have that:z=|z|eiϕ=eln|z|eiϕ=eln|z|+iϕwhere |z| is the magnitude of z and ϕ is the angle of z from the positive real axis. And since logarithm is simply the **exponent** of a number when it’s raised to e, the following definition is in order:lnz=ln|z|+iϕAt first, this seems like a robust way of defining the complex logarithm. However, a second look reveals that the logarithm defined this way can assume an **infinite number of values** — due to the fact that ϕ can also be chosen to be any other number of the form ϕ+2πk (where k is an integer).

For example, we’ve seen from earlier that e0=1 and e2πi=1. This means one could define the logarithm of 1 to be both 0 and 2πi — or any number of the form 2πki for that matter (where k is an integer).

To solve this conundrum, two separate approaches are usually used. The first approach is to simply consider the complex logarithm as a **multi-valued function**. That is, a function that maps each input to a set of values. One way to achieve this is to define lnz as follows:{ln|z|+i(ϕ+2πk)}where −π<ϕ≤π and k is an integer. Here, the clause −π<ϕ≤π has the effect of restricting the angle of z to only one candidate. Because of that, the ϕ defined this way is usually called the **principal angle** of z.

The second approach, which is arguably more elegant, is to simply define the complex logarithm of z so that ϕ is the principal angle of z. With that understanding, the original definition then becomes **well-defined**:

lnz=ln|z|+iϕ

For example, under this new rule, we would have that ln1=0 and lni=ln(eiπ2)=iπ2. No longer are we stuck with the problem of **periodicity of angles**!

However, with the restriction that −π<ϕ≤π, the range of complex logarithm is now reduced to the rectangular region −π<y≤π (i.e., the **principal branch**). And if we want to preserve the inverse relationship between logarithm and exponential, we’d also need to do the same to the domain of exponential function as well.

But then, because the complex logarithm is now well-defined, we can also define many other things based on it without running into ambiguity. One such example would be the **general complex exponential **(with a non-zero base a), which can be defined as follows:

az=eln(az)=dfezlna

Note

Here, we are not assuming that the **power rule for logarithm** holds (because it doesn’t), but that the first and the last expression are equal.

For example, using the general complex exponential as defined above, we can now get a sense of what ii actually means:ii=eilni=eiπ2i=e−π2≈0.208

### Alternate Proofs of De Moivre’s Theorem and Trigonometric Additive Identities

The theorem known as **de Moivre’s theorem** states that

(cosx+isinx)n=cosnx+isinnx

where x is a real number and n is an integer. By default, this can be shown to be true by induction (through the use of some trigonometric identities), but with the help of **Euler’s formula**, a much simpler proof now exists.

To begin, recall that the **multiplicative property for exponents** states that(ez)k=ezkWhile this property is generally not true for complex numbers, it does hold in the special case where k is an **integer**. Indeed, it’s not hard to see that in this case, the mathematics essentially boils down to repeated applications of the additive property for exponents.

And with that settled, we can then easily derive de Moivre’s theorem as follows:(cosx+isinx)n=(eix)n=einx=cosnx+isinnxIn practice, this theorem is commonly used to find the **roots** of a complex number, and to obtain **closed-form expressions** for sinnx and cosnx. It does so by reducing functions raised to high powers to simple trigonometric functions — so that calculations can be done with ease.

In fact, de Moivre’s theorem is not the only theorem whose proof can be simplified as a result of Euler’s formula. Other identities, such as the **additive identities** for sin(x+y) and cos(x+y), also benefit from that effect as well.

Indeed, we already know that for all real x and y:cos(x+y)+isin(x+y)=ei(x+y)=eix⋅eiy=(cosx+isinx)(cosy+isiny)=(cosxcosy−sinxsiny)+i(sinxcosy+cosxsiny)Once there, equating the **real** and **imaginary parts** on both sides then yields the famed identities we were looking for:

cos(x+y)=cosxcosy−sinxsinysin(x+y)=sinxcosy+cosxsiny

## Conclusion

As can be seen above, **Euler’s formula** is a rare gem in the realm of mathematics. It establishes the fundamental relationship between exponential and trigonometric functions, and paves the way for much development in the world of complex numbers, complex functions and related theory.

Indeed, whether it’s Euler’s identity or complex logarithm, Euler’s formula seems to leave no stone unturned whenever expressions such sin, i and e are involved. It’s a **powerful tool** whose mastery can be tremendously rewarding, and for that reason is a rightful candidate of “the most remarkable formula in mathematics”.

Description | Statement |
---|---|

Euler’s formula |
eix=cosx+isinx |

Euler’s identity |
eiπ+1=0 |

Complex number (exponential form) |
z=reiθ |

Complex exponential |
ex+iy=ex(cosy+isiny) |

Sine (exponential form) |
sinx=eix−e−ix2i |

Cosine (exponential form) |
cosx=eix+e−ix2 |

Tangent (exponential form) |
tanx=eix−e−ixi(eix+e−ix) |

Hyperbolic sine (exponential form) |
sinhz=sinizi |

Hyperbolic cosine (exponential form) |
coshz=cosiz |

Hyperbolic tangent (exponential form) |
tanhz=tanizi |

Complex logarithm |
lnz=ln|z|+iϕ |

General complex exponential |
az=ezlna |

De Moivre’s theorem |
(cosx+isinx)n=cosnx+isinnx |

Additive identity of sine |
sin(x+y)=sinxcosy+cosxsiny |

Additive identity of cosine |
cos(x+y)=cosxcosy−sinxsiny |