Proofs

The sum of a geometric series

A geometric sequence multiplies by the same number each time. Its sum is

Sn=a(1−rn)1−r(r≠1)S_n = \frac{a(1 - r^n)}{1 - r} \qquad (r \neq 1)

where aa is the first term and rr is the common ratio.

The proof

Write the sum out and then multiply the whole thing by rr:

Sn=a+ar+ar2+⋯+arn−1S_n = a + ar + ar^2 + \dots + ar^{n-1} rSn=ar+ar2+ar3+⋯+arnrS_n = ar + ar^2 + ar^3 + \dots + ar^{n}

Subtract the second line from the first, term by term. Almost everything cancels: the arar in the first line meets the arar in the second, and likewise for every term except the first of the first line and the last of the second.

Sn−rSn=a−arnS_n - rS_n = a - ar^n

Factorise both sides. On the left, SnS_n is common. On the right, aa is.

Sn(1−r)=a(1−rn)S_n(1 - r) = a(1 - r^n)

Divide by 1−r1 - r, which is allowed because r≠1r \neq 1:

Sn=a(1−rn)1−rS_n = \frac{a(1 - r^n)}{1 - r}

Why r=1r = 1 is excluded

If r=1r = 1 every term is the same, so the sum is n×an \times a. The formula would ask you to divide by 1−1=01 - 1 = 0, and that is the proof telling you the case was never covered: the step that cancels the terms cancels everything when r=1r = 1, leaving 0=00 = 0, which says nothing.

The sum to infinity

When ∣r∣<1|r| < 1, each term is smaller than the one before and rnr^n shrinks towards zero as nn grows. So for a large number of terms the rnr^n in the formula contributes nothing:

S∞=a(1−0)1−r=a1−rS_\infty = \frac{a(1 - 0)}{1 - r} = \frac{a}{1 - r}

This is a genuine limiting statement rather than a rounding: the sum does not merely get close to a1−r\dfrac{a}{1-r}, it is the value the partial sums approach, and they get as close as you like.

Check your understanding

  1. Find S6S_6 for 2+6+18+…2 + 6 + 18 + \dots
  2. Find S∞S_\infty for 8+4+2+…8 + 4 + 2 + \dots
  3. Explain why S∞S_\infty does not exist for r=2r = 2.
Answers
  1. a=2a = 2, r=3r = 3, so S6=2(1−729)1−3=−1456−2=728S_6 = \dfrac{2(1 - 729)}{1 - 3} = \dfrac{-1456}{-2} = 728.
  2. a=8a = 8, r=12r = \tfrac{1}{2}, so S∞=81−12=16S_\infty = \dfrac{8}{1 - \frac12} = 16.
  3. With r=2r = 2 the terms grow without limit, so the partial sums do too. The formula's derivation needs rn→0r^n \to 0, which is false here.

Settings

Colour scheme

Applies to every book you read here.

Reading theme

Applies to every book you read here.