Connecting Infinite Limits and Vertical Asymptotes - AP Calculus BC

SECTION 1

Historical Context & Motivation

The notion that a function might grow without bound near a particular input value troubled mathematicians for centuries. Early work with rational expressions in the seventeenth century revealed that certain algebraic fractions "blew up" at points where the denominator vanished, but the formal language to describe this behavior did not yet exist. The concept of an infinite limit — and its geometric counterpart, the vertical asymptote — emerged gradually as analysts refined the epsilon-delta framework and sought to classify singularities in algebraic and transcendental functions. Tracing this development reveals how a precise analytic definition and a vivid geometric picture became two sides of the same coin.

1670s • Newton & Leibniz: Early Infinitesimal Ideas

Newton and Leibniz developed the calculus using infinitesimals. While their methods handled tangent lines and areas brilliantly, the behavior of functions near singularities was treated informally, often described simply as quantities becoming "infinitely great."

1748 • Euler's Introductio in Analysin Infinitorum

Leonhard Euler systematically catalogued the behavior of rational functions and introduced the geometric idea of asymptotic lines — curves that a graph approaches but never crosses. His work made the visual concept of a vertical asymptote widely recognized.

1821 • Cauchy's Cours d'Analyse

Augustin-Louis Cauchy formalized the limit concept, distinguishing between finite and infinite limits. He articulated that lim f(x) = ∞ means f(x) exceeds any pre-assigned bound as x approaches a value, laying the groundwork for the modern definition.

1860s • Weierstrass and the ε-δ Framework

Karl Weierstrass replaced Cauchy's verbal descriptions with the rigorous ε-δ (and the analogous M-δ) formalism, giving infinite limits a purely arithmetic foundation. This removed all reliance on geometric intuition and established the standard used in modern analysis.

The central question this lesson addresses is deceptively simple: How does the analytic statement that a limit is infinite translate to the geometric feature of a vertical asymptote on the graph? Answering this question rigorously connects the algebraic process of evaluating a limit with the visual interpretation students rely on when sketching curves, and it serves as the theoretical backbone for analyzing discontinuities in rational, logarithmic, and trigonometric functions alike.

SECTION 2

Core Principles & Definitions

Before connecting infinite limits to vertical asymptotes, we must establish precise definitions. The language of limits allows us to describe function behavior with mathematical exactness, while the notion of a vertical asymptote gives that behavior a geometric name. The following foundational ideas anchor the entire discussion and will be used throughout the lesson.

Infinite Limit (Positive)

We write lim(x→a) f(x) = +∞ to mean that for every positive number M, there exists a δ > 0 such that 0 < |x − a| < δ implies f(x) > M. The limit does not "equal" infinity in the usual sense; rather, the notation encodes unbounded growth.

Infinite Limit (Negative)

We write lim(x→a) f(x) = −∞ to mean that for every negative number N, there exists a δ > 0 such that 0 < |x − a| < δ implies f(x) < N. This describes unbounded decrease — the function plunges downward without bound.

One-Sided Infinite Limits

When the function grows without bound from only one side, we write lim(x→a⁺) f(x) = ±∞ or lim(x→a⁻) f(x) = ±∞. A vertical asymptote exists even if only a one-sided limit is infinite.

Vertical Asymptote (Geometric Definition)

The line x = a is a vertical asymptote of y = f(x) if at least one of the following is true: lim(x→a⁺) f(x) = ±∞ or lim(x→a⁻) f(x) = ±∞. This is the bridge between algebra and geometry.

The Limit Does Not Exist (as a finite number)

When we write lim(x→a) f(x) = ∞, the two-sided limit technically does not exist in the finite sense. The ∞ symbol is a shorthand for a specific type of divergence, distinguishing it from oscillatory non-existence.

✦

KEY TAKEAWAY

Think of a vertical asymptote as a gravitational singularity on the number line. Just as an object near a black hole experiences forces that grow without bound, function values near a vertical asymptote increase or decrease without limit. The infinite limit is the measurement of that unbounded pull, while the vertical asymptote is the location on the graph. One describes what happens analytically; the other shows where it happens geometrically. They are inseparable.

