How do I us the Limit definition of derivative on f(x)=e^x?

1 Answer
Aug 6, 2014

The limit definition of the derivative is:

d/dx f(x) = lim_(h->0) (f(x+h) - f(x))/h

Now, since our function f(x) = e^x, we will substitute:

d/dx[e^x] = lim_(h->0) (e^(x+h) - e^x)/h

At first, it may be unclear as to how we will evaluate this limit. We will first rewrite it a bit, using a basic exponent law:

d/dx[e^x] = lim_(h->0) (e^(x) * e^h - e^x)/h

And now, we will factor the e^x:

d/dx[e^x] = lim_(h->0) (e^x (e^h - 1))/h

It might not be obvious, but using the constant law of limits we can actually treat e^x as a constant here and pull it out of the limit as a multiplier:

d/dx[e^x] = e^x * lim_(h->0) (e^h - 1)/h

And now, the entire thing has been simplified a great deal. The tricky part is figuring out this last limit.

Since it's easier, we will attempt to evaluate the limit graphically. So let's take a look at a graph of the function y = (e^x - 1)/x and see what happens when x->0:

![Graph of a http://derivative.](https://useruploads.socratic.org/YFaE78P7TmyBpPta939X_GsHK7bn.png)

The "hole" at x = 0 is caused by a division by zero. Thus, the function is undefined at x = 0. However, the function is well-defined everywhere else, even at values extremely close to zero. And, when x gets extremely close to zero, we can see that y appears to be getting closer to 1:

(e^0.1 - 1)/0.1 approx 1.0517

(e^0.01 - 1)/0.01 approx 1.0050

(e^0.001 - 1)/0.001 approx 1.0005

And, we can observe this same trend when approaching from the negative side:

(e^-0.1 - 1)/-0.1 approx 0.9516

(e^-0.01 - 1)/-0.01 approx 0.9950

(e^-0.001 - 1)/-0.001 approx 0.9995

So, we can say with reasonable certainty that lim_(h->0) (e^h - 1)/h = 1.

Granted, one shouldn't assume that they will get the correct answer from evaluating a limit graphically. So, since I like certainty, and since there is a way to evaluate the above limit algebraically, I will explain the alternate method:

lim_(h->0) (e^h - 1)/h

Now, there are actually a few ways to define e itself as a limit. One of them is

e = lim_(h->0) (1 + h)^(1/h)

Since our previous limit also has the variable h approaching zero, we can actually substitute the definition of e.

lim_(h->0) (((1 + h)^(1/h))^h - 1)/h

Simplifying the inside gives:

lim_(h->0) (1 + h - 1)/h

This further simplifies to:

lim_(h->0) h/h

We can easily see that this limit evaluates to 1.

So now that we know what this limit is, we can look back at our definition for the derivative of e^x.

d/dx[e^x] = e^x * lim_(h->0) (e^h - 1)/h

= e^x * 1
= e^x