Infinite Series, Partial Sums, and the Geometric Series

An infinite series \(\sum a_n\) converges when its partial sums converge — and the geometric series \(\sum ar^n\) is the one family whose limit has a closed form: \(\frac{a}{1-r}\), exactly when \(|r| < 1\).

By the end you'll be able to decide whether a geometric series converges by checking \(|r| < 1\), compute its exact sum with \(\frac{a}{1-r}\), and say precisely what "a series converges" means in terms of partial sums.

Predict: push r past 1 — do the partial sums settle or blow up? Slide r to check.

Each bar is a running total \(S_N = a + ar + \cdots + ar^N\): the pale base is everything already added, and the bright cap on top is the newest term \(ar^N\) (orange when a negative term pulls the total back down). For \(|r| < 1\) the staircase flattens into the dashed target line at \(\frac{a}{1-r}\); for \(|r| \ge 1\) the bars run off the top of the chart. Hover or tab across the bars for exact values.

S₁₉ = 2.000 · |r| = 0.50 < 1 — converges to a/(1−r) = 2.000

Partial sums \(S_N\) of \(\sum_{n=0}^{\infty} ar^n\) — one bar per running total, dashed line at the limit \(\frac{a}{1-r}\) when it exists
earlier terms newest term (+) newest term (−) a/(1−r) target

To add infinitely many numbers, don't — add finitely many and take a limit. The series \(\sum a_n\) converges to \(S\) exactly when the sequence of running totals \(S_N\) converges to \(S\), and for the geometric series that limit is \(\frac{a}{1-r}\) whenever \(|r| < 1\).

Visual

Look back at the bars above with r = 0.5: each new term is half the previous one, so each bright cap is half as tall as the last. The staircase climbs 1, 1.5, 1.75, 1.875, … — always rising, but by shrinking steps, flattening into the ceiling at \(\frac{a}{1-r}\). Now drag r past 1: every cap is now taller than the one before, and the totals sprint off the chart. Convergence of a series is a picture about the bars (the running totals), not the individual terms.

Formal

Given a sequence \(\{a_n\}\) — the objects from the previous lesson — define the sequence of partial sums \(S_N = \sum_{n=1}^{N} a_n\). Each \(S_N\) is an ordinary finite sum, a single number. The series converges to \(S\) if \(\lim_{N\to\infty} S_N = S\) in the usual sequence sense; if \(\{S_N\}\) diverges, the series diverges. This reduces every series question to a sequence question about running totals — which is exactly why sequences are studied first. For the geometric series \(\sum_{n=0}^{\infty} ar^n\) with first term \(a \neq 0\) and common ratio \(r\), the partial sum has a closed form: \(S_N = a\,\frac{1-r^{N+1}}{1-r}\) for \(r \neq 1\). Everything hinges on \(r^{N+1}\), which tends to 0 exactly when \(|r| < 1\) — giving \(\sum_{n=0}^{\infty} ar^n = \frac{a}{1-r}\). For \(|r| \ge 1\) the series diverges (at \(r = 1\) the partial sums grow like \(Na\); otherwise \(r^{N+1}\) never settles).

Applied

Why does one series family get its own lesson? Because the geometric series is essentially the only family with a simple, general closed-form sum. The convergence tests coming up — integral, comparison, ratio, root — only tell you whether a series converges, not what it converges to, and several of them work by comparing an unknown series against a geometric benchmark. Master \(\frac{a}{1-r}\) now and you hold the yardstick the rest of the chapter measures against.

Worked example

Find the sum of \(\displaystyle\sum_{n=0}^{\infty} \left(\tfrac12\right)^n\). Here \(a = 1\) (the \(n = 0\) term) and \(r = \tfrac12\), and \(|r| < 1\), so the series converges to \(\frac{a}{1-r} = \frac{1}{1 - \frac12} = \) 2. The partial sums confirm it: \(S_0 = 1\), \(S_1 = 1.5\), \(S_2 = 1.75\), \(S_3 = 1.875,\dots\) — visibly approaching 2. (These are the default bars in the demo above: set a = 1, r = 0.5 and watch them press against the target line at 2.)

Your turn

A re-indexed one: \(\displaystyle\sum_{n=2}^{\infty} 5\left(-\tfrac14\right)^n\). Careful — \(a\) is the actual first term of the sum, not the coefficient out front: at \(n = 2\), \(a = 5\left(-\tfrac14\right)^2 = \tfrac{5}{16}\), and \(r = -\tfrac14\) with \(|r| < 1\). Now finish it: \(\dfrac{a}{1-r} = \dfrac{5/16}{1 - (-\tfrac14)} = \) ____

Reveal the answer

\(\dfrac{5/16}{1 + \tfrac14} = \dfrac{5/16}{5/4} = \dfrac{5}{16}\cdot\dfrac{4}{5} = \) \(\tfrac14\). The two classic traps in one problem: using the coefficient 5 as \(a\) (wrong — the sum starts at \(n = 2\)), and forgetting that subtracting a negative \(r\) makes the denominator bigger than 1.

More info — why |r| < 1 is exactly the dividing line

The closed-form partial sum \(S_N = a\,\frac{1-r^{N+1}}{1-r}\) turns the whole convergence question into one about the geometric sequence \(\{r^n\}\) from the previous lesson: \(S_N\) has a limit exactly when \(r^{N+1}\) does. And \(r^{N+1} \to 0\) precisely when \(|r| < 1\) — substitute that limit and \(\frac{a(1 - 0)}{1-r} = \frac{a}{1-r}\) drops out. When \(|r| > 1\) the power \(r^{N+1}\) explodes; at \(r = 1\) the closed form doesn't even apply and \(S_N = a(N+1)\) marches off linearly. One warning from the other direction: "the terms \(a_n \to 0\)" does not imply the series converges — only the converse holds. You'll meet the famous counterexample in the next lesson. For the partial-sum definition spelled out slowly, see the Dive deeper link below.

Check your understanding

Question 1 of 4

Find the sum of \(\displaystyle\sum_{n=0}^{\infty} 2\left(\tfrac{1}{3}\right)^n\).

Question 2 of 4

Does \(\displaystyle\sum_{n=1}^{\infty} 3\left(\tfrac{3}{2}\right)^n\) converge? If so, to what?

Question 3 of 4

By definition, what does it mean for a series \(\sum a_n\) to converge?

Question 4 of 4

You plug \(a = 1\), \(r = 2\) into \(\frac{a}{1-r}\) and get \(-1\). What can you conclude about \(\displaystyle\sum_{n=0}^{\infty} 2^n\)?

Recap

  • \(\sum a_n = S\) means \(\lim_{N\to\infty} S_N = S\), where \(S_N = a_1 + \cdots + a_N\) — series convergence is, by definition, convergence of the partial-sum sequence.
  • Geometric series: \(\sum_{n=0}^{\infty} ar^n = \frac{a}{1-r}\) exactly when \(|r| < 1\); for \(|r| \ge 1\) it diverges.
  • Never plug \(|r| \ge 1\) into \(\frac{a}{1-r}\) — the finite-looking answer is meaningless.
  • \(a\) is the actual first term of the sum — watch for series that start at an index other than 0 or 1.
  • The geometric series is essentially the only family with a general closed-form sum; later tests only decide whether a series converges.

Dive deeper

Sources

  • Infinite Series, Partial Sums, and the Geometric Series