Geometric Series

Learning goals

  • Sum a finite series with Sn=a1(1−rn)1−rS_n = \tfrac{a_1(1 - r^n)}{1 - r}
  • Prove it by multiplying by rr and subtracting
  • Take S=a11−rS = \tfrac{a_1}{1 - r} when ∣r∣<1|r| < 1
  • Say why ∣r∣≥1|r| \ge 1 leaves no finite sum
  • Convert a repeating decimal into an exact fraction

From a sequence to its sum

An ordered list like 3,6,12,24,483, 6, 12, 24, 48 is a geometric sequence. Join its terms with plus signs and you get a geometric series, a single number:

3+6+12+24+48=93.3 + 6 + 12 + 24 + 48 = 93.

As with an arithmetic series, write SnS_n for the sum of the first nn terms of a geometric sequence. Using the explicit term ak=a1rk−1a_k = a_1 r^{k-1} from the last lesson, every term is the first term times a power of the ratio:

Sn=a1+a2+⋯+an=a1+a1r+a1r2+⋯+a1rn−1.S_n = a_1 + a_2 + \cdots + a_n = a_1 + a_1 r + a_1 r^2 + \cdots + a_1 r^{n-1}.

In the summation notation from the arithmetic-series lesson, the same sum is

Sn=∑k=1na1rk−1.S_n = \sum_{k=1}^{n} a_1 r^{k-1}.

The only thing new compared with an arithmetic series is what sits between the terms: a constant multiplier rr instead of a constant added difference. That single change forces a different summing trick, because the reverse-and-add pairing no longer produces equal columns when the terms are scaled rather than stepped.

A formula for the finite sum

There is a clever move that collapses the whole sum. Multiply the series by the ratio rr and subtract the result from the original. Because multiplying by rr shifts every term over by one position, almost everything cancels.

See it first with numbers. Take the six-term sum S=3+6+12+24+48+96S = 3 + 6 + 12 + 24 + 48 + 96, built from the ratio-22 sequence. Multiply every term by 22 and line the result up under the original so matching terms sit in the same column:

S  =  3+6+12+24+48+962S  =  3+6+12+24+48+96+192\begin{aligned} S \;&=\; 3 + 6 + 12 + 24 + 48 + 96 \\[2pt] 2S \;&=\; \phantom{3 + {}} 6 + 12 + 24 + 48 + 96 + 192 \end{aligned}

Every term from 66 through 9696 sits in both rows, so subtracting the second row from the first cancels every one of them. Only the leading 33 from the top row and the trailing 192192 from the bottom row are left over:

S−2S=3−192=−189,soS=189.S - 2S = 3 - 192 = -189, \qquad\text{so}\qquad S = 189.

That matches adding the six terms directly. The general proof below is the same cancellation, written so it works for any first term, ratio, and number of terms.

The finite sum is Sn=a1(1−rn)1−rS_n = \frac{a_1(1 - r^{n})}{1 - r} for r≠1r \ne 1#

Write the sum of the first nn terms in full, each term the one before it times rr:

Sn=a1+a1r+a1r2+⋯+a1rn−1.S_n = a_1 + a_1 r + a_1 r^2 + \cdots + a_1 r^{n-1}.

Now multiply the whole line by the common ratio rr. Every term picks up one more factor of rr, so the entire list shifts one place to the right:

rSn=a1r+a1r2+a1r3+⋯+a1rn.r S_n = a_1 r + a_1 r^2 + a_1 r^3 + \cdots + a_1 r^{n}.

Subtract the second line from the first and watch what lines up. The a1ra_1 r in the top line cancels the a1ra_1 r in the bottom line, the a1r2a_1 r^2 cancels the a1r2a_1 r^2, and so on all the way down. Every middle term appears in both sums, so every one of them cancels. Only two survivors are left. One is the a1a_1 at the front of the top line, which has nothing beneath it. The other is the −a1rn-a_1 r^{n} at the end of the bottom line, which has nothing above it:

Sn−rSn=a1−a1rn.S_n - r S_n = a_1 - a_1 r^{n}.

Factor each side. The left side has the common factor SnS_n, and the right side has the common factor a1a_1:

Sn(1−r)=a1(1−rn).S_n(1 - r) = a_1(1 - r^{n}).

