Geometric Sequences and Series
Drop a bouncy ball from 2 metres and watch what it does. It
bounces back up — but not all the way. A decent rubber ball keeps about
60\% of its height on each bounce:
2 m, then 1.2 m, then
0.72 m, then 0.432 m… Each height is
the one before it multiplied by 0.6.
That "multiply by the same number each step" pattern is everywhere once you start looking.
A virus that infects three new people per case triples each week:
1,\ 3,\ 9,\ 27,\ 81,\ \dots A savings account paying
5\% interest turns £1000 into
£1050, then £1102.50 — each balance is
the last one times 1.05. None of these grows (or shrinks) by
adding a fixed amount; they all multiply by a fixed amount.
And here is the shock this page is building towards: the ball bounces infinitely many
times (each bounce is smaller, but there's always another one) — yet the total distance
it travels is a perfectly ordinary, finite number. You will be able to
compute it, exactly, before the end of the page.
The curve never quite reaches zero — mathematically the ball bounces forever — but the
heights die away so fast that, as we'll see, all those infinitely many bounces add up to
something finite.
The definition: a fixed ratio, not a fixed difference
In an
arithmetic sequence
you add the same amount each step. A geometric sequence does the
same trick with multiplication: you multiply by the same number — the
common ratio r — to get from one term to the next.
Starting from a first term a, the terms are
a,\ \ ar,\ \ ar^2,\ \ ar^3,\ \dots
Each term carries one more factor of r than the last, so the
nth term is
a_n = a\,r^{\,n-1}.
The power is n-1, not n, because the
first term a has been multiplied by r
zero times — the
index laws
let us write that build-up of factors as a single power.
Two quick tests you can run on any sequence. To check it's geometric, divide each
term by the one before: if \dfrac{a_2}{a_1} = \dfrac{a_3}{a_2} = \dfrac{a_4}{a_3} = \dots
you have a constant ratio. To find r, one such division
is all you need: for 4,\ 12,\ 36,\ 108,\ \dots we get
r = 12 \div 4 = 3 (and 36 \div 12 = 3
confirms it).
Growth and decay: what r controls
Take a = 3 and r = 2:
3,\ 6,\ 12,\ 24,\ 48,\ \dots
The 4th term is
a\,r^{\,3} = 3 \times 2^3 = 24 — no need to step through all of
them. That's the whole point of the formula: it teleports you straight to any term. The
20th term is 3 \times 2^{19} = 1\,572\,864,
found in one line rather than nineteen doublings.
The size of r decides the sequence's whole character. With
r > 1 the terms grow — and not politely: multiplying compounds,
so a geometric sequence with r = 2 soon dwarfs any arithmetic
sequence, however generous its common difference. With
0 < r < 1 each term is a fraction of the last, so they shrink
toward zero — the bouncing ball's fading heights, or a medicine dose decaying in the
bloodstream. Watch both behaviours side by side:
Both curves start at the same value, a = 1. The
r = 2 curve doubles at every step and rockets off the top of the
chart by n = 5; the r = \tfrac12 curve
halves at every step and hugs the axis, getting ever closer to zero without ever touching it.
Same rule, opposite destinies — all decided by whether |r| is
bigger or smaller than 1.
Worked example: which term first beats 1000?
Here's the classic exam question. In the sequence 3,\ 6,\ 12,\ 24,\ \dots
(so a = 3, r = 2), which term is the
first to exceed 1000?
We need the smallest n with
3 \times 2^{\,n-1} > 1000 \quad\Longleftrightarrow\quad 2^{\,n-1} > 333.3\dots
Method 1 — trial. Run up the powers of two:
2^8 = 256 (too small), 2^9 = 512
(big enough). So n - 1 = 9, giving n = 10.
Method 2 —
logarithms.
Taking logs of both sides of 2^{\,n-1} > 333.3:
n - 1 > \frac{\log 333.3}{\log 2} \approx 8.38,
so n - 1 = 9 is the first whole number that works, and again
n = 10. Check it:
a_{10} = 3 \times 2^9 = 1536 > 1000, while
a_9 = 3 \times 2^8 = 768 falls short. The
10th term is the first past the post. Trial is fine when
r is a friendly whole number; logs are the general-purpose tool
when it isn't (try finding when 1.05^{\,n} first doubles your
money by trial and you'll wish you'd used logs).
-
The nth term is a\,r^{\,n-1}, not
a\,r^{\,n}. The first term has already "used up" the
a — it's had zero multiplications by
r. Writing a\,r^{\,n} silently skips
a term and shifts your whole answer one place along. Sanity-check with
n = 1: a\,r^{\,1-1} = a\,r^0 = a. Correct.
-
The sum to infinity exists only when |r| < 1.
It's tempting to feed any r into
\frac{a}{1-r}, but for r = 1.01 the
series diverges — slowly at first, but each term is bigger than the last, so the
total grows without bound. The formula would cheerfully hand you
\frac{a}{-0.01} = -100a, a negative "sum" of positive terms.
Nonsense in, nonsense out: always check |r| < 1 first.
-
r can be negative. With
r = -2 the sequence 1,\ -2,\ 4,\ -8,\ 16,\ \dots
alternates sign forever — it's still perfectly geometric (each term is the last
times -2). And note the modulus signs in
|r| < 1: the series 1 - \tfrac12 + \tfrac14 - \tfrac18 + \dots
with r = -\tfrac12 converges happily, to
\frac{1}{1-(-\frac12)} = \tfrac23.
Adding the terms: a geometric series
A series is the sum of the terms. Adding the first
n terms of a geometric sequence gives
S_n = a + ar + ar^2 + \dots + ar^{\,n-1}.
There's a closed form for this, and the way it's derived is one of the loveliest tricks in
algebra — worth seeing in full. Multiply the whole sum by r:
every term slides one place to the right,
\begin{aligned} S_n &= a + ar + ar^2 + \dots + ar^{\,n-1} \\ r\,S_n &= \phantom{a + {}} ar + ar^2 + \dots + ar^{\,n-1} + ar^{\,n}. \end{aligned}
Now subtract. The two rows share almost every term —
ar, ar^2, \dots, ar^{\,n-1} all appear in both and cancel in one
satisfying telescope — leaving only the first term of the top row and the last term of the
bottom:
S_n - r\,S_n = a - a\,r^{\,n}.
Factorise both sides — S_n(1 - r) = a(1 - r^{\,n}) — and divide:
S_n = \frac{a\,(1 - r^{\,n})}{1 - r} \qquad (r \neq 1).
A sum of a thousand terms, captured by three symbols. (When r = 1
every term is just a, so S_n = na and
no formula is needed.)
Check it on something small. For 3, 6, 12, 24
with a = 3, r = 2,
n = 4:
S_4 = \dfrac{3(1 - 2^4)}{1 - 2} = \dfrac{3 \times (-15)}{-1} = 45,
and indeed 3 + 6 + 12 + 24 = 45.
Now something big. Sum the first ten terms of
5 + 10 + 20 + 40 + \dots Here a = 5,
r = 2, n = 10:
S_{10} = \frac{5\,(1 - 2^{10})}{1 - 2} = \frac{5 \times (-1023)}{-1} = 5115.
Adding ten terms by hand invites ten chances to slip; the formula does it in one move. A tidy
habit for r > 1: both brackets come out negative, and the
minuses cancel — many people flip the formula to
S_n = \frac{a(r^{\,n} - 1)}{r - 1} for growing series so
everything stays positive. It's the same formula with top and bottom each multiplied by
-1.
The sum to infinity
Something special happens when |r| < 1. Each term is smaller
than the last, so the running total piles up less and less — and the partial sums
S_n creep toward a fixed value rather than running away. Look at
the formula we just derived: the only part that depends on n is
r^{\,n}, and when |r| < 1 that
power crumbles away — (\tfrac12)^{10} \approx 0.001,
(\tfrac12)^{20} \approx 0.000001 — so
r^{\,n} \to 0 as n \to \infty,
leaving the sum to infinity:
S_\infty = \frac{a}{1 - r}, \qquad |r| < 1.
The classic case is a = 1,
r = \tfrac{1}{2}:
1 + \tfrac12 + \tfrac14 + \tfrac18 + \dots = \frac{1}{1 - \tfrac12} = 2.
Watch the partial sums below: each new term adds half of the gap that remains, so the total
edges ever closer to 2 without ever passing it. (If
|r| \ge 1 the terms do not shrink, the total never settles, and
there is no sum to infinity.)
This is a genuinely deep idea: infinitely many positive numbers can add to a finite
total, provided they shrink geometrically. It's the resolution of Zeno's ancient
paradox — Achilles really does catch the tortoise, because the infinitely many ever-shorter
catch-up runs form a convergent geometric series with a perfectly finite sum.
Worked example — the bouncing ball's total journey. Back to our opening
ball: dropped from 2 m, keeping 60\%
of its height each bounce. It first falls 2 m. Then for every
bounce it travels each height twice — up and back down — and the heights
1.2,\ 0.72,\ 0.432,\ \dots are geometric with
a = 1.2, r = 0.6. Total distance:
D = 2 + 2\left(\frac{1.2}{1 - 0.6}\right) = 2 + 2 \times 3 = 8 \text{ m}.
Infinitely many bounces; exactly 8 metres. The promise from the
top of the page, kept.
Worked example — why 0.999\dots = 1. The
recurring decimal 0.999\dots is really a geometric series in
disguise:
0.999\dots = \frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \dots
with a = \tfrac{9}{10} and
r = \tfrac{1}{10}. So
S_\infty = \frac{\tfrac{9}{10}}{1 - \tfrac{1}{10}} = \frac{\tfrac{9}{10}}{\tfrac{9}{10}} = 1.
Not "approximately 1", not "just under 1" —
exactly 1. Two different decimal names for the same
number, and the geometric series is the cleanest proof there is. (The same trick converts
any recurring decimal into a fraction.)
An old legend: the inventor of chess so delighted his king that he was offered any reward.
He asked only for rice — one grain on the first square of the board, two on the second, four
on the third, doubling on each of the 64 squares. The king
laughed at such modesty and agreed at once.
The total is a geometric series with a = 1,
r = 2, n = 64:
S_{64} = \frac{1 \times (2^{64} - 1)}{2 - 1} = 2^{64} - 1 = 18\,446\,744\,073\,709\,551\,615.
Over 18 quintillion grains — roughly five hundred billion
tonnes of rice, around a thousand years of the entire world's modern harvest. The first
half of the board is unremarkable (square 32 carries about two
billion grains, a few lorry-loads); it's the second half where doubling becomes
catastrophic. Notice the delicious near-miss in the formula: the total of all
64 squares is just one grain short of what square
65 alone would have held — with r = 2,
every partial sum is one less than the next term. In the legend, the king either made the
inventor his chief adviser or had him executed, depending on who's telling it. Either way:
never sign a geometric contract without summing the series.
See it explained