If you have ever been taught about complex numbers and you’re like me, then the sudden appearance of Euler’s number in this seemingly unrelated subject was probably met by surprise. That’s why in this post, I aim to bring together several concepts you might not have seen together before. To start off, meet Leonhard Euler’s formula:

While justifications have inevitably been given in the form of working out Taylor series or taking derivatives, there is a difference between writing down a mathematical proof and actually understanding *how *and *why* this formula could be true. So, please allow me to show you a visual way of looking at the formula and its actions embedded within! Note that this post holds no grudge against mathematical rigor: the latter is still a vital tool across all domains of mathematics and beyond. I simply want to present to you a new perspective, hopefully expanding your insight even further into this remarkable formula.

## What is complex multiplication?

Just as complex addition can be thought of as a translation in the complex plane, complex multiplication is really just **a scaling and a rotation**. For example, multiplying by gives a new complex number that is:

- larger in magnitude than (the scaling), and
- rotated counterclockwise relative to (the rotation).

The parameters of this transformation, represented in the figure below, are simply the magnitude and the phase of the multiplier . Notice how and are each ‘in the same position’ relative to their own grids, loosely speaking.

For our discussion, it’s more convenient to view the multipliers as transforming ‘triangles’ rather than transforming the whole Cartesian plane. The input and the output then ought to constitute **similar triangles**, with the third point being and the multiplier respectively. In the above figure, this means concretely that ** is to exactly as is to ** (which is not only a geometric but also an algebraic truth). Here’s another example to intuitively demonstrate that the two methods are equivalent:

The ‘action’ that transforms to is the same as what transforms the black grid to the green grid, or what transforms the black triangle into the teal triangle. This geometric equivalent may look daunting at first, but it’s all just a consequence of the familiar *‘multiplying magnitudes and adding up angles’* characteristic of complex products.

## Breaking down the equation

Equipped with a visual interpretation of complex multiplication, let’s now return to Euler’s formula. The right-hand side simply represents a point on the unit circle of the complex plane. As a reminder, is the counterclockwise distance walked along this unit circle, starting from .

On the other hand, the left-hand side is more intriguing: one wonders about the relevancy of , an irrational number somewhere in-between two and three. And what does it even *mean* to raise that specific quantity to the power of an imaginary number ? The key is to consider the following representation of Euler’s number:

Lots of interesting connections can be made with this identity, ranging from binomial distributions to compound interest. However, for our purposes we’ll just continue by raising both sides to the power and rewriting:

Now, we have written the left-hand side as an infinitely long compound multiplication of identical factors . This latter element is an important one, so let’s see what it actually means before taking the limit. For large enough, we then get the following approximation:

Each factor is a number with a real part of one, and with an extremely small but non-zero imaginary part:

Note that the magnitude of this number is very close to one, and that its angle is nearly zero. **It follows that in the compound multiplication, every factor gives rise to a small rotation, and a tiny increase in magnitude.** To make things more concrete, let’s select and see what happens for different values of . The following figures are approximations of for increasingly larger values of . Naturally, a higher makes for a more accurate result.

Keeping in mind that complex multiplication works by successively scaling and rotating as explained above, it appears that this sequence of infinitesimal rotations eventually converges to what we already know as : a journey along the unit circle by radians. The end result also has a magnitude of exactly one. Crazy, isn’t it? The crucial insight here was to write as the limit of an infinite product as described above, ignoring its decimal representation. (You could say that “just so happens” to be .) I hope you have learnt something at this point!

## Bringing magnitude into the story

The fact that (for real ) is not magic, but easily follows by geometrical insight into the limit: the larger , the more every factor contributes to a tiny rotation rather than the corresponding tiny increase in magnitude. The share of the latter contribution eventually becomes negligible relative to the former. On the other hand, we can reach many more values with the natural exponential function when any complex argument is allowed.

The whole reasoning presented earlier applies here as well: the individual factors have a real part very close to one, and an imaginary part very close to zero. The same ‘triangle reasoning’ allows us to understand the limiting process. As an example, let’s plot the approximation for and :

## A special case: Euler’s identity

Few equations contain so many fundamental mathematical constants yet are so short as the following:

This is simply the result of substituting in the previous equation: more on that below.

## Try it out yourself!

In Grapher Pro for Android, you can plot the following equation to view the ‘construction’ of with a number of iterations :

z(t) = (1+ipi/n)^ceil(nt)

where runs from to . A slider will appear for , the range of which you can then set to, for example, to step . See the screenshot below for a preview.

Enjoy!

*P.S.: This article was partially inspired by 3Blue1Brown’s excellent video on Euler’s formula in the context of group theory. I highly recommend checking it out if you want to learn more.*

Very interesting, thx. I would however write down how you get to the expression for e^{ix} starting from the expression of e=lim(.).

LikeLike

@tpannier Thanks for your feedback! I must admit I had to grab some paper again upon rereading to verify the formula so that’s a sign I should indeed include a derivation 😉 Luckily readily available plugins exist for footnotes in WordPress 🙂

LikeLike