Intuition for the derivative of the exponential function

This might not exactly be the type of answer you are looking for, but I think it's accurate so I'm writing it here anyway. Often in math, we can encounter objects with multiple (provably equivalent) definitions, some more natural than others, and some can be better in giving an intuitive insight into how the object in question works. Once we've chosen a definition, the others can then be proven as theorems.

If I guess correctly, your definition of the exponential function $\exp$ is given by first defining $$\log(x)=\lim_{n\to\infty}n(x^{1/n}-1),$$ and then defining $\exp$ to be the inverse function of the logarithm. But this is not a very enlightening definition. A much more common definition would literally be that $\exp$ is the unique function $f:\mathbb R\to\mathbb R$ satisfying $f'(x)=f(x)$ for all $x$, and $f(0)=1$. Proving such a function exists and is unique takes some work, then showing that this is indeed equivalent to your definition takes some more. But once this is done, we can then accept, as a fact, that $\exp$ is the function that is meant to satisfy $\exp'=\exp$. We can define this in multiple ways, but this is the core property that is central to the exponential function---some might say, the defining property of the exponential function.

So your question is:

Are there easier ways of proving that $\dfrac{d}{dx}e^x=e^x$?

I would say yes: by assuming it is the case, by taking it to be true by definition. Showing that other definitions are equivalent to this definition is nontrivial and needs to be done of course, but as you observed might not necessarily be very intuitive or give much insight. To understand what the exponential function is deeply, this definition is the way to go.


To show that the definition $\frac{d}{dx}e^x=e^x$ is equivalent to the "arithmetic definition" $e^{a+b}=e^ae^b$ is an interesting problem. To go from the former to the latter, see the link provided by KM101 in the comments. On the other hand, let's try to start from the latter and try to go to the former. Now, differentiation deals with the "local growth rate" of a function with response to small changes in $x$, and we have an additive definition, so we consider $$\exp(x+\Delta x)=\exp(x)\exp(\Delta x)$$ for a small $\Delta x>0$. Now in the definition of the derivative, we consider $$\exp(x)\lim_{\Delta x\to 0}\left(\frac{\exp(\Delta x)-1}{\Delta x}\right).$$ To show that this is indeed $\exp(x)$, all we need to do is to show that the latter limit is $1$. Note that the limit is actually just $\exp'(0)$. Consider what we've done so far: we've reduced the proof of $\exp'=\exp$, which is information regarding the "growth rate" of $\exp$ globally, into the proof of just $\exp'(0)=1$, at a single point!

So how can we prove this, knowing just $\exp(a+b)=\exp(a)\exp(b)$? Well... unfortunately we can't. See, if we define $f'(0)=k$ for any arbitrary real number $k$, where $f$ satisfies $f(a+b)=f(a)f(b)$, we will get a perfectly well-defined function $f$ (you can try to show this). But when we make the choice that $f'(0)=1$ (or in other words $k=1$), then we end up with a function which is its own derivative. Indeed, this is the property that motivates the choice $f'(0)=1$.

In hindsight, if $f'(0)=k$ and $f(a+b)=f(a)f(b)$ for all $a,b$, we can describe $f$ in general: it is simply $f(x)=e^{kx}$.


One fairly elementary way to approach this -- elementary enough that it's the way it was approached at the secondary school (= high school) I went to -- is to begin by defining the logarithm rather than the exponential. You say $\log x=\int_1^x1/t\ dt$ from which it immediately follows that the derivative of $\log x$ is $1/x$, you prove that $\log(ab)=\log a+\log b$ by a simple geometrical argument and $\log 1=0$ by inspection, and now you've got a nice log function and know its derivative. Then you define exp to be the inverse of log; you know it behaves like an exponential because you know log behaves like a logarithm; and now the derivative of exp is a trivial calculation using the already-known derivative of log.

(Personally I think I prefer to take YiFan's approach and begin by defining exp in terms of the ODE it satisfies. But the above works pretty well.)


If you can accept the derivative of $\ln x$ then this might provide "some" intuition.

$$ y=e^x \Rightarrow \\ \ln y = x \Rightarrow \\ \frac{y '}{y} = 1 \Rightarrow \\ y' = y = e^x $$