That may be how it was arrived at historically, but it is not the best way to explain it.
e arises when you ask the question: is there a function that is its own derivative? And it turns out the answer is yes. It is this infinite series:
1 + x + x^2/2 + x^3/6 + ... x^n/n! ...
which you can easily verify is its own derivative simply by differentiating it term-by-term. When you evaluate this function at x=1, the result is e. In general, when you evaluate this function at any real value of x, the result is e^x.
But the Euler equation e^iπ = -1 has nothing to do with exponentiating e, it's just a notational convention that is defined to be the series above. When you evaluate that series at x=iπ, the result is -1. In general, the value of the series for any x=iy is cos(y) + i*sin(y).
I've seen (1+1/n)^n before, but never seen an explanation of why I might ever want to use something of that form. I've used the e^ix notation extensively, but again I've never really cared, because to me it was just a compact representation of sin and cos together. Likewise, all the proofs in that article are still a bit "so at this point on this carefully chosen graph, the gradient is e" and I think "Who cares? You carefully chose the graph to prove a point, I'll never see it in the real world."
And then the example with compounding interest - immediately I can see the application. It's definitely a good way of explaining it, although maybe it'd be even more grounded if it had n=12 and n=365 as examples. When you notice that the actual values seem to be converging, then you can try plugging in ever bigger and bigger numbers. This way you can discover the value of e for yourself and that process of discovery leads to a better understanding than rote learning of an abstract thing you haven't mentally visualised yet. All the other explanations are useful later, and they allow you to see it in different situations, but having at least one "this is why it's tangibly useful" hook at the start is definitely a massive help in understanding something.
> e is the base rate of growth shared by all continually growing processes.
I don't think that's a very good explanation because all the heavy lifting is being done by the phrases "base rate" and "continually growing", nether of which are well defined. "Continually growing" could reasonably be interpreted to mean "monotonically increasing" in which case f(x)=x qualifies and the whole explanation falls apart.
I think the idea of finding a function that is its own derivative, discovering that there is a polynomial series that meets that requirement, and evaluating that series at x=1 is a much more natural explanation.
You don't need or even want well defined terms when you're trying to explain why a mathematical formula is useful or naturally applicable to real world situations.
> But the Euler equation e^iπ = -1 has nothing to do with exponentiating e, it's just a notational convention that is defined to be the series above.
Can't the same thing be said about using fractions on the exponent? Exponentiation is actually just repeated multiplication (a^n=a*a*...*a, repeated n times), but you can't do that when n is a fraction or irrational anymore than you can do it when it's imaginary.
We have to define what it means for an exponent to be non-integer: for fractions we might define a^(b/c) as the root of the equation x^c=a^b, and to allow irrationals I think you need some real analysis (it's been a while, but I think the usual way is to first define exp and log, and then say that a^b=exp(b*log(a)), which is kind of cheating because we have to define exp first!).
There's a very intuitive way to "see" that e^ix=cos(x)+i*sin(x): all you have to do is to treat complex numbers like you would any other number, and "believe" the derivative rule for complex numbers (so (e^(ix))'=ie^(ix)). Then you can just graph f(x)=e^(ix) for real x by starting at x=0 (when clearly f(x)=1) and from there take small steps in the x axis and use the derivative to find the value of the next step with the usual formula f(x+dx)=f(x)+f'(x)*dx.
Doing that you realize the image of e^(ix) just traces a circle in the complex plane because every small step in the x direction makes e^(ix0) walk a small step perpendicular to the line going from 0 to e^(ix0), simply because multiplying by i means rotating 90 degrees.
> to allow irrationals I think you need some real analysis (it's been a while, but I think the usual way is to first define exp and log, and then say that a^b=exp(b*log(a)), which is kind of cheating because we have to define exp first!).
a^b, for positive a and irrational b can also be defined as lim (x -> b, x € Q) a^x - which is possible because Q is dense in R. This is a pretty natural way of extending a function to the reals.
The way we extend exponentiation to complex exponents is IMHO much less straightforward.
Ah, a vaguely wondered if it had something involving Cauchy sequences, I think that was that limit!
> The way we extend exponentiation to complex exponents is IMHO much less straightforward.
I think it depends on how much you're used to dealing with complex numbers. In college, I was always taught to prove that Euler formula by replacing ix for x in that series, and then noting that the alternating signs and presence/absence of i in the terms allowed you to separate it into two series for cosine and sine. That always felt awkward, like there was no way anyone could just come up with that naturally.
Many years later I found that construction with graphing e^(ix) by taking small steps using f(x+dx)=f(x)+f'(x)*dx, and everything clicked: how exponentials work in the real axis is pretty different from the imaginary axis, but both are completely intuitive and unavoidable once you understand that.
Even later I "discovered" the connection with group theory[1]; that one still blows my mind.
"Exponentiation is actually just repeated multiplication (a^n=a*a*...*a, repeated n times), but you can't do that when n is a fraction or irrational anymore than you can do it when it's imaginary."
That depends on your point of view. You can also view exponentiation as "really" being e's infinite series, and it so happens that that matches what you get in the case of repeated multiplication. The advantage of that is now you can start exponentiating a lot more than just numbers. Here's 3blue1brown on raising e to the power of a matrix: https://www.youtube.com/watch?v=O85OWBJ2ayo
In general there is fruit in viewing infinite series as the fundamental building block of a lot of math and non-infinite series as the special case. I won't claim which is "real" or "correct", though, just point out that there is value in viewing "repeated multiplication" as the special case rather than the "real" thing. Of course you can always view exponentiation as the generalization too.
> Can't the same thing be said about using fractions on the exponent?
Yes, it can. In fact, it is really useful to think of the "usual" definition of exponentiation as repeated multiplication as nothing more than a special case of a much more general concept, which is evaluating a function whose defining property is that it is its own derivative.
Sure you can. You know what 2^n is and you want that 2^(1/3) 2^(1/3) 2^(1/3)= 2^1=1. That uniquely defines the exponential function on the rationals. For the real numbers you need some amount of continuity or measurability, but then it is also uniquely determined.
> but I think the usual way is to first define exp and log, and then say that a^b=exp(b*log(a)), which is kind of cheating because we have to define exp first!).
No, you don't just "say" that. You prove it. Big difference.
> No, you don't just "say" that. You prove it. Big difference.
Whether a^b=exp(b*log(a)) is a definition or a proof really depends on how exactly you define certain terms (e.g. exp). What's certainly a theorem that requires a proof is that the definition of a^b (for irrational b) via limits of rational exponents and the one via exp are equivalent.
The exponential function arises from multiple sources:
- the solution of the ode you just stated.
- compound interest.
- The defining property of exponential functions is f(x+y)=f(x)f(y) with some normalization.
- Moving on the unit circle is given by an exponential function because rotation is a group, i.e. a^(i(x+y)). Now choose the basis a such that you move with unit speed.
- ...
The nice thing is that all of these very different motivations lead to the same thing.
The "has nothing to do with exponentiating e" I would strongly disagree with. It has everything to do with exponentiating and is exactly the only way exponentiation can work. So afterwards you can pretend you didn't know that and define exponentiation by using e. Same for matrix exponentials, semigroups etc.
> The "has nothing to do with exponentiating e" I would strongly disagree with.
That was a bad way of phrasing it. I should have said something more along the lines of "... has nothing to do with multiplying e by itself iπ times. Multiplying something by itself n times is actually a special case of the more general concept of finding a function that is its own derivative."
> But the Euler equation e^iπ = -1 has nothing to do with exponentiating e
It has, that's the beauty of it. You can define as usual the function x -> e^x on the real line. Now, complex analysis tells us that if this function can be extended to a holomorphic function on the whole complex plane, then the extension is unique. And, in fact, this function does admit such an extension, so you can compute e^z for any complex number z, and in this way one gets e^iπ = -1.
> which you can easily verify is its own derivative simply by differentiating it term-by-term.
Yes, but it's not a priori clear that the series actually even converges for all x, and the fact that power series are differentiable term-by-term within their radius of convergence also requires proof.
Fair enough, but IIRC students are first taught about converging and non converging series in pre calc. So then you get to calc, and work on the e proof, but first you say, "if you paid attention last year, you'll remember this series converges."
Mathematics education seems to be really different depending on the country (I'm in Europe). I barely saw a proof (except maybe some geometry proofs) in any of my high school maths classes and had to learn what a mathematical proof is in university. But I think this also depends on what focus area / profile you have in high school (mine was languages).
For me these concept seem intuitively linked, simply because derivation measures the rate of change, and that compounding definition aims to find the compounding function with constant growth. The factorial definition only seems to make for an easier proof of the derivation of e^x.
That's kind of the point. The only background knowledge you need to understand my definition is how to differentiate a polynomial. Anyone capable of understanding what it even means to find a function that is its own derivative is almost certainly going to know that.
Another way to explain it, which I think is a "best" explanation in its own right, is that if you start differentiating exponential functions you can't help but discover e. The general differentiation of b^x, for b a constant and x the variable, is ln(x)*b^x. And of course to understand ln you need e.
Or, to put it another way, you will blunder into this somewhere around month two of calculus 1, unavoidably.
Of course, that doesn't show how it will show up in all sorts of other places; "the one and only function that is its own derivative" strikes me as more likely to be something we encounter everywhere.
So d(b^x) is itself multiplied by lim(∂->0):(b^∂-1)/∂. But now what? How do you evaluate that limit? How do you show that e is the magic value of b that makes that limit turn out to be 1? And in particular, how do you show that to someone whose only background knowledge is how to differentiate polynomials?
IMHO it's a lot easier to see that e is the value to which the polynomial series that is its own derivative converges at x=1.
Nope. Thanks for the pointer. And thanks for pointing out CIS. I've been coding in CL since before it was standardized and I had never run across that before. But yes, one of the things I love about CL is that I can do (expt (sqrt -1) (sqrt -1)) and get the right answer.
Yes. Multiplying any function by a constant changes its derivative by the same constant, so for any function f, if df = f then d(Cf) = Cf. So yes, you can multiply by C without losing the interesting properties of the derivative (whatever those might be), but you can do that to any function, and so the fact that you can do it to this function is true but not particularly interesting.
Yes; it is all literally exponentiation which we can approximate with concrete floating-point numbers that know nothing about the formula we are exploring.
Yes, that is true, of course. But consulting a Lisp REPL merely demonstrates that it is true. It does not explain why it is true.
You'd get further, pedagogically speaking, by pointing out that (e^i)^i = e^(i*i) = e^(-1) = 1/e, and so e^i is a number that is in some sense "half way" between e and 1/e when you are exponentiating. As an analogy, consider:
e^(1/2) * e^(1/2) = e^(1/2 + 1/2) = e^1 = e
as a demonstration that e^(1/2) is a number that is in some sense "half-way" between 1 and e when you are multiplying, a.k.a. the square root of e. But that still leaves unanswered the question of what "half-way" means when exponentiating rather than multiplying.
e arises when you ask the question: is there a function that is its own derivative? And it turns out the answer is yes. It is this infinite series:
1 + x + x^2/2 + x^3/6 + ... x^n/n! ...
which you can easily verify is its own derivative simply by differentiating it term-by-term. When you evaluate this function at x=1, the result is e. In general, when you evaluate this function at any real value of x, the result is e^x.
But the Euler equation e^iπ = -1 has nothing to do with exponentiating e, it's just a notational convention that is defined to be the series above. When you evaluate that series at x=iπ, the result is -1. In general, the value of the series for any x=iy is cos(y) + i*sin(y).
It's that simple.