Quotient rule
The quotient rule is a fundamental technique in differential calculus for determining the derivative of a function expressed as the ratio of two differentiable functions.[1] Specifically, if h(x) = \frac{f(x)}{g(x)}, where f and g are differentiable functions with g(x) \neq 0, the rule states that h'(x) = \frac{f'(x)g(x) - f(x)g'(x)}{[g(x)]^2}.[2] This formula, often remembered by the mnemonic "low d-high minus high d-low over low squared," where "low" refers to the denominator g(x) and "high" to the numerator f(x), enables efficient computation without resorting solely to the limit definition of the derivative.[3] The quotient rule emerged in the late 17th century as part of the foundational development of calculus by Gottfried Wilhelm Leibniz, who sought systematic rules for differentiating products and quotients after establishing the product rule.[4] It can be derived from the product rule by rewriting the quotient as f(x) \cdot [g(x)]^{-1} and applying the chain rule to the inverse, yielding the standard form through algebraic manipulation.[5] While any quotient's derivative can technically be found using the product rule alone, the quotient rule simplifies the process for rational functions, making it indispensable in applications such as physics for analyzing rates of change in divided quantities like velocity over time or force over mass.[6][7]Statement and Notation
Formula and Interpretation
The quotient rule in calculus provides a method for finding the derivative of a function expressed as the ratio of two differentiable functions. Specifically, if f(x) and g(x) are differentiable functions such that g(x) \neq 0, and h(x) = \frac{f(x)}{g(x)}, then the derivative is given by h'(x) = \frac{f'(x)g(x) - f(x)g'(x)}{[g(x)]^2}. This formula applies under the condition that both f and g are differentiable at the point of interest, ensuring the quotient itself is differentiable where defined.[2][8] In verbal terms, the quotient rule states that the derivative of a quotient is the denominator times the derivative of the numerator minus the numerator times the derivative of the denominator, all divided by the square of the denominator. This structure captures the rate of change of the ratio by balancing the contributions from the individual rates of change of the numerator and denominator; the subtraction in the numerator accounts for the inverse relationship inherent in division, where an increase in the denominator tends to decrease the overall quotient, opposing the effect of changes in the numerator.[9][10] A common mnemonic for remembering the quotient rule is "low d-high minus high d-low over low squared," where "low" refers to the denominator g(x), "high" to the numerator f(x), and "d" denotes the derivative. This phrase helps recall the order of terms in the numerator and the squared denominator.[11][12] Although the quotient rule can be derived from the product rule by rewriting the quotient as f(x) \cdot \frac{1}{g(x)} and differentiating the reciprocal using the chain rule, a dedicated formula is provided because applying the product rule directly to quotients is often more cumbersome and less intuitive for computation.[6]Assumptions and Conditions
The quotient rule requires that both the numerator function f and the denominator function g be differentiable at the point x = a where the derivative is sought. This prerequisite ensures that the individual derivatives f'(a) and g'(a) exist, forming the basis for computing the derivative of their ratio.[2][13] A fundamental condition is that g(a) \neq 0, as a zero denominator renders the original quotient undefined at that point, preventing differentiation via the rule. This restriction defines the domain of applicability, excluding points where division by zero occurs.[13][14] When these conditions hold—namely, f and g are differentiable at a and g(a) \neq 0—the quotient \frac{f(x)}{g(x)} itself is differentiable at a. Moreover, differentiability of f and g implies their continuity at a, and thus the quotient is continuous at a as well, establishing a smooth local behavior for the function.[15] In edge cases, such as when g(a) = 0 but f(a) = 0, the quotient may exhibit a removable discontinuity at a, allowing redefinition to achieve continuity and differentiability, though the quotient rule does not apply in its standard form due to the undefined nature at that point. Additionally, the involvement of g'(a) in the derivative expression underscores how the denominator's rate of change can influence the limit defining the quotient's derivative near such critical points.[14]Illustrative Examples
Basic Polynomial Differentiation
To illustrate the quotient rule in a basic setting, consider the rational function h(x) = \frac{x^2 + 1}{x - 2}, where the numerator and denominator are polynomials.[2] Label the numerator as f(x) = x^2 + 1, so its derivative is f'(x) = 2x, and the denominator as g(x) = x - 2, so its derivative is g'(x) = 1.[2] Applying the quotient rule gives h'(x) = \frac{f'(x) g(x) - f(x) g'(x)}{[g(x)]^2} = \frac{2x (x - 2) - (x^2 + 1) \cdot 1}{(x - 2)^2}. The numerator simplifies algebraically as follows: $2x(x - 2) = 2x^2 - 4x, and subtracting x^2 + 1 yields $2x^2 - 4x - x^2 - 1 = x^2 - 4x - 1. Thus, h'(x) = \frac{x^2 - 4x - 1}{(x - 2)^2}. [2] To verify this result, rewrite h(x) as a product: h(x) = (x^2 + 1)(x - 2)^{-1}. Differentiating via the product rule produces h'(x) = 2x (x - 2)^{-1} + (x^2 + 1) \cdot (-1)(x - 2)^{-2} \cdot 1, which simplifies to the same expression \frac{x^2 - 4x - 1}{(x - 2)^2} after combining over a common denominator.[2] For a numerical check, evaluate at x = 0: h'(0) = \frac{0 - 0 - 1}{(-2)^2} = -\frac{1}{4}, confirming consistency with direct computation.[2]Trigonometric Function Derivative
The quotient rule finds application in deriving the derivative of the tangent function, defined as \tan x = \frac{\sin x}{\cos x}. Let f(x) = \sin x and g(x) = \cos x, so f'(x) = \cos x and g'(x) = -\sin x. Applying the quotient rule gives: \tan'(x) = \frac{f'(x)g(x) - f(x)g'(x)}{[g(x)]^2} = \frac{(\cos x)(\cos x) - (\sin x)(-\sin x)}{\cos^2 x} = \frac{\cos^2 x + \sin^2 x}{\cos^2 x}. The numerator simplifies to 1 using the Pythagorean identity \sin^2 x + \cos^2 x = 1, yielding \tan'(x) = \frac{1}{\cos^2 x} = \sec^2 x.[16] This derivation assumes the known first derivatives of the sine and cosine functions.[17] In physics, the tangent function often models angles in scenarios involving slopes or inclined planes.[18]Related Differentiation Techniques
Reciprocal Rule
The reciprocal rule provides a specialized formula for differentiating the reciprocal of a function, expressed as \frac{d}{dx} \left( \frac{1}{g(x)} \right) = -\frac{g'(x)}{[g(x)]^2}, where g(x) is differentiable and g(x) \neq 0. This result follows directly from the quotient rule by setting the numerator to the constant function f(x) = 1, whose derivative is zero, simplifying the general expression to the form above.[19][20] This rule is particularly advantageous when the numerator of a quotient is a constant, as it eliminates extraneous terms that arise in the full quotient rule, streamlining the computation. For example, to differentiate \frac{1}{x^2 + 1}, apply the reciprocal rule with g(x) = x^2 + 1 and g'(x) = 2x, yielding \frac{d}{dx} \left( \frac{1}{x^2 + 1} \right) = -\frac{2x}{(x^2 + 1)^2}. In contrast, using the full quotient rule would involve differentiating the constant numerator (resulting in zero) and subtracting zero times the denominator's derivative, making the reciprocal rule more efficient for such cases.[21][22] The reciprocal rule emerged as part of the foundational differentiation techniques developed by Gottfried Wilhelm Leibniz in the late 17th century, with Leibniz establishing the quotient rule (from which the reciprocal form derives) by 1677; it has since been presented alongside the quotient rule in early calculus texts for pedagogical efficiency.[23]Logarithmic Differentiation Approach
Logarithmic differentiation offers an alternative method to compute the derivative of a quotient h(x) = \frac{f(x)}{g(x)} by exploiting the properties of the natural logarithm to simplify the expression before differentiating. This technique is particularly beneficial for quotients where f(x) or g(x) involve complicated products, powers, or exponents, as it transforms multiplications into additions and reduces the reliance on multiple applications of the product or chain rules.[24] The process begins by taking the natural logarithm of both sides, assuming h(x) > 0 for the domain where the logarithm is defined:\ln |h(x)| = \ln |f(x)| - \ln |g(x)|.
Differentiating both sides with respect to x using the chain rule gives
\frac{h'(x)}{h(x)} = \frac{f'(x)}{f(x)} - \frac{g'(x)}{g(x)}.
Solving for the derivative yields
h'(x) = h(x) \left[ \frac{f'(x)}{f(x)} - \frac{g'(x)}{g(x)} \right] = \frac{f(x)}{g(x)} \left[ \frac{f'(x)}{f(x)} - \frac{g'(x)}{g(x)} \right].
This approach leverages the derivative of the logarithm, \frac{d}{dx} [\ln |u(x)|] = \frac{u'(x)}{u(x)}, to break down the quotient into manageable terms.[25][26] The primary advantages of this method lie in its ability to simplify differentiation for functions with exponents, as \ln (u^v) = v \ln u converts powers into products that are easier to handle, and for quotients or products that would otherwise require repeated use of basic rules. It is especially useful when f(x) or g(x) are raised to variable powers or consist of intricate compositions, reducing the overall complexity of the computation.[24][27] Consider the example h(x) = \frac{x^2 + 1}{x - 2}, defined for x > 2 to ensure positivity. Taking the natural logarithm gives
\ln h(x) = \ln (x^2 + 1) - \ln (x - 2).
Differentiating both sides results in
\frac{h'(x)}{h(x)} = \frac{2x}{x^2 + 1} - \frac{1}{x - 2}.
Multiplying through by h(x) yields
h'(x) = \frac{x^2 + 1}{x - 2} \left( \frac{2x}{x^2 + 1} - \frac{1}{x - 2} \right).
Combining the terms in the parentheses over a common denominator:
\frac{2x(x - 2) - (x^2 + 1)}{(x^2 + 1)(x - 2)} = \frac{2x^2 - 4x - x^2 - 1}{(x^2 + 1)(x - 2)} = \frac{x^2 - 4x - 1}{(x^2 + 1)(x - 2)}.
Thus,
h'(x) = \frac{x^2 + 1}{x - 2} \cdot \frac{x^2 - 4x - 1}{(x^2 + 1)(x - 2)} = \frac{x^2 - 4x - 1}{(x - 2)^2}.
This matches the derivative obtained via direct methods, illustrating how logarithmic differentiation achieves the same result through logarithmic manipulation rather than immediate rule application.[24][28] A key limitation is that the technique requires h(x) \neq 0 and, for real-valued functions, h(x) > 0 (or handling absolute values carefully) to ensure the logarithm is defined; points where f(x) = 0 or g(x) = 0 must be excluded from the domain during application.[29][30]
Proofs of the Rule
From Limit Definition
The quotient rule for differentiation states that if h(x) = \frac{f(x)}{g(x)}, where f and g are differentiable functions at x = a and g(a) \neq 0, then h'(a) = \frac{f'(a)g(a) - f(a)g'(a)}{[g(a)]^2}. This result follows directly from the limit definition of the derivative.[31] To derive it, begin with the definition: h'(a) = \lim_{h \to 0} \frac{h(a + h) - h(a)}{h} = \lim_{h \to 0} \frac{\frac{f(a + h)}{g(a + h)} - \frac{f(a)}{g(a)}}{h}. [32] Combine the fractions in the numerator over a common denominator: \frac{\frac{f(a + h)}{g(a + h)} - \frac{f(a)}{g(a)}}{h} = \frac{f(a + h)g(a) - f(a)g(a + h)}{h \cdot g(a + h) \cdot g(a)}. [33] This expression is of the indeterminate form 0/0 as h \to 0. To resolve it, rewrite as \frac{ \frac{f(a + h)g(a) - f(a)g(a + h)}{h} }{ g(a + h) g(a) } = \frac{ g(a) \cdot \frac{f(a + h) - f(a)}{h} - f(a) \cdot \frac{g(a + h) - g(a)}{h} }{ g(a + h) g(a) }. [31] Now apply the limit. The denominator limit is \lim_{h \to 0} g(a + h) g(a) = g(a) \cdot g(a) = [g(a)]^2, [31] where the continuity of g at a (implied by differentiability) ensures \lim_{h \to 0} g(a + h) = g(a).[32] For the numerator limit, \lim_{h \to 0} \frac{f(a + h)g(a) - f(a)g(a + h)}{h} = g(a) \cdot \lim_{h \to 0} \frac{f(a + h) - f(a)}{h} - f(a) \cdot \lim_{h \to 0} \frac{g(a + h) - g(a)}{h} = g(a) f'(a) - f(a) g'(a), [31] by linearity of limits and the definitions of f'(a) and g'(a). Combining these results gives the quotient rule formula.[32] This proof requires g(a) \neq 0 to ensure the denominator is nonzero and the original function is defined at a, along with the differentiability of f and g at a.[33]Using Product and Chain Rules
The quotient rule can be derived by rewriting the quotient of two differentiable functions as a product involving the reciprocal of the denominator, then applying the product rule and chain rule.[31] Consider h(x) = \frac{f(x)}{g(x)}, where f and g are differentiable functions with g(x) \neq 0. Express h(x) as h(x) = f(x) \cdot u(x), where u(x) = \frac{1}{g(x)} = [g(x)]^{-1}.[5] By the product rule, the derivative is h'(x) = f'(x) u(x) + f(x) u'(x). This yields h'(x) = f'(x) \cdot \frac{1}{g(x)} + f(x) u'(x).[34] To compute u'(x), apply the chain rule to the composition u(x) = [g(x)]^{-1}: u'(x) = -1 \cdot [g(x)]^{-2} \cdot g'(x) = -\frac{g'(x)}{[g(x)]^2}. This step relies on the power rule within the chain rule framework for the reciprocal function.[35] Substitute u'(x) into the expression for h'(x): h'(x) = \frac{f'(x)}{g(x)} + f(x) \left( -\frac{g'(x)}{[g(x)]^2} \right) = \frac{f'(x)}{g(x)} - \frac{f(x) g'(x)}{[g(x)]^2}. Combine terms over the common denominator [g(x)]^2: h'(x) = \frac{f'(x) g(x) - f(x) g'(x)}{[g(x)]^2}. This establishes the quotient rule.[20] The product rule serves as the core mechanism for differentiating the initial product form.[2]Via Implicit Differentiation
One method to derive the quotient rule employs implicit differentiation on the defining equation of the quotient function. Let y = \frac{f(x)}{g(x)}, where f and g are differentiable functions and g(x) \neq 0. Rewriting this gives the equation y \, g(x) = f(x).[36] Differentiating both sides with respect to x yields y' \, g(x) + y \, g'(x) = f'(x), applying the product rule to the left side and assuming the chain rule for the term involving y.[36] Solving for y', first isolate the term: y' \, g(x) = f'(x) - y \, g'(x), then divide by g(x): y' = \frac{f'(x) - y \, g'(x)}{g(x)}. Substituting y = \frac{f(x)}{g(x)} into the expression produces y' = \frac{f'(x) - \frac{f(x)}{g(x)} \, g'(x)}{g(x)} = \frac{f'(x) g(x) - f(x) g'(x)}{[g(x)]^2}. This establishes the quotient rule \left( \frac{f}{g} \right)' = \frac{f' g - f g'}{g^2}.[36] This derivation highlights the role of implicit differentiation, a technique rooted in the chain rule for equations not solved explicitly for one variable.[37] It proves advantageous in applications like related rates problems, where variables are interconnected implicitly, or when analyzing implicitly defined functions.[38] The result applies wherever g(x) \neq 0, ensuring the denominator remains defined.[36]Through Logarithmic Differentiation
One alternative method to prove the quotient rule employs logarithmic differentiation, which simplifies the process by transforming the quotient into a difference of logarithms. Consider a function y = \frac{f(x)}{g(x)}, where f and g are positive differentiable functions with g(x) \neq 0, ensuring y > 0. Taking the natural logarithm of both sides yields\ln y = \ln f - \ln g. [31] Differentiating both sides with respect to x, applying the chain rule to each term, results in
\frac{1}{y} y' = \frac{f'}{f} - \frac{g'}{g}. [31] Multiplying through by y gives
y' = y \left( \frac{f'}{f} - \frac{g'}{g} \right).
Substituting y = \frac{f}{g} produces
y' = \frac{f}{g} \left( \frac{f' g - f g'}{f g} \right) = \frac{f' g - f g'}{g^2}. [31] This establishes the standard form of the quotient rule. For the general case where f and g may not be positive, absolute values are incorporated: \ln |y| = \ln |f| - \ln |g|, with differentiation yielding the same result since the derivative of \ln |u| is \frac{u'}{u} for u \neq 0. The assumption of positive functions simplifies the presentation while preserving the proof's validity in broader domains. This logarithmic approach highlights the rule's equivalence to the direct derivation but relies on the additive property of logarithms for quotients, offering an elegant perspective via exponential and logarithmic identities.[31]