1.6 - Sums to infinity

1.6 - Sums to infinity

An endless sum can have a finite value, provided its partial totals settle towards one number. In this final part of 1.6, you will explain when a geometric series converges, calculate its sum to infinity and use the convergence condition to accept or reject possible ratios. Alternating signs can still lead to a well-defined total.

Why an infinite sum can converge

Can 8+4+2+1+⋯8+4+2+1+\cdots add up to 1616, even though another positive term is always waiting? After four terms the total is 1515. The next term fills half the gap to 1616, and every later term fills half the remaining gap. The total never reaches 1616 after finitely many terms, but it gets as close as we wish.

The objects approaching a total are the partial sums, not the individual terms. Here the terms approach 00, while their totals approach 1616.

Convergence and partial sums

The partial sum SnS_n is the sum of the first nn terms. An infinite series converges if its partial sums approach one fixed finite number as nn increases without bound. That number is its sum to infinity, written S∞S_\infty.

If the partial sums do not approach one fixed finite number, the series diverges.

Shrinking terms alone do not settle the question for every possible series. For a GP, however, its finite-sum formula gives a precise condition: powers of a ratio whose magnitude is less than 11 shrink to zero, and the partial sums settle.

Geometric convergence

For a GP with nonzero first term, its infinite series converges exactly when

∣r∣<1,equivalently−1<r<1.|r|<1, \quad\text{equivalently}\quad -1<r<1.

The absolute value allows negative ratios as well as positive ones.

In the formula booklet.

The nonzero-first-term condition excludes a harmless special case: 0+0+0+⋯=00+0+0+\cdots=0, whatever multiplier is chosen to describe it. For r=0r=0 and any first term aa, the sequence is a,0,0,…a,0,0,\ldots, whose sum is aa.

Worked example 1: approaching from below

Question. Find the first four partial sums of 8+4+2+1+⋯8+4+2+1+\cdots, and describe how they approach their limiting value.

Plan. Add terms successively and compare each total with 1616.

S1=8S2=8+4=12S3=8+4+2=14S4=8+4+2+1=15.\begin{aligned} S_1&=8\\ S_2&=8+4=12\\ S_3&=8+4+2=14\\ S_4&=8+4+2+1=15. \end{aligned}

The gaps to 1616 are 8,4,2,18,4,2,1, halving each time. The ratio is 1/21/2, whose magnitude is less than 11.

Answer. Partial sums 8,12,14,158,12,14,15; they increase towards 1616.

Check. The finite-sum formula gives Sn=16(1−2−n)S_n=16(1-2^{-n}). Thus 16−Sn=16/2n16-S_n=16/2^n, a positive gap that can be made arbitrarily small. It also gives S4=15S_4=15.

Now change only the sign of the ratio. The terms still shrink in magnitude, but successive totals land on opposite sides of their limiting value.

Worked example 2: alternating around a limit

Question. Find the first four partial sums of 8−4+2−1+⋯8-4+2-1+\cdots. Explain whether the infinite series converges.

Plan. Add the signed terms and check the magnitude of the common ratio.

S1=8S2=8−4=4S3=8−4+2=6S4=8−4+2−1=5.\begin{aligned} S_1&=8\\ S_2&=8-4=4\\ S_3&=8-4+2=6\\ S_4&=8-4+2-1=5. \end{aligned}

The ratio is −1/2-1/2, so ∣r∣=1/2<1|r|=1/2<1. Using the finite-sum expression,

Sn=163{1−(−12)n}.S_n=\frac{16}3\left\{1-\left(-\frac12\right)^n\right\}.

The power tends to zero, giving a fixed limiting total 16/316/3.

Answer. Partial sums 8,4,6,58,4,6,5; the series converges to 16/316/3, alternating above and below that value.

Check. Their differences from 16/316/3 are 8/3,−4/3,2/3,−1/38/3,-4/3,2/3,-1/3. Each signed difference is −1/2-1/2 times the previous one, so their magnitudes halve.

The plots show partial sums at integer indices. The positive-ratio totals approach from below; the negative-ratio totals approach from alternating sides.

