D5 - Geometric sequences and series

D5 - Geometric sequences and series

Use a common ratio to locate geometric terms and derive finite sums. Decide when an infinite series converges, then use its remaining tail to control accuracy while retaining the signs and the conditions of every formula.

The common ratio and nth term

The list 8,−4,2,−1,…8,-4,2,-1,\ldots keeps changing sign. Can adding all of these infinitely many nonzero terms produce a finite total? A few partial sums suggest an answer, but the ratio will explain it.

You already know

A sequence rule connects indexed terms, and its starting index must be stated. Powers record repeated multiplication; keep a negative base inside brackets before raising it to a power. Both ideas will matter when the update multiplies by a fixed ratio.

First consider 8,4,2,1,…8,4,2,1,\ldots. Each term is half the previous one. Reaching term six takes five multiplications by 1/21/2, just as reaching an arithmetic term takes one fewer changes than its position.

Geometric sequence

A geometric sequence has a fixed common ratio rr, so un+1=runu_{n+1}=ru_n. Its terms are a,ar,ar2,…a,ar,ar^2,\ldots, where aa is the first term. For nonzero adjacent terms, r=un+1/unr=u_{n+1}/u_n. For example, 2,6,18,…2,6,18,\ldots has ratio 33; 2,6,10,…2,6,10,\ldots is not geometric.

A negative ratio alternates signs when the first term is nonzero. A constant magnitude ratio describes the change even when the values themselves are neither increasing nor decreasing.

Geometric nth term

un=arn−1,n∈Nu_n=ar^{n-1},\qquad n\in\mathbb N

This counts n−1n-1 multiplications from the first term. When r=0r=0, use u1=au_1=a separately and all later terms are zero, avoiding 000^0.
Not in the formula booklet: learn it.

Keep the signed ratio inside brackets before raising it to a power.

Worked example 1: a positive ratio

Question. A geometric sequence has a=8,r=1/2a=8,r=1/2. Find u6u_6.

Plan. Apply five ratio multiplications to the first term.

u6=8(12)6−1use the recalled nth term=8(132)=14evaluate the power\begin{aligned} u_6&=8\left(\frac12\right)^{6-1} && \text{use the recalled nth term}\\ &=8\left(\frac1{32}\right)=\frac14 && \text{evaluate the power} \end{aligned}

Why this step? The first term has exponent zero, so the sixth term has exponent five rather than six.

Answer. u6=1/4u_6=1/4.

Check. The list 8,4,2,1,1/2,1/48,4,2,1,1/2,1/4 contains six terms.

Change only the sign of the ratio. The magnitudes are unchanged, but the parity of the exponent determines each sign.

Worked example 2: a negative ratio

Question. A geometric sequence has a=8,r=−1/2a=8,r=-1/2. Find u6u_6 and describe its behaviour.

Plan. Use the whole signed ratio, then compare successive signs.

u6=8(−12)5five multiplications=−14odd power is negativeu1,u2,u3,u4=8,−4,2,−1check the pattern\begin{aligned} u_6&=8\left(-\frac12\right)^5 && \text{five multiplications}\\ &=-\frac14 && \text{odd power is negative}\\ u_1,u_2,u_3,u_4&=8,-4,2,-1 && \text{check the pattern} \end{aligned}

Why this step? Shrinking magnitudes do not make the sequence decreasing: a move from −4-4 to 22 is an increase.

Answer. u6=−1/4u_6=-1/4. The signs alternate, so the sequence is neither increasing nor decreasing.

Check. Dividing −1/4-1/4 by −1/2-1/2 gives the previous term u5=1/2u_5=1/2.

Recovering an unknown ratio can leave a sign choice. If u2=6,u4=24u_2=6,u_4=24, then ar=6,ar3=24ar=6,ar^3=24, so r2=4r^2=4. Both (a,r)=(3,2)(a,r)=(3,2) and (−3,−2)(-3,-2) work. An even index gap determines an even power, not necessarily the sign. This is derived from the recalled nth term; it is not a supplied parameter formula. If a=0a=0, all terms are zero, and adjacent quotients cannot identify a unique ratio.

