This article is essentially a coda to my previous piece, Euler’s Number. In the earlier text, I introduced the constant via its relation to The Exponential Function , or equivalently, , this being the only function ^{[1]} whose derivative is the function itself, i.e.: |
In the short Sherlock Holmes story, A Scandal in Bohemia ^{[2]}, Holmes meets, and is bested by, a lady of the name Irene Adler. While Holmes’s general perspective on the opposite sex is both ambiguous and ambivalent, he goes to far as to grant Ms Adler the honorific sobriquet “The Woman”, keeping a photo of her as a reminder of how she outwitted him.
The equation which appears at the top of this article is rightly extremely famous. Like Ms Adler, it has a claim to the definite article and thus the title of, The Equation.
The Equation also appears as a omnipresent candidate in “what is the most elegant/fundamental/important equation in Mathematics?” beauty parades. Indeed it has acquired a – wholly inappropriate – mystical quality. People feel it is imbued with the meaning of the Universe ^{[3]}. The Equation is of course important, but not for mystical reasons. Indeed when its meaning is properly understood, the equality becomes almost self-evident (at least to 21st Century eyes).
As a follow-on to our earlier exploration of Euler’s Number, here we will derive his famous Identity and probe its meaning.
Triangle Inequality
We will be looking at the definition of that we established in the first article and comparing this to some other infinite series, ones relating to two trigonometric functions.
To start, let’s have a brief refresher on Trigonometry:
Aside:
Consider a generic right-angled triangle as in the figure below: Here the bottom left-hand angle has a value of , the hypotenuse has length , the adjacent side has length and the opposite side has a length of . We then have the following definitions: Last time we focussed on , here and will be to the fore. We will also pause to note that – by Pythagoras’s Theorem – we have: Substituting for and from equations and above, we get: or: As the hypotenuse is of non-zero length, then we can divide both sides by to get: We will use this result later. |
With these definitions fresh in our minds, we are now going to go back to our expression for . We have:
We going to create infinite series expressions for both and . To do this, we employ a technique called Taylor Series. The details of how to generate the Taylor Series of these two functions are covered as an aside, which can be skipped if desired.
Aside:
Taylor Series (often called a Maclaurin Series in the context I will use them) ^{[4]} employ another tool we introduced in the last article, derivatives. Taylor showed ^{[5]} that any function can be split into an infinite sum using its derivatives of different order at a specific point. For our purposes, this means that we can describe a function, as: To be clear, is the value of the function at the point , i.e. a number. is the value of the function’s first derivative at the point , i.e. a second number. Using more economic notation, we can write: Of course the general form of these equations probably looks rather familiar, more on this later. If we want to apply this approach to and , we need to understand the derivatives of these trigonometric functions. I’ll state without proof that: It also helps to know that and , things that can be easily derived from the definitions of these functions provided above. If we consider the Taylor Series for , we have ^{[6]}: which gives us: Substituting our values for and , we get: Dropping the zero terms (and adding in a couple more higher order ones), we have: Using the same logic, it is evident that we also have: Perhaps already some sense of how the Euler Identity emerges is beginning to become apparent from considering just these two results. |
In the box above, we used Taylor Series to determine that:
and:
This means that:
Which begins to look tantalisingly close to:
How can we get the two expressions to match up? This is the problem to which we will now direct our energies.
The ‘i’s have it
So the issue is with pairs of negative terms appearing periodically. We need some factor that will make terms like and negative, but terms like and positive. That is we need a modifier that exhibits the pattern:
which seems to have a period of four. We also need this modifier not to change the absolute value of any terms, so we are looking for an such that . This is the problem that we tackle next.
When considering how we can modify our series for , an obvious first idea is to consider incorporating . However, this approach falls short, we get:
The pattern is:
which has a period of two.
How to resolve this issue with a number whose modulus is one?
Here we introduce another of Mathematics’ fundamental numbers, , which is defined as being the square root of (so ). The number is at the heart of another fundamental Mathematical concept, that of Complex Numbers. I only propose to skim this subject here, for readers who are new to the area, references to my writings about Complex Numbers appear in the footnotes ^{[7]}.
Succinctly, Complex Numbers are ones of the form ^{[8]}, where and are Real Numbers and . Complex Numbers can be added, subtracted, multiplied and divided just the same as more familiar numbers. We can also – pertinent to the subject of this article, raise numbers to the power of Complex Numbers (see box).
Aside:
Let’s pick a number at random, maybe Euler’s Number will suffice ^{[9]}. Then what are we to make of an expression like: Here the series formulation of comes to the rescue, we simply define: This expression involves only multiplying and adding Complex Numbers, something that – as mentioned above – is easy to carry out. |
We will come back to Complex Numbers again a little later, introducing the idea of the Complex Plane. For now, let’s consider in isolation.
If we raise to successive powers, we have:
The pattern is:
which has the required period of four.
If we plug this into our expression for we get:
Which gives us:
This matches our pattern and is very close to our expression for . However, we note that every odd term is multiplied by . These are precisely the contributions from , so if we replace with , we get an exact match and can say that:
This result, which is more general than Euler’s Identity, is called Euler’s Formula. It is very useful as it allows us to express any Complex Number in exponential / polar form ^{[10]}.
From Formula to Identity
We spent some time deriving Euler’s Formula:
If we now set , we get:
Which we rearrange to give:
and we have derived Euler’s Identity. It’s as simple as that.
A Geometric Interpretation
When briefly introducing Complex Numbers above, I mentioned something called the Complex Plane. We will now spend a little while considering this and how it relates to Euler’s Formula.
Aside:
We can plot a Complex Number on what is known as the Complex Plane. This has the Real part of (written ) plotted on the horizontal (or x-) axis and the Imaginary part of (written ) plotted on the vertical (or y-) axis. Part of the Complex Plane is shown below, together with the position of the Complex Number : Plotting on the Complex Plane we get the following: The circle is of radius ; because of both Pythagoras and the trigonometric identity that we established earlier in the article. Again, let’s recall that we are working with radians and radians so radians. Let’s also recall that while we are talking about an angle in the Complex Plane, we are – as per Euler’s Formula – also working with a parameter of for the Exponential Function. We can see that as the value of the angle increases, it moves up and round the circle. When exceeds (i.e. ) the point moves from the top right quadrant to the top left one. When exceeds (i.e. ) the point moves from the top left quadrant to the bottom left one. When exceeds (i.e. ) the point moves from the bottom left quadrant to the bottom right one. Finally, when exceeds (i.e. ) the point goes “round the clock” and moves from the bottom right quadrant back to to the top right one. Again where we talk about an angle here, the related parameter of the Exponential Function would be . The above goes to show that the Exponential Function with a Complex Number argument is periodic [i.e. for some constant , called the period] and further that its period is , another fundamental observation. |
In the box covering plotting Complex Numbers on the Complex Plane, we saw that the expression describes a circle of unit radius, centered at the origin. We also saw how increasing the value of the angle in the Complex Plane took us “round the clock” every radians. This observation helps us understand Euler’s identity geometrically.
radians is simply and represents the point on our unit circle diametrically opposed to (). Of course this is simply . So if we start at and travel half way round our unit circle (sweeping out radians) we end up at .
If we recall (for the third time) that we need to multiply the angle in the Complex Plane by to get the parameter of the Exponential Function, then going “half-way round the clock” in the Complex Plane is equivalent of a parameter of for the Exponential Function. It is this observation which forms the geometric basis of Euler’s Identity:
Euler’s Identity may be beautiful. It is certainly important. However, I hope that in this brief artilce, I have shown that – viewed through the lens of the Complex Plane – The Equation is not mysterious at all.
Consider Supporting Us Like all of the content on peterjamesthomas.com, this article is free. However, if you enjoyed reading it, you might consider helping to support the creation of new content by making a small contribution to defray our costs. Pay as much or as little as you want. Of course this is entirely optional. Peter James Thomas |
<< | Euler’s Number | Finches, Feathers and Apples | >>> |
Part of the peterjamesthomas.com Maths and Science archive. |
Notes
^{ [1]} | If you don’t count multiples of it, like that is. |
^{ [2]} | Originally published in The Strand Magazine and then in the collection The Adventures of Sherlock Holmes. |
^{ [3]} | To be fair often the same people who are obsessed by finding the words of Shakespeare in the decimal representation of . |
^{ [4]} | Maclaurin Series are a specific type of Taylor Series, it just happens that these are the type we will be using. |
^{ [5]} | It is somewhat unclear who actually came up with the idea of Taylor Series and who definitively proved that they work. Taylor offered the first at least semi-rigourous proof, which is why his name attaches to them. A wholly rigourous proof appeared several years later. |
^{ [6]} | It is important to note here that when we consider the functions and , the is not in degrees, but instead in radians, where So we have: For a fuller explanation of radians, see a section of Glimpses of Symmetry, Chapter 11 – Root of the Problem. |
^{ [7]} | For a brief introduction to Complex Numbers, see the relevant section of my article A Brief Taxonomy of Numbers. For a fuller review, see Glimpses of Symmetry, Chapter 7 – Imaginary Battleships. |
^{ [8]} | Or indeed , the order of multiplication is immaterial. |
^{ [9]} | Of course this choice might not be entirely random. |
^{ [10]} | Consider again a generic right-angled triangle representing a Complex Number, :
We can define the size of , written as being the length of the line we have drawn. Using Pythagoras, we can see that . Then Trigonometry gives us and . So we can write . But now we can now Euler’s Formula states that . If we use this in the above, we can see that , so we have a way of expressing any Complex Number using the Exponential Function Also, this manner of expressing relies on what angle () it makes with the x-axis and how far away from the origin the point is (); this is the essence of a polar representation of a number. |
Text & Images: © Peter James Thomas 2018. |