Why Cancellation Matters
A rational function is a quotient of polynomials. Its denominator gives values where the original expression is undefined, but not every such value produces a vertical asymptote. The key question is whether the denominator factor responsible for that value remains after common factors are cancelled.
Cancellation must be handled carefully. It simplifies the formula where the original expression is defined, but it does not add excluded inputs back to the domain. To decide whether an excluded input is a vertical asymptote, examine the function’s behavior as \(x\) approaches that input.
Definition and Factor Multiplicity
A vertical asymptote is a vertical line \(x=a\) such that the function becomes unbounded as \(x\) approaches \(a\) from at least one side. More precisely, at least one of the one-sided limits is \(+\infty\) or \(-\infty\). The function itself need not be defined at \(a\).
For a polynomial, the multiplicity of the factor \(x-a\) is the number of times that factor occurs in its factorization. For example, \((x-a)^3\) has multiplicity three. If a numerator contains \((x-a)^m\) and the denominator contains \((x-a)^n\), cancelling common factors removes the smaller of the two multiplicities. A denominator factor remains exactly when \(n>m\).
Thus, for a real number \(a\), the factor \(x-a\) produces a vertical asymptote precisely when its multiplicity in the denominator is greater than its multiplicity in the numerator. Multiplicity zero means the factor is absent.
This comparison assumes the rational function is not the zero function and that the polynomials have been factored at the real input \(a\). A real zero of the denominator is the only kind of denominator zero that can give a vertical line \(x=a\).
Why an Uncancelled Factor Forces Unbounded Behavior
Suppose all common factors have been cancelled, and the denominator still contains \((x-a)^k\), where \(k\) is a positive integer. Write the reduced function near \(a\) as
where \(P(a)\ne 0\) and \(Q(a)\ne 0\). These inequalities hold because no factor \(x-a\) remains to be cancelled from the numerator or from \(Q\). Define \(H(x)=P(x)/Q(x)\) near \(a\). Polynomials are continuous, and \(Q(a)\ne0\), so \(H\) is continuous near \(a\), with \(H(a)\ne0\). Therefore
By continuity, \(H(x)\) stays close to its nonzero value \(H(a)\). In particular, there are numbers \(c>0\) and \(\delta>0\) such that \(0<|x-a|<\delta\) implies \(|H(x)|>c\). Hence
As \(x\) approaches \(a\), the positive quantity \(c/|x-a|^k\) grows without bound. Thus \(|f(x)|\) grows without bound as well, so at least one one-sided limit is infinite. This proves that the remaining factor gives a vertical asymptote.
The same form also describes the sides of the asymptote. Since \(H(x)\) has the same sign as \(H(a)\) sufficiently close to \(a\), an even \(k\) gives the same sign of \(f(x)\) on both sides. An odd \(k\) gives opposite signs on the two sides. The sign of \(H(a)\) determines which side tends to positive infinity.
A Reliable Procedure
For a rational function, use the following steps. Keep the original domain in view: any zero of the original denominator remains excluded, even if its factor is later cancelled.
Find their real linear factors and record repeated factors with their multiplicities.
Cancel only factors that occur in both numerator and denominator. Record the original denominator restrictions before simplifying.
Each real zero of this denominator is a vertical asymptote, provided the expression is reduced so no common factor remains.
Use the remaining factor’s multiplicity and the sign of the other factors near the input to determine whether the one-sided limits have the same or opposite signs.
Worked Examples
Worked Example: Two Uncancelled Denominator Factors
Find the vertical asymptotes of \(f(x)=\dfrac{x+2}{(x-1)(x+3)^2}\), and determine the one-sided behavior.
The numerator has no factor in common with the denominator, so the expression is already reduced. The denominator is zero at \(x=1\) and \(x=-3\). At \(x=1\), write
The numerator-like factor in this expression approaches \(3/16\), since \(1+2=3\) and \((1+3)^2=16\). Therefore \(f(x)\) behaves like \(\dfrac{3}{16(x-1)}\): it tends to \(-\infty\) from the left and \(+\infty\) from the right.
At \(x=-3\), write
The first factor approaches \((-3+2)/(-3-1)=(-1)/(-4)=1/4\). Since the remaining denominator factor is squared, it is positive on both sides and approaches zero. Thus \(f(x)\) tends to \(+\infty\) from both sides.
Therefore the vertical asymptotes are \(x=1\) and \(x=-3\). As a check, the original denominator factors are zero at exactly these inputs, neither factor cancels, and the numerator values are \(3\) and \(-1\), both nonzero.
Worked Example: Partial Cancellation Leaves an Asymptote
Analyze \(g(x)=\dfrac{(x-2)(x+1)}{(x-2)^3(x-4)}\). Identify its vertical asymptotes and one-sided behavior.
The original denominator is zero at \(x=2\) and \(x=4\), so both inputs are excluded from the original domain. At \(x=2\), one factor \(x-2\) cancels from the numerator and denominator. The reduced expression is
The denominator still has \((x-2)^2\), so \(x=2\) is a candidate asymptote. Near \(2\), the factor \((x+1)/(x-4)\) approaches \(3/(-2)=-3/2\). The squared factor is positive on both sides, so \(g(x)\) tends to \(-\infty\) from both sides.
At \(x=4\), the reduced denominator has a single factor \(x-4\), and the other factors give \((4+1)/(4-2)^2=5/4\). Thus \(g(x)\) behaves like \(\dfrac{5}{4(x-4)}\), tending to \(-\infty\) from the left and \(+\infty\) from the right.
Both \(x=2\) and \(x=4\) are vertical asymptotes. The multiplicity check confirms this: at \(x=2\), the denominator multiplicity is three and the numerator multiplicity is one, leaving two denominator factors after cancellation. At \(x=4\), the denominator multiplicity is one and the numerator multiplicity is zero.
Worked Example: A Cancelled Factor Does Not Produce a Vertical Asymptote
Consider \(h(x)=\dfrac{(x-1)(x+2)}{(x-1)(x-3)}\). Determine which original denominator zeros give vertical asymptotes.
The original denominator is zero at \(x=1\) and \(x=3\), so both values are excluded from the original domain. Cancelling the common factor \(x-1\) gives
At \(x=1\), the reduced expression has a finite limiting value:
Thus \(x=1\) is not a vertical asymptote. At \(x=3\), the denominator factor remains and the numerator approaches \(3+2=5\ne0\). The function behaves like \(5/(x-3)\), so it tends to \(-\infty\) from the left and \(+\infty\) from the right. The only vertical asymptote is \(x=3\).
As a check, the multiplicities at \(x=1\) are one in both numerator and denominator, leaving none in the reduced denominator. At \(x=3\), the denominator multiplicity is one and the numerator multiplicity is zero, so one denominator factor remains.
Common Mistake: Treating Every Original Denominator Zero as an Asymptote
A frequent error is to find the zeros of the original denominator and declare all of them vertical asymptotes without checking for cancellation. For the function in the previous example, that incorrect reasoning would be:
The conclusion does not follow from the denominator zeros alone. At \(x=1\), the factor \(x-1\) cancels, and the reduced expression has the finite limit \(-3/2\). The correction is to factor, cancel common factors, and then inspect the denominator that remains. Here only \(x-3\) remains, so only \(x=3\) is a vertical asymptote.
What the Test Does—and Does Not—Tell You
The uncancelled-factor test identifies vertical asymptotes of a rational function at real inputs. It does not say that every excluded input is an asymptote. The original domain restriction and the reduced formula answer different questions: the restriction tells you where the original function is undefined, while the reduced denominator tells you where an uncancelled factor can force infinite behavior.
When the denominator factor remains, the proof above guarantees unbounded behavior because the remaining numerator and other denominator factors are nonzero at that input. When the factor cancels completely, the reduced expression has no zero denominator there; its limiting value is finite whenever the other denominator factors are nonzero. The detailed classification of such cancelled-factor points is a separate topic.
The practical lesson is simple: do not stop after solving “denominator equals zero.” Factor and compare multiplicities first. A real denominator zero that survives cancellation gives a vertical asymptote; a zero removed entirely by cancellation does not.
Check Your Understanding
For each question, factor and cancel common factors before deciding whether a vertical asymptote occurs.
- For \(f(x)=\dfrac{x+1}{(x-2)^2}\), identify the vertical asymptote and state the behavior on each side.
- In \(g(x)=\dfrac{(x-3)^2}{(x-3)^4(x+1)}\), what power of \(x-3\) remains in the denominator after cancellation?
- Does \(h(x)=\dfrac{(x+4)(x-1)}{(x-1)(x-2)}\) have a vertical asymptote at \(x=1\)? Explain using the reduced expression.
- If an uncancelled factor \((x-a)^5\) remains in the denominator and the other factors are nonzero at \(a\), will the one-sided limits have the same or opposite signs?
- Why does cancelling a factor not add its zero back to the domain of the original rational function?
