Geometric Series — Working with Geometric Series - Calculus 2

SECTION 1

Historical Context & Motivation

The idea of summing infinitely many terms—each a fixed multiple of the last—has fascinated mathematicians for millennia. Geometric series arise naturally whenever a quantity is repeatedly scaled by a constant factor, from the doubling grains on a chessboard in ancient legend to the discount factors that underpin modern financial mathematics. Long before the formal machinery of limits was available, scholars in Greece, India, and medieval Europe recognized that certain geometric sums could be assigned finite values even though they involved infinitely many addends. This observation—that infinity can, under the right conditions, yield a finite result—became one of the cornerstones of analysis and ultimately of integral calculus and power series representations.

~450 BCE • Zeno's Paradoxes

Zeno of Elea posed the dichotomy paradox: to traverse a distance, one must first cover half, then half of the remainder, and so on. This implicitly invoked the geometric series 1/2 + 1/4 + 1/8 + ⋯ and sparked centuries of debate about the nature of infinite processes.

~300 BCE • Euclid's Proposition

In Book IX of the Elements, Euclid proved the finite geometric sum formula: the sum of a geometric progression equals (a − arⁿ)/(1 − r). Though stated in the language of proportions rather than algebra, this result is essentially the partial-sum formula used today.

14th c. • Oresme & the Harmonic Series

Nicole Oresme manipulated geometric-style arguments to prove the divergence of the harmonic series, contrasting it with the convergent geometric case. His work presaged the comparison tests that are central to Calculus 2.

1821 • Cauchy's Rigorous Foundations

Augustin-Louis Cauchy formalized the concept of convergence in his Cours d'analyse, providing ε-based definitions for limits and series. The geometric series became the prototypical example of absolute convergence.

20th c. • Applications Across Disciplines

Geometric series became indispensable in signal processing (z-transforms), economics (present-value calculations), probability (geometric distributions), and numerical analysis (error estimation), cementing their status as one of the most applied topics in all of mathematics.

The central question this lesson addresses is both simple to state and rich in consequences: given a first term a and a common ratio r, when does the infinite sum ∑ arⁿ converge, and what is its value? Answering this question equips you with a powerful tool for evaluating series, developing Taylor expansions, and testing convergence throughout the rest of Calculus 2.

SECTION 2

Core Principles & Definitions

A geometric series is built from a geometric sequence—a sequence in which every term after the first is obtained by multiplying its predecessor by a fixed nonzero constant called the common ratio r. The series itself is the expression obtained by summing all the terms of that sequence. Understanding how a geometric series behaves requires keeping several interrelated ideas in clear focus.

Common Ratio r

The factor by which consecutive terms are multiplied. If r = aₙ₊₁ / aₙ is the same for every n, the sequence is geometric. The magnitude of r determines convergence.

Partial Sum Sₙ

The sum of the first n terms: Sₙ = a(1 − rⁿ)/(1 − r) for r ≠ 1. This finite formula is derived by the classic 'multiply and subtract' trick and is the gateway to the infinite sum.

Convergence Condition

The infinite geometric series converges if and only if |r| < 1. In that case, rⁿ → 0 as n → ∞, and the partial sums approach S = a/(1 − r). When |r| ≥ 1, the partial sums diverge.

Absolute vs. Conditional Convergence

Because |arⁿ| = |a| · |r|ⁿ, a geometric series with |r| < 1 converges absolutely. Consequently, rearranging the terms of a convergent geometric series does not change its sum—a useful fact when manipulating series expressions.

Telescoping Connection

The partial-sum derivation is actually a telescoping argument in disguise: Sₙ − rSₙ collapses all intermediate terms, leaving a(1 − rⁿ). This perspective generalizes to many other series techniques.

✦

KEY TAKEAWAY

Think of a convergent geometric series like a ball bouncing on the floor. Each bounce reaches a fixed fraction of the previous height. Although the ball bounces infinitely many times, the total distance it travels is finite because the heights shrink geometrically. The factor by which each bounce diminishes is the common ratio r; as long as |r| < 1, the cumulative distance (the series sum) settles to a well-defined value.

SECTION 3

Visualizing Partial Sums & Convergence

The following diagram plots the partial sums Sₙ of two geometric series—one with r = 0.5 (convergent) and one with r = 1.2 (divergent)—alongside a visual 'stacking' of terms to build intuition for how the series sum accumulates toward its limit.

The cyan curve shows the partial sums of the convergent series (r = 0.5) approaching the horizontal dashed line at S = 2. The red curve shows how partial sums grow without bound when r = 1.2.

Observe how the cyan dots cluster ever more tightly around the line S = 2 as n increases—this is the graphical manifestation of the limit process. Each new term added to the partial sum is exactly half the previous term, so the 'jump' between successive dots shrinks geometrically. In contrast, the red curve accelerates away because each new term is larger than the last; with |r| > 1, rⁿ → ∞ and no finite sum exists. The visual distinction between these two behaviors is one of the most important qualitative insights in series theory, and it extends directly to the ratio test and root test for general series.

SECTION 4

Mathematical Framework

We now formalize the key formulas and derive the infinite-sum result from the partial-sum formula. Throughout this section, a denotes the first term (a ≠ 0) and r denotes the common ratio (r ≠ 0).

GENERAL TERM

aₙ = a · r ⁿ⁻¹, n = 1, 2, 3, …

The n-th term of a geometric sequence is the first term a multiplied by (n − 1) copies of the common ratio r. Some authors index from n = 0, writing aₙ = arⁿ.

PARTIAL SUM (FINITE GEOMETRIC SERIES)

Sₙ = a · (1 − rⁿ) / (1 − r), r ≠ 1

Derivation: Write Sₙ = a + ar + ar² + ⋯ + arⁿ⁻¹. Multiply both sides by r to get rSₙ = ar + ar² + ⋯ + arⁿ. Subtract: Sₙ − rSₙ = a − arⁿ, giving Sₙ(1 − r) = a(1 − rⁿ). Divide by (1 − r) to obtain the result. When r = 1, every term equals a and Sₙ = na.

INFINITE SUM (CONVERGENT GEOMETRIC SERIES)

S = a / (1 − r), |r| < 1

When |r| < 1, rⁿ → 0 as n → ∞, so lim Sₙ = a(1 − 0)/(1 − r) = a/(1 − r). When |r| ≥ 1, the series diverges because rⁿ does not approach 0.

GEOMETRIC SERIES IN SIGMA NOTATION

∑ (n=0 to ∞) arⁿ = a + ar + ar² + ar³ + ⋯ = a / (1 − r), |r| < 1

This compact notation emphasizes that the sum begins at n = 0 with the term a · r⁰ = a. Shifting the index to start at n = 1 gives ∑ arⁿ⁻¹, which is identical.

⚠

Common Pitfall

Students frequently confuse the first term of the series with the constant a in the formula. In ∑ 3·(½)ⁿ from n = 2 to ∞, the first term is 3·(½)² = 3/4, not 3. You must identify the first term of the actual summation and use that as a in S = a/(1 − r), or equivalently factor and subtract the missing initial terms.

SECTION 5

Convergence Behavior by Common Ratio

The behavior of a geometric series depends entirely on the value of the common ratio r. The diagram below maps the real number line of r values to the resulting convergence or divergence behavior, while the table that follows gives a comprehensive classification with examples.

The number line shows the critical boundary at |r| = 1. The green region (−1, 1) represents convergence; the red regions represent divergence. Below, three panels illustrate representative behaviors with example sums.

Range of r	Convergence?	Behavior of Sₙ	Example
0 < r < 1	Converges	Monotonically increases toward a/(1 − r)	∑ (½)ⁿ = 2
−1 < r < 0	Converges	Oscillates around a/(1 − r), amplitude shrinks	∑ (−⅓)ⁿ = ¾
r = 1	Diverges	Sₙ = na → ±∞	1 + 1 + 1 + ⋯
r = −1	Diverges	Sₙ oscillates between a and 0	1 − 1 + 1 − 1 + ⋯
\|r\| > 1	Diverges	\|Sₙ\| → ∞ (monotonically or oscillating)	∑ 2ⁿ → ∞

Classification of geometric series by common ratio

A particularly instructive case is r = −1, which gives rise to Grandi's series: 1 − 1 + 1 − 1 + ⋯. The partial sums alternate between 1 and 0, never settling on a single value. While Euler and other early analysts sometimes assigned it the value ½ (using Cesàro or Abel summation), by the rigorous definition of convergence in Calculus 2, the series diverges because its sequence of partial sums does not converge.

SECTION 6

Worked Example

Let us evaluate the series ∑ from n = 1 to ∞ of 5 · (−⅔)ⁿ. We will identify all parameters, verify convergence, compute the sum, and interpret the result.

Evaluate ∑ (n = 1 to ∞) 5 · (−2/3)ⁿ

1
Step 1 — Write Out the First Few Terms

Substituting n = 1, 2, 3, … we get 5·(−⅔)¹ + 5·(−⅔)² + 5·(−⅔)³ + ⋯ = −10/3 + 20/9 − 40/27 + ⋯. Each term is obtained by multiplying the previous term by −⅔.

First term a₁ = 5·(−⅔) = −10/3
2
Step 2 — Identify a and r

The sum starts at n = 1, so the first term of the series is a = 5·(−⅔)¹ = −10/3. The common ratio between consecutive terms is r = (−⅔). Alternatively, we can factor: 5 · ∑ (−⅔)ⁿ from n = 1 to ∞, but it is safest to use a = first term of the actual series being summed.

