In this note, I'm going to demonstrate another way to prove the derivative formulas dxdf(x)×g(x)=f′(x)g(x)+g′(x)f(x) and dxdg(x)f(x)=(g(x))2f′(x)g(x)−g′(x)f(x) using logarithmic differentiation. The most commonly taught method is with the definition of a derivative, but this can get ugly and can easily result in a stupid mistake.
First, let's take a look at the derivative of the natural logarithm: dxdlnx.
If y=lnx, then ey=x. Derive both sides with respect to x.
dydeydxdy=dxdx
eydxdy=1
dxdy=ey1
dxdy=elnx1=x1
So that is the derivative of lnx. If u is a differentiable function in x, then by the chain rule, dxdlnu=uu′. Now we can move to logarithmic differentiation.
Logarithmic differentiation is commonly used for really ugly functions to differentiate. You use it if you are told to derive (x−3)6(x−2)4(x+1)3, for example. If you try to use the chain rule, product rule, and quotient rule for this, you are in for one heck of a ride, and the answer you come up with has a really good chance of being wrong. You can take the natural logarithm of both sides and apply the properties of logarithms and the chain rule to find the answer.
y=(x−3)6(x−2)4(x+1)3
lny=ln(x−3)6(x−2)4(x+1)3
lny=4ln(x−2)+3ln(x+1)−6ln(x−3)
y1dxdy=x−24+x+13−x−36
dxdy=y(x−24+x+13−x−36)
dxdy=((x−3)6(x−2)4(x+1)3)(x−24+x+13−x−36)
This is much easier to evaluate for values of x. If you are actually trying to expand an expression like this, then you are being trolled. A time where you might expand the expression is if you are deriving (x−2)3(x+1)4.
So now onto the proofs. f, g, and F are differentiable functions of x.
Let's start with the product rule. Let F=fg
F=fg
lnF=lnfg
lnF=lnf+lng
FF′=ff′+gg′
FF′=fgf′g+g′f
F′=F(fgf′g+g′f)
F′=f′g+g′f
So this is the proof of the product rule. Now let's move on the quotient rule. Now let F=gf.
F=gf
lnF=lngf
lnF=lnf−lng
FF′=ff′−gg′
FF′=fgf′g−g′f
F′=F(fgf′g−g′f)
F′=(gf)(fgf′g−g′f)
F′=g2f′g−g′f
And now the quotient rule has been proven.
In my opinion, this is a lot easier than trying to figure out what you need to add and subtract to the expression found using the definition of a derivative. Hopefully you do too! Thanks for reading this post, and remember to occasionally check #TrevorsTips for tricks to solve problems.
#Calculus
#Logarithms
#Derivatives
#TrevorsTips
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Can you use similar techniques to prove that dxdxn=nxn−1?
Log in to reply
Let y=xn. Taking the natural logarithm of both sides gives lny=nlnx. Differentiating, one has dyd⋅dxdylny=ndxdlnx which simplifies to dxdyy1=xn. Substituting y=xn back into the equation and rearranging, we find that dxdy=nxn−1, as desired.
Log in to reply
Good job!
Log in to reply
Yup, we can.
Let's say y=xn
dxdy=dxdxn
Take the natural log of both sides, and using logarithmic properties we get...
dxdlny=dxdlnxn=dxdnlnx
y1dxdy=nx1
Multiply both sides by y.
yy1dxdy=nyx1
And so we get...
dxdy=nyx1 and remember, y=xn, hence substituting it we get,
dxdy=nxnx1
Using exponent properties, I can say...
dxdy=nxnx−1
dxdy=nxn−1
y=xn⇒dxdxn=nxn−1
I always used to think of interesting ways and they connect beautifully, it's always nice to see something solved in more than one way. ^^
Log in to reply
Good job!
Can anyone think of what else you can use logarithmic differentiation for (in terms of proofs)?
Log in to reply
Something like xx or even xxx
Log in to reply
right........ it is especially helpful when a function is raised to another function. Here is an interesting example find the derivative of y=x^x^x^x..... up to infinity (try to find the derivative)
@Trevor B. Can you add these to the Differentiation Rules Wiki pages? Thanks!
Luv u de