Watch out

Wrong: 8(−1/2)5=+1/48(-1/2)^5=+1/4. An odd number of negative multipliers gives a negative result. Right: −1/4-1/4. If solving r2=4r^2=4, retain both signs unless a condition excludes one.

Change only the magnitude of the negative ratio.

Deriving and using a finite geometric sum

For 6+18+54+1626+18+54+162, multiplication by 33 shifts every term one place along. Subtraction then cancels all the middle terms. The same idea works algebraically:

Sn=a+ar+⋯+arn−1rSn=ar+ar2+⋯+arn(1−r)Sn=a−arnsubtract and cancel\begin{aligned} S_n&=a+ar+\cdots+ar^{n-1}\\ rS_n&=ar+ar^2+\cdots+ar^n\\ (1-r)S_n&=a-ar^n && \text{subtract and cancel} \end{aligned}

For r≠1r\ne1, division gives the finite sum.

Finite geometric sum

Sn=a(1−rn)1−r=a(rn−1)r−1,r≠1,n∈NS_n=\frac{a(1-r^n)}{1-r}=\frac{a(r^n-1)}{r-1},\qquad r\ne1,\quad n\in\mathbb N

The two fractions differ by changing both signs. A finite sum does not require ∣r∣<1|r|<1.
In the formula booklet.

At r=1r=1, division by 1−r1-r is unavailable. Every term then equals aa, so Sn=naS_n=na. This constant-case result is not printed separately in the formula booklet; derive it by addition.

Worked example 3: a growing finite series

Question. Find the sum of the first four terms when a=6,r=3a=6,r=3.

Plan. Use the supplied finite sum with four terms.

S4=6(34−1)3−1choose the equivalent positive form=6(81−1)2=240evaluate\begin{aligned} S_4&=\frac{6(3^4-1)}{3-1} && \text{choose the equivalent positive form}\\ &=\frac{6(81-1)}2=240 && \text{evaluate} \end{aligned}

Why this step? A ratio greater than one prevents a nonzero infinite sum, but causes no problem for a finite list.

Answer. 240240.

Check. 6+18+54+162=2406+18+54+162=240.

Change only the sign of the ratio. The sum's denominator and the signs of individual terms both respond to that change.

Worked example 4: a negative ratio in a finite sum

Question. Find the sum of the first four terms when a=6,r=−3a=6,r=-3.

Plan. Keep −3-3 in brackets and use one consistent version of the formula.

S4=6[1−(−3)4]1−(−3)use the signed ratio=6(1−81)4=−120even power, positive denominator\begin{aligned} S_4&=\frac{6[1-(-3)^4]}{1-(-3)} && \text{use the signed ratio}\\ &=\frac{6(1-81)}4=-120 && \text{even power, positive denominator} \end{aligned}

Why this step? The denominator is 1−(−3)=41-(-3)=4, not 1−31-3. Its sign must match the chosen numerator.

Answer. −120-120.

Check. Direct addition gives 6−18+54−162=−1206-18+54-162=-120.

For a selected block, reset the first value and count. If un=5(1/2)n−1u_n=5(1/2)^{n-1}, then u3+u4+u5u_3+u_4+u_5 has first value 5/45/4 and three terms, giving (5/4)[1−(1/2)3]/(1−1/2)=35/16(5/4)[1-(1/2)^3]/(1-1/2)=35/16. Equivalently, use S5−S2S_5-S_2. The block method uses the supplied finite sum, not an additional formula.

Watch out

Wrong: mix 1−rn1-r^n with denominator r−1r-1. This changes the sum's sign. Right: use either a(1−rn)/(1−r)a(1-r^n)/(1-r) or a(rn−1)/(r−1)a(r^n-1)/(r-1) consistently.

Change only the magnitude of the negative ratio in the matched task.

Convergence and the sum to infinity

