Understanding the most beautiful equation in Mathematics

http://functionspace.org/articles/6/Understanding-the-most-beautiful-equation-in-Mathematics

by dynamic99 • 13 years ago

77 54 13 years ago

quchen• 13 years ago

And here I was hoping it would be aboke Stokes' Theorem ;-(

mrbrowning• 13 years ago

I was hoping that too, but I knew it would be about Euler's identity, since to people with only incidental exposure to the concepts that underly it it seems (justifiably) inscrutable and mysterious, thus its general popularity. It's funny that cultivating the mathematician's refusal to assign meaning to results can completely change which results you find fascinating.

cmvkk• 13 years ago

Here's my favorite explanation of this formula:

http://betterexplained.com/articles/intuitive-understanding-...

a-nikolaev• 13 years ago

My favorite:

1) Using Taylor Series, show that exp(ix)=cos(x)+i*sin(x).

2) Then the result is trivial for x=pi

This image helps:

https://en.wikipedia.org/wiki/File:Euler%27s_formula.svg

stephencanon• 13 years ago

Taylor series are ugly; do it directly from the definition of the functions as solutions to specific differential equations =).

betterunix5• 13 years ago

I would say that the Fundamental Theorem of Galois Theory is the most beautiful result of all mathematics, though Euler's identity is certainly a contender.

gohrt3• 13 years ago

What is Fundamental Theorem of Galois Theory in the form of an equation?

betterunix5• 13 years ago

The field extension lattice is isomorphic to the subgroup lattice; if you really wanted to, you could write this out symbolically (but I am not sure why you would want to, since it does not really convey the meaning of the theorem any better). I suppose you might say that such an isomorphism does not qualify as an equation, but that is a bit pedantic in my opinion since such isomorphisms have all the properties of an equivalence relation.

jckt• 13 years ago

Good question. Though I suppose it's not too difficult to state in terms of the Abel-Ruffini theorem, but then again that watered down version would probably fail to mention the wide-reaching consequences of Galois...

blangblang• 13 years ago

I'd offer that accessibility is a huge part of the beauty of Euler's identity. A few weeks into your average Calculus 2 class and it almost feels intuitive.

monjaro• 13 years ago

Could you suggest any resource for understanding this theorem? I have a math degree, but I never came across any Galois theory.

betterunix5• 13 years ago

Most people like the Dummit & Foote book; it tends to be loaded with examples rather than a lot of dense symbolic arguments:

http://www.amazon.com/Abstract-Algebra-Edition-David-Dummit/...

When I learned it, though, it was from this Dover book, which is more affordable:

http://www.amazon.com/Elements-Abstract-Algebra-Dover-Mathem...

decasteve• 13 years ago

Not to mention the Inverse Galois Problem is one of the long unsolved problems in Mathematics. In the league of Fermat's Last Theorem.

pestaa• 13 years ago

Loved the article, but there was this big jump between

    1 - x^2/2! + x^4/4! - ...

and

    cos x

(and similarly with sin x). Why exactly are these equal?

(Also, just a nitpick, shouldn't the addition be actually subtraction before both elippses to demonstrate the alternating sign?)

gohrt3• 13 years ago

https://en.wikipedia.org/wiki/Taylors_theorem

Permit• 13 years ago

gohrt linked an article, and although you could derive the identity for yourself using that information, the article doesn't contain the series you're looking for.

You can find it here if you'd like: https://en.wikipedia.org/wiki/Taylor_series#List_of_Maclauri...

lmm• 13 years ago

In advanced mathematics it's common to define cos and sin by these series (and pi is defined as the smallest strictly positive x with sin x = 0). (Of course that just reduces the question to "why do certain geometrical identities match this sin function")

dnautics4• 13 years ago

or you could use MacLaurin polynomial series (Taylor series at zero)

dnautics4• 13 years ago

I was also perturbed by the jump from the definition of e to the taylor expansion. I know how to get there the long way (define e first, derive properties of the exponential derivative, then construct the Taylor series), does anyone know a shortcut?

lmkg• 13 years ago

The Taylor series is actually the expansion of the limit in the line above. There's some trickery in proving that the limit converges, but you can derive one line from the other with some straightforward combinatorics.

betterunix5• 13 years ago

Here is another way (a bit informal):

e = lim_{n->infinity} (1 + 1/n)^n

Now, apply the binomial theorem:

1 + n * 1/n + n! / (2 (n-2)! n^2) + ... + n! / (m! (n - m!) n^m) + ...

Now, for each m, we have this sequence:

a_n = n! / (m! (n - m)! n^m)

Which converges on 1/m!, so we are left with this:

1 + 1 + 1/2! + 1/3! + 1/4! + ...

aditgupta2• 13 years ago

Guys, there's lot more here - http://functionspace.org/discussion/new :)

j2kun• 13 years ago

There's some even more important gaps regarding analytic continuations of functions to complex numbers (and the resulting power series expansions). You can prove it this way, but it's not at all rigorous by today's standards.

aditgupta2• 13 years ago

This was more for basic understanding. There can be a follow-up article with a more rigorous approach :) The same was done here - http://functionspace.org/articles/17/Solving----sum----1----...

merraksh• 13 years ago

Euler defined the function e^x in analysis as: e^x=lim(1+x/n)^n as x tends to infinity. So, we get:

