logarithmic proof of quotient rule


Following is a proof of the quotient ruleMathworldPlanetmath using the natural logarithmMathworldPlanetmathPlanetmath, the chain ruleMathworldPlanetmath, and implicit differentiationMathworldPlanetmath. Note that circular reasoning does not occur, as each of the concepts used can be proven independently of the quotient rule.

Proof.

Let f and g be differentiable functions and y=f(x)g(x). Then lny=lnf(x)-lng(x). Thus, 1ydydx=f(x)f(x)-g(x)g(x). Therefore,

dydx=y(f(x)f(x)-g(x)g(x))=f(x)g(x)(f(x)f(x)-g(x)g(x))=f(x)g(x)-f(x)g(x)(g(x))2=g(x)f(x)-f(x)g(x)(g(x))2.

Once students are familiar with the natural logarithm, the chain rule, and implicit differentiation, they typically have no problem following this proof of the quotient rule. Actually, with some prompting, they can produce a proof of the quotient rule to this one. This exercise is a great way for students to review many concepts from calculusMathworldPlanetmath.

Title logarithmic proof of quotient rule
Canonical name LogarithmicProofOfQuotientRule
Date of creation 2013-03-22 16:18:51
Last modified on 2013-03-22 16:18:51
Owner Wkbj79 (1863)
Last modified by Wkbj79 (1863)
Numerical id 7
Author Wkbj79 (1863)
Entry type Proof
Classification msc 26A06
Classification msc 97D40
Related topic LogarithmicProofOfProductRule