Interpreting the Famous Five equation [closed]

Question

$$e^{\pi i} + 1 = 0$$

I have been searching for a convincing interpretation of this. I understand how it comes about but what is it that it is telling us?

Best that I can figure out is that it just emphasizes that the various definitions mathematicians have provided for non-intuitive operations (complex exponentiation, concept of radians etc.) have been particularly inspired. Is that all that is behind the slickness of the Famous Five equation?

Any pointers?

Answer 1

$$e^{i\pi}=\lim\limits_{N\to\infty}\left(1 + \frac{iπ}{N}\right)^N$$

Answer 2

I'd like to add something to the visual answer above (or below, or wherever it ends up). It was not until I was into my 40s that I realized that there was an intuitive way of understanding that $e^{i\pi}=-1$, as opposed to the power-series derivation that seems a bit too formal somehow. (What I'm about to say comes into the category of thing that I happened to think of for myself but it's so natural that obviously many other people will have had the same thought and I absolutely do not wish to make some ludicrous priority claim. I haven't read Needham's book, but I dare say he has the same argument.)

Why should it be that the limit of $(1+i\pi/N)^N$ is equal to -1? To answer this, let's think about what multiplication by $1+i\pi/N$ does. Well, $1+i\pi/N$ has modulus very close indeed to 1 (by which I mean that it has modulus $1+O(N^{-2})$), and argument very close indeed to $\pi/N$. Therefore, multiplication by $1+i\pi/N$ is approximately rotation by $\pi/N$. So if you do it N times, then the result is approximately rotation by $\pi$, which is multiplication by -1. The approximations are good enough that one can make this argument rigorous fairly easily.

Answer 3

The answers so far give interpretations of the exponential as a limit of discrete approximations. An alternative interpretation is that any continuous map that takes addition to multiplication on the complex line and takes reals to reals has a purely imaginary kernel isomorphic to the integers. The constant $e$ arises from a normalization for which unit speed paths on the imaginary axis are taken to unit speed paths on the unit circle, and $\pi$ then shows up as a path length. One way to emphasize the additive-multiplicative relationship is to expand the formula as: $e^{\pi i-0i} = -1/1$.

Here is a more formal treatment: Both $(\mathbb{C}^\times, \times)$ and $(\mathbb{C}, +)$ are one dimensional analytic groups, and the latter is simply connected, so there is a universal covering homomorphism $\exp: \mathbb{C} \to \mathbb{C}^\times$ from the additive group to the the multiplicative group. The homomorphism is unique once we choose a normalization, e.g., by demanding that it is analytic and satisfies the differential equation $\partial_z \exp = \exp$. The differential equation can be related to the homomorphism, after choosing coordinates, by considering the respective formal group laws, or just reasoning heuristically with infinitesimals.

Claim 1: The function $\exp$ takes purely imaginary numbers to elements of unit norm.

Proof: The function $\exp$ takes additive inverses to reciprocals (because it is a homomorphism), and complex conjugates to complex conjugates (because it is defined over the reals). By composing, we find that reflection in the imaginary axis is taken to unit circle inversion, and fixed points are taken to fixed points.

Remarks: Note that the only part of the normalization we used here was the fact that $\partial_z \exp$ is a real multiple of $\exp$. The "defined over the reals" bit may be unsatisfying to some, but the conjugation behavior can be verified directly by expanding as a power series that converges everywhere, and checking that the coefficients are real. One can also prove the claim by more direct methods, such as applying the above differential equation to grind out the identity $\frac{\partial}{\partial y} | \exp(iy) |^2 = 0$.

Claim 2: $\exp(\pi i) = -1$.

Proof: By combining the previous claim concerning unit norms with the differential equation $\partial_z \exp = \exp$, we conclude that $\exp$ takes any unit speed path on the imaginary axis to a unit speed path on the unit circle. We have $\exp(0) = 1$ by the homomorphism assumption, and the length of a minimal path from $1$ to $-1$ on the unit circle is $\pi$.

Remarks: Depending on how $z \mapsto e^z$ is defined, one may still have to check that it agrees with $\exp$, but this isn't a big deal. I tried to avoid choosing square roots of minus one as much as possible, but the statement of the identity makes it a bit difficult to maintain such discipline.

Answer 4

Just wanted to include this excellent illustration of Euler's formula
(it really deserves to be shown here in its own right and not just as a link in one of the comments):

Source: http://en.wikipedia.org/wiki/Euler_formula

Answer 5

Consider the exponential map for the Lie group $U(1)$.

The formula $e^{\pi i}$ means: starting from the identity element $1$, keep traveling "in the direction of $i$" (Which is "going up" at first, because the imaginary axis is of course going up. But this direction "changes" on the $\mathbb{R}^2$-plane as you move! So eventually you will be moving among the circumstance of the unit circle), and walk a distance of $\pi$.

Where do you end up with? You end up traveling half a circle (distance = $\pi$) and reach $-1$. Therefore $e^{\pi i} = -1$.

BTW, I think it is not a very good idea to simply regard the formula as the definition of $\pi$ and consider it trivial. Because then one have to explain why this $\pi$ is the same $\pi$ in the usual definition using the circumstance / area of a circle.

So, the real question is not about $\pi$, but about why something seemingly "only related to a circle" will have anything to do with an algebraic expression involving $e$ and $i$.

Answer 6

Though I would contribute with this animated version of vonjd's illustration:

This animation is from here.

Answer 7

A way to introduce the exponential is by the ODE:

$$f' = \alpha f, \ \ f(0) = 1,$$

whose unique solution is $t \mapsto exp(\alpha t)$. This is common when $\alpha$ is natural, but what if $\alpha$ is complex? And, in particular, what if $\alpha = i$? Of course, $f$ must be complex-valued instead of real-valued.

Then $f' = if$, that is, $f'$ is the vector $f$ rotated by $\pi/2$ in the trigonometric direction. If we forget a moment about the complex structure, we get:

$$y' = x, \ x'=-y, \ \ f(0) = (x,y)(0) = (1,0).$$

A solution of this system is a trajectory whose speed is always tangential to its position vector. But then, the function $(x,y) \mapsto x^2+y^2$ is a first integral, so it is constant along trajectories. In particular, the trajectory starting from $(1,0)$ stays on the circle of radius $1$ centered on $0$. But then, since $|f|$ is constant, so is $|f'|$: the trajectory moves at unit speed along this circle of radius $1$.

Since the trajectory starts from $1$, after a time $\pi$, it will have traveled along a half-perimeter, so it will be in $(-1,0)$. Whence $exp(i \pi) = -1$.

@Andrey Rekalo's interpretation of this equation is Euler's method applied to this ODE.