Why the Denominator Condition Matters
A quotient involves division, so the denominator must be nonzero wherever the quotient is evaluated. For limits, there is an additional issue: a denominator that approaches zero can make the quotient behave very differently depending on how quickly the numerator approaches zero. The quotient law gives a reliable rule when the denominator approaches a nonzero number. When it approaches zero, that rule is unavailable, and more information is needed.
The key is to keep two questions separate: Does the quotient law apply? And, if it does not, what does the quotient itself do? A failed hypothesis means that the law gives no conclusion. It does not by itself say that the quotient limit fails to exist.
The Quotient Law
The condition \(M\ne 0\) is about the limit of the denominator. It is not necessary that \(g(a)\) be defined or nonzero: a limit considers values near \(a\), not necessarily the value at \(a\). The quotient must, however, be defined in a deleted neighborhood of \(a\), meaning for all \(x\) close enough to \(a\) with \(x\ne a\). The theorem’s nonzero-limit condition guarantees this for points sufficiently close to \(a\).
The quotient law follows the same pattern as the sum, difference, and product laws: when the component functions approach their limits, the corresponding arithmetic combination approaches the same combination of those limits, provided the operation is valid. Division requires special care. If \(g(x)\) approaches a nonzero \(M\), then nearby values of \(g(x)\) cannot be zero or arbitrarily close to zero.
Why a Nonzero Denominator Limit Keeps Division Safe
Here is a direct justification of that crucial condition. Suppose \(\lim_{x\to a}g(x)=M\) and \(M\ne0\). By the definition of a limit, we can make \(g(x)\) as close to \(M\) as we wish by taking \(x\) sufficiently close to \(a\), but different from \(a\). In particular, we can require \(|g(x)-M|<|M|/2\). The reverse triangle inequality then gives a positive lower bound for \(|g(x)|\):
Thus the denominator stays away from zero nearby. This explains why division behaves stably in the quotient law when \(M\ne0\). For example, the exact difference between the quotient and its proposed limit can be written as
As \(x\) approaches \(a\), the differences \(f(x)-L\) and \(g(x)-M\) approach zero. Meanwhile \(M g(x)\) stays away from zero, by the lower bound just established and the fact that \(M\ne0\). The quotient therefore approaches \(L/M\). This identity gives the reason for the law: the numerator error becomes small, while the denominator cannot collapse toward zero.
Worked Example: Applying the Quotient Law
Worked Example: Applying the Quotient Law
Find \(\lim_{x\to1}\frac{x+2}{2x+1}\), using the known component limits.
First, the numerator has limit \(1+2=3\), and the denominator has limit \(2(1)+1=3\). The denominator limit is nonzero, so the quotient law applies.
Check: The denominator limit is \(3\ne0\), as required. At \(x=1\), the expression is \(3/3=1\), consistent with the limit found by the law.
The check confirms both the arithmetic and the required hypothesis. Evaluating at \(x=1\) is only a consistency check here; the quotient law justifies the limit because the component limits exist and the denominator limit is nonzero.
When the Denominator Limit Is Zero
If \(\lim_{x\to a}g(x)=0\), the quotient law does not tell us what \(\lim_{x\to a}f(x)/g(x)\) is. The expression \(L/0\) is not a real number, so the law cannot supply a quotient limit that way. But this does not mean the quotient must diverge or fail to have a limit. The numerator’s behavior relative to the denominator now matters.
Worked Example: A Zero Denominator Limit but a Finite Quotient Limit
Consider \(\lim_{x\to0}\frac{x^2}{x}\). The numerator tends to \(0\), and the denominator also tends to \(0\). Therefore, the quotient law does not apply: its denominator-limit condition fails.
For every \(x\ne0\), the quotient is defined and satisfies
Thus, for \(x\ne0\), the quotient has the same values as \(x\), whose limit as \(x\to0\) is \(0\). Therefore, the quotient limit is \(0\).
Check: The pointwise equality holds for every \(x\ne0\), exactly the values used in the limit. The quotient is not defined at \(x=0\), but that does not prevent it from having a limit there.
This example shows that a zero denominator limit does not automatically mean that the quotient has no limit. It means only that the quotient law cannot determine the answer from the two component limits alone.
Worked Example: A Quotient That Becomes Unbounded
Consider \(\lim_{x\to0}\frac{x+1}{x}\). The numerator tends to \(1\), while the denominator tends to \(0\), so the quotient law again does not apply.
For \(x>0\), the numerator \(x+1\) is positive and approaches \(1\), while \(x\) is positive and approaches zero. The quotient becomes arbitrarily large and positive. For \(x<0\) sufficiently close to zero, \(x+1\) is positive and \(x\) is negative, so the quotient is negative and its magnitude becomes arbitrarily large. The two-sided finite limit does not exist.
Check: From the right, the quotient grows without bound; from the left, it decreases without bound. In particular, the two sides cannot approach the same finite real number.
Worked Example: A Quotient with Different One-Sided Limits
Consider \(\lim_{x\to0}\frac{x}{|x|}\). Both the numerator and denominator tend to \(0\), so the quotient law cannot be used. For \(x>0\), \(|x|=x\), and the quotient equals \(1\). For \(x<0\), \(|x|=-x\), and the quotient equals \(-1\).
Because the one-sided limits differ, the two-sided limit does not exist.
Check: The quotient is \(1\) at every positive \(x\) near zero and \(-1\) at every negative \(x\) near zero. These values confirm the distinct one-sided limits.
Common Mistake: Treating Zero as a Quotient Answer
A frequent error is to compute the component limits and then write a quotient such as \(0/0\) as though it were a value or a limit result. For instance, one might reason:
The error is applying the quotient law when the denominator limit is zero. The expression \(0/0\) is not the value of the quotient limit; it indicates that this law does not decide the limit. In this example, the quotient is \(x\) for \(x\ne0\), so the limit is \(0\). In the other examples above, a denominator limit of zero accompanied unbounded behavior or unequal one-sided limits. The same component-limit pattern can therefore lead to different outcomes.
A Practical Decision Process
Before using the quotient law, check the hypotheses in order. This prevents an invalid division of limit values and clarifies what information is still needed when the law does not apply.
Identify \(L=\lim_{x\to a}f(x)\) and \(M=\lim_{x\to a}g(x)\), when they exist.
If \(M\ne0\), the quotient law applies and the limit is \(L/M\).
The quotient law is unavailable. Do not treat \(L/0\) or \(0/0\) as an answer.
Its limit may exist, may fail to exist, or may be unbounded; the component limits alone do not settle the question.
Why the Condition Is Useful
The nonzero-denominator condition is not a technical detail to memorize without meaning. It identifies exactly when limit arithmetic can safely preserve division. A denominator approaching \(3\), for example, stays away from zero near the limiting point. A denominator approaching \(0\) does not have that protection; even small changes in the numerator and denominator can then produce very different quotient behavior.
Remember that the condition is sufficient for using the quotient law, not a necessary condition for a quotient limit to exist. The finite-limit example above has a denominator limit of zero, yet its quotient still has a limit. The correct conclusion in that situation is not “the limit does not exist,” but “the quotient law does not decide the limit.”
Check Your Understanding
Answer each question by checking the hypotheses before drawing a conclusion.
- If \(\lim_{x\to a}f(x)=4\) and \(\lim_{x\to a}g(x)=-2\), what is \(\lim_{x\to a}f(x)/g(x)\), and why may the quotient law be used?
- If \(\lim_{x\to a}g(x)=0\), what does the quotient law tell you about \(\lim_{x\to a}f(x)/g(x)\)?
- Why does a nonzero limit \(M\) guarantee that \(g(x)\) is nonzero for all \(x\) sufficiently close to \(a\), with \(x\ne a\)?
- Give one example in which the denominator tends to zero but the quotient has a finite limit.
- In \(\lim_{x\to0}\frac{x+1}{x}\), why is it incorrect to write the answer as \(1/0\)?