SECTION 3

Visual Explanation

The diagram below illustrates the classic rational function f(x) = 1/(x − 2) near x = 2. As x approaches 2 from the right, f(x) increases without bound (the curve soars upward), and as x approaches 2 from the left, f(x) decreases without bound (the curve plunges downward). The dashed vertical line at x = 2 represents the vertical asymptote — the geometric manifestation of the two one-sided infinite limits.

The cyan left branch shows f(x) → −∞ as x → 2⁻, while the pink right branch shows f(x) → +∞ as x → 2⁺. The dashed violet line at x = 2 is the vertical asymptote — the graph approaches it infinitely closely but never touches it.

Observe how the two branches of the curve mirror the two one-sided limits. On the left side of x = 2 (the cyan branch), x − 2 is a small negative number, so 1/(x − 2) is a large negative number — hence the curve dives toward −∞. On the right side (the pink branch), x − 2 is a small positive number, so 1/(x − 2) is a large positive number — hence the curve climbs toward +∞. The sign analysis of the factor (x − a) in the denominator dictates the direction of each branch, and this technique generalizes to all rational functions.

SECTION 4

Mathematical Framework

The rigorous connection between infinite limits and vertical asymptotes rests on the formal M-δ definition. While the standard ε-δ definition of a finite limit bounds the output within ε of a target value L, the infinite-limit version replaces ε with an arbitrary bound M that the output must exceed. Understanding both formulations — and how they logically entail the existence of a vertical asymptote — is essential for AP Calculus BC free-response problems that demand precise justification.

INFINITE LIMIT (POSITIVE)

lim(x→a) f(x) = +∞ ⟺ ∀M > 0, ∃δ > 0 such that 0 < |x − a| < δ ⟹ f(x) > M

M is any positive real number (the "challenge" threshold); δ is the radius of the punctured neighborhood around a that guarantees f(x) surpasses M.

INFINITE LIMIT (NEGATIVE)

lim(x→a) f(x) = −∞ ⟺ ∀N < 0, ∃δ > 0 such that 0 < |x − a| < δ ⟹ f(x) < N

N is any negative real number; the function values fall below every such threshold within a sufficiently small punctured neighborhood of a.

VERTICAL ASYMPTOTE CRITERION

x = a is a vertical asymptote of y = f(x) ⟺ lim(x→a⁺) f(x) = ±∞ or lim(x→a⁻) f(x) = ±∞

Only one of the four one-sided infinite limits needs to hold. In practice, many functions exhibit infinite limits from both sides.

RATIONAL FUNCTION SHORTCUT

If f(x) = p(x)/q(x) with p(a) ≠ 0 and q(a) = 0, then x = a is a vertical asymptote of f.

This criterion assumes p and q share no common factor (x − a). If they do, the singularity may be a removable discontinuity (a hole) rather than a vertical asymptote.

⚠

Common Pitfall

A denominator of zero does not automatically produce a vertical asymptote. Consider f(x) = (x − 3)/(x − 3) = 1 for x ≠ 3. Here q(3) = 0, but the factor cancels, leaving a removable discontinuity at x = 3 with no vertical asymptote. Always simplify the expression and confirm that the zero in the denominator persists after cancellation.

SECTION 5

Classifying Behavior Near Vertical Asymptotes

Not every vertical asymptote looks the same. Depending on the sign of the function on each side of the asymptote, the graph may rise on both sides, fall on both sides, or exhibit opposite behavior. Classifying these cases systematically is critical for accurate curve sketching and for answering AP Calculus questions that ask students to describe limit behavior from a graph or from an algebraic expression. The diagram below presents the four possible combinations of one-sided infinite limits at a vertical asymptote.

Four possible configurations of one-sided infinite limits at a vertical asymptote. The multiplicity of the zero in the denominator determines whether the curve exhibits the same or opposite behavior on each side of the asymptote.

