Pure 4.5 - Geometric sequences and series

Pure 4.5 - Geometric sequences and series

Repeated multiplication creates geometric sequences and their sums. You will find unknown terms and ratios, prove the finite sum formula, decide when a sum to infinity exists, and work backwards from sums. Logarithms will then let you find how many terms are needed to pass a target.

Fixed ratio structure

Can infinitely many positive numbers add to just 22? The partial sums 1,1+12,1+12+14,…1,1+\frac12,1+\frac12+\frac14,\ldots suggest they can. We will explain that limit and decide when the same idea fails.

You already know

A sequence lists terms; a series adds them. Index laws give r5/r2=r3r^5/r^2=r^3 when r≠0r\ne0. A negative number raised to an odd power is negative; an even power is positive.

For 3,6,12,24,…3,6,12,24,\ldots, every new term is twice the previous one. The differences change, but the multiplicative rule stays fixed.

Geometric sequence

A geometric sequence has a fixed multiplier rr, its common ratio: un+1=runu_{n+1}=ru_n. With non-zero consecutive terms, r=un+1/unr=u_{n+1}/u_n. For example, 20,−10,5,−5/2,…20,-10,5,-5/2,\ldots has r=−1/2r=-1/2. The list 3,6,9,12,…3,6,9,12,\ldots is not geometric, since its ratios differ.

Starting at aa, the terms are a,ar,ar2,…a,ar,ar^2,\ldots. There are n−1n-1 multiplications from the first term to the nth.

Nth term of a geometric sequence

For first term aa, common ratio rr and n∈Nn\in\mathbb N,

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

If r=0r=0, define the first term as aa and all subsequent terms as 00, avoiding any need to evaluate 000^0.

Not in the formula booklet: learn it.

Two known terms can reveal the ratio: divide their equations to eliminate aa, provided the denominator term is non-zero.

Worked example 1: finding a ratio from separated terms

Question. A geometric sequence has u3=12u_3=12 and u6=96u_6=96. Find r,ar,a and unu_n.

Plan. Divide the term equations to find r3r^3, then substitute back.

ar2=12,ar5=96nth-term equationsr3=96/12=8divider=2real cube roota=12/22=3substitute back\begin{aligned} ar^2&=12,\quad ar^5=96 &&\text{nth-term equations}\\ r^3&=96/12=8 &&\text{divide}\\ r&=2 &&\text{real cube root}\\ a&=12/2^2=3 &&\text{substitute back} \end{aligned}

Why this step? Dividing removes the same first-term factor and leaves the three-step multiplier.

Answer. r=2, a=3, un=3(2)n−1r=2,\ a=3,\ u_n=3(2)^{n-1}.

Check. u3=3(4)=12u_3=3(4)=12 and u6=3(32)=96u_6=3(32)=96.

Change only the sign of the sixth term. The three-step multiplier, and therefore the ratio, becomes negative.

Worked example 2: allowing a negative ratio

Question. A geometric sequence has u3=12u_3=12 and u6=−96u_6=-96. Find r,ar,a and unu_n.

Plan. Divide as before, retaining the sign of the quotient.

ar2=12,ar5=−96term equationsr3=−8divider=−2odd roota=12/(−2)2=3find first term\begin{aligned} ar^2&=12,\quad ar^5=-96 &&\text{term equations}\\ r^3&=-8 &&\text{divide}\\ r&=-2 &&\text{odd root}\\ a&=12/(-2)^2=3 &&\text{find first term} \end{aligned}

Why this step? An odd power determines the sign; replacing −8-8 by 88 would lose essential information.

Answer. r=−2, a=3, un=3(−2)n−1r=-2,\ a=3,\ u_n=3(-2)^{n-1}.

Check. The terms begin 3,−6,12,−24,48,−963,-6,12,-24,48,-96.

If the gap between known positions is even, both signs of a real ratio may survive. For example, r2=4r^2=4 gives r=2r=2 or r=−2r=-2, unless other information decides the sign.

Watch out

A geometric sequence need not increase, stay positive or converge. A negative ratio alternates signs; its magnitude controls whether term sizes grow or shrink.

Use a negative three-step multiplier with new values.

Finite geometric sums

The sum 1+2+4+81+2+4+8 becomes especially simple if you double it and subtract the original sum. Most terms cancel. The same shift proves the general formula.

For nn terms,

Sn=a+ar+ar2+⋯+arn−1rSn=ar+ar2+⋯+arn−1+arnSn−rSn=a−arncancel matching terms(1−r)Sn=a(1−rn)factorise\begin{aligned} S_n&=a+ar+ar^2+\cdots+ar^{n-1}\\ rS_n&=ar+ar^2+\cdots+ar^{n-1}+ar^n\\ S_n-rS_n&=a-ar^n &&\text{cancel matching terms}\\ (1-r)S_n&=a(1-r^n) &&\text{factorise} \end{aligned}

Dividing by 1−r1-r is legitimate only if r≠1r\ne1. This proof is required knowledge even though the resulting formula is supplied.

Finite geometric sum

For n∈Nn\in\mathbb N and r≠1r\ne1,

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

If r=1r=1, every term equals aa and Sn=naS_n=na. The second fraction is an equivalent rearrangement of the printed first fraction.

In the formula booklet.

The formula applies to growing and alternating series as well as shrinking ones. Convergence is irrelevant for a finite number of terms.

Worked example 3: a growing finite series

Question. Find the sum of the first 77 terms of 5+15+45+⋯5+15+45+\cdots.

Plan. Use a=5,r=3,n=7a=5,r=3,n=7, with the equivalent r−1r-1 form.

S7=5(37−1)3−1finite sum=5(2187−1)2evaluate power=5465simplify\begin{aligned} S_7&=\frac{5(3^7-1)}{3-1} &&\text{finite sum}\\ &=\frac{5(2187-1)}2 &&\text{evaluate power}\\ &=5465 &&\text{simplify} \end{aligned}

Why this step? The r−1r-1 form keeps numerator and denominator positive here; it is algebraically the same formula.

Answer. 54655465.

Check. 5+15+45+135+405+1215+3645=54655+15+45+135+405+1215+3645=5465.

Change only the sign of the ratio. The odd number of terms now matters when evaluating r7r^7.

Worked example 4: a finite alternating series

Question. Find the sum of the first 77 terms with a=5a=5 and r=−3r=-3.

Plan. Substitute the whole negative ratio into a(1−rn)/(1−r)a(1-r^n)/(1-r).

S7=5{1−(−3)7}1−(−3)keep ratio bracketed=5(2188)4(−3)7=−2187=2735divide\begin{aligned} S_7&=\frac{5\{1-(-3)^7\}}{1-(-3)} &&\text{keep ratio bracketed}\\ &=\frac{5(2188)}4 &&(-3)^7=-2187\\ &=2735 &&\text{divide} \end{aligned}

Why this step? (−3)7(-3)^7 is negative, so subtracting it adds 21872187.

Answer. 27352735.

Check. 5−15+45−135+405−1215+3645=27355-15+45-135+405-1215+3645=2735.

The same proof works for r=0r=0, giving the lone non-zero first term. It does not work by division when r=1r=1, since the cancellation equation then reads 0=00=0.

Watch out

Using arn−1ar^{n-1} in the sum formula confuses the last term with the shifted term arnar^n that remains after subtraction. The finite sum uses rnr^n.

Try a new finite alternating sum.

Sum to infinity

For 1+12+14+⋯1+\frac12+\frac14+\cdots, successive partial sums are 1,1.5,1.75,1.875,…1,1.5,1.75,1.875,\ldots. They keep growing, yet the amount still missing from 22 keeps halving.

[DIAGRAM: asset_slug: p1_4_5_understand_and_work_with_geometric_sequences_and_series__diagram_01; asset_name: Pure 4.5 - Geometric sequences and series - diagram 01; recommended_method: drawn_math; description: Two discrete partial-sum plots compare ratios one-half and negative one-half. The first approaches two from below; the second alternates around two-thirds. Every plotted point is at an integer term count and the limit is shown by a labelled dashed horizontal line.]
Diagram

A sum to infinity is the limit of the partial sums, not the value reached after a final term. If ∣r∣<1|r|<1, then rn→0r^n\to0, so the finite sum formula tends to a fixed value.

Sum to infinity

For a convergent geometric series,

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

For a≠0a\ne0, the condition ∣r∣<1|r|<1 is necessary: otherwise the terms do not tend to zero. The all-zero series is a degenerate exception with sum 00.

In the formula booklet.

Shrinking term sizes are enough here because the series is geometric. They are not enough for an arbitrary series; do not extend this condition beyond the result just proved.

Worked example 5: convergence with a negative ratio

Question. Find the sum to infinity of 18−12+8−163+⋯18-12+8-\frac{16}3+\cdots.

Plan. Find the signed ratio, check its magnitude, then use the infinite sum.

