About Euler’s Formula

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.

Ebook cover of The Complete Guide to Euler's Formula

Prefer the PDF version instead?

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

Diagram illustrating Euler's formula for complex numbers

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=cos⁡x+isin⁡x

where:

Note

In this formula, the right-hand side is sometimes abbreviated as cis⁡x, 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=cos⁡0+isin⁡0, 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=cos⁡1+isin⁡1. 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π)=cos⁡2π+isin⁡2π, 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=cos⁡x+isin⁡xwhere:

  • 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 sin⁡z, cos⁡z, 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 cos⁡x iscos⁡x=1−x22!+x44!−x66!+x88!−⋯And for sin⁡x, it issin⁡x=x−x33!+x55!−x77!+⋯In other words, the last equation we had is preciselyeix=cos⁡x+isin⁡xwhich 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 cos⁡x+isin⁡x 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, cos⁡x and sin⁡x 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 cos⁡x+isin⁡x, respectively. Differentiating f1 via chain rule then yields:f1′(x)=ieix=if1(x)Similarly, differentiating f2 also yields:f2′(x)=−sin⁡x+icos⁡x=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)=cos⁡x+isin⁡x 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)=ei0cos⁡0+isin⁡0=1In other words, we must have that for all x:(f1f2)(x)=eixcos⁡x+isin⁡x=1which, after moving cos⁡x+isin⁡x 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⁡θ)=cos⁡x+isin⁡xwhich, 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=cos⁡x+isin⁡xand 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=cos⁡x+isin⁡xIf 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(cos⁡y+isin⁡y)

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=cos⁡x−isin⁡xThis 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:

sin⁡x=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:

cos⁡x=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 sin⁡xcos⁡x, so in terms of complex exponentials, it becomes:

tan⁡x=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:sin⁡iz=ei(iz)−e−i(iz)2i=e−z−ez2i=i(ez−e−z2)=isinh⁡zcos⁡iz=ei(iz)+e−i(iz)2=ez+e−z2=cosh⁡zFrom these, we can also plug in iz into complex tangent and get:tan⁡(iz)=sin⁡izcos⁡iz=isinh⁡zcosh⁡z=itanh⁡zIn short, this means that we can now define hyperbolic functions in terms of trigonometric functions as follows:

sinh⁡z=sin⁡izicosh⁡z=cos⁡iztanh⁡z=tan⁡izi

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:eln⁡z=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:ln⁡z=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 ln⁡z 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:

ln⁡z=ln⁡|z|+iϕ

For example, under this new rule, we would have that ln⁡1=0 and ln⁡i=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)=dfezln⁡a

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=eiln⁡i=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

(cos⁡x+isin⁡x)n=cos⁡nx+isin⁡nx

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:(cos⁡x+isin⁡x)n=(eix)n=einx=cos⁡nx+isin⁡nxIn practice, this theorem is commonly used to find the roots of a complex number, and to obtain closed-form expressions for sin⁡nx and cos⁡nx. 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=(cos⁡x+isin⁡x)(cos⁡y+isin⁡y)=(cos⁡xcos⁡y−sin⁡xsin⁡y)+i(sin⁡xcos⁡y+cos⁡xsin⁡y)Once there, equating the real and imaginary parts on both sides then yields the famed identities we were looking for:

cos⁡(x+y)=cos⁡xcos⁡y−sin⁡xsin⁡ysin⁡(x+y)=sin⁡xcos⁡y+cos⁡xsin⁡y

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=cos⁡x+isin⁡x
Euler’s identity eiπ+1=0
Complex number (exponential form) z=reiθ
Complex exponential ex+iy=ex(cos⁡y+isin⁡y)
Sine (exponential form) sin⁡x=eix−e−ix2i
Cosine (exponential form) cos⁡x=eix+e−ix2
Tangent (exponential form) tan⁡x=eix−e−ixi(eix+e−ix)
Hyperbolic sine (exponential form) sinh⁡z=sin⁡izi
Hyperbolic cosine (exponential form) cosh⁡z=cos⁡iz
Hyperbolic tangent (exponential form) tanh⁡z=tan⁡izi
Complex logarithm ln⁡z=ln⁡|z|+iϕ
General complex exponential az=ezln⁡a
De Moivre’s theorem (cos⁡x+isin⁡x)n=cos⁡nx+isin⁡nx
Additive identity of sine sin⁡(x+y)=sin⁡xcos⁡y+cos⁡xsin⁡y
Additive identity of cosine cos⁡(x+y)=cos⁡xcos⁡y−sin⁡xsin⁡y
Ebook cover of The Complete Guide to Euler's Formula

Sources

EULER is a EUCLID institute established under Section X.6 of the EUCLID Statutes (as registered and published by the United Nations Treaty Series)