The key determinant is the multiplicity of the zero in the denominator. When the factor (x − a) appears to an odd power in the denominator, the sign of the denominator changes as x crosses a, producing opposite-direction divergence (Cases 3 and 4). When the factor appears to an even power, the denominator retains its sign on both sides, producing same-direction divergence (Cases 1 and 2). The sign of the numerator at x = a then determines whether the divergence is toward +∞ or −∞. This interplay between multiplicity and sign provides a systematic method for predicting graph behavior without plotting points.

SECTION 6

Worked Example

Let us work through a complete analysis of the function f(x) = (2x + 1) / ((x − 1)(x + 3)²), identifying all vertical asymptotes and determining the behavior of f near each one.

Analyzing f(x) = (2x + 1) / ((x − 1)(x + 3)²)

1
Step 1 — Find zeros of the denominator

Set the denominator equal to zero: (x − 1)(x + 3)² = 0. The solutions are x = 1 (from the factor x − 1, multiplicity 1) and x = −3 (from the factor (x + 3)², multiplicity 2). These are the candidate locations for vertical asymptotes.

Candidates: x = 1 (odd multiplicity) and x = −3 (even multiplicity)
2
Step 2 — Check for removable discontinuities

Evaluate the numerator at each candidate. At x = 1: 2(1) + 1 = 3 ≠ 0. At x = −3: 2(−3) + 1 = −5 ≠ 0. Since the numerator is nonzero at both points, no cancellation occurs and both candidates are genuine vertical asymptotes.

Confirmed vertical asymptotes at x = 1 and x = −3
3
Step 3 — Analyze behavior at x = 1 (odd multiplicity)

Since x = 1 has odd multiplicity in the denominator, the sign of the denominator changes across x = 1. Evaluate the sign of each factor near x = 1. For x → 1⁺: (x − 1) is small and positive, (x + 3)² = (4)² = 16 > 0, numerator ≈ 3 > 0. So f(x) → +3/(small positive · 16) = +∞. For x → 1⁻: (x − 1) is small and negative, (x + 3)² ≈ 16 > 0, numerator ≈ 3 > 0. So f(x) → +3/(small negative · 16) = −∞.

lim(x→1⁻) f(x) = −∞ and lim(x→1⁺) f(x) = +∞
4
Step 4 — Analyze behavior at x = −3 (even multiplicity)

Since x = −3 has even multiplicity in the denominator, (x + 3)² is positive on both sides of x = −3. Near x = −3, the factor (x − 1) ≈ (−3 − 1) = −4 < 0, and the numerator ≈ 2(−3) + 1 = −5 < 0. The overall sign is (−5)/((−4)(small positive)) = (−5)/(small negative) = +∞ from both sides, since (−5)(−4) = +20 is positive and (x + 3)² is small and positive.

lim(x→−3⁻) f(x) = +∞ and lim(x→−3⁺) f(x) = +∞
5
Step 5 — Summarize

At x = 1 (odd multiplicity), the function diverges in opposite directions: −∞ from the left and +∞ from the right (Case 3). At x = −3 (even multiplicity), the function diverges in the same direction: +∞ from both sides (Case 1). This analysis completely characterizes the vertical asymptotic behavior of f.

x = 1: opposite-direction asymptote (Case 3); x = −3: same-direction asymptote (Case 1)

SECTION 7

Infinite Limits vs. Limits at Infinity

Students frequently confuse infinite limits (where the output diverges) with limits at infinity (where the input diverges). Both involve the infinity symbol, but they describe entirely different phenomena and produce different geometric features. The following table clarifies the distinction.

Feature	Infinite Limit	Limit at Infinity
What diverges?	The output f(x) → ±∞	The input x → ±∞
Notation	lim(x→a) f(x) = ±∞	lim(x→±∞) f(x) = L
Geometric feature	Vertical asymptote (x = a)	Horizontal asymptote (y = L)
Limit exists?	No (as a finite number)	Yes (the limit is L)
Typical cause in rational functions	Zero in denominator (after cancellation check)	Degree of numerator ≤ degree of denominator
Graph behavior	Curve runs along a vertical line, never touching it	Curve flattens toward a horizontal line