r=−12/18=−23successive ratio∣r∣=23<1convergence conditionS∞=181−(−2/3)=545substitute\begin{aligned} r&=-12/18=-\frac23 &&\text{successive ratio}\\ |r|&=\frac23<1 &&\text{convergence condition}\\ S_\infty&=\frac{18}{1-(-2/3)}=\frac{54}5 &&\text{substitute} \end{aligned}

Why this step? A negative ratio does not prevent convergence when its magnitude is below 11.

Answer. 54/554/5.

Check. The first two partial sums are 1818 and 66, on opposite sides of 54/5=10.854/5=10.8.

Change only the sign of the ratio. Now every term is positive, so the partial sums approach the limit from below.

Worked example 6: convergence with a positive ratio

Question. Find the sum to infinity of 18+12+8+163+⋯18+12+8+\frac{16}3+\cdots.

Plan. Use r=2/3r=2/3 and check the same magnitude condition.

r=12/18=23positive ratioS∞=181−2/3∣r∣<1=54simplify\begin{aligned} r&=12/18=\frac23 &&\text{positive ratio}\\ S_\infty&=\frac{18}{1-2/3} &&|r|<1\\ &=54 &&\text{simplify} \end{aligned}

Why this step? Changing the sign changes the denominator from 1+2/31+2/3 to 1−2/31-2/3.

Answer. 5454.

Check. The first three terms total 38<5438<54, and the remaining positive terms contribute 1616.

If r=−2r=-2, then r<1r<1 but ∣r∣>1|r|>1. Terms grow in magnitude, so no finite sum to infinity exists for a non-zero first term. At r=−1r=-1, partial sums alternate without approaching one value; at r=1r=1, they grow linearly if a≠0a\ne0.

Watch out

Checking only r<1r<1 is insufficient. The condition is −1<r<1-1<r<1, equivalently ∣r∣<1|r|<1.

Decide which of these new series may use the infinite-sum formula.

Working backwards from sums

A relationship between a finite and infinite sum can determine the ratio without knowing the first term. The key is to retain the common factors until you can cancel them legally.

For a non-zero convergent geometric series,

SnS∞=1−rn\frac{S_n}{S_\infty}=1-r^n

This follows by dividing the supplied formulas; it is a derived relationship, not a separately printed formula. If an even power of rr is known, both real signs may be possible.

Worked example 7: an even power leaves two ratios

Question. A convergent geometric series has non-zero first term. Given S∞=1615S4S_\infty=\frac{16}{15}S_4, show that r=±12r=\pm\frac12.

Plan. Substitute both sum formulas, cancel the non-zero common factor, and solve for rr.

a1−r=1615a(1−r4)1−rgiven relation1=1615(1−r4)cancel a/(1−r)r4=116rearranger=±12real fourth roots\begin{aligned} \frac a{1-r}&=\frac{16}{15}\frac{a(1-r^4)}{1-r} &&\text{given relation}\\ 1&=\frac{16}{15}(1-r^4) &&\text{cancel }a/(1-r)\\ r^4&=\frac1{16} &&\text{rearrange}\\ r&=\pm\frac12 &&\text{real fourth roots} \end{aligned}

Why this step? Convergence gives r≠1r\ne1, and the non-zero first term makes the cancelled factor non-zero.

Answer. r=1/2r=1/2 or r=−1/2r=-1/2; both satisfy ∣r∣<1|r|<1.

Check. Either sign gives S4/S∞=1−r4=15/16S_4/S_\infty=1-r^4=15/16, as required.

Change only the multiplier linking the two sums. Keep the fourth partial sum, so the sign ambiguity survives.

Worked example 8: a different sum ratio

Question. A convergent geometric series has non-zero first term and S∞=8180S4S_\infty=\frac{81}{80}S_4. Find all possible rr.

Plan. Express the relation as an equation in r4r^4.

1=8180(1−r4)cancel common factorr4=1−8081=181rearranger=±13take real fourth roots\begin{aligned} 1&=\frac{81}{80}(1-r^4) &&\text{cancel common factor}\\ r^4&=1-\frac{80}{81}=\frac1{81} &&\text{rearrange}\\ r&=\pm\frac13 &&\text{take real fourth roots} \end{aligned}

Why this step? An even power cannot distinguish a ratio from its negative.

Answer. r=1/3r=1/3 or r=−1/3r=-1/3.

Check. Both have magnitude below 11, and 1−r4=80/811-r^4=80/81.

