World Web Math: Differentiation of Natural Logarithm
Differentiation of Natural LogarithmDifferentiation of exponentials, Implicit differentiation
We'll go about finding the derivative of the function y = lnx by defining it implicitly, differentiating, and then searching for an explicit solution:
ey = x
Dxey = Dxx
| Dx x2/2 | = x1 |
| Dx x1 | = x0 |
| Dx (???) | = x-1 |
| Dx -x-1 | = x-2 |
| Dx -x-2/2 | = x-3 |
You'll notice that I did not explicitly apply the definition of the derivative in order to find Dxlnx. Instead I used other things I already knew about differentiation. Producing this result using the definition would have been much more tedious, and this method is just as correct.
Then, . That's reassuring, hopefully.
For exponents of bases other than e: ax = e(x lna). Then
To check again:
Good.
This is an interesting result. It means that the derivative of the log of a constant times a function is equal to the derivative of the function. This may make more sense if we think if it like this:
Remember: the chain rule is your friend!
To check this: