Suppose you take a step of length one, then half a step, then a quarter of a step, and so on, halving each time. How far do you walk in total?

The honest answer is two, exactly two, and the surprise is not that it adds up but that it adds up to something so clean. We’re going to derive the formula for an infinite geometric series carefully enough that, by the end, the cleanness feels obvious.

The setup

A geometric series is a sum where each term is a fixed multiple of the previous one. If the first term is a and the multiplier is r, the series looks like

S=a+ar+ar2+ar3+

Now, how do we know that S is finite? Our walking example has a=1 and r=1/2. The condition we’ll need is that |r|<1 — that is, each term is strictly smaller than the last in absolute value. Without that, the terms don’t shrink, and a sum of non-shrinking terms can’t converge to anything. In fact, shrinking terms isn’t enough to guarantee convergence.

The trick

How does one compute an infinite sum in finite time? Well, you use a shortcut. Let S stand for the sum. Then

Sn=Σk=0nark

Now multiply both sides by r:

rSn=Σk=0nark+1

Subtract the second equation from the first. Almost everything cancels — SnrSn=Σk=0narkΣk=0nark+1,

by combining sums we have Σk=1n(arkark1)=aarn+1.

Factor the left side and solve:

Sn=a(1rn+1)1r,

since |r|<1, it follows that rn+10 as n. So S=a1r.

That’s the formula. For our walk, a=1 and r=1/2, so S=1/(11/2)=2. The total distance is exactly two steps, no matter how many halvings you chain together.

Notice that we’re dividing by 1r. Remember earlier, the condition that |r|<1? Notice that as r1 the denominator approaches 0, which implies S.

What happens when |r|>1?

Suppose, we let r=2. Then we get something like this:

S=a12=a=a+2a+4a+8a+

This is clearly nonsense for a0. If a>0, then a<0. The right hand side a+2a+4a+8a+ is clearly the sum of positive numbers - it has no hope of being negative! The reason why it is nonsense is because the sum diverges for |r|>1. The summation formula we derived only makes sense when the sum converges.

A picture

It helps to see the partial sums creeping up on their limit:

Partial sums of the geometric series with a=1 and r=1/2

Each red dot is a partial sum. They get closer and closer to two but never reach it — and yet the limit, the place they’re heading, is a real and exact number.

Why this matters

The geometric series shows up everywhere: in compound interest, in the analysis of algorithms, in the geometry of fractals, in probability when you ask “how long until the first success?” Whenever you see a sum where each term is a fixed fraction of the last, you can apply the formula above without rederiving it.

It’s also the simplest example of an infinite process that converges to a finite answer, and learning to trust that intuition — that something endless can still be bounded — is one of the small mental pivots that calculus is built on.