Comment

Comment by Spivak

Nonsense, this equation doesn't even make any sense without a well defined notion of the exponential function, and then a well defined extension of said function into the complex numbers. You will already have e by the time you reach this equation because defining what exp(z) even means requires you already know the properties of e^x over the reals you wish to preserve. And Euler's formula comes from finding such a function and then defining it to be exp(z). Multiplication in the complex plane by a unit vector is a rotation. Exponentials "repeated multiplication" by such a vector is spinning. And it turns out spinning at a constant rate satisfies the properties of the exponential function so it makes sense to say that's what exp(ix) means.

This is perhaps the most unnatural equation (well identity) in maths. It doesn't fall out anywhere, you would never write it down and solve for e, it's a special case of a more general result you would get first, and it's symbol soup for precisely the reason that the identity itself confers no understanding.

exp/log are natural because you almost can't help but discover them as they appear in so many different seemingly unrelated places.

parent Spivak 2 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton