Connecting Infinite Limits and Vertical Asymptotes |...

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)²)

Step 1 — Find zeros of the denominatorSet 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)

Step 2 — Check for removable discontinuitiesEvaluate 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

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) = +∞

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) = +∞

Step 5 — SummarizeAt 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.

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

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

✦ 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.

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

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)

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

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

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

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

PROBLEM 4 — APPLIED

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?

PROBLEM 5 — CRITICAL THINKING

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.

SUMMARY

Lesson 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.