Unit 2 · Topic 1.9
Rational Functions and Vertical Asymptotes
Compare factor multiplicities, locate vertical asymptotes, and use one-sided limits to describe each nearby branch with precision.
1. What a Vertical Asymptote Means
The line \(x=a\) is a vertical asymptote when the magnitude of a function's outputs increases without bound as inputs approach \(a\) from at least one side.
\[\lim_{x\to a^-}R(x)=\pm\infty\quad\text{or}\quad\lim_{x\to a^+}R(x)=\pm\infty.\]
The symbols \(a^-\) and \(a^+\) refer to inputs slightly less than and slightly greater than \(a\), not to negative and positive output values.
2. Denominator Zeros Are Candidates
For \(R(x)=P(x)/Q(x)\), every real solution of \(Q(x)=0\) is excluded from the domain. It is a candidate for either a vertical asymptote or a hole.
A denominator zero that is not also a numerator zero produces a vertical asymptote. A shared zero requires a multiplicity comparison before classification.
3. Compare Multiplicities at a Shared Zero
Suppose \((x-a)^p\) divides the numerator and \((x-a)^q\) divides the denominator.
| Comparison | Factor after cancellation | Behavior at \(x=a\) |
| \(q>p\) | \((x-a)^{q-p}\) remains in denominator | Vertical asymptote |
| \(q=p\) | No factor remains | Hole, not a vertical asymptote |
| \(q | \((x-a)^{p-q}\) remains in numerator | Hole, not a vertical asymptote |
\[q>p\quad\Longrightarrow\quad x=a\text{ is a vertical asymptote}.\]
Always preserve the original domain restriction even after factors cancel.
4. Reliable Classification Workflow
- Factor the numerator and denominator completely enough to expose real linear factors.
- Record all original denominator zeros.
- Compare numerator and denominator multiplicities at each shared zero.
- Cancel common factors while preserving every restriction.
- Classify remaining denominator zeros as vertical asymptotes.
- Analyze each side of every asymptote separately.
5. Worked Example with Two Vertical Asymptotes
Consider
\[R(x)=\frac{x+1}{(x-2)^2(x+3)}.\]
The denominator zeros are 2 and \(-3\), and neither is a numerator zero. Therefore both produce vertical asymptotes.
| Asymptote | Remaining multiplicity | Left-hand limit | Right-hand limit |
| \(x=2\) | 2, even | \(\infty\) | \(\infty\) |
| \(x=-3\) | 1, odd | \(\infty\) | \(-\infty\) |
\[\lim_{x\to2^-}R(x)=\lim_{x\to2^+}R(x)=\infty.\]
\[\lim_{x\to-3^-}R(x)=\infty,\qquad\lim_{x\to-3^+}R(x)=-\infty.\]
6. One-Sided Limits Carry Different Information
| \(x\to a^-\) | Approach \(a\) using domain values less than \(a\). |
| \(x\to a^+\) | Approach \(a\) using domain values greater than \(a\). |
| Limit \(=\infty\) | Outputs increase without bound. |
| Limit \(=-\infty\) | Outputs decrease without bound. |
If the two one-sided limits have opposite signs, do not write one two-sided infinite limit. Report both sides.
7. Odd and Even Remaining Multiplicity
After cancellation, focus on the power of the denominator factor that remains.
- Odd power: the denominator factor changes sign, so the two branches point in opposite infinite directions.
- Even power: the denominator factor keeps its sign, so the two branches point in the same infinite direction.
Parity determines same versus opposite. The sign of all other nearby factors determines whether a branch goes to \(\infty\) or \(-\infty\).
8. Freeze Nonzero Factors to Determine Signs
Near \(x=a\), factors that are nonzero at \(a\) keep a constant sign. Evaluate those factors at \(a\), then combine their sign with the small factor \((x-a)^k\).
Near \(x=-3\) in the worked example:
- \(x+1\) is negative.
- \((x-2)^2\) is positive.
- \(x+3\) is negative on the left and positive on the right.
Thus the quotient is positive and unbounded on the left, then negative and unbounded on the right.
9. Cancellation and Net Multiplicity Example
Analyze
\[H(x)=\frac{(x-4)^2(x+1)^3}{(x-4)^5(x+1)^2}.\]
The original domain excludes \(x=4\) and \(x=-1\). For nearby behavior,
\[H(x)=\frac{x+1}{(x-4)^3},\qquad x\ne4,-1.\]
- At \(x=4\), denominator multiplicity exceeds numerator multiplicity by 3, so \(x=4\) is a vertical asymptote with opposite branch directions.
- At \(x=-1\), numerator multiplicity exceeds denominator multiplicity by 1, so the common-factor location is a hole, not a vertical asymptote.
This example shows why merely finding the original denominator zeros is not enough.
10. Numerical Evidence Near an Asymptote
| Function | Left input | Left output | Right input | Right output |
| \(f(x)=3/(x-2)^2\) | 1.9 | 300 | 2.1 | 300 |
| \(f(x)=3/(x-2)^2\) | 1.99 | 30,000 | 2.01 | 30,000 |
| \(g(x)=-2/(x+3)\) | \(-3.1\) | 20 | \(-2.9\) | \(-20\) |
| \(g(x)=-2/(x+3)\) | \(-3.01\) | 200 | \(-2.99\) | \(-200\) |
The first function has same-direction branches because the denominator power is even. The second has opposite-direction branches because it is odd.
11. Distinguish Four Graph Features
- Vertical asymptote: outputs become unbounded near an excluded input.
- Hole: outputs approach a finite value near an excluded input.
- x-intercept: the function is defined and equals 0.
- Horizontal or polynomial asymptote: describes behavior as \(x\to\pm\infty\), not near one finite input.
12. Technology Workflow
- Factor and classify candidates analytically before graphing.
- Graph the function with each suspected asymptote visible.
- Use separate tables approaching from the left and right.
- Zoom horizontally near the candidate and expand the vertical scale.
- Check whether outputs become unbounded or approach a finite value.
- Write both one-sided limits and compare them with the factor analysis.
A graphing tool may connect branches across an asymptote or fail to display a tiny hole. Algebra and tables remain necessary.
13. Contextual Interpretation
In a model, a vertical asymptote can indicate that a ratio grows beyond any fixed bound as an input approaches a critical value. It does not automatically mean that the model remains meaningful arbitrarily close to that value.
State the input units, the side of approach, and any contextual domain restrictions when interpreting unbounded behavior.
14. Common Errors and AP Reasoning
- Calling every denominator zero a vertical asymptote.
- Canceling common factors without comparing multiplicities.
- Forgetting original domain restrictions after simplification.
- Using the original multiplicity instead of the remaining net multiplicity.
- Assuming odd multiplicity always means left \(-\infty\), right \(\infty\); other factor signs can reverse both.
- Combining opposite one-sided limits into one two-sided limit.
- Confusing local behavior near \(x=a\) with end behavior as \(x\to\pm\infty\).
Complete response pattern: factor, compare multiplicities, name \(x=a\), determine nearby signs, and state both one-sided limits.