If instead a relation determines r3=1/27r^3=1/27, only r=1/3r=1/3 is real. Once a ratio is known, an actual sum such as S∞S_\infty determines a=(1−r)S∞a=(1-r)S_\infty. If a series starts at the second term, its first term is arar, not aa.

Exam tip

In a “show that” question, display the substitution and cancellation leading to the printed ratio. State why a cancelled factor is non-zero when that matters.

Use a new multiplier with the same fourth partial sum.

Using logs for n

If nn appears as an exponent, logarithms bring it down. For sums, first isolate rnr^n; taking logs of a whole difference such as 1−rn1-r^n does not separate its terms.

You already know

For r>0r>0, log⁡(rn)=nlog⁡r\log(r^n)=n\log r. Logarithms need positive arguments. Dividing an inequality by a negative number reverses its direction; log⁡r<0\log r<0 when 0<r<10<r<1.

For positive-term geometric series with 0<r<10<r<1, partial sums increase towards S∞S_\infty. A target equal to or greater than that limit cannot be exceeded. For negative ratios, parity and alternating partial sums need separate attention; never take a real logarithm of a negative base.

Worked example 9: the least term count above a target

Question. A geometric series has a=3a=3, r=0.8r=0.8. Find the least nn for which Sn>14.5S_n>14.5.

Plan. Rearrange the sum inequality to a power inequality, use logs, then check neighbouring integers.

15(1−0.8n)>14.5finite sum formula0.8n<130isolate powernlog⁡0.8<log⁡(1/30)take logsn>log⁡(1/30)log⁡0.8=15.24…negative divisor\begin{aligned} 15(1-0.8^n)&>14.5 &&\text{finite sum formula}\\ 0.8^n&<\frac1{30} &&\text{isolate power}\\ n\log0.8&<\log(1/30) &&\text{take logs}\\ n&>\frac{\log(1/30)}{\log0.8}=15.24\ldots &&\text{negative divisor} \end{aligned}

Why this step? Dividing by log⁡0.8<0\log0.8<0 reverses the inequality.

Answer. The least integer is n=16n=16.

Check. S15=14.4722…<14.5S_{15}=14.4722\ldots<14.5, while S16=14.5778…>14.5S_{16}=14.5778\ldots>14.5.

Change only the target, keeping the sequence fixed. A target closer to the limit needs more terms.

Worked example 10: moving closer to the limit

Question. With a=3a=3, r=0.8r=0.8, find the least nn for which Sn>14.9S_n>14.9.

Plan. Isolate the remaining fraction of the limiting sum and use logs.

15(1−0.8n)>14.9new target0.8n<1150rearrangen>log⁡(1/150)log⁡0.8=22.45…divide with reversal\begin{aligned} 15(1-0.8^n)&>14.9 &&\text{new target}\\ 0.8^n&<\frac1{150} &&\text{rearrange}\\ n&>\frac{\log(1/150)}{\log0.8}=22.45\ldots &&\text{divide with reversal} \end{aligned}

Why this step? The difference 15−Sn15-S_n, rather than SnS_n itself, is the geometric power.

Answer. n=23n=23.

Check. S22=14.8893…<14.9S_{22}=14.8893\ldots<14.9, and S23=14.9115…>14.9S_{23}=14.9115\ldots>14.9.

For an equation such as Sn=TS_n=T, isolate rn=c>0r^n=c>0 and solve n=log⁡c/log⁡rn=\log c/\log r, with r>0,r≠1r>0,r\ne1. Check that the result is an allowed integer if an exact term count is required.

The opening puzzle is settled by the same limit: 1+1/2+1/4+⋯=21+1/2+1/4+\cdots=2. No finite partial sum equals 22; the remaining distance tends to zero.

Watch out

The least integer above 15.24…15.24\ldots is 1616, not the nearest integer 1515. Verify the two neighbouring sums, particularly for a strict inequality.

Apply the method to a new ratio and first term.

Quick Recap

  • Geometric sequences multiply by a fixed signed ratio: un=arn−1u_n=ar^{n-1}.
  • Subtracting a shifted copy proves Sn=a(1−rn)/(1−r)S_n=a(1-r^n)/(1-r) for r≠1r\ne1; use nana if r=1r=1.
  • A non-zero geometric series has a finite sum to infinity exactly when ∣r∣<1|r|<1.
  • Relationships between sums can determine rr; even powers may leave two signs.
  • Isolate rnr^n before using logs, and check the integer threshold.

Infinitely many positive terms can have total 22: 1+1/2+1/4+⋯1+1/2+1/4+\cdots approaches that value because the missing fraction keeps halving.