[DIAGRAM: asset_name: Two ways for partial sums to settle; asset_slug: geometric-partial-sums; caption: Both series converge because the ratio has magnitude one half, although only the positive-ratio partial sums increase throughout; description: Two coordinate plots show partial sums S_n for n from 1 to 9, with the same vertical scale. The left has first term 8 and ratio 1 over 2, with initial partial sums 8, 12, 14 and 15 and a dashed horizontal limit 16. The right has first term 8 and ratio minus 1 over 2, with initial partial sums 8, 4, 6 and 5 and a dashed horizontal limit 16 over 3. Dots mark integer indices and guide lines connect them. The alternating totals approach the limit from opposite sides.]
Both series converge because the ratio has magnitude one half, although only the positive-ratio partial sums increase throughout

Convergence requires getting close and staying close; it does not require the totals to increase at every step.

Key idea

A sum to infinity is a limit of finite totals. For a nonzero geometric series, ∣r∣<1|r|<1 makes the remaining change shrink away, even when its sign alternates.

Explain that distinction for two fresh series without needing their limiting totals.

Finding a sum to infinity

The finite sum explains the infinite one. For ∣r∣<1|r|<1, the power rnr^n approaches zero as nn grows, so

Sn=a(1−rn)1−rapproachesa1−r.S_n=\frac{a(1-r^n)}{1-r} \quad\text{approaches}\quad \frac a{1-r}.

We are taking a limit of valid finite sums, rather than treating infinity as an ordinary term number to substitute into a power.

The sum to infinity of a GP

S∞=a1−r,∣r∣<1.S_\infty=\frac a{1-r},\qquad |r|<1.

Here aa is the first term and rr the common ratio. Check the condition before using the formula as a sum.

In the formula booklet.

For example, 8+4+2+⋯8+4+2+\cdots has total 8/(1−1/2)=168/(1-1/2)=16, resolving the opening question. Its alternating partner has total 8/(1+1/2)=16/38/(1+1/2)=16/3.

The formula can also recover missing information. If both aa and rr are unknown, combine it with another term condition. More than one convergent progression can fit the information.

Worked example 3: recovering the first term

Question. A GP has common ratio 2/52/5 and sum to infinity 3030. Find its first and second terms.

Plan. Rearrange the infinite-sum formula for aa, then multiply by rr.

Since ∣2/5∣<1|2/5|<1,

30=a1−2/5a=30(35)=18u2=18(25)=365.\begin{aligned} 30&=\frac a{1-2/5}\\ a&=30\left(\frac35\right)=18\\ u_2&=18\left(\frac25\right)=\frac{36}5. \end{aligned}

Answer. First term 1818, second term 36/536/5.

Check. Removing the first term leaves a copy of the full series scaled by 2/52/5. Its total is therefore (2/5)30=12(2/5)30=12, and 18+12=3018+12=30.

Keep the sum and the second term, but hide the ratio. Solving for it reveals another possible progression as well.

Worked example 4: two unknown parameters

Question. A GP has sum to infinity 3030 and second term 36/536/5. Find the possible first terms and common ratios.

Plan. Express aa in terms of rr using the total, then use ar=36/5ar=36/5.

a=30(1−r)30r(1−r)=36525r2−25r+6=0(5r−2)(5r−3)=0.\begin{aligned} a&=30(1-r)\\ 30r(1-r)&=\frac{36}5\\ 25r^2-25r+6&=0\\ (5r-2)(5r-3)&=0. \end{aligned}

Thus r=2/5r=2/5 or 3/53/5. Both have magnitude below 11.

For r=2/5r=2/5, a=18a=18. For r=3/5r=3/5, a=30(2/5)=12a=30(2/5)=12.

Answer. (a,r)=(18,2/5)(a,r)=(18,2/5) or (12,3/5)(12,3/5).

Check. The second terms are 18(2/5)=36/518(2/5)=36/5 and 12(3/5)=36/512(3/5)=36/5. The self-similarity equations 30=18+(2/5)3030=18+(2/5)30 and 30=12+(3/5)3030=12+(3/5)30 verify the two totals, with convergence already checked.

A sum condition does not automatically identify a unique ratio.