As long as r≠1r \ne 1 the factor 1−r1 - r is not zero, so divide both sides by it to free SnS_n:

Sn=a1(1−rn)1−r.S_n = \frac{a_1(1 - r^{n})}{1 - r}.

Check your understanding

In the proof above, multiplying SnS_n by rr and subtracting leaves only two surviving terms, a1a_1 and −a1rn-a_1 r^{n}. Why does every other term cancel?

Answer choices

The one ratio this formula cannot handle is r=1r = 1, because then 1−r=01 - r = 0 and dividing by it is illegal. That case needs no formula at all. When r=1r = 1 every term equals a1a_1, so the series is just a1a_1 added to itself nn times:

Sn=a1+a1+⋯+a1⏟n terms=n a1.S_n = \underbrace{a_1 + a_1 + \cdots + a_1}_{n \text{ terms}} = n\,a_1.

When the ratio is larger than 11 it is tidier to avoid the negative quantities in the fraction. Multiplying the top and bottom by −1-1 flips both differences and gives an equal form built from positive parts:

Sn=a1(rn−1)r−1.S_n = \frac{a_1(r^{n} - 1)}{r - 1}.

The two versions are the same number, so reach for whichever form keeps the denominator positive: the first when r<1r < 1 (so 1−r>01 - r > 0), the second when r>1r > 1 (so r−1>0r - 1 > 0).

Worked example 1 Sum the first 4 terms

Find the sum of the first 44 terms of the geometric series 81+27+9+3+⋯81 + 27 + 9 + 3 + \cdots

Read off the two numbers that define it. The first term is a1=81a_1 = 81, and the ratio is any term divided by the one before it, 2781=13\tfrac{27}{81} = \tfrac13, so r=13r = \tfrac13. You want n=4n = 4 terms. Since r<1r < 1, use the form with 1−r1 - r in the denominator:

S4=a1(1−r4)1−r=81(1−(13)4)1−13.S_4 = \frac{a_1(1 - r^{4})}{1 - r} = \frac{81\left(1 - \left(\tfrac13\right)^{4}\right)}{1 - \tfrac13}.

Work out the power first, (13)4=181\left(\tfrac13\right)^{4} = \tfrac{1}{81}, then finish the arithmetic:

S4=81(1−181)23=81×808123=8023=120.S_4 = \frac{81\left(1 - \tfrac{1}{81}\right)}{\tfrac23} = \frac{81 \times \tfrac{80}{81}}{\tfrac23} = \frac{80}{\tfrac23} = 120.

Adding the four terms directly, 81+27+9+381 + 27 + 9 + 3, also gives 120120, a good check that the formula does the same job in a single step.

Worked example 2 The chessboard grand total

Total the wheat on the chessboard from the previous lesson: one grain on the first square, two on the second, four on the third. Each square’s count doubles the one before it, across all 6464 squares.

The grain counts are the geometric sequence 1,2,4,8,…1, 2, 4, 8, \ldots, with first term a1=1a_1 = 1 and ratio r=2r = 2, and the last square (the 6464th) holds 2632^{63} grains. The grand total is the finite geometric series

S64=1+2+4+⋯+263.S_{64} = 1 + 2 + 4 + \cdots + 2^{63}.

With a1=1a_1 = 1, r=2r = 2, and n=64n = 64, the r>1r > 1 form keeps everything positive:

S64=a1(rn−1)r−1=1 (264−1)2−1=264−1.S_{64} = \frac{a_1(r^{n} - 1)}{r - 1} = \frac{1\,(2^{64} - 1)}{2 - 1} = 2^{64} - 1.

That is 18,446,744,073,709,551,61518{,}446{,}744{,}073{,}709{,}551{,}615 grains, more than eighteen quintillion, far more wheat than has ever been harvested in all of history. Notice how the formula crushes a sum of 6464 terms into a single subtraction. The whole board comes to exactly one less than 2642^{64}, the value of the square that would have come next.

Check your understanding

A geometric series has a1=4a_1 = 4, r=3r = 3, and n=4n = 4 terms. Find S4S_4.

Answer choices

Adding infinitely many terms

