Why Derive the Quotient Rule?
A formula for differentiating a quotient is useful, but knowing where it comes from makes its structure easier to remember and its conditions harder to overlook. The key step is to combine the two fractions in the difference quotient before taking a limit. That step produces both the subtraction in the numerator and the square in the denominator.
We will derive the rule for two functions that are differentiable at a point. The denominator must be nonzero there. The derivation will also show why that condition lets the quotient remain defined close enough to the point for its derivative to make sense.
Conditions Before the Calculation
The derivative of \(q\) at \(a\) is defined by the limit of its difference quotient. For that quotient to be meaningful, \(q(a)\) must be defined, so \(g(a)\ne 0\). We also need \(q(a+h)\) to be defined for sufficiently small nonzero \(h\).
Why does \(g(a)\ne 0\) ensure this nearby condition? Differentiability of \(g\) at \(a\) implies continuity there. Thus \(g(x)\) approaches the nonzero value \(g(a)\) as \(x\) approaches \(a\). In particular, \(g(x)\) stays nonzero sufficiently close to \(a\). So \(q(x)=f(x)/g(x)\) is defined in a neighborhood of \(a\).
Deriving the Rule from the Difference Quotient
Start with the definition of the derivative of \(q(x)=f(x)/g(x)\) at \(a\). For nonzero \(h\) sufficiently close to zero, both \(g(a)\) and \(g(a+h)\) are nonzero, so we can combine the fractions.
The numerator is the part that requires care. Add and subtract \(f(a)g(a)\) to separate the change in \(f\) from the change in \(g\):
Substitute this identity into the difference quotient and divide each change by \(h\). Since \(g(a)\) and \(f(a)\) are constants with respect to \(h\), this gives:
As \(h\) approaches zero, the two difference quotients in the numerator approach \(f'(a)\) and \(g'(a)\), respectively. Continuity of \(g\) gives \(g(a+h)\to g(a)\). Therefore, the denominator approaches \(g(a)^2\), which is nonzero by assumption. The limit laws now give the claimed formula.
The Limit Argument in Steps
Use \(\frac{q(a+h)-q(a)}{h}\), with \(q=f/g\).
The numerator becomes \(f(a+h)g(a)-f(a)g(a+h)\), and the denominator includes \(g(a+h)g(a)\).
Rewrite the numerator as \(g(a)[f(a+h)-f(a)]-f(a)[g(a+h)-g(a)]\).
The difference quotients approach the derivatives, while \(g(a+h)g(a)\) approaches the nonzero value \(g(a)^2\).
Worked Examples: Checking the Derivation
Worked Example: A Quotient of Two Simple Polynomials
Let \(q(x)=\frac{x^2+1}{x+1}\). Find \(q'(1)\) using the derived rule, then check it directly from the difference quotient.
Set \(f(x)=x^2+1\) and \(g(x)=x+1\). At \(a=1\), the needed values are:
Since \(g(1)=2\ne 0\), the rule applies. Substitution gives:
To check, \(q(1)=2/2=1\). Also, \(f(1+h)=2+2h+h^2\) and \(g(1+h)=2+h\). Hence:
Taking \(h\to 0\) gives \(1/2\), agreeing with the rule.
Worked Example: A Nonzero Denominator with a Changing Rate
Let \(q(x)=\frac{3x-1}{x^2+1}\). Find \(q'(1)\) and verify it using the difference quotient.
Here \(f(x)=3x-1\) and \(g(x)=x^2+1\). At \(a=1\):
The denominator value \(g(1)=2\) is nonzero. Therefore:
For the check, \(q(1)=1\), \(f(1+h)=2+3h\), and \(g(1+h)=2+2h+h^2\). Thus:
As \(h\to 0\), this expression approaches \(1/2\), as required.
Worked Example: A Zero Derivative at a Valid Point
Let \(q(x)=\frac{x^2}{x-1}\). Find \(q'(2)\), then check the value directly. This example also shows that the derivative can be zero even when both numerator and denominator change with \(x\).
Take \(f(x)=x^2\), \(g(x)=x-1\), and \(a=2\). Then:
Because \(g(2)=1\ne0\), the rule applies:
For a direct check, \(q(2)=4\), \(f(2+h)=4+4h+h^2\), and \(g(2+h)=1+h\). Therefore:
The limit as \(h\to0\) is \(0\), confirming the result.
Common Mistakes and the Denominator Condition
A frequent error is to remember the subtraction in the numerator but omit one factor of the denominator. For the first example, that incorrect calculation would give:
But the difference-quotient calculation gave \(1/2\). The correct denominator is \(g(1)^2=4\), because the combined fractions have the product \(g(1+h)g(1)\), which approaches \(g(1)^2\).
Another error is reversing the numerator order. The expression is \(f'g-fg'\), not \(fg'-f'g\). Reversing the order changes the sign. Keeping the grouped difference from the derivation visible—change in \(f\) multiplied by \(g(a)\), minus change in \(g\) multiplied by \(f(a)\)—helps preserve the correct order.
Finally, do not apply the rule at a point where the denominator is zero. For example, \(x/x\) is defined only when \(x\ne0\), so it has no value at \(x=0\) as originally given. Even though the expression equals \(1\) for nonzero \(x\), the quotient rule cannot establish a derivative at \(0\): its required condition \(g(0)\ne0\) fails, and the original quotient is not defined there.
Why the Derivation Matters
The quotient rule is not an isolated pattern to memorize. Its numerator and denominator follow from the algebra of the difference quotient and the limits of the two component functions. The proof explains why differentiability of both functions is needed, why a nonzero denominator is essential, and why the denominator is squared.
When applying the rule, first identify the numerator function \(f\) and denominator function \(g\), then verify that \(g\) is nonzero at the point in question. The derived formula is then a consequence of the derivative definition, rather than a shortcut with unexplained signs.
Check Your Understanding
Answer each question using the difference-quotient derivation and its conditions.
- In the combined-fraction numerator, what expression results from subtracting \(q(a)=f(a)/g(a)\) from \(q(a+h)=f(a+h)/g(a+h)\)?
- Why does \(g(a)\ne0\), together with differentiability of \(g\) at \(a\), ensure that the quotient is defined sufficiently close to \(a\)?
- In the derivation, what does the denominator \(g(a+h)g(a)\) approach as \(h\to0\)?
- For \(q(x)=\frac{x+2}{x^2+1}\), list \(f(1), f'(1), g(1), g'(1)\), and use the rule to find \(q'(1)\).
- Why can the quotient rule not be applied to \(f(x)/g(x)\) at a point \(a\) where \(g(a)=0\)?