P2 4.4 - Geometric sequences and finite sums

P2 4.4 - Geometric sequences and finite sums

Find terms and totals when each new term is obtained by multiplying by the same number. You will derive the finite-sum formula, then use logarithms to work backwards from a total to the number of terms.

Nth terms and common ratio

How many terms of 6+9+13.5+⋯6+9+13.5+\cdots are needed before the total first exceeds 130130? The terms increase by multiplication, so adding a fixed difference will not answer this question. First we need a language for that multiplication.

In 5,15,45,135,…5,15,45,135,\ldots, each term is three times the previous term. Four terms require only three multiplications: this is the reason for the n−1n-1 in the term formula.

Geometric sequence

A geometric sequence, or geometric progression, has a constant multiplier called the common ratio rr. For consecutive nonzero terms,

r=next termprevious term.r=\frac{\text{next term}}{\text{previous term}}.

A geometric series is the sum of terms of a geometric sequence. For example, 5,15,45,…5,15,45,\ldots is a sequence; 5+15+45+⋯5+15+45+\cdots is a series.

Starting with first term aa, the terms are a,ar,ar2,…a,ar,ar^2,\ldots. The exponent counts how many times you have multiplied after the first term.

Geometric nth term

For first term aa and common ratio rr,

un=arn−1.u_n=ar^{n-1}.

In the formula booklet.

Here nn is a positive integer. If r=0r=0, write u1=au_1=a and all later terms as zero directly; there is no need to interpret 000^0. A ratio cannot be recovered by dividing by a zero term.

Worked example 1: a positive ratio

Question. Find a formula for the nth term of 5,15,45,…5,15,45,\ldots, and find u6u_6.

Plan. Divide consecutive terms to find rr, then count five multiplications for the sixth term.

r=155=3next divided by previousun=5(3)n−1first term is 5u6=5(3)5=1215\begin{aligned} r&=\frac{15}{5}=3 &&\text{next divided by previous}\\ u_n&=5(3)^{n-1} &&\text{first term is }5\\ u_6&=5(3)^5=1215 \end{aligned}

Answer. un=5(3)n−1u_n=5(3)^{n-1} and u6=1215u_6=1215.

Check. Listing the terms gives 5,15,45,135,405,12155,15,45,135,405,1215.

Change only the sign of the common ratio. The magnitudes follow the same pattern, but the signs alternate.

Worked example 2: a negative ratio

Question. Find a formula for the nth term of 5,−15,45,…5,-15,45,\ldots, and find u6u_6.

Plan. Keep the negative ratio in brackets so that the power applies to its sign too.

r=−155=−3un=5(−3)n−1u6=5(−3)5=−1215\begin{aligned} r&=\frac{-15}{5}=-3\\ u_n&=5(-3)^{n-1}\\ u_6&=5(-3)^5=-1215 \end{aligned}

Answer. un=5(−3)n−1u_n=5(-3)^{n-1} and u6=−1215u_6=-1215.

Check. The terms are 5,−15,45,−135,405,−12155,-15,45,-135,405,-1215: even-numbered terms are negative.

A ratio compares in a particular direction.

Watch out

For 8,4,2,…8,4,2,\ldots, the ratio is 4/8=1/24/8=1/2, not 8/4=28/4=2. Check that multiplying the earlier term by your ratio produces the next term.

Use the sign of the ratio as well as its magnitude.

Deriving the finite-sum formula

Multiplying a geometric sum by its ratio shifts every term one place along the pattern. Subtracting then cancels all the shared terms.

For the four-term sum S4=3+6+12+24S_4=3+6+12+24, multiply by 22: 2S4=6+12+24+482S_4=6+12+24+48. The middle three terms cancel when the first line is subtracted from the second, leaving S4=48−3=45S_4=48-3=45.

[DIAGRAM: asset_name: Cancelling a geometric sum; asset_slug: finite-gp-cancellation; caption: Multiplication by the ratio aligns all but the first and final terms.; description: Two aligned rows show S4 equal to 3 plus 6 plus 12 plus 24 and 2S4 equal to 6 plus 12 plus 24 plus 48. The matching 6, 12 and 24 terms are paired, leaving 2S4 minus S4 equal to 48 minus 3.]
Multiplication by the ratio aligns all but the first and final terms.

The same cancellation proves the general result. Write exactly nn terms in each line:

Sn=a+ar+ar2+⋯+arn−1rSn=a+ar+ar2+⋯+arn−1+arn\begin{aligned} S_n&=a+ar+ar^2+\cdots+ar^{n-1}\\ rS_n&=\phantom{a+{}}ar+ar^2+\cdots+ar^{n-1}+ar^n \end{aligned}

Subtract the second line from the first:

Sn−rSn=a−arn⟹(1−r)Sn=a(1−rn).S_n-rS_n=a-ar^n \quad\Longrightarrow\quad (1-r)S_n=a(1-r^n).

