âčïž Skipped - page is already crawled
| Filter | Status | Condition | Details |
|---|---|---|---|
| HTTP status | PASS | download_http_code = 200 | HTTP 200 |
| Age cutoff | PASS | download_stamp > now() - 6 MONTH | 0.2 months ago |
| History drop | PASS | isNull(history_drop_reason) | No drop reason |
| Spam/ban | PASS | fh_dont_index != 1 AND ml_spam_score = 0 | ml_spam_score=0 |
| Canonical | PASS | meta_canonical IS NULL OR = '' OR = src_unparsed | Not set |
| Property | Value | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| URL | http://www.science4all.org/article/eulers-identity/ | |||||||||
| Last Crawled | 2026-04-16 02:23:02 (7 days ago) | |||||||||
| First Indexed | 2015-12-16 20:07:25 (10 years ago) | |||||||||
| HTTP Status Code | 200 | |||||||||
| Content | ||||||||||
| Meta Title | The Most Beautiful Equation of Math: Eulerâs Identity â Science4All | |||||||||
| Meta Description | null | |||||||||
| Meta Canonical | null | |||||||||
| Boilerpipe Text | In 1988, a Mathematical Intelligencer poll voted Eulerâs identity as the most beautiful feat of all of mathematics. In one mystical equation, Euler had merged the most amazing numbers of mathematics:
e
i
Ï
+
1
=
0
.
What??? What are these symbols? What does that mean?
Weâll get there. But first, I want to insist one more time on the spectacular beauty of Eulerâs identity.
A recent study
showed that Eulerâs identity is so beautiful that it excites the same areas of the brains as a great piece of music or art would! If you donât believe me, listen to the amazing William Dunham tell you about that:
I highly recommend you to watch the whole talk of William Dunham on Leonhard Eulerâs achievements. It is one of the greatest talk Iâve heard watched!
The Dream Team of Numbers
To fall in love with a story, you need to intimately know its characters. So, before talking about Eulerâs identity, letâs draw portraits of the dream team of numbers that makes it up. Starting with the most important of them all, the
w
a
u
number, as presented below in this awesome video by
ViHart
:
The
w
a
u
number is amazing, because it usually is the solution of equations in such an obvious way that we even forget it is! For instance,
w
a
u
is the only solution to the equations
(
x
2
)
!
=
x
and
x
x
=
x
.
Wait⊠Do you mean that
w
a
u
=
1
?
Yes! And Historically,
w
a
u
is the first number invented, making it the father of all mathematics! For this mere reason, wouldnât you agree to say that
w
a
u
is just such a more awesome name than 1?
Hahaha⊠I guessâŠ
Letâs move on. Surprisingly, the second number to join the dream team is not
0
, but
Ï
. Yet, the number
Ï
is actually a beautifully evasive number!
Ï
first appeared in Antiquity, at least several millenia before our era, as the area of a disc of radius 1, or as the ratio of the circumference of a circle by its diameter. Thus,
Ï
is the symbol of geometry.
So why do you say it is evasive?
Because it wasnât until the 18th century that some basic properties of
Ï
were discovered, like the fact that it is
irrational
. This means that
Ï
cannot be written as the ratio of two numbers. A century later, it was then proved to even be
transcendental
, which means that
Ï
is somehow beyond the realm of algebra.
But, overall, the most important fact about
Ï
is the fact that it has become a cultural symbol, as explained in this fun
Math Bites with Danica McKellar
on
Nerdist
:
While
wau
and
Ï
are both ancient numbers, the other numbers of Eulerâs identity are more recent. The number
0
was only invented around the 7th Century in India. It is often attributed to Brahmagupta. And it deeply revolutionized our perspective on mathematics and numbers, as explained by the amazing Marcus du Sautoy in the BBC show
Story of Math
:
One important aspect of the invention of 0 was the natural extension of numbers to relative numbers. By then introducing negative numbers, the Indians developed the ideas of debts and investments, which were certainly a major and powerful economical innovation. In fact, 0 can be regarded as the father of algebra.
OK⊠But so far, I knew these numbers⊠What about
i
and
e
?
The number
i
is famously known as an
imaginary
number. Now, many would argue that this is a horribly wrong terminology, as
i
occurs in so many areas that it is certainly not more imaginary as â
real
â numbers like
Ï
. And I agree. In fact, some modern mathematicians like
Norman Wildberger
argue that
i
is way more ârealâ than
Ï
! In any case, the reason why I still find the terminology appealing is that the invention of
i
has coincided with the (re)birth of pure mathematics.
What do you mean?
Historically, algebra was imported in Europe from the Muslim empire. But algebra wasnât merely a powerful tool for engineers. It was also a perfect language to pose new abstract problems, like that of solving equations. And, amazingly, abstract equations like
x
2
+
1
=
0
naturally led mathematicians to invent a number whose square would be
â
1
. This number, sometimes abusively denoted
â
1
, is precisely
i
.
So,
i
is just a piece of pure abstract mathematics with no connection to the real world?
At first, yes. Yet, surprisingly, notably because of Eulerâs identity, the number
i
now plays a central role in many fields, especially physics and engineering, as explained by the two following professors on
Sixty Symbols
:
Finally, last but not least, is Eulerâs number
e
.
Did Euler merely invent it to write his identity?
Not at all! The reason why Euler introduced
e
was rather to describe the natural phenomenon of 100% continuous growths.
What do you mean?
Imagine you put 1 dollar in your bank, and they tell youâll win a 100% interest rate every year. Now, because they are crooks, theyâll only compute your interest rate at the end of the year. Thus, youâll get 1 more dollar, and obtain a total of 2 dollars.
Why did you say that they were crooks?
Because they waited for the end of the year to compute your gain! Instead, you may want to argue that the investment rate should be computed every month. Now, because itâs a 100% interest rate in twelve months, and because
100
/
12
â
8.33
, you should get an 8.33% rate every month. And if you do, amazingly, at the end of the year, instead of ending up with 2 dollars, youâll have 2.61 dollars!
Waw! Indeed!
But wait! You can do even better by computing investment rates every day. Or even, every hour. Or every second. Eventually, by having a continuous growth, you would end up with
e
â
2.718
dollars at the end of the year. Thatâs how much you win a year with a 100% continuous growth.
More formally, the 100% continuous growth means that
e
satisfies the differential equation
e
x
=
d
(
e
x
)
/
d
x
, and our approach proves that
e
=
lim
(
1
+
1
/
n
)
n
. These facts make
e
the symbol of calculus.
So there we go, we have our dream team of numbers!
Exactly! Letâs sum it up:
Now, to think that all these guys, despite coming from diverse areas of mathematics, manage to merge together and form a breathtakingly neat equation⊠This really is mind-blowing! And it explains why Eulerâs identity is so often regarded as the greatest feat of mathematics!
The Intuitive Proof
Before getting to Eulerâs original proof, letâs see the intuition underlying Eulerâs identity. But to get there, I need to get you familiar with two major mathematical objects: The
complex plane
and
derivatives
.
This intuitive proof is very interesting because it involves some of the most important and beautiful elements of mathematics. Itâs not that simple, but I strongly recommend you to try to fully understand it as it is extremely insightful.
What are these?
Letâs start with the complex plane, discovered by the giant Carl Friedrich Gauss a century after Eulerâs time. Amazingly, while real numbers are points on a 1-dimensional line, imaginary and complex numbers perfectly correspond to points in a 2-dimensional plane. Indeed, a complex number can always be written uniquely
a
+
i
b
, where
a
and
b
are the x and y-coordinates of the corresponding point.
A complex number can also be regarded as a motion, or
vector
, from the origin to the point it represents. This is important to understand the one last thing you need to know about complex numbers: Multiplying a complex number by
i
corresponds to rotating the corresponding vector by an anti-clockwise quarter of turn. This will be essential in a bitâŠ
Now, what are derivatives?
Derivatives describe motions, and theyâre particularly visual when we consider trajectories in the complex plane.
Whatâs a trajectory in the complex plane?
A trajectory corresponds to a function
f
which maps times
t
to positions
f
(
t
)
in the complex plane. By varying
t
, the point
f
(
t
)
will be describing a trajectory in the complex plane. For instance, if
f
(
t
)
=
t
+
i
t
, then
f
will correspond to the trajectory that goes along the main diagonal at a constant velocity.
So, really, a function which maps real numbers to complex numbers is just a trajectory in the complex plane.
OK⊠But what do these have to do with derivatives?
Following Newtonâs footsteps, the derivative of a trajectory at a given time is its instantaneous velocity at that time. So, for instance, in the figure above, at any point, the instantaneous velocity is a motion going diagonally up-right. In fact, you may guess that it equals the vector
1
+
i
, as, in one unit of time
t
, the trajectory moves by
1
+
i
. Amazingly, this can also be deduced from basic laws of derivation.
What are these laws?
Youâve probably learned that the derivative of
α
t
is
α
when
α
is a real number. Well, guess what, the same formula holds when
α
is a complex number! So, the derivative of
f
(
t
)
=
t
+
i
t
=
(
1
+
i
)
t
isâŠ
1
+
i
. Amazing!
And now weâre getting closer and closer to proving Eulerâs identity! As we have seen earlier, the fundamental property of Eulerâs number
e
is that the derivative of
e
t
is
e
t
. Now, using the laws of derivation, it must be that the derivative of
e
i
t
is
i
e
i
t
.
The law Iâm hinting at is the chain rule: The derivative of
u
â
v
is
(
u
âČ
â
v
)
v
âČ
. These laws of differentiable should in fact be first generalized to all vector spaces. We could then show that it makes sense to consider that they hold for complex-valued functions.
Wait⊠Didnât you say that multiplying by
i
corresponds to a anti-clockwise vector rotation of a quarter of a turn?
Exactly! So, at a time
t
, the trajectory
e
i
t
is at some point
e
i
t
of the complex plane. Yet,
e
i
t
is also the vector from the origin to
e
i
t
. Therefore,
i
e
i
t
is a vector perpendicular to the axis between the origin
e
i
t
and 0, in the anti-clockwise direction. I know⊠itâs hard to read. So let me draw this:
Note how I used the notation
e
i
t
to mean several different objects at once. There are the trajectory
e
i
t
(which should more formally be denoted
t
âŠ
e
i
t
), the point
e
i
t
and the vector
e
i
t
. Similarly, there are the derivative
i
e
i
t
and the vector
i
e
i
t
.
Now, if you have done some physics, you should immediately be able to figure out what kind of trajectory
e
i
t
is.
I guess I havenât done enough physicsâŠ
What if I told you that the origin was the Earth?
Then I guess that the point
e
i
t
would correspond to the MoonâŠ
Exactly! Just like the Moon, the velocity of the point
e
i
t
always points perpendicularly to the axis Earth-Moon. And as a resultâŠ
I know! The trajectory of
e
i
t
is that of a circle!
Bingo! The trajectory of
e
i
t
is that of a circle rotating anti-clockwisely!
You can prove this formally by studying the variation of the square of the distance between
e
i
t
and the origin. Since this variation is 0, this means that the distance must be constant, and thus that
e
i
t
must belong to a circle whose center is the origin.
Now, since
e
i
t
=
e
0
=
1
if
t
=
0
, this means that this circle must go through 1. Itâs thus necessarily the unit circle! Plus, since the velocity of the trajectory is the rotation of the vector
e
i
t
, the speed equals the length of the vector
e
i
t
, which is the radius of the circle: 1. Thus, the trajectory
e
i
t
is a anti-clockwise rundown of the unit circle at speed 1. How beautiful is that?
Waw! This is so amazingly simple!
I know! And it enables to easily deduce the formula
e
i
t
=
c
o
s
(
t
)
+
i
s
i
n
(
t
)
. But, we donât even need that to derive Eulerâs identity⊠What happens when
t
=
Ï
?
What do you mean?
Recall that at
t
=
0
, the trajectory
e
i
t
started at 1. Now, it moves at speed 1 along the unit circle anti-clockwisely. So, at
t
=
Ï
, it will have walked a distance of
Ï
on a circle of radius 1âŠ
And since this circle has a circumference of
2
Ï
, it will have walked done half of a turn!
Exactly! This is where the geometry of the circle has
Ï
entering in play! So, amazingly,
e
i
Ï
is the antipode of 1 on the unit circle, which is -1. Thus,
e
i
Ï
=
â
1
. Or, equivalently, we obtain the beautiful Euler identity:
Eulerâs Proof
Now, this insightful and intuitive proof wasnât Eulerâs. Rather, Euler is known for his mastery of
infinite sums
, which he used to derive his identity.
This proof will not be as insightful as the previous one. However, it involves some other essential technics of mathematics. It is definitely more technical though.
The key objects of Eulerâs proof are power series. A few decades before Euler, British mathematicians Brook Taylor and Colin Maclaurin found out that many real functions
f
(
t
)
could be written as an infinite sum of powers of
t
. In fact, in many cases, the derivatives of
f
(
t
)
at
t
=
0
were sufficient to describe
f
everywhere as such a sum. Denoting
f
(
n
)
(
0
)
the
n
-th derivative at
t
=
0
, the Taylor-Maclaurin series could then be written as follows:
Now, given that the derivative of
s
i
n
is
c
o
s
, that the derivative of
c
o
s
is
â
s
i
n
, that
s
i
n
(
0
)
=
0
and that
c
o
s
(
0
)
=
1
, we have:
s
i
n
(
0
)
=
0
,
s
i
n
(
1
)
(
0
)
=
c
o
s
(
0
)
=
1
,
s
i
n
(
2
)
(
0
)
=
â
s
i
n
(
0
)
=
0
,
s
i
n
(
3
)
(
0
)
=
â
c
o
s
(
0
)
=
â
1
,
s
i
n
(
4
)
(
0
)
=
s
i
n
(
0
)
=
0
âŠ
c
o
s
(
0
)
=
1
,
c
o
s
(
1
)
(
0
)
=
â
s
i
n
(
0
)
=
0
,
c
o
s
(
2
)
(
0
)
=
â
c
o
s
(
0
)
=
â
1
,
c
o
s
(
3
)
(
0
)
=
s
i
n
(
0
)
=
0
,
c
o
s
(
4
)
(
0
)
=
c
o
s
(
0
)
=
1
âŠ
Thus, the Taylor-Maclaurin series of the sine and cosine functions are the following ones:
Furthermore, we need to remark that if the derivative of
e
t
is
e
t
and if
e
0
=
1
, then, necessarily, all derivatives at all orders of
e
t
in 0 must equal
e
0
=
1
. Thus, the Taylor-Maclaurin series of the
e
t
is:
Eulerâs great move was to then replace
t
by
i
t
in the formula above. By then separating real parts from imaginary parts (I mean terms with
i
), magically, the expression of
e
i
t
perfectly decomposes itself into
c
o
s
(
t
)
+
i
s
i
n
(
t
)
. Iâm a bit lazy so I wonât do that myself, but Iâll let this awesome video by
VeritySeeker
show it to you:
So, we have
e
i
t
=
c
o
s
(
t
)
+
i
s
i
n
(
t
)
. By setting
t
=
Ï
, and given that
c
o
s
(
Ï
)
=
â
1
and
s
i
n
(
Ï
)
=
0
, we end up with
e
i
t
=
â
1
. Or, equivalently,
As youâve guessed it, Iâm not really fond of this proof, mostly because itâs a lot about computations. But also, itâs much trickier than it looks. First of all, we would need to define sine and cosine functions properly before. Then, weâd need to prove that the derivation properties of sine and cosine. Next, weâd still need to prove that
s
i
n
(
Ï
)
=
0
and
c
o
s
(
Ï
)
=
â
1
. Furthermore, weâd need to prove the Taylor-Maclaurin series of the sine, cosine and exponential functions indeed equal these functions, even when inputs are complex numbers. Eventually, all these tasks turn out to be longer and not easier than the intuitive proof we have given earlier (but historically, they were done, so it was easier for Euler to build upon them)⊠Finally, and thatâs very important, our first proof was much more insightful.
Letâs Sum Up
Eulerâs identity is the greatest feat of mathematics because it merges in one beautiful relation all the most important numbers of mathematics. But thatâs still a huge understatement, as it conceals a deeper connection between vastly different areas that Eulerâs identity indicates. Above all else, Eulerâs mystical identity is a clever insight into the perfection of the unit circle, by combining complex and diverse subfields of mathematics! In fact, the countless properties of this perfect unit circle are the reasons why Eulerâs identity has become essential in many applications, like in physics.
Really?
Yes! And thatâs strongly related to the unavoidable
Fourier analysis
. In essence, Fourierâs mind-blowing discovery is the fact that a large class of trajectories in the complex plane corresponds to infinite additions of unit circles run over at different speeds and in both directions. In calculus terms, this means that many functions
f
(
t
)
which map real to complex numbers can be written
â«
g
(
Ï
)
e
i
Ï
t
d
Ï
, where
Ï
is the speed of the rundown of unit circles. One important application of that is for the understanding of
resonance
. | |||||||||
| Markdown | [Skip to content](http://www.science4all.org/article/eulers-identity/#wp--skip-link--target)
[Science4All](http://www.science4all.org/)
- [Home](https://www.science4all.org/home/)
- [Articles](https://www.science4all.org/articles/)
- [Videos](https://www.science4all.org/videos/)
- [About](https://www.science4all.org/about/)
# The Most Beautiful Equation of Math: Eulerâs Identity
Written by
[LĂȘ NguyĂȘn Hoang](http://www.science4all.org/author/le-nguyen-hoang/)
in
[Article](http://www.science4all.org/category/article/)
In 1988, a Mathematical Intelligencer poll voted Eulerâs identity as the most beautiful feat of all of mathematics. In one mystical equation, Euler had merged the most amazing numbers of mathematics: e i Ï \+ 1 \= 0.
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
What??? What are these symbols? What does that mean?
Weâll get there. But first, I want to insist one more time on the spectacular beauty of Eulerâs identity. [A recent study](http://www.bbc.co.uk/news/science-environment-26151062) showed that Eulerâs identity is so beautiful that it excites the same areas of the brains as a great piece of music or art would! If you donât believe me, listen to the amazing William Dunham tell you about that:
I highly recommend you to watch the whole talk of William Dunham on Leonhard Eulerâs achievements. It is one of the greatest talk Iâve heard watched\!
## The Dream Team of Numbers
To fall in love with a story, you need to intimately know its characters. So, before talking about Eulerâs identity, letâs draw portraits of the dream team of numbers that makes it up. Starting with the most important of them all, the w a u number, as presented below in this awesome video by [ViHart](http://www.youtube.com/user/Vihart/):
The w a u number is amazing, because it usually is the solution of equations in such an obvious way that we even forget it is! For instance, w a u is the only solution to the equations ( x 2 ) \! \= x and x x \= x.
Wait⊠Do you mean that
w
a
u
\=
1
?
Yes! And Historically, w a u is the first number invented, making it the father of all mathematics! For this mere reason, wouldnât you agree to say that w a u is just such a more awesome name than 1?
Hahaha⊠I guessâŠ
Letâs move on. Surprisingly, the second number to join the dream team is not 0, but Ï. Yet, the number Ï is actually a beautifully evasive number! Ï first appeared in Antiquity, at least several millenia before our era, as the area of a disc of radius 1, or as the ratio of the circumference of a circle by its diameter. Thus, Ï is the symbol of geometry.
So why do you say it is evasive?
Because it wasnât until the 18th century that some basic properties of Ï were discovered, like the fact that it is [irrational](http://www.science4all.org/le-nguyen-hoang/numbers-and-constructibility/). This means that Ï cannot be written as the ratio of two numbers. A century later, it was then proved to even be **transcendental**, which means that Ï is somehow beyond the realm of algebra.
Learn more about the relations between numbers and algebra in my articles on [numbers and constructibility](http://www.science4all.org/le-nguyen-hoang/numbers-and-constructibility/), and on [Galois theory](http://www.science4all.org/le-nguyen-hoang/galois-theory/).
But, overall, the most important fact about Ï is the fact that it has become a cultural symbol, as explained in this fun *Math Bites with Danica McKellar* on [Nerdist](http://www.youtube.com/user/Nerdist):
While *wau* and Ï are both ancient numbers, the other numbers of Eulerâs identity are more recent. The number 0 was only invented around the 7th Century in India. It is often attributed to Brahmagupta. And it deeply revolutionized our perspective on mathematics and numbers, as explained by the amazing Marcus du Sautoy in the BBC show *Story of Math*:
One important aspect of the invention of 0 was the natural extension of numbers to relative numbers. By then introducing negative numbers, the Indians developed the ideas of debts and investments, which were certainly a major and powerful economical innovation. In fact, 0 can be regarded as the father of algebra.
OK⊠But so far, I knew these numbers⊠What about
i
and
e
?
The number i is famously known as an *imaginary* number. Now, many would argue that this is a horribly wrong terminology, as i occurs in so many areas that it is certainly not more imaginary as â*real*â numbers like Ï. And I agree. In fact, some modern mathematicians like [Norman Wildberger](http://www.youtube.com/watch?v=lcIbCZR0HbU) argue that i is way more ârealâ than Ï! In any case, the reason why I still find the terminology appealing is that the invention of i has coincided with the (re)birth of pure mathematics.
What do you mean?
Historically, algebra was imported in Europe from the Muslim empire. But algebra wasnât merely a powerful tool for engineers. It was also a perfect language to pose new abstract problems, like that of solving equations. And, amazingly, abstract equations like x 2 \+ 1 \= 0 naturally led mathematicians to invent a number whose square would be â 1. This number, sometimes abusively denoted â 1, is precisely i.
Learn more with my article on [imaginary and complex numbers](http://www.science4all.org/le-nguyen-hoang/imaginary-and-complex-numbers/) which constructs
i
in a more natural way than the Historical one.
So,
i
is just a piece of pure abstract mathematics with no connection to the real world?
At first, yes. Yet, surprisingly, notably because of Eulerâs identity, the number i now plays a central role in many fields, especially physics and engineering, as explained by the two following professors on [Sixty Symbols](http://www.youtube.com/user/sixtysymbols):
Finally, last but not least, is Eulerâs number e.
Did Euler merely invent it to write his identity?
[](http://www.science4all.org/wp-content/uploads/2014/02/investment-banking.jpg)
Not at all! The reason why Euler introduced e was rather to describe the natural phenomenon of 100% continuous growths.
What do you mean?
Imagine you put 1 dollar in your bank, and they tell youâll win a 100% interest rate every year. Now, because they are crooks, theyâll only compute your interest rate at the end of the year. Thus, youâll get 1 more dollar, and obtain a total of 2 dollars.
Why did you say that they were crooks?
Because they waited for the end of the year to compute your gain! Instead, you may want to argue that the investment rate should be computed every month. Now, because itâs a 100% interest rate in twelve months, and because 100 / 12 â 8\.33, you should get an 8.33% rate every month. And if you do, amazingly, at the end of the year, instead of ending up with 2 dollars, youâll have 2.61 dollars\!
Waw! Indeed\!
But wait! You can do even better by computing investment rates every day. Or even, every hour. Or every second. Eventually, by having a continuous growth, you would end up with e â 2\.718 dollars at the end of the year. Thatâs how much you win a year with a 100% continuous growth.
If you want to know more about this intuitive approach to
e
as 100% continuous growth, check [this awesome article by Better Explained](http://betterexplained.com/articles/an-intuitive-guide-to-exponential-functions-e/).
More formally, the 100% continuous growth means that e satisfies the differential equation e x \= d ( e x ) / d x, and our approach proves that e \= lim ( 1 \+ 1 / n ) n. These facts make e the symbol of calculus.
So there we go, we have our dream team of numbers\!
Exactly! Letâs sum it up:
[](http://www.science4all.org/wp-content/uploads/2014/02/Dream-Team2.png)
Now, to think that all these guys, despite coming from diverse areas of mathematics, manage to merge together and form a breathtakingly neat equation⊠This really is mind-blowing! And it explains why Eulerâs identity is so often regarded as the greatest feat of mathematics\!
## The Intuitive Proof
Before getting to Eulerâs original proof, letâs see the intuition underlying Eulerâs identity. But to get there, I need to get you familiar with two major mathematical objects: The [complex plane](http://www.science4all.org/le-nguyen-hoang/imaginary-and-complex-numbers/) and [derivatives](http://www.science4all.org/le-nguyen-hoang/differential-calculus/).
This intuitive proof is very interesting because it involves some of the most important and beautiful elements of mathematics. Itâs not that simple, but I strongly recommend you to try to fully understand it as it is extremely insightful.
What are these?
Letâs start with the complex plane, discovered by the giant Carl Friedrich Gauss a century after Eulerâs time. Amazingly, while real numbers are points on a 1-dimensional line, imaginary and complex numbers perfectly correspond to points in a 2-dimensional plane. Indeed, a complex number can always be written uniquely a \+ i b, where a and b are the x and y-coordinates of the corresponding point.
[](http://www.science4all.org/wp-content/uploads/2014/02/Complex-Plane.png)
A complex number can also be regarded as a motion, or **vector**, from the origin to the point it represents. This is important to understand the one last thing you need to know about complex numbers: Multiplying a complex number by i corresponds to rotating the corresponding vector by an anti-clockwise quarter of turn. This will be essential in a bitâŠ
Find out more with [my article on imaginary and complex numbers](http://www.science4all.org/le-nguyen-hoang/imaginary-and-complex-numbers/)\!
Now, what are derivatives?
Derivatives describe motions, and theyâre particularly visual when we consider trajectories in the complex plane.
Whatâs a trajectory in the complex plane?
A trajectory corresponds to a function f which maps times t to positions f ( t ) in the complex plane. By varying t, the point f ( t ) will be describing a trajectory in the complex plane. For instance, if f ( t ) \= t \+ i t, then f will correspond to the trajectory that goes along the main diagonal at a constant velocity.
[](http://www.science4all.org/wp-content/uploads/2014/02/Trajectory.png)
So, really, a function which maps real numbers to complex numbers is just a trajectory in the complex plane.
OK⊠But what do these have to do with derivatives?
Following Newtonâs footsteps, the derivative of a trajectory at a given time is its instantaneous velocity at that time. So, for instance, in the figure above, at any point, the instantaneous velocity is a motion going diagonally up-right. In fact, you may guess that it equals the vector 1 \+ i, as, in one unit of time t, the trajectory moves by 1 \+ i. Amazingly, this can also be deduced from basic laws of derivation.
Find out more with [my article on differential calculus](http://www.science4all.org/le-nguyen-hoang/differential-calculus/).
What are these laws?
Youâve probably learned that the derivative of α t is α when α is a real number. Well, guess what, the same formula holds when α is a complex number! So, the derivative of f ( t ) \= t \+ i t \= ( 1 \+ i ) t isâŠ
1
\+
i
. Amazing\!
And now weâre getting closer and closer to proving Eulerâs identity! As we have seen earlier, the fundamental property of Eulerâs number e is that the derivative of e t is e t. Now, using the laws of derivation, it must be that the derivative of e i t is i e i t.
The law Iâm hinting at is the chain rule: The derivative of
u
â
v
is
(
u
âČ
â
v
)
v
âČ
. These laws of differentiable should in fact be first generalized to all vector spaces. We could then show that it makes sense to consider that they hold for complex-valued functions.
Wait⊠Didnât you say that multiplying by
i
corresponds to a anti-clockwise vector rotation of a quarter of a turn?
Exactly! So, at a time t, the trajectory e i t is at some point e i t of the complex plane. Yet, e i t is also the vector from the origin to e i t. Therefore, i e i t is a vector perpendicular to the axis between the origin e i t and 0, in the anti-clockwise direction. I know⊠itâs hard to read. So let me draw this:
[](http://www.science4all.org/wp-content/uploads/2014/02/Trajectory-of-eit.png)
Note how I used the notation
e
i
t
to mean several different objects at once. There are the trajectory
e
i
t
(which should more formally be denoted
t
âŠ
e
i
t
), the point
e
i
t
and the vector
e
i
t
. Similarly, there are the derivative
i
e
i
t
and the vector
i
e
i
t
.
Now, if you have done some physics, you should immediately be able to figure out what kind of trajectory e i t is.
I guess I havenât done enough physicsâŠ
What if I told you that the origin was the Earth?
Then I guess that the point
e
i
t
would correspond to the MoonâŠ
Exactly! Just like the Moon, the velocity of the point e i t always points perpendicularly to the axis Earth-Moon. And as a resultâŠ
I know! The trajectory of
e
i
t
is that of a circle\!
Bingo! The trajectory of e i t is that of a circle rotating anti-clockwisely\!
[](http://www.science4all.org/wp-content/uploads/2014/02/The-Unit-Circle.png)
You can prove this formally by studying the variation of the square of the distance between
e
i
t
and the origin. Since this variation is 0, this means that the distance must be constant, and thus that
e
i
t
must belong to a circle whose center is the origin.
Now, since e i t \= e 0 \= 1 if t \= 0, this means that this circle must go through 1. Itâs thus necessarily the unit circle! Plus, since the velocity of the trajectory is the rotation of the vector e i t, the speed equals the length of the vector e i t, which is the radius of the circle: 1. Thus, the trajectory e i t is a anti-clockwise rundown of the unit circle at speed 1. How beautiful is that?
Waw! This is so amazingly simple\!
I know! And it enables to easily deduce the formula e i t \= c o s ( t ) \+ i s i n ( t ). But, we donât even need that to derive Eulerâs identity⊠What happens when t \= Ï?
What do you mean?
Recall that at t \= 0, the trajectory e i t started at 1. Now, it moves at speed 1 along the unit circle anti-clockwisely. So, at t \= Ï, it will have walked a distance of Ï on a circle of radius 1âŠ
And since this circle has a circumference of
2
Ï
, it will have walked done half of a turn\!
Exactly! This is where the geometry of the circle has Ï entering in play! So, amazingly, e i Ï is the antipode of 1 on the unit circle, which is -1. Thus, e i Ï \= â 1. Or, equivalently, we obtain the beautiful Euler identity:
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
## Eulerâs Proof
Now, this insightful and intuitive proof wasnât Eulerâs. Rather, Euler is known for his mastery of [infinite sums](http://www.science4all.org/le-nguyen-hoang/infinite-series/), which he used to derive his identity.
This proof will not be as insightful as the previous one. However, it involves some other essential technics of mathematics. It is definitely more technical though.
The key objects of Eulerâs proof are power series. A few decades before Euler, British mathematicians Brook Taylor and Colin Maclaurin found out that many real functions f ( t ) could be written as an infinite sum of powers of t. In fact, in many cases, the derivatives of f ( t ) at t \= 0 were sufficient to describe f everywhere as such a sum. Denoting f ( n ) ( 0 ) the n\-th derivative at t \= 0, the Taylor-Maclaurin series could then be written as follows:
[](http://www.science4all.org/wp-content/uploads/2014/02/Taylor-Maclaurin-Series.png)
Now, given that the derivative of s i n is c o s, that the derivative of c o s is â s i n, that s i n ( 0 ) \= 0 and that c o s ( 0 ) \= 1, we have:
- s
i
n
(
0
)
\=
0
,
s
i
n
(
1
)
(
0
)
\=
c
o
s
(
0
)
\=
1
,
s
i
n
(
2
)
(
0
)
\=
â
s
i
n
(
0
)
\=
0
,
s
i
n
(
3
)
(
0
)
\=
â
c
o
s
(
0
)
\=
â
1
,
s
i
n
(
4
)
(
0
)
\=
s
i
n
(
0
)
\=
0
âŠ
- c
o
s
(
0
)
\=
1
,
c
o
s
(
1
)
(
0
)
\=
â
s
i
n
(
0
)
\=
0
,
c
o
s
(
2
)
(
0
)
\=
â
c
o
s
(
0
)
\=
â
1
,
c
o
s
(
3
)
(
0
)
\=
s
i
n
(
0
)
\=
0
,
c
o
s
(
4
)
(
0
)
\=
c
o
s
(
0
)
\=
1
âŠ
Thus, the Taylor-Maclaurin series of the sine and cosine functions are the following ones:
[](http://www.science4all.org/wp-content/uploads/2014/02/Sine-and-Cosine-Functions.png)
Furthermore, we need to remark that if the derivative of e t is e t and if e 0 \= 1, then, necessarily, all derivatives at all orders of e t in 0 must equal e 0 \= 1. Thus, the Taylor-Maclaurin series of the e t is:
[](http://www.science4all.org/wp-content/uploads/2014/02/Exponential.png)
Eulerâs great move was to then replace t by i t in the formula above. By then separating real parts from imaginary parts (I mean terms with i), magically, the expression of e i t perfectly decomposes itself into c o s ( t ) \+ i s i n ( t ). Iâm a bit lazy so I wonât do that myself, but Iâll let this awesome video by [VeritySeeker](http://www.youtube.com/user/VeritySeeker) show it to you:
So, we have e i t \= c o s ( t ) \+ i s i n ( t ). By setting t \= Ï, and given that c o s ( Ï ) \= â 1 and s i n ( Ï ) \= 0, we end up with e i t \= â 1. Or, equivalently,
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
As youâve guessed it, Iâm not really fond of this proof, mostly because itâs a lot about computations. But also, itâs much trickier than it looks. First of all, we would need to define sine and cosine functions properly before. Then, weâd need to prove that the derivation properties of sine and cosine. Next, weâd still need to prove that
s
i
n
(
Ï
)
\=
0
and
c
o
s
(
Ï
)
\=
â
1
. Furthermore, weâd need to prove the Taylor-Maclaurin series of the sine, cosine and exponential functions indeed equal these functions, even when inputs are complex numbers. Eventually, all these tasks turn out to be longer and not easier than the intuitive proof we have given earlier (but historically, they were done, so it was easier for Euler to build upon them)⊠Finally, and thatâs very important, our first proof was much more insightful.
## Letâs Sum Up
Eulerâs identity is the greatest feat of mathematics because it merges in one beautiful relation all the most important numbers of mathematics. But thatâs still a huge understatement, as it conceals a deeper connection between vastly different areas that Eulerâs identity indicates. Above all else, Eulerâs mystical identity is a clever insight into the perfection of the unit circle, by combining complex and diverse subfields of mathematics! In fact, the countless properties of this perfect unit circle are the reasons why Eulerâs identity has become essential in many applications, like in physics.
Really?
Yes! And thatâs strongly related to the unavoidable [Fourier analysis](http://www.science4all.org/le-nguyen-hoang/fourier-analysis/). In essence, Fourierâs mind-blowing discovery is the fact that a large class of trajectories in the complex plane corresponds to infinite additions of unit circles run over at different speeds and in both directions. In calculus terms, this means that many functions f ( t ) which map real to complex numbers can be written â« g ( Ï ) e i Ï t d Ï, where Ï is the speed of the rundown of unit circles. One important application of that is for the understanding of [resonance](http://www.science4all.org/le-nguyen-hoang/resonance/).
Learn more with [my article on Fourier analysis](http://www.science4all.org/le-nguyen-hoang/fourier-analysis/), and, for a more insightful but more abstract description of Fourier analysis, check [my article on the dynamics of the wave function in quantum mechanics](http://www.science4all.org/le-nguyen-hoang/dynamics-of-the-wave-function/).
- [Click to email a link to a friend (Opens in new window) Email](mailto:?subject=%5BShared%20Post%5D%20The%20Most%20Beautiful%20Equation%20of%20Math%3A%20Euler%27s%20Identity&body=http%3A%2F%2Fwww.science4all.org%2Farticle%2Feulers-identity%2F&share=email&nb=1)
- [Click to share on Facebook (Opens in new window) Facebook](http://www.science4all.org/article/eulers-identity/?share=facebook&nb=1)
- [Click to share on X (Opens in new window) X](http://www.science4all.org/article/eulers-identity/?share=twitter&nb=1)
- [Click to share on LinkedIn (Opens in new window) LinkedIn](http://www.science4all.org/article/eulers-identity/?share=linkedin&nb=1)
- [Click to share on Pinterest (Opens in new window) Pinterest](http://www.science4all.org/article/eulers-identity/?share=pinterest&nb=1)
- [Click to share on Reddit (Opens in new window) Reddit](http://www.science4all.org/article/eulers-identity/?share=reddit&nb=1)
- [Click to share on Pocket (Opens in new window) Pocket](http://www.science4all.org/article/eulers-identity/?share=pocket&nb=1)
- [Click to share on Tumblr (Opens in new window) Tumblr](http://www.science4all.org/article/eulers-identity/?share=tumblr&nb=1)
- [Click to print (Opens in new window) Print](http://www.science4all.org/article/eulers-identity/#print?share=print&nb=1)
[Algebra](http://www.science4all.org/tag/algebra/) [Calculus](http://www.science4all.org/tag/calculus/) [Differential Equations](http://www.science4all.org/tag/differential-equations/) [Geometry](http://www.science4all.org/tag/geometry/) [Mathematics](http://www.science4all.org/tag/mathematics-2/) [Numbers](http://www.science4all.org/tag/numbers/) [waves](http://www.science4all.org/tag/waves/)
â[The New Big Fish Called Mean-Field Game Theory](http://www.science4all.org/article/mean-field-games/)
[The Thrilling Physics of Resonance](http://www.science4all.org/article/resonance/)â
## Comments
### 5 responses to âThe Most Beautiful Equation of Math: Eulerâs Identityâ
1. 
[December 22, 2015](http://www.science4all.org/article/eulers-identity/#comment-13061)
[Gregory M. Constantino attorney Corruption](http://law.justia.com/cases/federal/district-courts/utah/utdce/2:2009cv00357/70264/25/)
I absolutely love your blog and find many of your postâs to
be just what Iâm looking for. can you offer guest writers to write content for you personally?
I wouldnât mind publishing a post or elaborating on many
of the subjects you write about here. Again, awesome website\!
[Reply](http://www.science4all.org/article/eulers-identity/?replytocom=13061#respond)
2. 
[December 29, 2015](http://www.science4all.org/article/eulers-identity/#comment-13334)
[anal video](https://pro-papers.com/)
A round of applause for your blog.Thanks Again.
[Reply](http://www.science4all.org/article/eulers-identity/?replytocom=13334#respond)
3. 
[January 19, 2016](http://www.science4all.org/article/eulers-identity/#comment-15919)
[RosGerl](http://allbesta.net/torrent/games/)
What s the deal with Euler s identity? Basically, it s an equation about numbers specifically, those elusive constants and
[Reply](http://www.science4all.org/article/eulers-identity/?replytocom=15919#respond)
4. 
[March 14, 2016](http://www.science4all.org/article/eulers-identity/#comment-16592)
Sumit
hats off ! probably one of the best articles I have read.
[Reply](http://www.science4all.org/article/eulers-identity/?replytocom=16592#respond)
5. 
[March 16, 2016](http://www.science4all.org/article/eulers-identity/#comment-16593)
Matt
This is an amazing post. Please keep writing\!
[Reply](http://www.science4all.org/article/eulers-identity/?replytocom=16593#respond)
### Leave a Reply [Cancel reply](http://www.science4all.org/article/eulers-identity/#respond)
## More posts
- ### [What Makes a Published Result Believable?](http://www.science4all.org/article/publication/)
[June 4, 2019](http://www.science4all.org/article/publication/)
- ### [The Triangle of Power](http://www.science4all.org/article/the-triangle-of-power/)
[September 18, 2016](http://www.science4all.org/article/the-triangle-of-power/)
- ### [Minkowskiâs Spacetime \| Relativity 23](http://www.science4all.org/video/general-relativity/minkowskis-spacetime-relativity-23/)
[June 15, 2016](http://www.science4all.org/video/general-relativity/minkowskis-spacetime-relativity-23/)
- ### [What does E=mcÂČ really mean? Relativity 22](http://www.science4all.org/video/general-relativity/emc2/)
[June 12, 2016](http://www.science4all.org/video/general-relativity/emc2/)
## [Science4All](http://www.science4all.org/)
Quality Popular Science
- [Blog](http://www.science4all.org/article/eulers-identity/)
- [About](http://www.science4all.org/article/eulers-identity/)
- [FAQs](http://www.science4all.org/article/eulers-identity/)
- [Authors](http://www.science4all.org/article/eulers-identity/)
- [Events](http://www.science4all.org/article/eulers-identity/)
- [Shop](http://www.science4all.org/article/eulers-identity/)
- [Patterns](http://www.science4all.org/article/eulers-identity/)
- [Themes](http://www.science4all.org/article/eulers-identity/)
Twenty Twenty-Five
Designed with [WordPress](https://wordpress.org/) | |||||||||
| Readable Markdown | In 1988, a Mathematical Intelligencer poll voted Eulerâs identity as the most beautiful feat of all of mathematics. In one mystical equation, Euler had merged the most amazing numbers of mathematics: e i Ï \+ 1 \= 0.
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
What??? What are these symbols? What does that mean?
Weâll get there. But first, I want to insist one more time on the spectacular beauty of Eulerâs identity. [A recent study](http://www.bbc.co.uk/news/science-environment-26151062) showed that Eulerâs identity is so beautiful that it excites the same areas of the brains as a great piece of music or art would! If you donât believe me, listen to the amazing William Dunham tell you about that:
I highly recommend you to watch the whole talk of William Dunham on Leonhard Eulerâs achievements. It is one of the greatest talk Iâve heard watched\!
## The Dream Team of Numbers
To fall in love with a story, you need to intimately know its characters. So, before talking about Eulerâs identity, letâs draw portraits of the dream team of numbers that makes it up. Starting with the most important of them all, the w a u number, as presented below in this awesome video by [ViHart](http://www.youtube.com/user/Vihart/):
The w a u number is amazing, because it usually is the solution of equations in such an obvious way that we even forget it is! For instance, w a u is the only solution to the equations ( x 2 ) \! \= x and x x \= x.
Wait⊠Do you mean that
w
a
u
\=
1
?
Yes! And Historically, w a u is the first number invented, making it the father of all mathematics! For this mere reason, wouldnât you agree to say that w a u is just such a more awesome name than 1?
Hahaha⊠I guessâŠ
Letâs move on. Surprisingly, the second number to join the dream team is not 0, but Ï. Yet, the number Ï is actually a beautifully evasive number! Ï first appeared in Antiquity, at least several millenia before our era, as the area of a disc of radius 1, or as the ratio of the circumference of a circle by its diameter. Thus, Ï is the symbol of geometry.
So why do you say it is evasive?
Because it wasnât until the 18th century that some basic properties of Ï were discovered, like the fact that it is [irrational](http://www.science4all.org/le-nguyen-hoang/numbers-and-constructibility/). This means that Ï cannot be written as the ratio of two numbers. A century later, it was then proved to even be **transcendental**, which means that Ï is somehow beyond the realm of algebra.
But, overall, the most important fact about Ï is the fact that it has become a cultural symbol, as explained in this fun *Math Bites with Danica McKellar* on [Nerdist](http://www.youtube.com/user/Nerdist):
While *wau* and Ï are both ancient numbers, the other numbers of Eulerâs identity are more recent. The number 0 was only invented around the 7th Century in India. It is often attributed to Brahmagupta. And it deeply revolutionized our perspective on mathematics and numbers, as explained by the amazing Marcus du Sautoy in the BBC show *Story of Math*:
One important aspect of the invention of 0 was the natural extension of numbers to relative numbers. By then introducing negative numbers, the Indians developed the ideas of debts and investments, which were certainly a major and powerful economical innovation. In fact, 0 can be regarded as the father of algebra.
OK⊠But so far, I knew these numbers⊠What about
i
and
e
?
The number i is famously known as an *imaginary* number. Now, many would argue that this is a horribly wrong terminology, as i occurs in so many areas that it is certainly not more imaginary as â*real*â numbers like Ï. And I agree. In fact, some modern mathematicians like [Norman Wildberger](http://www.youtube.com/watch?v=lcIbCZR0HbU) argue that i is way more ârealâ than Ï! In any case, the reason why I still find the terminology appealing is that the invention of i has coincided with the (re)birth of pure mathematics.
What do you mean?
Historically, algebra was imported in Europe from the Muslim empire. But algebra wasnât merely a powerful tool for engineers. It was also a perfect language to pose new abstract problems, like that of solving equations. And, amazingly, abstract equations like x 2 \+ 1 \= 0 naturally led mathematicians to invent a number whose square would be â 1. This number, sometimes abusively denoted â 1, is precisely i.
So,
i
is just a piece of pure abstract mathematics with no connection to the real world?
At first, yes. Yet, surprisingly, notably because of Eulerâs identity, the number i now plays a central role in many fields, especially physics and engineering, as explained by the two following professors on [Sixty Symbols](http://www.youtube.com/user/sixtysymbols):
Finally, last but not least, is Eulerâs number e.
Did Euler merely invent it to write his identity?
[](http://www.science4all.org/wp-content/uploads/2014/02/investment-banking.jpg)
Not at all! The reason why Euler introduced e was rather to describe the natural phenomenon of 100% continuous growths.
What do you mean?
Imagine you put 1 dollar in your bank, and they tell youâll win a 100% interest rate every year. Now, because they are crooks, theyâll only compute your interest rate at the end of the year. Thus, youâll get 1 more dollar, and obtain a total of 2 dollars.
Why did you say that they were crooks?
Because they waited for the end of the year to compute your gain! Instead, you may want to argue that the investment rate should be computed every month. Now, because itâs a 100% interest rate in twelve months, and because 100 / 12 â 8\.33, you should get an 8.33% rate every month. And if you do, amazingly, at the end of the year, instead of ending up with 2 dollars, youâll have 2.61 dollars\!
Waw! Indeed\!
But wait! You can do even better by computing investment rates every day. Or even, every hour. Or every second. Eventually, by having a continuous growth, you would end up with e â 2\.718 dollars at the end of the year. Thatâs how much you win a year with a 100% continuous growth.
More formally, the 100% continuous growth means that e satisfies the differential equation e x \= d ( e x ) / d x, and our approach proves that e \= lim ( 1 \+ 1 / n ) n. These facts make e the symbol of calculus.
So there we go, we have our dream team of numbers\!
Exactly! Letâs sum it up:
[](http://www.science4all.org/wp-content/uploads/2014/02/Dream-Team2.png)
Now, to think that all these guys, despite coming from diverse areas of mathematics, manage to merge together and form a breathtakingly neat equation⊠This really is mind-blowing! And it explains why Eulerâs identity is so often regarded as the greatest feat of mathematics\!
## The Intuitive Proof
Before getting to Eulerâs original proof, letâs see the intuition underlying Eulerâs identity. But to get there, I need to get you familiar with two major mathematical objects: The [complex plane](http://www.science4all.org/le-nguyen-hoang/imaginary-and-complex-numbers/) and [derivatives](http://www.science4all.org/le-nguyen-hoang/differential-calculus/).
This intuitive proof is very interesting because it involves some of the most important and beautiful elements of mathematics. Itâs not that simple, but I strongly recommend you to try to fully understand it as it is extremely insightful.
What are these?
Letâs start with the complex plane, discovered by the giant Carl Friedrich Gauss a century after Eulerâs time. Amazingly, while real numbers are points on a 1-dimensional line, imaginary and complex numbers perfectly correspond to points in a 2-dimensional plane. Indeed, a complex number can always be written uniquely a \+ i b, where a and b are the x and y-coordinates of the corresponding point.
[](http://www.science4all.org/wp-content/uploads/2014/02/Complex-Plane.png)
A complex number can also be regarded as a motion, or **vector**, from the origin to the point it represents. This is important to understand the one last thing you need to know about complex numbers: Multiplying a complex number by i corresponds to rotating the corresponding vector by an anti-clockwise quarter of turn. This will be essential in a bitâŠ
Now, what are derivatives?
Derivatives describe motions, and theyâre particularly visual when we consider trajectories in the complex plane.
Whatâs a trajectory in the complex plane?
A trajectory corresponds to a function f which maps times t to positions f ( t ) in the complex plane. By varying t, the point f ( t ) will be describing a trajectory in the complex plane. For instance, if f ( t ) \= t \+ i t, then f will correspond to the trajectory that goes along the main diagonal at a constant velocity.
[](http://www.science4all.org/wp-content/uploads/2014/02/Trajectory.png)
So, really, a function which maps real numbers to complex numbers is just a trajectory in the complex plane.
OK⊠But what do these have to do with derivatives?
Following Newtonâs footsteps, the derivative of a trajectory at a given time is its instantaneous velocity at that time. So, for instance, in the figure above, at any point, the instantaneous velocity is a motion going diagonally up-right. In fact, you may guess that it equals the vector 1 \+ i, as, in one unit of time t, the trajectory moves by 1 \+ i. Amazingly, this can also be deduced from basic laws of derivation.
What are these laws?
Youâve probably learned that the derivative of α t is α when α is a real number. Well, guess what, the same formula holds when α is a complex number! So, the derivative of f ( t ) \= t \+ i t \= ( 1 \+ i ) t isâŠ
1
\+
i
. Amazing\!
And now weâre getting closer and closer to proving Eulerâs identity! As we have seen earlier, the fundamental property of Eulerâs number e is that the derivative of e t is e t. Now, using the laws of derivation, it must be that the derivative of e i t is i e i t.
The law Iâm hinting at is the chain rule: The derivative of
u
â
v
is
(
u
âČ
â
v
)
v
âČ
. These laws of differentiable should in fact be first generalized to all vector spaces. We could then show that it makes sense to consider that they hold for complex-valued functions.
Wait⊠Didnât you say that multiplying by
i
corresponds to a anti-clockwise vector rotation of a quarter of a turn?
Exactly! So, at a time t, the trajectory e i t is at some point e i t of the complex plane. Yet, e i t is also the vector from the origin to e i t. Therefore, i e i t is a vector perpendicular to the axis between the origin e i t and 0, in the anti-clockwise direction. I know⊠itâs hard to read. So let me draw this:
[](http://www.science4all.org/wp-content/uploads/2014/02/Trajectory-of-eit.png)
Note how I used the notation
e
i
t
to mean several different objects at once. There are the trajectory
e
i
t
(which should more formally be denoted
t
âŠ
e
i
t
), the point
e
i
t
and the vector
e
i
t
. Similarly, there are the derivative
i
e
i
t
and the vector
i
e
i
t
.
Now, if you have done some physics, you should immediately be able to figure out what kind of trajectory e i t is.
I guess I havenât done enough physicsâŠ
What if I told you that the origin was the Earth?
Then I guess that the point
e
i
t
would correspond to the MoonâŠ
Exactly! Just like the Moon, the velocity of the point e i t always points perpendicularly to the axis Earth-Moon. And as a resultâŠ
I know! The trajectory of
e
i
t
is that of a circle\!
Bingo! The trajectory of e i t is that of a circle rotating anti-clockwisely\!
[](http://www.science4all.org/wp-content/uploads/2014/02/The-Unit-Circle.png)
You can prove this formally by studying the variation of the square of the distance between
e
i
t
and the origin. Since this variation is 0, this means that the distance must be constant, and thus that
e
i
t
must belong to a circle whose center is the origin.
Now, since e i t \= e 0 \= 1 if t \= 0, this means that this circle must go through 1. Itâs thus necessarily the unit circle! Plus, since the velocity of the trajectory is the rotation of the vector e i t, the speed equals the length of the vector e i t, which is the radius of the circle: 1. Thus, the trajectory e i t is a anti-clockwise rundown of the unit circle at speed 1. How beautiful is that?
Waw! This is so amazingly simple\!
I know! And it enables to easily deduce the formula e i t \= c o s ( t ) \+ i s i n ( t ). But, we donât even need that to derive Eulerâs identity⊠What happens when t \= Ï?
What do you mean?
Recall that at t \= 0, the trajectory e i t started at 1. Now, it moves at speed 1 along the unit circle anti-clockwisely. So, at t \= Ï, it will have walked a distance of Ï on a circle of radius 1âŠ
And since this circle has a circumference of
2
Ï
, it will have walked done half of a turn\!
Exactly! This is where the geometry of the circle has Ï entering in play! So, amazingly, e i Ï is the antipode of 1 on the unit circle, which is -1. Thus, e i Ï \= â 1. Or, equivalently, we obtain the beautiful Euler identity:
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
## Eulerâs Proof
Now, this insightful and intuitive proof wasnât Eulerâs. Rather, Euler is known for his mastery of [infinite sums](http://www.science4all.org/le-nguyen-hoang/infinite-series/), which he used to derive his identity.
This proof will not be as insightful as the previous one. However, it involves some other essential technics of mathematics. It is definitely more technical though.
The key objects of Eulerâs proof are power series. A few decades before Euler, British mathematicians Brook Taylor and Colin Maclaurin found out that many real functions f ( t ) could be written as an infinite sum of powers of t. In fact, in many cases, the derivatives of f ( t ) at t \= 0 were sufficient to describe f everywhere as such a sum. Denoting f ( n ) ( 0 ) the n\-th derivative at t \= 0, the Taylor-Maclaurin series could then be written as follows:
[](http://www.science4all.org/wp-content/uploads/2014/02/Taylor-Maclaurin-Series.png)
Now, given that the derivative of s i n is c o s, that the derivative of c o s is â s i n, that s i n ( 0 ) \= 0 and that c o s ( 0 ) \= 1, we have:
- s
i
n
(
0
)
\=
0
,
s
i
n
(
1
)
(
0
)
\=
c
o
s
(
0
)
\=
1
,
s
i
n
(
2
)
(
0
)
\=
â
s
i
n
(
0
)
\=
0
,
s
i
n
(
3
)
(
0
)
\=
â
c
o
s
(
0
)
\=
â
1
,
s
i
n
(
4
)
(
0
)
\=
s
i
n
(
0
)
\=
0
âŠ
- c
o
s
(
0
)
\=
1
,
c
o
s
(
1
)
(
0
)
\=
â
s
i
n
(
0
)
\=
0
,
c
o
s
(
2
)
(
0
)
\=
â
c
o
s
(
0
)
\=
â
1
,
c
o
s
(
3
)
(
0
)
\=
s
i
n
(
0
)
\=
0
,
c
o
s
(
4
)
(
0
)
\=
c
o
s
(
0
)
\=
1
âŠ
Thus, the Taylor-Maclaurin series of the sine and cosine functions are the following ones:
[](http://www.science4all.org/wp-content/uploads/2014/02/Sine-and-Cosine-Functions.png)
Furthermore, we need to remark that if the derivative of e t is e t and if e 0 \= 1, then, necessarily, all derivatives at all orders of e t in 0 must equal e 0 \= 1. Thus, the Taylor-Maclaurin series of the e t is:
[](http://www.science4all.org/wp-content/uploads/2014/02/Exponential.png)
Eulerâs great move was to then replace t by i t in the formula above. By then separating real parts from imaginary parts (I mean terms with i), magically, the expression of e i t perfectly decomposes itself into c o s ( t ) \+ i s i n ( t ). Iâm a bit lazy so I wonât do that myself, but Iâll let this awesome video by [VeritySeeker](http://www.youtube.com/user/VeritySeeker) show it to you:
So, we have e i t \= c o s ( t ) \+ i s i n ( t ). By setting t \= Ï, and given that c o s ( Ï ) \= â 1 and s i n ( Ï ) \= 0, we end up with e i t \= â 1. Or, equivalently,
[](http://www.science4all.org/wp-content/uploads/2014/02/Euler-Identity1.png)
As youâve guessed it, Iâm not really fond of this proof, mostly because itâs a lot about computations. But also, itâs much trickier than it looks. First of all, we would need to define sine and cosine functions properly before. Then, weâd need to prove that the derivation properties of sine and cosine. Next, weâd still need to prove that
s
i
n
(
Ï
)
\=
0
and
c
o
s
(
Ï
)
\=
â
1
. Furthermore, weâd need to prove the Taylor-Maclaurin series of the sine, cosine and exponential functions indeed equal these functions, even when inputs are complex numbers. Eventually, all these tasks turn out to be longer and not easier than the intuitive proof we have given earlier (but historically, they were done, so it was easier for Euler to build upon them)⊠Finally, and thatâs very important, our first proof was much more insightful.
## Letâs Sum Up
Eulerâs identity is the greatest feat of mathematics because it merges in one beautiful relation all the most important numbers of mathematics. But thatâs still a huge understatement, as it conceals a deeper connection between vastly different areas that Eulerâs identity indicates. Above all else, Eulerâs mystical identity is a clever insight into the perfection of the unit circle, by combining complex and diverse subfields of mathematics! In fact, the countless properties of this perfect unit circle are the reasons why Eulerâs identity has become essential in many applications, like in physics.
Really?
Yes! And thatâs strongly related to the unavoidable [Fourier analysis](http://www.science4all.org/le-nguyen-hoang/fourier-analysis/). In essence, Fourierâs mind-blowing discovery is the fact that a large class of trajectories in the complex plane corresponds to infinite additions of unit circles run over at different speeds and in both directions. In calculus terms, this means that many functions f ( t ) which map real to complex numbers can be written â« g ( Ï ) e i Ï t d Ï, where Ï is the speed of the rundown of unit circles. One important application of that is for the understanding of [resonance](http://www.science4all.org/le-nguyen-hoang/resonance/). | |||||||||
| ML Classification | ||||||||||
| ML Categories |
Raw JSON{
"/Science": 957,
"/Science/Mathematics": 956,
"/Science/Mathematics/Other": 888
} | |||||||||
| ML Page Types |
Raw JSON{
"/Article": 998,
"/Article/Tutorial_or_Guide": 598
} | |||||||||
| ML Intent Types |
Raw JSON{
"Informational": 999
} | |||||||||
| Content Metadata | ||||||||||
| Language | en-us | |||||||||
| Author | null | |||||||||
| Publish Time | 2014-02-18 16:25:12 (12 years ago) | |||||||||
| Original Publish Time | 2014-02-18 16:25:12 (12 years ago) | |||||||||
| Republished | No | |||||||||
| Word Count (Total) | 3,789 | |||||||||
| Word Count (Content) | 3,237 | |||||||||
| Links | ||||||||||
| External Links | 31 | |||||||||
| Internal Links | 65 | |||||||||
| Technical SEO | ||||||||||
| Meta Nofollow | No | |||||||||
| Meta Noarchive | No | |||||||||
| JS Rendered | Yes | |||||||||
| Redirect Target | null | |||||||||
| Performance | ||||||||||
| Download Time (ms) | 843 | |||||||||
| TTFB (ms) | 762 | |||||||||
| Download Size (bytes) | 27,083 | |||||||||
| Shard | 53 (laksa) | |||||||||
| Root Hash | 10390412911498409453 | |||||||||
| Unparsed URL | org,science4all!www,/article/eulers-identity/ h80 | |||||||||