A geometric pattern can keep going forever, so it is natural to ask what happens if you try to add all of its terms, out to infinity. This is exactly the situation behind Zeno’s ancient puzzle: a runner must cross half the track, then half of what is left, then half of that, and so on forever, an endless list of shrinking distances. For most ratios, adding forever is dull: the running total never settles on one number, so there is no finite sum to report. But when the ratio is small in size, something remarkable happens. Infinitely many positive pieces can add up to a single finite value, exactly what lets Zeno’s runner finish the race after all.

A unit square tiled by 1/2, 1/4, 1/8, 1/16, and so onA square is split into a left half of area one half, then the remaining right half is split into an area one quarter, then one eighth, one sixteenth, and smaller pieces spiraling inward, each half the previous. Together they fill the whole square, so the sum is one.1/21/41/81/16…
Split a square in half, then halve the leftover again and again. The pieces have area 1/2, 1/4, 1/8, 1/16, and so on, and they tile the whole square without ever spilling out, so 1/2 + 1/4 + 1/8 + ... adds up to exactly 1.

This is Zeno’s runner too: each remaining stretch of track is half of what is left, and although the list of stretches never ends, they tile the whole track exactly, so the runner does finish the race after a finite distance.

The finite formula already shows why the same thing happens for any ratio with ∣r∣<1|r| < 1, not only r=12r = \tfrac12. Look again at the sum of the first nn terms:

Sn=a1(1−rn)1−r.S_n = \frac{a_1(1 - r^{n})}{1 - r}.

The only part that changes as you pile on more terms is the power rnr^{n} in the numerator. Suppose rr lies strictly between −1-1 and 11, that is ∣r∣<1|r| < 1. Then every multiplication by rr lands you on a number smaller in size than before, because multiplying by something less than 11 in absolute value always shrinks it. Keep multiplying and rnr^{n} marches toward zero. For r=12r = \tfrac12 the powers run 12,14,18,116,…\tfrac12, \tfrac14, \tfrac18, \tfrac{1}{16}, \ldots, each half the last and all heading to nothing.

rnr^{n} never actually reaches 00 after any finite number of terms, but it can be made as close to 00 as you like by adding enough terms. So the numerator 1−rn1 - r^{n} gets closer and closer to 11, and the partial sum SnS_n gets closer and closer to a fixed value:

S=a11−r.S = \frac{a_1}{1 - r}.

This is the sum of the infinite geometric series. When the partial sums approach one fixed number like this, the series is said to converge to that number; when they do not, it diverges. The tail you are dropping, all the terms past the nnth, is itself a tiny geometric series that keeps shrinking, so the more terms you include, the closer the total sits to a11−r\frac{a_1}{1 - r}. When rr is positive, every term shares a1a_1‘s sign, and the running total moves steadily toward that value without ever crossing it. When rr is negative, the terms alternate in sign and the running total lands just above and just below the value in turn. Those overshoots shrink to nothing, so the running total still closes in on that value.

This shortcut only makes sense when the sum SS really is a finite number to begin with, which is exactly the case ∣r∣<1|r| < 1.

Everything here hinges on that condition. If ∣r∣≥1|r| \ge 1 the terms do not shrink. When r=1r = 1 you are adding a1a_1 to itself forever and the total moves further from zero without bound (upward if a1a_1 is positive, downward if a1a_1 is negative). When r>1r > 1 the terms grow in size, so the total moves further from zero even faster. When r=−1r = -1 the running sum flips between a1a_1 and 00 and never settles anywhere. When r<−1r < -1 the terms grow in size while flipping sign, so the running total swings between larger and larger positive and negative values and never settles either. In every one of these cases there is no finite sum, and the formula a11−r\tfrac{a_1}{1 - r} does not apply. The rule to memorize is short: an infinite geometric series has a finite sum exactly when ∣r∣<1|r| < 1.

Check your understanding

The series with a1=6a_1 = 6 and r=−2r = -2 has no finite sum. Which explanation is correct?

Answer choices

Worked example 3 Two infinite sums

Find the sum of each infinite geometric series.

(a) 8+4+2+1+12+⋯8 + 4 + 2 + 1 + \tfrac12 + \cdots

The first term is a1=8a_1 = 8, and each term is half the one before it, so r=12r = \tfrac12. Because ∣r∣<1|r| < 1, the series has a finite sum:

