Interpreting the Famous Five equation - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T09:49:22Z http://mathoverflow.net/feeds/question/27126 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation Interpreting the Famous Five equation Sunil Nanda 2010-06-05T02:54:38Z 2010-06-29T09:12:37Z <p>$$e^{\pi i} + 1 = 0$$</p> <p>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? </p> <p>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?</p> <p>Any pointers?</p> http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation/27127#27127 Answer by Andrey Rekalo for Interpreting the Famous Five equation Andrey Rekalo 2010-06-05T03:05:35Z 2010-06-05T03:05:35Z <p>$$e^{i\pi}=\lim\limits_{N\to\infty}\left(1 + \frac{iπ}{N}\right)^N$$</p> <p><img src="http://upload.wikimedia.org/wikipedia/commons/0/0e/ExpIPi.gif" alt="alt text"></p> http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation/27146#27146 Answer by gowers for Interpreting the Famous Five equation gowers 2010-06-05T09:22:52Z 2010-06-05T09:22:52Z <p>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.)</p> <p>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.</p> http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation/27313#27313 Answer by S. Carnahan for Interpreting the Famous Five equation S. Carnahan 2010-06-07T05:07:41Z 2010-06-07T08:31:34Z <p>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$.</p> <p>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 <a href="http://en.wikipedia.org/wiki/Formal_group_law#Examples" rel="nofollow">formal group laws</a>, or just reasoning heuristically with infinitesimals.</p> <p><b>Claim 1:</b> The function $\exp$ takes purely imaginary numbers to elements of unit norm.</p> <p><b>Proof:</b> 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.</p> <p><b>Remarks:</b> 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$.</p> <p><b>Claim 2:</b> $\exp(\pi i) = -1$.</p> <p><b>Proof:</b> 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$.</p> <p><b>Remarks:</b> 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.</p> http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation/29881#29881 Answer by vonjd for Interpreting the Famous Five equation vonjd 2010-06-29T08:45:23Z 2010-06-29T08:45:23Z <p>Just wanted to include this excellent illustration of Euler's formula<br>(it really deserves to be shown here in its own right and not just as a link in one of the comments):</p> <p><img src="http://upload.wikimedia.org/wikipedia/commons/e/e3/Euler%27s_Formula_c.png" alt="alt text"></p> <p>Source: <a href="http://en.wikipedia.org/wiki/Euler_formula" rel="nofollow">http://en.wikipedia.org/wiki/Euler_formula</a></p> http://mathoverflow.net/questions/27126/interpreting-the-famous-five-equation/29885#29885 Answer by Bo Peng for Interpreting the Famous Five equation Bo Peng 2010-06-29T09:05:01Z 2010-06-29T09:12:37Z <p>Consider the exponential map for the Lie group $U(1)$. </p> <p>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$.</p> <p>Where do you end up with? You end up traveling half a circle (distance = $\pi$) and reach $-1$. Therefore $e^{\pi i} = -1$.</p> <p>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.</p> <p>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$.</p>