The partial sums of 8−4+2−1+⋯8-4+2-1+\cdots begin 8,4,6,5,…8,4,6,5,\ldots. They approach a fixed level from alternate sides. An infinite sum means the limit of these finite partial sums, not an addition with a final term called infinity.

Modulus and convergence

The modulus ∣r∣|r| is the non-negative magnitude of rr; for example, ∣−3/5∣=3/5|-3/5|=3/5. A series is convergent when its partial sums approach a finite limit. For nonzero first term, a geometric series converges precisely when ∣r∣<1|r|<1, meaning −1<r<1-1<r<1.

When ∣r∣<1|r|<1, the power rnr^n tends to zero. Taking the limit in the finite sum therefore gives the result below. The modulus definition and this limiting argument are not separately supplied in the formula booklet.

Sum to infinity

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

This condition is essential when the first term is nonzero.
In the formula booklet.

At r=1r=1, nonzero partial sums grow as nana. At r=−1r=-1, they alternate between aa and 00. For ∣r∣>1|r|>1, the terms do not even tend to zero. None of these nonzero series converges. The degenerate series with a=0a=0 sums to zero for any fixed finite ratio.

Worked example 5: positive convergence

Question. Find the sum to infinity for a=8,r=1/2a=8,r=1/2, justifying its existence.

Plan. Check modulus first, then apply the infinite-sum formula.

∣r∣=12<1convergence condition holdsS∞=81−1/2=16use the supplied sum\begin{aligned} |r|&=\frac12<1 && \text{convergence condition holds}\\ S_\infty&=\frac8{1-1/2}=16 && \text{use the supplied sum} \end{aligned}

Why this step? Checking the condition makes taking the limiting sum valid.

Answer. The series converges to 1616.

Check. S4=8+4+2+1=15S_4=8+4+2+1=15; the remaining positive terms should add to 11.

Change only the sign of the ratio. The modulus condition still holds, but the denominator changes.

Worked example 6: alternating convergence

Question. Find the sum to infinity for a=8,r=−1/2a=8,r=-1/2, justifying its existence.

Plan. Check the magnitude, then keep the signed ratio in 1−r1-r.

∣r∣=12<1convergence still holdsS∞=81−(−1/2)retain the signed ratio=163simplify\begin{aligned} |r|&=\frac12<1 && \text{convergence still holds}\\ S_\infty&=\frac8{1-(-1/2)} && \text{retain the signed ratio}\\ &=\frac{16}{3} && \text{simplify} \end{aligned}

Why this step? A negative ratio does not prevent convergence; shrinking magnitudes make the partial sums settle.

Answer. The series converges to 16/316/3.

Check. The first four partial sums 8,4,6,58,4,6,5 alternate around 16/316/3, with shrinking deviations.

The graph makes that approach visible. Each plotted point is a partial sum after an integer number of terms.

Partial sums of an alternating convergent geometric series at integer indices

The same limit idea settles a familiar decimal puzzle. The recurring decimal 0.999…0.999\ldots means 9/10+9/100+⋯9/10+9/100+\cdots, with a=9/10,r=1/10a=9/10,r=1/10. Its sum is exactly (9/10)/(1−1/10)=1(9/10)/(1-1/10)=1. There is no last digit leaving a final gap. This equality follows from the supplied geometric sum; it is not a separate booklet formula.

Watch out

Wrong: r<1r<1 is enough for an infinite sum. The ratio −2-2 meets that inequality but gives growing magnitudes. Right: require ∣r∣<1|r|<1, then use the signed ratio in the denominator.

Change the first term while keeping the alternating ratio.

The remaining tail and accuracy

A finite approximation to an infinite sum leaves a tail. For the positive series with sum 1616, stopping at S4=15S_4=15 leaves exactly 11. Subtracting the supplied formulas gives a general expression.

Remaining geometric tail

For ∣r∣<1|r|<1,