S=a11−r=81−12=812=16.S = \frac{a_1}{1 - r} = \frac{8}{1 - \tfrac12} = \frac{8}{\tfrac12} = 16.

The partial sums 8,12,14,15,15.5,…8, 12, 14, 15, 15.5, \ldots stay just under 1616, and they get closer and closer to 1616 the more terms you add. The infinite sum is the number they are closing in on, so the answer is exactly 1616.

(b) 12−6+3−32+⋯12 - 6 + 3 - \tfrac32 + \cdots

Here a1=12a_1 = 12, and each term is −12-\tfrac12 times the one before it, so r=−12r = -\tfrac12. The sign does not stop it from converging, since ∣r∣=12<1|r| = \tfrac12 < 1; it only makes the terms alternate. Carry the sign into the formula:

S=121−(−12)=1232=8.S = \frac{12}{1 - \left(-\tfrac12\right)} = \frac{12}{\tfrac32} = 8.

With a1a_1 positive here, the negative ratio pulls the sum below the first term. The same formula lands the answer regardless of the signs involved, though whether a negative ratio pulls the sum up or down in general also depends on the sign of a1a_1.

Check your understanding

Find the sum of the infinite geometric series 15+125+1125+⋯\frac{1}{5} + \frac{1}{25} + \frac{1}{125} + \cdots

Answer choices

Repeating decimals are geometric series

A repeating decimal such as 0.7777…0.7777\ldots hides an infinite geometric series, which is why every repeating decimal is secretly an exact fraction. Splitting the decimal into its place values lines the series up, and the infinite-sum formula turns it back into a fraction.

Worked example 4 Repeating decimals to fractions

Write each repeating decimal as an exact fraction.

(a) 0.7‾=0.7777…0.\overline{7} = 0.7777\ldots

Break the decimal into place values. The digit 77 sits in the tenths place, then the hundredths, then the thousandths, so

0.7‾=710+7100+71000+⋯0.\overline{7} = \frac{7}{10} + \frac{7}{100} + \frac{7}{1000} + \cdots

This is an infinite geometric series with first term a1=710a_1 = \tfrac{7}{10} and ratio r=110r = \tfrac{1}{10}, since each place is a tenth of the one before it. Because ∣r∣<1|r| < 1, apply the formula:

0.7‾=7/101−1/10=7/109/10=79.0.\overline{7} = \frac{7/10}{1 - 1/10} = \frac{7/10}{9/10} = \frac{7}{9}.

(b) 0.48‾=0.484848…0.\overline{48} = 0.484848\ldots

When the repeating block is two digits long, each copy is a hundredth of the last. So for a two-digit block, the first term is the block over 100100 and the ratio is 1100\tfrac{1}{100}:

0.48‾=48100+4810000+⋯=48/1001−1/100=48/10099/100=4899=1633.0.\overline{48} = \frac{48}{100} + \frac{48}{10000} + \cdots = \frac{48/100}{1 - 1/100} = \frac{48/100}{99/100} = \frac{48}{99} = \frac{16}{33}.

The pattern is worth keeping: a one-digit repeat divides by 99, and a two-digit repeat by 9999. Each result then reduces to lowest terms, here from 4899\tfrac{48}{99} down to 1633\tfrac{16}{33}.

Check your understanding

Write 0.18‾0.\overline{18} as an exact fraction.

Answer choices

Worked example 5 A bouncing ball

A ball is dropped from a height of 1212 m. On each bounce it rebounds to half of its previous height. If it keeps bouncing, what is the total vertical distance it travels?

The ball first falls the full 1212 m. After that, every bounce carries it up to some peak and then back down the same distance, so each bounce past the drop contributes twice its peak height. The peak heights form a geometric sequence starting at the first rebound, 12⋅12=612 \cdot \tfrac12 = 6 m, and halving each time: 6,3,32,…6, 3, \tfrac32, \ldots. The total up-and-down distance from all the bounces is an infinite geometric series with a1=6a_1 = 6 and r=12r = \tfrac12, doubled to count both directions:

2(6+3+32+⋯ )=2⋅61−12=2⋅12=24 m.2\left(6 + 3 + \tfrac32 + \cdots\right) = 2 \cdot \frac{6}{1 - \tfrac12} = 2 \cdot 12 = 24 \text{ m}.