Watch out

Keep every root until you have checked it against ∣r∣<1|r|<1 and the original data. Choosing only the smaller positive root would lose a valid progression in the example above.

Find both possible progressions in this new problem.

Interpreting convergence

The expression a/(1−r)a/(1-r) can produce a number even when the series has no sum to infinity. Its algebraic value is not enough: the convergence condition belongs to the method.

For a nonzero first term, the boundary cases show why the inequalities must be strict.

RatioWhat happens to the partial sums?Sum to infinity?
r=1r=1a,2a,3a,…a,2a,3a,\ldots grow in magnitudeNo
r=−1r=-1a,0,a,0,…a,0,a,0,\ldots keep switching between two valuesNo
$r>1$
$r<1$

Why must the terms approach zero? Each term is the difference between consecutive partial sums. If both totals are settling at the same finite value, the change between them must shrink to zero. The ratios in the first three rows fail this necessary test.

Worked example 5: rejecting one algebraic root

Question. A GP has sum to infinity 88 and second term −6-6. Find its first term and common ratio.

Plan. Solve the two parameter equations, then check each ratio for convergence before accepting it.

a=8(1−r)8r(1−r)=−64r2−4r−3=0(2r−3)(2r+1)=0.\begin{aligned} a&=8(1-r)\\ 8r(1-r)&=-6\\ 4r^2-4r-3&=0\\ (2r-3)(2r+1)&=0. \end{aligned}

The possible algebraic ratios are 3/23/2 and −1/2-1/2. The first has magnitude greater than 11, so reject it. For r=−1/2r=-1/2,

a=8(1+12)=12.a=8\left(1+\frac12\right)=12.

Answer. a=12a=12, r=−1/2r=-1/2.

Check. The terms begin 12,−6,3,−3/212,-6,3,-3/2, and their partial sums 12,6,9,15/212,6,9,15/2 alternate towards 88. The second term is correct, and 12+(−1/2)8=812+(-1/2)8=8. The rejected pair a=−4,r=3/2a=-4,r=3/2 has terms −4,−6,−9,…-4,-6,-9,\ldots, which do not tend to zero.

Change only the specified second term. This time neither algebraic root meets the convergence requirement.

Worked example 6: incompatible information

Question. Can a GP have sum to infinity 88 and second term −16-16? Justify your answer.

Plan. Find the ratios the information would require, then test both, including the boundary value.

a=8(1−r)8r(1−r)=−16r2−r−2=0(r−2)(r+1)=0.\begin{aligned} a&=8(1-r)\\ 8r(1-r)&=-16\\ r^2-r-2&=0\\ (r-2)(r+1)&=0. \end{aligned}

Thus r=2r=2 or r=−1r=-1. Neither satisfies ∣r∣<1|r|<1.

Answer. No such GP exists.

Check. The candidate r=2,a=−8r=2,a=-8 gives partial sums −8,−24,−56,…-8,-24,-56,\ldots. The candidate r=−1,a=16r=-1,a=16 gives partial sums 16,0,16,0,…16,0,16,0,\ldots. Neither settles at 88, although substituting either pair into a/(1−r)a/(1-r) misleadingly produces 88.

The opening sum has ratio 1/21/2, safely inside the interval. Its total is 1616. A ratio exactly equal to 11 or −1-1 would change that conclusion completely.

Exam tip

A parameter equation may give more ratios than the original infinite-sum problem allows. Show the algebraic solutions, then apply the strict condition −1<r<1-1<r<1 and state which are valid.

Test a final set of proposed information.

Quick Recap

  • A sum to infinity is the finite limit of the partial sums, not a last term.
  • A geometric series with nonzero first term converges exactly when ∣r∣<1|r|<1, including negative ratios in that interval.
  • For a convergent GP, S∞=a/(1−r)S_\infty=a/(1-r); combine this with term information to recover parameters.
  • Check every candidate ratio. The boundaries r=1r=1 and r=−1r=-1 diverge for nonzero first terms.

The endless sum 8+4+2+1+⋯8+4+2+1+\cdots converges to 1616: each new term halves the remaining gap.