Why Factoring Matters Near a Denominator Zero
A rational function can become unbounded near a real number where its denominator is zero. But a zero in the original denominator does not by itself guarantee a vertical asymptote: common factors may cancel, or the numerator may vanish to an even higher order. Factoring reveals which situation occurs and, when the function is unbounded, whether it tends to positive or negative infinity on each side.
The key information is the multiplicity of the factor \(x-a\) in the numerator and denominator. After common factors are canceled, the remaining power of \(x-a\) determines the size of the function near \(a\); the signs of the other factors determine the direction of the blow-up.
Zeros, Multiplicity, and Cancellation
Let \(f(x)=P(x)/Q(x)\), where \(P\) and \(Q\) are nonzero polynomials, and suppose \(Q(a)=0\). The multiplicity of \(a\) as a zero of a polynomial is the number of copies of the factor \(x-a\) in its factorization. We can write
where \(m\) is a nonnegative integer, \(n\) is a positive integer, and \(A(a)\ne 0\), \(B(a)\ne 0\). The factors \(A\) and \(B\) contain no further copies of \(x-a\). For \(x\ne a\) sufficiently close to \(a\), cancellation gives
This equality holds for nearby \(x\ne a\), not necessarily at \(a\): the original expression is undefined at \(a\). Since \(A(a)/B(a)\ne 0\), the ratio \(A(x)/B(x)\) stays close to a nonzero number near \(a\). Thus the difference between \(m\) and \(n\) decides whether the function blows up or has a finite limit.
The Multiplicity Test
There are three cases. If \(m<n\), some copies of \(x-a\) remain in the denominator after cancellation, and the function becomes unbounded. If \(m=n\), all copies cancel and the limit is the nonzero ratio \(A(a)/B(a)\). If \(m>n\), a positive power of \(x-a\) remains in the numerator, so the limit is zero. Only the first case produces a vertical asymptote.
To determine the signs in the first case, let \(r=n-m>0\) and \(C(x)=A(x)/B(x)\). Then \(f(x)=C(x)/(x-a)^r\), and \(C(x)\to c=A(a)/B(a)\ne 0\). On the right of \(a\), \((x-a)^r\) is positive, so the sign of \(f(x)\) is the sign of \(c\). On the left, \((x-a)^r\) has sign \((-1)^r\). Therefore the left-hand sign is the sign of \(c(-1)^r\). In either direction, the magnitude grows without bound because the denominator tends to zero while \(C(x)\) tends to a nonzero value.
A Sign-Chart Method
For a specific rational function, a sign chart makes the one-sided behavior systematic. First factor numerator and denominator completely near the point of interest. Cancel common factors only for \(x\ne a\), and record the remaining power of \(x-a\). Then find the sign of each remaining factor immediately to the left and right of \(a\). A factor that is nonzero at \(a\) keeps its sign sufficiently close to \(a\); the factor \(x-a\) changes sign across \(a\), while an even power of it is positive on both sides.
Write the numerator and denominator as powers of \(x-a\) times factors that are nonzero at \(a\).
If the denominator multiplicity is larger, the remaining denominator power produces unbounded behavior.
Determine the sign on each side of \(a\), then attach \(+\infty\) or \(-\infty\) accordingly.
Use the factored expression to confirm the limit type and, if useful, test exact nearby values on both sides.
Worked Examples
Worked Example: A Repeated Denominator Factor
Find both one-sided limits of \(f(x)=\dfrac{x+1}{(x-2)^2(x+3)}\) as \(x\to 2\), and decide whether \(x=2\) is a vertical asymptote.
At \(a=2\), the numerator is \(2+1=3>0\), and the factor \(x+3\) is \(5>0\). The denominator contains \((x-2)^2\), which is positive for every \(x\ne 2\). The sign chart near \(2\) is therefore
| Factor | Just left of 2 | Just right of 2 |
|---|---|---|
| \(x+1\) | Positive | Positive |
| \((x-2)^2\) | Positive | Positive |
| \(x+3\) | Positive | Positive |
| Whole fraction | Positive | Positive |
The denominator tends to zero through positive values on both sides, while the numerator tends to \(3\). Hence
Thus \(x=2\) is a vertical asymptote. As a numerical check, at \(x=1.9\), \(f(x)=2.9/(0.01\cdot 4.9)=2900/49>0\); at \(x=2.1\), \(f(x)=3.1/(0.01\cdot 5.1)=3100/51>0\). These exact positive values agree with the sign chart; the limit conclusion follows from the factor behavior, not from the two tests alone.
Worked Example: Cancellation Leaves a Simple Pole
Find the one-sided limits at \(x=2\) for \(g(x)=\dfrac{(x-2)^2(x+1)}{(x-2)^3(x+4)}\).
The numerator has multiplicity \(m=2\) at \(2\), and the denominator has multiplicity \(n=3\). For \(x\ne 2\), cancel two copies of \(x-2\):
The reduced expression still has one factor \(x-2\) in the denominator. Near \(2\), \(x+1>0\) and \(x+4>0\), so the sign is controlled by \(x-2\): it is negative to the left and positive to the right. The numerator tends to \(3\), and \(x+4\) tends to \(6\), so the nonzero part tends to \(3/6=1/2\). Therefore
For a check, the reduced expression at \(x=1.9\) is \(2.9/((-0.1)(5.9))=-290/59<0\); at \(x=2.1\) it is \(3.1/((0.1)(6.1))=310/61>0\). These signs match the one-sided conclusions, and \(x=2\) is a vertical asymptote.
Worked Example: Equal Multiplicities Give a Finite Limit
Consider \(h(x)=\dfrac{(x-1)^2(x+2)}{(x-1)^2(x+3)}\). Determine the limit at \(x=1\) and whether there is a vertical asymptote there.
Both numerator and denominator contain two copies of \(x-1\), so \(m=n=2\). For \(x\ne 1\), cancellation gives
The reduced expression has a denominator that is nonzero at \(1\). Substitution into that expression gives
Both one-sided limits equal \(3/4\), so there is no vertical asymptote at \(x=1\). The original formula remains undefined at \(1\), but that does not change its limit. As a check from either side, \(h(0.9)=29/39\) and \(h(1.1)=31/41\); both values are close to \(3/4\) and approach it as the input approaches \(1\).
Worked Example: The Numerator Has Higher Multiplicity
Find the limit at \(x=1\) for \(k(x)=\dfrac{(x-1)^3}{(x-1)^2(x+1)}\), and classify the behavior there.
Here \(m=3\) and \(n=2\). Cancel the two common copies for \(x\ne 1\):
One copy of \(x-1\) remains in the numerator. Substitution into the reduced expression gives
There is no vertical asymptote. For a two-sided check, \(k(0.9)=-1/19\) and \(k(1.1)=1/21\), with the values tending to zero from opposite signs.
A Common Cancellation Mistake
A frequent error is to cancel a common factor and then claim that the original rational function is defined at the point where that factor vanishes. For example, consider
Canceling one factor gives \(q(x)=x-1\), but this equality is valid only for \(x\ne 1\). The original expression has denominator zero at \(1\), so \(q(1)\) is undefined. The cancellation does show that \(\lim_{x\to 1}q(x)=0\), not that \(q(1)=0\). The correction is to distinguish the function's value from its limit: cancellation can reveal a finite limit, but it does not retroactively define the original formula at the canceled point.
The multiplicity test prevents a related mistake: assuming that every denominator zero creates a vertical asymptote. The comparison \(m<n\), \(m=n\), or \(m>n\) must be made after factoring; the original denominator alone is not enough.
Why This Method Is Useful
Factoring separates two questions that are easy to confuse. Multiplicity tells whether the magnitude stays finite or grows without bound. Sign analysis tells whether an unbounded one-sided limit is positive or negative. Together they handle repeated factors and cancellations without relying on a graph or on trial values.
When studying a rational function near a real denominator zero, keep the conclusion precise: an uncanceled denominator factor gives a vertical asymptote; a canceled factor may leave a finite limit; and the one-sided signs must still be checked whenever a blow-up remains.
Check Your Understanding
For each question, factor first and distinguish the limit from the function's value at the candidate point.
- For \(\dfrac{1}{(x-3)^3}\), what are the left- and right-hand limits as \(x\to 3\)?
- For \(\dfrac{(x+2)}{(x-1)^2}\), what are the one-sided limits as \(x\to 1\), and why do they have the same sign?
- For \(\dfrac{(x-4)^2}{(x-4)^2(x+1)}\), find the limit as \(x\to 4\). Is there a vertical asymptote?
- For \(\dfrac{(x-2)^3}{(x-2)^2(x+3)}\), find the limit as \(x\to 2\), and state whether the original expression is defined there.
- In the multiplicity test, what condition on \(m\) and \(n\) produces a vertical asymptote?