Add the first drop, which happened before any bounce:

12+24=36 m.12 + 24 = 36 \text{ m}.

The ball bounces infinitely many times in this idealized model, yet the rebounds shrink fast enough that the whole journey adds up to a finite 3636 m.

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Core practice

Practice problems at the level of the course, to be worked out on paper. Hints one at a time, then the answer or the full worked solution, with your progress kept in this browser.

Core practice Work it out on paper 10 problems Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

Go deeper (optional)

You can skip this and keep going. Read it if you want to know more.

A second way to reach the infinite-sum formula

Here is a second way to reach S=a11−rS = \dfrac{a_1}{1 - r}, working with the infinite sum directly instead of through the finite partial sums.

See it first with numbers, using a series that converges: a1=3a_1 = 3 and r=16r = \tfrac16, so S=3+12+112+⋯S = 3 + \tfrac12 + \tfrac{1}{12} + \cdots. Multiply every term by r=16r = \tfrac16 and line the result up under the original so matching terms sit in the same column:

S  =  3+12+112+⋯16S  =  3+12+112+⋯\begin{aligned} S \;&=\; 3 + \tfrac12 + \tfrac{1}{12} + \cdots \\[2pt] \tfrac16 S \;&=\; \phantom{3 + {}} \tfrac12 + \tfrac{1}{12} + \cdots \end{aligned}

Every term from 12\tfrac12 onward sits in both rows, so subtracting the second row from the first cancels all of them, leaving only the leading 33:

S−16S=3,so56S=3,soS=185=3.6.S - \tfrac16 S = 3, \qquad\text{so}\qquad \tfrac56 S = 3, \qquad\text{so}\qquad S = \tfrac{18}{5} = 3.6.

That matches the infinite-sum formula: S=a11−r=31−1/6=35/6=185S = \dfrac{a_1}{1 - r} = \dfrac{3}{1 - 1/6} = \dfrac{3}{5/6} = \dfrac{18}{5}.

The same move works for any ∣r∣<1|r| < 1. Call the full infinite sum SS, then multiply it by rr, which shifts every term one place to the right:

S=a1+a1r+a1r2+⋯ ,rS=a1r+a1r2+a1r3+⋯S = a_1 + a_1 r + a_1 r^2 + \cdots, \qquad r S = a_1 r + a_1 r^2 + a_1 r^3 + \cdots

The second sum is exactly the first with its leading a1a_1 removed, so rSr S is S−a1S - a_1. Solving that relation gives the same formula:

rS=S−a1  ⟹  S(1−r)=a1  ⟹  S=a11−r.r S = S - a_1 \;\Longrightarrow\; S(1 - r) = a_1 \;\Longrightarrow\; S = \frac{a_1}{1 - r}.

This shortcut only makes sense when the sum SS really is a finite number to begin with, which is exactly the case ∣r∣<1|r| < 1.

A bit of history (optional)

Most rules of area the Greeks trusted were built for straight edges: rectangles, triangles, and shapes you can cut into those. So what is the area of a region with a curved side?

Archimedes settled that question for one curve, the parabola, working in Syracuse, a Greek city, in the third century BCE. His method was to fill the region with triangles. One large triangle takes most of it. The gaps left over take smaller triangles, the gaps after those take smaller ones still, and the process never ends.

The pattern hidden in those triangles is what rescues the calculation. Each new batch of triangles contributes exactly a quarter of the batch before it. So the running total is one, plus a quarter, plus a sixteenth, and on for ever. That is a geometric series with ratio 14\tfrac14. Archimedes proved it comes to 43\tfrac43 of that first triangle. It is an exact value, not an estimate.

He would never have written the sum the way you just saw it. Greek mathematicians distrusted the idea of literally adding up an endless list, so he reached 43\tfrac43 instead by a longer route that stayed finite the whole way, comparing areas directly rather than summing an infinite series. The number he was chasing is nevertheless yours. Put a1=1a_1 = 1 and r=14r = \tfrac14 into a11−r\tfrac{a_1}{1 - r} and out comes 43\tfrac43. He measured a region bounded by a curve, nineteen centuries before calculus existed.