We shall first look at the irrational number in order to show its special properties when used with derivatives of exponential and logarithm functions. As mentioned before in the Algebra section, the value of is approximately but it may also be calculated as the Infinite Limit:
Now we find the derivative of using the formal definition of the derivative:
Let . Note that as , we get . So we can redefine our limit as:
Here we could take the natural logarithm outside the limit because it doesn't have anything to do with the limit (we could have chosen not to). We then substituted the value of .
Derivative of the Natural Logarithm
If we wanted, we could go through that same process again for a generalized base, but it is easier just to use properties of logs and realize that:
Since is a constant, we can just take it outside of the derivative:
Which leaves us with the generalized form of:
Derivative of the Logarithm
An alternative approach to derivative of the logarithm refers to the original expression of the logarithm as quadrature of the hyperbola y = 1/x . This approach is described in an extension of precalculus in § 1.8.
We shall take two different approaches to finding the derivative of . The first approach:
The second approach:
Note that in the second approach we made some use of the chain rule. Thus:
so that we have proved the following rule:
Derivative of the exponential function
Now that we have derived a specific case, let us extend things to the general case. Assuming that is a positive real constant, we wish to calculate:
One of the oldest tricks in mathematics is to break a problem down into a form that we already know we can handle. Since we have already determined the derivative of , we will attempt to rewrite in that form.
We can use the properties of the logarithm, particularly the natural log, to differentiate more difficult functions, such a products with many terms, quotients of composed functions, or functions with variable or function exponents. We do this by taking the natural logarithm of both sides, re-arranging terms using the logarithm laws below, and then differentiating both sides implicitly, before multiplying through by .