derivative of exponential function
In this entry, we shall compute the derivative of the exponentialfunction from its definition as a limit of powers.
Theorem 1.
If , then
Proof.
By the inequalities for differences of powers, we have
Since , and , we have . Because, this implies , so
Hence
Taking the limit as , we obtain our result.∎
Theorem 2.
Proof.
Assume . By our bound, we have
Suppose that . Then, since , we have
From the inequality above, we have
Hence
By theorem 1, we have , so
By the squeeze rule, we conclude that
whether we approach the limit from the left or the right.∎
Theorem 3.
Proof.
By definition,
By the addition theorem for the exponential, we have
so
By theorem 2, the limit on the right-hand side equals , so we have
∎