It should be as n tends to infinity.</pedantic>

5teev• 13 years ago

Small typo:

Euler defined the function e^x in analysis as:

   e^x = lim(1+x/n)^n

as x tends to infinity

Should be "as n tends to infinity".

unconed• 13 years ago

I find this view of e^z far more beautiful than a bunch of symbols rearranged by someone who thinks definitions provide insight...

http://acko.net/files/mathbox/MathBox.js/examples/ComplexExp...

anonymous• 13 years ago

Personally, I prefer

e ^ i*tau = 1

But that's because I'm a tauist.

Roedou• 13 years ago

The advantage of the traditional format is that it not only includes four fundamental constants (1, 0, e, i and π) but it also includes the four fundamental operators (addition, multiplication, exponential and equality.)

I guess that: e ^ i*tau + 0 = 1

would be a suitable hack to get that beauty back.

jessaustin• 13 years ago

Haha, fundamental constant counting fail.

b^)

ChuckMcM2• 13 years ago

And after you read this you should read this: http://symbo1ics.com/blog/?p=1089 which was kind of fun as well.

carstimon• 13 years ago

I prefer that point of view if you want to understand Euler's identity, and I find John Baez does it even better: http://math.ucr.edu/home/baez/trig.html The Baez article does leave it to the reader to convince himself that exp(i*theta) is good notation for a point on a unit circle.

I have problems with the attitude of the article you linked, though. Especially "Therefore, I’d like to complain to the thousands of people who find Euler’s identity stunning and beautiful." followed by a snide list of reasons why someone might find it beautiful. It's very common when doing math that something amazing is obvious an hour later. I believe that we are better served by reminding ourselves that (a) nobody knows everything, and (b) the basics facts are actually very beautiful.

ChuckMcM2• 13 years ago

I totally agree on the attitude on the blog, the author is clearly working through non-mathematical issues on their own (if you read some of the other entries you can see how those challenges affect their writing). That said, I tend to see it as a counterpoint to mathematics blogs that are bit too gushing the other way. And its amusing the path that is taken as well.

mohas• 13 years ago

Can anyone name some of the actual uses of this equation in solving real world problems?

teeja• 13 years ago

Sure. In any equation containing e^iπ, you can simplify by substituting -1.

betterunix5• 13 years ago

Here is something that comes up in basically every field of engineering:

https://en.wikipedia.org/wiki/Fourier_analysis

thedufer• 13 years ago

Well, this equation is really a consequence of the more general e^ix = cos(x) + isin(x). This, Euler's Formula, enormously simplifies sinusoidal equations. Most common trigonometric identities can be proven in only 3 or 4 steps if you spend 2 of them converting to/from the exponential form, but are far more complicated in the trigonometric form. Many problems in electricity, magnetism, and basic quantum physics would be drastically less wieldy (more unwieldy?) without it.

I don't know of any cases in which it makes things possible, but there are plenty of cases where it makes things practical.

tome2• 13 years ago

I think the actually remarkable equation is

    e^ix = cos x + i sin x

The cliched "e^(i pi) + 1 = 0" is a fairly mundane consequence of the fact that pi was chosen to make this equation hold.

viraj_shah• 13 years ago

The latter is cliched because it incorporates an additional fundamental constant, pi. Who would have thought that the ratio of the circumference of a circle to the diameter when multiplied by the imaginary number and then exponentiated by another constant e would produce such a simple equation which also includes the multiplication identity and the addition identity? Yes, pi is chosen but it certainly encompasses the trigonometry and geometry (rotations, sinx, cosx, etc.).

tome2• 13 years ago

My point is that it is only fundamental because it leads to this equation!

senthil_rajasek2• 13 years ago

I wish I could take my up vote back. I read this article and the power series expansion of the exponential function was not clear. So I looked up the wikipedia article (http://en.wikipedia.org/wiki/Exponential_function) and http://en.wikipedia.org/wiki/Euler%27s_formula which were much more clearer.

Sadly, this article did nothing for me. I will remember to lookup wikipedia first...

neotrap• 13 years ago

If you had to look for the definition of exponential function, perhaps you should start from here - http://www.mathsisfun.com/basic-math-definitions.html

senthil_rajasek2• 13 years ago

that site you posted might actually be of use to someone more than the original site.

togasystems• 13 years ago

I have this tattooed on my leg :) http://imgur.com/LcIlm5L

pfedor• 13 years ago

And just in case you weren't perfectly satisfied with the level of mathematical rigor of the article, here is a complete, formal, machine-verified and hyperlinked version of the proof: http://us.metamath.org/mpegif/eulerid.html

comub• 13 years ago

There is nothing particularly beautiful in this, it's just a trivially obvious identity (once you know the relevant theory, of course).

alok-g• 13 years ago

>> Euler's brilliant mathematical mind replaced the real variable x with ix

Is there any proof that the equation remains true when x -> ix transformation is made? OK, I know there is formal proof for this; can someone explain please? :-)

JoeAltmaier• 13 years ago

I've seen it taken to the i'th power:

e^(i*pi)i = 1^i

or

e^-pi = 1^i

which seems very strange - e and pi are real numbers, so 1 to the i'th power must also be real?

Understanding the most beautiful equation in Mathematics

Related Stories