a = −10/3, r = −2/3
3
Step 3 — Check Convergence

We need |r| < 1. Here |r| = |−⅔| = ⅔ < 1, so the series converges.

|r| = 2/3 < 1 ✓
4
Step 4 — Apply the Infinite Sum Formula

S = a / (1 − r) = (−10/3) / (1 − (−⅔)) = (−10/3) / (1 + ⅔) = (−10/3) / (5/3). Dividing by a fraction is equivalent to multiplying by its reciprocal: (−10/3) × (3/5) = −10/5 = −2.

S = −2
5
Step 5 — Verify with Partial Sums

As a sanity check, compute a few partial sums: S₁ = −3.333, S₂ = −1.111, S₃ = −2.593, S₄ = −1.605, S₅ = −2.263. The values oscillate around −2 with decreasing amplitude, consistent with a negative common ratio and a limit of −2.

Partial sums oscillate → −2 ✓

SECTION 7

Strengths, Limitations & Common Misconceptions

Geometric series are among the most tractable series in all of mathematics, but that tractability comes with constraints. The following table highlights the primary strengths and limitations of working with geometric series, particularly in the context of Calculus 2.

Strengths	Limitations
Closed-form sum: S = a/(1 − r) provides an exact, simple answer—no numerical approximation required.	Applies only when consecutive terms have a constant ratio. Most real-world series are not purely geometric.
Convergence is trivially testable: just check \|r\| < 1. No need for integral, comparison, or limit comparison tests.	Provides no information about non-geometric series. The formula S = a/(1 − r) cannot be used for power series with varying coefficients.
Serves as a benchmark for comparison tests and as the building block for power series and Taylor series.	The boundary case \|r\| = 1 requires separate analysis; the formula yields division by zero when r = 1.
Partial-sum formula Sₙ = a(1 − rⁿ)/(1 − r) enables exact error estimation: \|S − Sₙ\| = \|a\| · \|r\|ⁿ / (1 − \|r\|).	Students sometimes misidentify the first term when the index doesn't start at 0 or 1, leading to incorrect sums.

Strengths and limitations of geometric series

✦

KEY TAKEAWAY

In the broader landscape of Calculus 2, the geometric series functions like a master key: it unlocks convergence arguments via comparison, provides the prototype for the ratio test, and is the engine beneath Taylor expansions such as 1/(1 − x) = ∑ xⁿ. Virtually every convergence test you will encounter either reduces to or compares against a geometric series in some form.

SECTION 8

Connections to Power Series & Advanced Theory

The geometric series is not merely a self-contained topic—it is the gateway to the broader theory of power series and Taylor series. The identity 1/(1 − x) = ∑ xⁿ for |x| < 1 is perhaps the single most important series in introductory analysis. By substituting, differentiating, and integrating this series term by term, one can derive the Maclaurin series for ln(1 + x), arctan(x), and many other functions. The table below maps key geometric series results to their more advanced counterparts.

Geometric Series Result	Advanced Extension	Application
1/(1 − x) = ∑ xⁿ, \|x\| < 1	Replace x with −t² and integrate term by term: arctan(x) = ∑ (−1)ⁿ x²ⁿ⁺¹/(2n+1)	Computing π via Leibniz formula
Differentiate: 1/(1−x)² = ∑ (n+1)xⁿ	Generating functions for combinatorial sequences	Discrete math, probability
Replace x with −x: 1/(1+x) = ∑ (−x)ⁿ	Integrate: ln(1+x) = ∑ (−1)ⁿ⁺¹ xⁿ/n	Computing ln 2 = 1 − ½ + ⅓ − ¼ + ⋯
Ratio test: series ∑ aₙ converges if lim \|aₙ₊₁/aₙ\| < 1	Root test, radius of convergence for general power series	Determining intervals of convergence

Geometric series as a foundation for advanced topics

As you progress through Calculus 2, you will repeatedly encounter the pattern of reducing a complex series to a geometric core. The ratio test, for instance, asks whether a general series 'behaves like' a geometric series in the limit. If lim |aₙ₊₁/aₙ| = L < 1, the series converges for essentially the same reason a geometric series with ratio L converges. Mastering geometric series now builds the intuition that makes every subsequent convergence test feel natural rather than arbitrary.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the geometric series ∑ rⁿ (n = 0 to ∞) diverges when r = −1, even though the partial sums never tend to ±∞. How does this differ from the divergence that occurs when r = 2?

Show answer