Comparison of infinite limits (producing vertical asymptotes) and limits at infinity (producing horizontal asymptotes)

✦

KEY TAKEAWAY

When you encounter the ∞ symbol in a limit expression, always ask: Is infinity the input or the output? If the output diverges (the function blows up), you have an infinite limit and a vertical asymptote. If the input diverges (you're zooming out to the far ends of the x-axis), you have a limit at infinity and potentially a horizontal asymptote. Mixing these up is like confusing altitude with latitude — both use numbers, but they measure entirely different things.

SECTION 8

Vertical Asymptotes Beyond Rational Functions

While rational functions provide the most common examples on the AP exam, vertical asymptotes arise in many other function families. Logarithmic, trigonometric, and even some piecewise functions exhibit infinite limits at specific points. Recognizing these extends the applicability of the vertical-asymptote concept far beyond polynomial quotients and prepares students for the richer function analysis encountered in Calculus BC and beyond.

Function Family	Example	Vertical Asymptote	Behavior
Natural logarithm	f(x) = ln(x)	x = 0	lim(x→0⁺) ln(x) = −∞; left side undefined
Tangent	f(x) = tan(x)	x = π/2 + nπ (n ∈ ℤ)	Opposite-direction divergence (odd multiplicity in cos x)
Cosecant	f(x) = csc(x)	x = nπ (n ∈ ℤ)	Opposite-direction divergence at each asymptote
Transformed logarithm	f(x) = ln(x − 4)	x = 4	lim(x→4⁺) ln(x − 4) = −∞; one-sided only
Reciprocal exponential	f(x) = 1/(eˣ − 1)	x = 0	Opposite-direction divergence (eˣ − 1 changes sign at x = 0)

Vertical asymptotes in non-rational function families commonly tested on the AP exam

In each of these cases, the underlying logic is the same: an expression in the denominator (or equivalently, the argument of a logarithm approaching zero) forces the output toward ±∞. The sign analysis becomes slightly more nuanced for trigonometric functions because the zeros of sin x and cos x recur periodically, but the core reasoning — check whether a denominator factor vanishes, confirm no cancellation, perform sign analysis — remains identical. On the AP Calculus BC exam, these non-rational examples frequently appear in free-response questions that require students to justify vertical asymptote claims using limit notation.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following statements correctly describes the relationship between infinite limits and vertical asymptotes?

A. The line x = a is a vertical asymptote of f if and only if f(a) is undefined.
B. The line x = a is a vertical asymptote of f if and only if lim(x→a) f(x) = +∞.
C. The line x = a is a vertical asymptote of f if at least one of the one-sided limits lim(x→a⁺) f(x) or lim(x→a⁻) f(x) is +∞ or −∞.
D. The line x = a is a vertical asymptote of f if lim(x→∞) f(x) = a.
E. Every point where the denominator of a rational function equals zero is a vertical asymptote.

Show answer (C)

The correct answer is C. The definition of a vertical asymptote requires at least one one-sided infinite limit. Choice A is incorrect because a function can be undefined at a point without having a vertical asymptote (e.g., a removable discontinuity or a hole). Choice B is too restrictive: it requires a two-sided limit of +∞ only, ignoring −∞ and one-sided cases. Choice D confuses an infinite limit (output diverges) with a limit at infinity (input diverges); lim(x→∞) f(x) = a describes a horizontal asymptote. Choice E is incorrect because common factors may cancel, producing a removable discontinuity rather than a vertical asymptote.

Question 2: BASIC CALCULATION

Determine lim(x→−2⁺) [3x / (x + 2)].

A. +∞
B. −∞
C. 0
D. −6
E. The limit does not exist and is not ±∞.

Show answer (B)

The correct answer is B. As x → −2⁺, the numerator approaches 3(−2) = −6 (negative). The denominator (x + 2) approaches 0 through positive values (since x is slightly greater than −2). A negative numerator divided by a small positive denominator yields a large negative quotient, so the limit is −∞. Choice A would require the overall expression to be positive, which contradicts the sign analysis. Choice C would require the numerator to approach zero, which it does not. Choice D treats the expression as if direct substitution yields a finite value, but the denominator is zero. Choice E is incorrect because the function diverges in a definite direction (−∞), not oscillating.

Question 3: INTERMEDIATE

Find all vertical asymptotes of f(x) = (x² − 9) / (x² − 5x + 6), and for each, determine the one-sided limits.

A. Vertical asymptotes at x = 2 and x = 3
B. Vertical asymptote at x = 2 only; lim(x→2⁻) f(x) = +∞ and lim(x→2⁺) f(x) = −∞
C. Vertical asymptote at x = 3 only; lim(x→3⁻) f(x) = −∞ and lim(x→3⁺) f(x) = +∞
D. Vertical asymptote at x = 2 only; lim(x→2⁻) f(x) = −∞ and lim(x→2⁺) f(x) = +∞
E. No vertical asymptotes

Show answer (D)

The correct answer is D. Factor the numerator: x² − 9 = (x − 3)(x + 3). Factor the denominator: x² − 5x + 6 = (x − 2)(x − 3). Cancel the common factor (x − 3) to obtain f(x) = (x + 3)/(x − 2) for x ≠ 3. Since the factor (x − 3) cancels completely, x = 3 is a removable discontinuity (a hole), not a vertical asymptote. This eliminates choices A and C. In the simplified form, the denominator equals zero at x = 2, while the numerator equals 2 + 3 = 5 ≠ 0, confirming that x = 2 is a vertical asymptote. This eliminates choice E. To determine the one-sided limits at x = 2, note that the numerator approaches 5 (positive) in both cases. For x → 2⁻, the factor (x − 2) is negative and approaching 0, so f(x) → 5/0⁻ = −∞. For x → 2⁺, the factor (x − 2) is positive and approaching 0, so f(x) → 5/0⁺ = +∞. Therefore, there is a vertical asymptote only at x = 2, with lim(x→2⁻) f(x) = −∞ and lim(x→2⁺) f(x) = +∞, which matches choice D. Choice A is incorrect because x = 3 is a hole, not a vertical asymptote. Choice B incorrectly reverses the signs of the one-sided limits. Choice C incorrectly identifies x = 3 as a vertical asymptote. Choice E is incorrect because x = 2 is a genuine vertical asymptote.

Question 4: APPLIED

7 pts

A chemical reaction model gives the concentration C(t) = 50/(10 − t) milligrams per liter, where t is time in seconds after the reaction begins and the model is valid for 0 ≤ t < 10. (a) Identify the vertical asymptote of C(t) and evaluate lim(t→10⁻) C(t). (b) Interpret the result in the context of the problem. What does the infinite limit mean physically? (c) Explain why lim(t→10⁺) C(t) is not meaningful in this context. (d) A second model uses C₂(t) = 50/(10 − t)². How does the behavior near t = 10 differ from the original model, and what vertical asymptote behavior does C₂ exhibit?

Show answer

Rubric (7 points): (a) [2 points] 1 point: The vertical asymptote is at t = 10 because the denominator (10 − t) equals zero when t = 10 and the numerator 50 ≠ 0. 1 point: As t → 10⁻, (10 − t) → 0⁺ (small positive), so C(t) = 50/(0⁺) → +∞. Therefore lim(t→10⁻) C(t) = +∞. (b) [2 points] 1 point: The infinite limit means that as time approaches 10 seconds, the model predicts concentration increasing without bound. 1 point: Physically, this suggests the model breaks down near t = 10 — real concentrations cannot be infinite. The model is only valid for t values sufficiently less than 10, and the vertical asymptote marks the boundary of the model's applicability. (c) [1 point] 1 point: The domain of the model restricts t to [0, 10). Values t > 10 lie outside the physical domain (the reaction is already complete or the model is no longer valid), so the right-sided limit lim(t→10⁺) has no physical interpretation, even though algebraically it would equal −∞. (d) [2 points] 1 point: C₂(t) = 50/(10 − t)² has an even-multiplicity zero (power 2) in the denominator at t = 10, so (10 − t)² > 0 on both sides. From the left, lim(t→10⁻) C₂(t) = 50/(0⁺) = +∞. From the right (algebraically), lim(t→10⁺) C₂(t) = 50/(0⁺) = +∞ as well. 1 point: This is a same-direction asymptote (Case 1), in contrast to the original model where (10 − t) to the first power (odd multiplicity) would produce opposite directions if both sides were considered. The even-power denominator ensures concentration is always positive near t = 10.

Question 5: CRITICAL THINKING

5 pts

Let g be a function that is continuous on (−∞, 3) ∪ (3, ∞). (a) Suppose lim(x→3⁻) g(x) = +∞ and lim(x→3⁺) g(x) = −∞. Must x = 3 be a vertical asymptote of g? Justify your answer using the definition. (b) Construct an explicit example of a non-rational function g with the property described in part (a). (c) Prove that if g is a rational function p(x)/q(x) in lowest terms and lim(x→3⁻) g(x) = +∞, then x = 3 must be a vertical asymptote of g.

Show answer

Rubric (5 points): (a) [2 points] 1 point: Yes, x = 3 is a vertical asymptote by definition. 1 point: The definition states that x = a is a vertical asymptote if at least one of the one-sided limits is ±∞. Since lim(x→3⁻) g(x) = +∞ (which is one of the qualifying conditions), the definition is satisfied regardless of the right-sided behavior. Even one infinite one-sided limit is sufficient. (b) [1 point] 1 point: A valid example is g(x) = −cot(π(x − 3)) near x = 3, or more simply, g(x) = −1/(x − 3). For g(x) = −1/(x − 3): as x → 3⁻, (x − 3) → 0⁻, so g(x) = −1/(0⁻) = +∞; as x → 3⁺, (x − 3) → 0⁺, so g(x) = −1/(0⁺) = −∞. This satisfies the conditions. (Note: while −1/(x − 3) is rational, a non-rational example is g(x) = −csc(π/(x − 3)) near x = 3, or g(x) = ln(3 − x) for x < 3 and g(x) = ln(3 − x) extended appropriately.) (c) [2 points] 1 point: Since p(x)/q(x) is in lowest terms, p and q share no common factor (x − 3). If lim(x→3⁻) g(x) = +∞, then g(x) is unbounded near x = 3. For a rational function in lowest terms to have an unbounded output near x = a, we must have q(a) = 0 (otherwise the limit would be the finite value p(a)/q(a)). 1 point: Since q(3) = 0 and the fraction is in lowest terms (so (x − 3) does not cancel), at least one one-sided limit is infinite. By the definition of vertical asymptote, x = 3 is a vertical asymptote of g. This completes the proof: the hypothesis that lim(x→3⁻) g(x) = +∞ directly satisfies the definition.

SUMMARY

Lesson Summary

Summary

An infinite limit occurs when a function's output grows without bound as the input approaches a finite value a. The formal M-δ definition makes this precise: for every threshold M, there exists a neighborhood around a within which all function values exceed M (or fall below N for −∞). The geometric consequence is a vertical asymptote at x = a — a vertical line the graph approaches but never touches. The line x = a is a vertical asymptote if and only if at least one one-sided limit is +∞ or −∞.

For rational functions, vertical asymptotes occur at zeros of the denominator that do not cancel with the numerator. The multiplicity of the zero determines the direction pattern: odd multiplicity produces opposite-direction divergence, while even multiplicity produces same-direction divergence. Always distinguish infinite limits from limits at infinity — the former describes output divergence (vertical asymptotes) while the latter describes input divergence (horizontal asymptotes). These concepts extend beyond rational functions to logarithmic and trigonometric functions, and the sign-analysis technique remains the universal tool for determining the direction of divergence at any vertical asymptote.