S∞−Sn=arn1−r,∣S∞−Sn∣=∣a∣∣r∣n∣1−r∣S_\infty-S_n=\frac{ar^n}{1-r},\qquad |S_\infty-S_n|=\frac{|a||r|^n}{|1-r|}

The first expression is signed; the second is its magnitude. The tail begins at un+1=arnu_{n+1}=ar^n, which explains the exponent nn.
Not in the formula booklet: learn it.

You can derive this whenever needed by subtracting a(1−rn)/(1−r)a(1-r^n)/(1-r) from a/(1−r)a/(1-r). To find the least count meeting a tolerance, check both the candidate count and the previous one.

Worked example 7: choosing a positive-ratio count

Question. For a=12,r=1/2a=12,r=1/2, find the least positive integer nn with ∣S∞−Sn∣<0.01|S_\infty-S_n|<0.01.

Plan. Express the tail, then bracket the threshold using consecutive powers of two.

∣S∞−Sn∣=24(12)nderive the tail24(12)n<0.01 ⟺ 2n>2400rearrange positive factors211=2048<2400<4096=212consecutive powers\begin{aligned} |S_\infty-S_n|&=24\left(\frac12\right)^n && \text{derive the tail}\\ 24\left(\frac12\right)^n&<0.01\ \Longleftrightarrow\ 2^n>2400 && \text{rearrange positive factors}\\ 2^{11}&=2048<2400<4096=2^{12} && \text{consecutive powers} \end{aligned}

Why this step? The tail decreases with every added term, so a failing count followed by a successful one proves minimality.

Answer. n=12n=12.

Check. The tails at n=11,12n=11,12 are 0.011718750.01171875 and 0.0058593750.005859375, respectively.

Change only the ratio's sign. The magnitude of its power is unchanged, but the denominator changes the scale of the tail.

Worked example 8: choosing an alternating-ratio count

Question. For a=12,r=−1/2a=12,r=-1/2, find the least positive integer nn with ∣S∞−Sn∣<0.01|S_\infty-S_n|<0.01.

Plan. Use modulus for the tolerance and compare consecutive powers.

∣S∞−Sn∣=12(1/2)n3/2=8(12)ntake the tail’s modulus8(12)n<0.01 ⟺ 2n>800solve the tolerance29=512<800<1024=210find adjacent counts\begin{aligned} |S_\infty-S_n|&=\frac{12(1/2)^n}{3/2}=8\left(\frac12\right)^n && \text{take the tail's modulus}\\ 8\left(\frac12\right)^n&<0.01\ \Longleftrightarrow\ 2^n>800 && \text{solve the tolerance}\\ 2^9&=512<800<1024=2^{10} && \text{find adjacent counts} \end{aligned}

Why this step? A negative signed tail can be large in magnitude; only its modulus answers an absolute-error question.

Answer. n=10n=10.

Check. The magnitudes at n=9,10n=9,10 are 0.0156250.015625 and 0.00781250.0078125. They decrease, proving that ten is the least count.

For positive aa and negative rr, odd partial sums overestimate and even ones underestimate: the signed tail has the sign of rnr^n. For the opening series, S∞−S3=8(−1/2)3/(3/2)=−2/3S_\infty-S_3=8(-1/2)^3/(3/2)=-2/3, so S3=6S_3=6 is above 16/316/3.

Watch out

Wrong: report a non-integer count from a calculator inequality, or test only the proposed integer. Right: give an admissible integer and establish why the previous count fails, using the decreasing tail magnitude.

Change only the first term in the alternating count problem.

Quick Recap

  • The geometric nth term needs n−1n-1 multiplications and must be recalled.
  • Derive the supplied finite sum by subtracting a ratio-scaled copy; handle r=1r=1 separately.
  • A nonzero infinite geometric series needs ∣r∣<1|r|<1, with both endpoints excluded.
  • Keep the sign for overestimation and take modulus for an absolute tolerance.
  • A least-count answer needs an integer boundary check.

The opening infinite series has sum 16/316/3: its alternating partial sums approach that finite value because ∣r∣=1/2<1|r|=1/2<1.