When r = −1, the partial sums alternate between 1 and 0: S₁ = 1, S₂ = 0, S₃ = 1, S₄ = 0, and so on. Although the sums remain bounded, they fail to approach a single limit, so by definition the series diverges. This is divergence by oscillation. In contrast, when r = 2 the partial sums grow without bound (S₁ = 1, S₂ = 3, S₃ = 7, …), representing divergence to infinity. Both fail the convergence criterion (existence of a finite limit), but for fundamentally different reasons. The key insight is that convergence requires the sequence {Sₙ} to have a single limit, not merely to stay bounded.

Question 2: BASIC CALCULATION

Find the sum of the geometric series 8 + 4 + 2 + 1 + ½ + ¼ + ⋯.

Show answer

The first term is a = 8 and the common ratio is r = 4/8 = ½. Since |r| = ½ < 1, the series converges. Applying S = a/(1 − r), we get S = 8/(1 − ½) = 8/(½) = 16. As a check, the partial sum S₃ = 8 + 4 + 2 = 14, and each subsequent term adds progressively less, so approaching 16 is reasonable.

Question 3: INTERMEDIATE

Evaluate ∑ from n = 3 to ∞ of 7 · (⅓)ⁿ.

Show answer

First, recognize this is a geometric series with ratio r = ⅓ but starting at n = 3 rather than n = 0. The first term of the series (when n = 3) is a = 7·(⅓)³ = 7/27. The common ratio remains r = ⅓ with |r| < 1. Applying the infinite sum formula: S = (7/27) / (1 − ⅓) = (7/27) / (⅔) = (7/27) × (3/2) = 7/18. Alternatively, note that ∑ from n = 0 to ∞ of 7·(⅓)ⁿ = 7/(1 − ⅓) = 21/2, and subtract the first three terms: 21/2 − 7 − 7/3 − 7/9 = 21/2 − 7(1 + ⅓ + 1/9) = 21/2 − 7(13/9) = 21/2 − 91/9 = (189 − 182)/18 = 7/18. Both methods agree.

Question 4: APPLIED

A pharmaceutical company administers 200 mg of a drug every 24 hours. The body eliminates 60% of the drug present in the bloodstream each day. Write a geometric series for the total drug level in the body just after the n-th dose, then determine the long-term steady-state drug level.

Show answer

Each day, 40% of the previous drug amount remains (retention factor r = 0.4). Just after the n-th dose, the total drug level is 200 + 200(0.4) + 200(0.4)² + ⋯ + 200(0.4)ⁿ⁻¹ = 200 · (1 − 0.4ⁿ)/(1 − 0.4). As n → ∞, 0.4ⁿ → 0, so the steady-state level is S = 200/(1 − 0.4) = 200/0.6 = 333.33 mg (to two decimal places). This means that, in the long run, the drug level just after each dose stabilizes at approximately 333⅓ mg. The geometric series model here is a standard tool in pharmacokinetics for predicting drug accumulation.

Question 5: CRITICAL THINKING

Prove that if ∑ aₙ is a convergent geometric series with first term a > 0 and common ratio 0 < r < 1, then the remainder (tail) after N terms satisfies Rₙ = S − Sₙ = arⁿ/(1 − r). Then determine how many terms of the series ∑ (0.9)ⁿ (n = 0 to ∞) are needed to approximate S within 0.01.

Show answer

The remainder Rₙ = S − Sₙ = a/(1 − r) − a(1 − rⁿ)/(1 − r) = a[1 − (1 − rⁿ)]/(1 − r) = arⁿ/(1 − r). For the series ∑ (0.9)ⁿ with a = 1 and r = 0.9, the sum is S = 1/(1 − 0.9) = 10 and the remainder is Rₙ = 0.9ⁿ / 0.1 = 10 · (0.9)ⁿ. We require 10 · (0.9)ⁿ < 0.01, i.e., (0.9)ⁿ < 0.001. Taking natural logarithms: n · ln(0.9) < ln(0.001), so n > ln(0.001)/ln(0.9) ≈ (−6.9078)/(−0.10536) ≈ 65.56. Therefore, n = 66 terms are needed. This result illustrates that series with ratios close to 1 converge slowly—a consideration that matters in numerical computation.

SUMMARY

Lesson Summary

Summary

A geometric series ∑ arⁿ is defined by a first term a and a common ratio r. The partial sum formula Sₙ = a(1 − rⁿ)/(1 − r) is derived by the multiply-and-subtract technique. When |r| < 1, the term rⁿ → 0, yielding the infinite sum S = a/(1 − r). When |r| ≥ 1, the series diverges, either by unbounded growth or by oscillation.

Geometric series serve as the cornerstone of convergence testing in Calculus 2: the ratio test and comparison test both rely on geometric-series reasoning. The identity 1/(1 − x) = ∑ xⁿ is the seed from which Taylor and power series representations of many important functions grow. Mastering geometric series—identifying the first term, confirming |r| < 1, and applying the closed-form formula—provides a reliable template for evaluating and estimating sums throughout the remainder of the course.