The final step divides by 1−r1-r, so it requires r≠1r\ne1. You should be able to reproduce this proof, including the shifted line and cancellation.

Finite geometric sum

For a positive integer nn and r≠1r\ne1,

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

Both forms are equivalent. If r=1r=1, every term is aa, so Sn=naS_n=na.

The first form is in the formula booklet. The r=1r=1 case follows directly from the sum.

For r>1r>1, the second form avoids two negative quantities. For negative ratios, either form works if powers and brackets are handled carefully.

Worked example 3: summing positive terms

Question. Find the sum of the first five terms of 3+6+12+⋯3+6+12+\cdots.

Plan. Use a=3a=3, r=2r=2 and n=5n=5 in the finite-sum formula.

S5=3(25−1)2−1=3(32−1)=93.S_5=\frac{3(2^5-1)}{2-1}=3(32-1)=93.

Answer. S5=93S_5=93.

Check. Direct addition gives 3+6+12+24+48=933+6+12+24+48=93.

Change only the ratio from 22 to −2-2. The sum formula still works, but the signs now matter.

Worked example 4: summing alternating terms

Question. Find the sum of the first five terms of 3−6+12−⋯3-6+12-\cdots.

Plan. Substitute r=−2r=-2 as a single bracketed number.

S5=3{1−(−2)5}1−(−2)=3(1+32)3=33.S_5=\frac{3\{1-(-2)^5\}}{1-(-2)} =\frac{3(1+32)}{3}=33.

Answer. S5=33S_5=33.

Check. 3−6+12−24+48=333-6+12-24+48=33.

The last term uses rn−1r^{n-1}, while the sum formula uses rnr^n: that extra power comes from the shifted row in the proof.

Finding the number of terms using logarithms

When the unknown is a term number, rearrange until a single power remains. Logarithms then bring its exponent down.

For our opening series, a=6a=6 and r=1.5r=1.5, so

Sn=6(1.5n−1)0.5=12(1.5n−1).S_n=\frac{6(1.5^n-1)}{0.5}=12(1.5^n-1).

This gives a compact equation for the whole total. Taking logs before isolating 1.5n1.5^n would leave a subtraction inside the logarithm; there is no log law that splits a difference.

Worked example 5: an exact total

Question. The series 6+9+13.5+⋯6+9+13.5+\cdots has sum 124.6875124.6875 for its first nn terms. Find nn, showing your working.

Plan. Isolate 1.5n1.5^n, then use the power law of logarithms.

12(1.5n−1)=124.68751.5n=11.390625divide by 12, then add 1nlog⁡1.5=log⁡11.390625n=log⁡11.390625log⁡1.5=6\begin{aligned} 12(1.5^n-1)&=124.6875\\ 1.5^n&=11.390625 &&\text{divide by }12\text{, then add }1\\ n\log1.5&=\log11.390625\\ n&=\frac{\log11.390625}{\log1.5}=6 \end{aligned}

Answer. n=6n=6.

Check. Adding 6,9,13.5,20.25,30.375,45.56256,9,13.5,20.25,30.375,45.5625 gives 124.6875124.6875.

Change the demand from an exact total to the first total exceeding a threshold. Now the logarithm gives a boundary, and nn must be an integer beyond it.

Worked example 6: the first total above a threshold

Question. Find the smallest number of terms of 6+9+13.5+⋯6+9+13.5+\cdots whose sum exceeds 130130.

Plan. Solve the sum inequality, then check the two neighbouring integers.

12(1.5n−1)>1301.5n>716n>log⁡(71/6)log⁡1.5=6.094…\begin{aligned} 12(1.5^n-1)&>130\\ 1.5^n&>\frac{71}{6}\\ n&>\frac{\log(71/6)}{\log1.5}=6.094\ldots \end{aligned}

The division preserves the inequality because log⁡1.5>0\log1.5>0.

Answer. The smallest number is 77 terms.

Check. S6=124.6875<130S_6=124.6875<130, while S7=193.03125>130S_7=193.03125>130. All terms are positive, so the sums increase; these checks establish the first crossing.

A question about the nth term instead begins with un=arn−1u_n=ar^{n-1}, not SnS_n. For a decreasing positive sequence, solving arn−1<Lar^{n-1}<L may require division by log⁡r<0\log r<0, which reverses the inequality. In either case, keep working precision and check neighbouring integer term numbers. A noninteger answer to an exact-total question may mean that no whole number of terms gives that total.

Quick Recap

  • A common multiplier gives un=arn−1u_n=ar^{n-1}.
  • Multiply the finite sum by rr and subtract to prove Sn=a(1−rn)/(1−r)S_n=a(1-r^n)/(1-r) for r≠1r\ne1.
  • When r=1r=1, use Sn=naS_n=na.
  • Isolate the power before taking logs, then interpret nn as an integer.

The opening total first exceeds 130130 after 77 terms.