Geometric Series and the Sum to Infinity

~55 min · WMA12 · 4.4

WMA12 · 4.4 · 55 min

An arithmetic sequence moves by adding the same amount every step; a geometric one moves by multiplying by the same amount every step. That single swap — +d+d becomes ×r\times r — changes everything downstream, and changes it in ways that are derivable rather than arbitrary: the nth-term formula becomes un=arn1u_n = ar^{n-1}, the proof of the sum formula stops working by reversing-and-adding and starts working by multiplying-and-subtracting, and something genuinely new appears that has no arithmetic counterpart at all. Add infinitely many terms of an arithmetic series and the total always runs away. Add infinitely many terms of a geometric series and, provided r<1|r| < 1, it settles on a finite number — S=a1rS_\infty = \frac{a}{1-r} — because each term is a fixed fraction of the one before it and the terms shrink toward nothing fast enough to leave a finite total behind. The specification asks for the proof of the finite sum formula by name, and examiners have said outright that students should know the standard proofs for both the arithmetic and the geometric series. This lesson derives both formulae, and derives the r<1|r| < 1 condition rather than quoting it.

Key terms in this lesson

Before you read on

Two or three questions on exactly what this lesson teaches. Being wrong here is fine — it's the fastest way to find out what to pay attention to next.

One swap from arithmetic — and everything that follows from it

An is generated by the recurrence un+1=un+du_{n+1} = u_n + d: add the same fixed amount each step. A is generated by un+1=runu_{n+1} = r\,u_n: multiply by the same fixed amount each step. That is the entire definitional difference, and every other difference between the two topics is downstream of it. The fixed multiplier rr is called the , "ratio" because it is what you get by dividing any term by the one before it: r=un+1unr = \frac{u_{n+1}}{u_n}, the same value for every nn.

That last sentence is also the test, and it is a mechanical one — which is what makes it usable under exam pressure. Given a list of numbers, compute the differences between consecutive terms and compute the ratios between consecutive terms. Whichever of the two comes out constant tells you which kind of series you have. For 4,12,36,1084, 12, 36, 108: the differences are 8,24,728, 24, 72 — not constant; the ratios are 3,3,33, 3, 3 — constant. Geometric, r=3r = 3. For 4,12,20,284, 12, 20, 28: differences 8,8,88, 8, 8 — constant; ratios 3,53,753, \frac{5}{3}, \frac{7}{5} — not. Arithmetic, d=8d = 8. Reaching for a formula before running this two-line check is how the most-cited error on this whole topic starts, and examiner reports across at least two series (June 2019 and October 2020) record candidates applying the wrong series type's formula mid-question as a recurring named category, not a one-off.

Unrolling the geometric recurrence gives the nth-term formula the same way unrolling the arithmetic one gave un=a+(n1)du_n = a + (n-1)d in the previous lesson. With u1=au_1 = a: u2=aru_2 = ar, u3=(ar)r=ar2u_3 = (ar)r = ar^2, u4=ar3u_4 = ar^3. Each step multiplies in one more copy of rr, and reaching unu_n from u1u_1 takes (n1)(n-1) steps, so un=arn1u_n = ar^{n-1}. The (n1)(n-1) is not a separate fact to memorise alongside the arithmetic (n1)(n-1) — it is the identical count, arrived at for the identical reason: the first term is given for free and needs no application of the rule to exist. Where arithmetic accumulates (n1)(n-1) additions of dd, geometric accumulates (n1)(n-1) multiplications by rr.

One structural consequence is worth stating explicitly because questions are built on it. Just as an arithmetic sequence is completely determined by the two numbers aa and dd, a geometric sequence is completely determined by aa and rr. So any question that hands you two terms of a geometric sequence is handing you two equations in two unknowns — and the right move is *dividing* the two equations rather than subtracting them, because aa appears as a multiplicative factor in both and division is what removes a factor. That is the exact mirror of the arithmetic case, where aa appeared as an additive term in both and subtraction was what removed it. Same strategy, different operation, for the same structural reason.

What the booklet hands you, and the one thing it doesn't

The Mathematical Formulae and Statistical Tables booklet — the yellow one named on the front of every WMA12 paper — prints all three geometric formulae on its P2 page: un=arn1u_n = ar^{n-1}, Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}, and S=a1rS_\infty = \frac{a}{1-r} for r<1|r| < 1. You do not have to memorise any of them. What the booklet does not print, and what the specification asks for by name, is the *proof* of the finite sum formula: the spec's own guidance for item 4.4 reads "The proof of the sum formula for a finite series should be known." An examiner report on the equivalent arithmetic proof puts the same point as direct advice — students "would be well advised to make sure they know the standard proofs for the arithmetic and geometric series to ensure they are able to give should it be required" (Jan 2020, Q8(i)). Both proofs, named together, by the examiner.

A second thing the booklet does not do is let you skip showing your method. Calculators are permitted on the whole of this paper — there is no non-calculator section anywhere in this qualification — but the mark scheme's standing General Principles page states the "quote the formula first" rule: where a method uses a formula that has been learnt, the formula should be quoted before values are substituted, and where it is not quoted "the method mark can be gained by implication from correct working with values, but may be lost if there is any mistake in the working." On a sum-to-infinity question in January 2024 that principle had teeth: the examiner records that "a number resorted to using the summation button on their calculator which, even if [the value] was found, no marks were scored" (Jan 2024, Q5(i)). A correct number, produced by a machine, with no formula and no substitution visible, scored nothing. Write S=a1rS_\infty = \frac{a}{1-r} down first, every time — it takes four seconds and it is the difference between a full-marks answer and a zero.

A note on the alternative form. a(1rn)1r\frac{a(1-r^n)}{1-r} and a(rn1)r1\frac{a(r^n-1)}{r-1} are the same expression — multiply the top and bottom of either by 1-1 and you get the other, which is verifiable in one line and not something to take on trust. The booklet prints the first. When r>1r > 1 the first form gives you a negative numerator over a negative denominator, and that double negative is a genuine place to lose a sign; the second form keeps both positive. Neither is "the right one" — the mark schemes' own oe abbreviation ("or equivalent") exists precisely because algebraically equal expressions are equally acceptable. Choose whichever leaves you with fewer minus signs to track: the first when r<1|r| < 1, the second when r>1r > 1.

Mechanism

Why Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r} — multiply by rr and subtract, and why that is the move

The arithmetic sum proof works by writing the series a second time in reverse and adding, because arithmetic terms are related by *addition* — stepping forward through one copy and backward through the other changes each side by +d+d and d-d, which cancel, so every pair lands on the same total. None of that survives the switch to multiplication. Reverse a geometric series and add it to itself and the pairs are a+arn1a + ar^{n-1}, ar+arn2ar + ar^{n-2}, ar2+arn3ar^2 + ar^{n-3} — try it with 3,6,12,243, 6, 12, 24 and the pairs come out 27,18,18,2727, 18, 18, 27, plainly not constant. The arithmetic move fails here, and it fails for a reason you can name: constant pair-sums came from a constant additive step, and this series does not have one.

What this series does have is a constant *multiplicative* step, so the move that exploits its structure is multiplication. Write the sum out in full:

Sn=a+ar+ar2++arn2+arn1S_n = a + ar + ar^2 + \cdots + ar^{n-2} + ar^{n-1}

— and note the last term is arn1ar^{n-1}, not arnar^n, for the same (n1)(n-1)-counting reason established above. Now multiply the whole equation by rr:

rSn=ar+ar2+ar3++arn1+arnrS_n = ar + ar^2 + ar^3 + \cdots + ar^{n-1} + ar^n

Look at what multiplying by rr actually did: it turned every term into the *next* term, which slides the entire list one place along. The second line is the first line shifted by one. That means the two lines share almost all of their terms — everything from arar up to arn1ar^{n-1} appears in both — and only two terms fail to have a partner: the aa at the start of the first line, and the arnar^n at the end of the second. Subtracting is what collects that observation:

SnrSn=aarnS_n - rS_n = a - ar^n

Every shared term cancelled, exactly n1n-1 of them, because each appeared once on each side. Factorise both sides — Sn(1r)=a(1rn)S_n(1-r) = a(1-r^n) — and divide by (1r)(1-r) to finish:

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

That final division carries a condition worth stating rather than glossing: it is only legal when 1r01-r \neq 0, i.e. r1r \neq 1. The formula genuinely does not apply when r=1r = 1, and it does not need to — a geometric series with r=1r = 1 is a+a+a+a + a + a + \cdots, the same number repeated, whose sum to nn terms is just nana by inspection. This is not an exception bolted onto the formula from outside; it is the one case the derivation itself excluded, showing up exactly where the derivation said it would.

So the two proofs in this pair of lessons are not two unrelated tricks to memorise. Each one applies the operation that matches how its own series is built: an additively-generated series is attacked by adding a reversed copy, a multiplicatively-generated series is attacked by subtracting a multiplied copy. Knowing which is which is knowing what the series is.

Mechanism

Why the sum to infinity needs r<1|r| < 1 — read it off the formula you already have

The is not a new formula requiring a new argument. It is the formula you just derived, watched as nn grows. Look hard at Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r} and ask which part of it depends on nn at all. Not aa. Not 1r1-r. The single nn-dependent object in the whole expression is rnr^n — so whatever happens to SnS_n as nn \to \infty is entirely decided by what happens to rnr^n, and nothing else in the formula gets a vote.

So work out what rnr^n does, by cases, in terms of the one thing that governs it: the size of rr.

If r<1|r| < 1, every multiplication by rr makes the result *smaller in size* than what went in. For r=12r = \frac{1}{2}: 12,14,18,116,\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \frac{1}{16}, \ldots — halving forever, heading to zero. For r=910r = -\frac{9}{10}: 0.9,0.81,0.729,0.6561,-0.9, 0.81, -0.729, 0.6561, \ldots — the sign flips every step, but the *size* falls by 10% each time and heads to zero just the same. Since rn0r^n \to 0, the numerator a(1rn)a(10)=aa(1-r^n) \to a(1-0) = a, and Sna1rS_n \to \frac{a}{1-r}. That limit is what SS_\infty means, and this derivation is where it comes from.

If r>1|r| > 1, every multiplication makes the result bigger in size. For r=1.1r = 1.1, rnr^n passes 2.59 by n=10n=10 and 13780 by n=100n=100; rnr^n has no limit, so neither does SnS_n, and no sum to infinity exists. Note this is where the most common misreading of the condition bites: r=1.5r = -1.5 satisfies r<1r < 1, and someone reading the condition as "r<1r < 1" will admit it — but 1.5=1.5>1|-1.5| = 1.5 > 1, the terms grow without bound while alternating in sign, and the series diverges. The modulus is doing real work in that condition; it is not decorative notation for "less than one".

If r=1r = 1, the formula never applied in the first place (the derivation divided by 1r1-r), and the series is a+a+a+a+a+a+\cdots, whose total runs away for any a0a \neq 0.

If r=1r = -1, rnr^n does something more interesting than growing or shrinking: it alternates 1,1,1,1,-1, 1, -1, 1, \ldots forever, never settling. The partial sums do the same — for a=5a = 5 the series 55+55+5 - 5 + 5 - 5 + \cdots has partial sums 5,0,5,0,5, 0, 5, 0, \ldots, which visit two values endlessly and approach neither. There is no single number for SS_\infty to be. This is precisely why the specification writes the condition as the strict inequality r<1|r| < 1 and not r1|r| \leq 1: the boundary case r=1|r| = 1 genuinely fails, in two different ways at its two ends, and the strictness of the inequality is the derivation's conclusion rather than a convention someone chose.

One last consequence, free from the same algebra and useful as a sanity check: subtracting SnS_n from SS_\infty gives a1ra(1rn)1r=arn1r\frac{a}{1-r} - \frac{a(1-r^n)}{1-r} = \frac{ar^n}{1-r}. The gap between the running total and the final total is itself proportional to rnr^n — so it shrinks at exactly the same rate the terms do. With a=8a = 8 and r=12r = \frac{1}{2}, S=16S_\infty = 16 and the partial sums run 8,12,14,15,15.5,15.75,8, 12, 14, 15, 15.5, 15.75, \ldots, with gaps 8,4,2,1,0.5,0.258, 4, 2, 1, 0.5, 0.25 — halving every step, never reaching zero, which is what "converges to 16" means and why no finite number of terms ever quite gets there.

Reading \sum notation — the same series, written differently

Some questions do not hand you an explicit list of terms, or a stated aa and rr — they hand you a series written in sigma notation, for example r=16(0.25)r\sum_{r=1}^{\infty} 6(0.25)^r, and ask for its value. This is not a different topic; it is the same sum-to-infinity question wearing different notation, and unpacking it is one specific, mechanical skill. The expression after the \sum is the rule for generating each term; the number under the \sum is the first value substituted into that rule; the number above it (here \infty) is where substitution stops. Substitute the starting value and the next one to recover explicit terms: at r=1r=1, 6(0.25)1=1.56(0.25)^1 = 1.5; at r=2r=2, 6(0.25)2=0.3756(0.25)^2 = 0.375; at r=3r=3, 6(0.25)3=0.093756(0.25)^3 = 0.09375. Written out, the series is 1.5+0.375+0.09375+1.5 + 0.375 + 0.09375 + \cdots — an ordinary geometric series, once the substitution has been done, with a=1.5a = 1.5.

One substituted term is not evidence that the series is geometric at all — a single value only ever tells you one number in the list, never the rule connecting it to the next one. The real January 2024 mark scheme for exactly this question is explicit on this point: a candidate earns the mark by "states or uses r = 0.25 (may be implied by using r = 0.25 in the sum to infinity formula)," but the very next sentence of the scheme is a direct warning — "6 × 0.25 or any other term in the sequence is not sufficient evidence that this is a geometric sequence." The fix is the same check this lesson applies elsewhere to confirm a ratio (see the marked solution, part (b)): divide a second consecutive pair and confirm it matches the first. Here 0.3751.5=0.25\frac{0.375}{1.5} = 0.25 and 0.093750.375=0.25\frac{0.09375}{0.375} = 0.25 agree, so r=0.25r = 0.25 is confirmed rather than assumed from one substitution — exactly the B1 mark's own requirement, not an extra step invented for safety.

The same mark scheme names a second, entirely separate route to that mark, worth knowing because it skips stating rr as a decimal altogether: "Alternatively, shows an understanding of the sigma notation by writing at least the first three terms in the sequence e.g. 6(14)+6(14)2+6(14)3+6(\frac{1}{4}) + 6(\frac{1}{4})^2 + 6(\frac{1}{4})^3 + \cdots." That is exactly the unpacking done above — write out enough explicit terms, three in the scheme's own example, for the geometric pattern to be visible on the page. Once aa and rr are identified, by either route, nothing about the rest of the question changes: quote S=a1rS_\infty = \frac{a}{1-r} first, confirm r<1|r| < 1, then substitute — the identical sequence used throughout this lesson's other sum-to-infinity questions.

One notational collision is worth flagging before it causes confusion. The dummy index running under a \sum is conventionally named rr — as it is here — for reasons that have nothing to do with the common ratio this lesson also calls rr. They are different objects that happen to share a letter: the summation index is a counter that steps through 1,2,3,1, 2, 3, \ldots and is discarded once the sum has been evaluated, while the common ratio is a single fixed number that stays the same throughout the series. Nothing forces the two to share a name — some sources index sums with kk or nn instead — so when a question puts both in front of you, decide numerically which one you are looking at before writing anything down.

Worked, in full

Two given terms, so divide rather than subtract — finding aa, rr, then SS_\infty and S10S_{10}

  1. 01

    A geometric series has u2=12u_2 = 12 and u5=1.5u_5 = 1.5. Translate both using un=arn1u_n = ar^{n-1}: ar=12ar = 12 and ar4=1.5ar^4 = 1.5. Two given terms of a geometric sequence are always two equations in the two unknowns aa and rr — the same structure as the arithmetic two-terms question, with multiplication where that one had addition.

    Earns: M1 — forms two correct equations in aa and rr from the two given terms, with the correct (n1)(n-1) exponent on each (1 for the 2nd term, 4 for the 5th).

  2. 02

    Divide the second equation by the first to eliminate aa: ar4ar=r3=1.512=18\frac{ar^4}{ar} = r^3 = \frac{1.5}{12} = \frac{1}{8}, so r=12r = \frac{1}{2}. Division is the right elimination here because aa is a multiplicative factor in both equations — subtracting them would leave a(r4r)=10.5a(r^4 - r) = -10.5, with aa still present and nothing gained.

    Earns: M1 — a correct method for eliminating aa by division, dependent on both equations from stage 1 being correctly formed. Note that r3=18r^3 = \frac{1}{8} has exactly one real solution; an even power would have given two, and both would have needed considering.

  3. 03

    Substitute r=12r = \frac{1}{2} back into ar=12ar = 12: a×12=12a \times \frac{1}{2} = 12, so a=24a = 24. Check against the equation not used to find it: 24×(12)4=2416=1.524 \times \left(\frac{1}{2}\right)^4 = \frac{24}{16} = 1.5. ✓

    Earns: A1 — both aa and rr correct. The check against the unused equation is not itself a mark-scheme line, but it costs one line and catches a slip before it propagates into every later part.

  4. 04

    Quote the formula, then substitute. Since r=12<1|r| = \frac{1}{2} < 1, the sum to infinity exists: S=a1r=24112=2412=48S_\infty = \frac{a}{1-r} = \frac{24}{1-\frac{1}{2}} = \frac{24}{\frac{1}{2}} = 48. For the first ten terms, S10=a(1r10)1r=24(111024)12=48×10231024=47.953125S_{10} = \frac{a(1-r^{10})}{1-r} = \frac{24\left(1-\frac{1}{1024}\right)}{\frac{1}{2}} = 48 \times \frac{1023}{1024} = 47.953125 — already within 364\frac{3}{64} of the infinite total, which is exactly the arn1r\frac{ar^n}{1-r} gap the mechanism block predicted.

    Earns: M1 A1 — method mark for stating the sum-to-infinity formula and substituting the newly-found aa and rr (this M1 is earned regardless of whether stage 3's aa and rr are themselves correct, since a method mark only requires the method to be correctly applied to whatever values the candidate is carrying — no 'ft' tag needed, because that is what an M mark already means, and 'ft' in a real scheme attaches only to A and B marks — so an arithmetic slip in stage 3 would still leave this method mark available. It is the A1 beside it that would instead pick up the follow-through flag, A1 ft, on whichever value stage 3's substitution actually produced), and the accuracy mark for the correct value. Stating r<1|r| < 1 before using SS_\infty is what justifies using it at all.

Source — Examiner report, Jan 2024

"a number resorted to using the summation button on their calculator which, even if [the value] was found, no marks were scored"

Complete it yourself

Complete the chain — find aa and SS_\infty given u3=18u_3 = 18 and u6=23u_6 = \frac{2}{3}

  1. 01

    Translate the two given terms using un=arn1u_n = ar^{n-1}: ar2=18ar^2 = 18 and ar5=23ar^5 = \frac{2}{3}.

  2. 02

    Divide to eliminate aa: ar5ar2=r3=2/318=127\frac{ar^5}{ar^2} = r^3 = \frac{2/3}{18} = \frac{1}{27}, so r=13r = \frac{1}{3}.

Same question, every valid method

The first 10 terms of a sequence form an arithmetic series with first term 4040 and common difference 3-3. From the 10th term onwards, the terms form a geometric series with common ratio 12\frac{1}{2}. Find the sum of all the terms of the sequence. (VERIDIAN-original question — not a reproduction of any past-paper question. The overlap structure it tests, and both routes shown below, are modelled on a real January 2022 examiner report finding; the report's own figures are not used here.)

2 valid methods · every one reaches 278278 · 4 marks available

  1. 01

    The 10th term of the arithmetic part: u10=a+9d=40+9(3)=4027=13u_{10} = a + 9d = 40 + 9(-3) = 40 - 27 = 13. Its sum: S10=12(10)[2(40)+9(3)]=5[8027]=5(53)=265S_{10} = \frac{1}{2}(10)[2(40) + 9(-3)] = 5[80 - 27] = 5(53) = 265.

    Method mark for correctly finding the arithmetic part — both the 10th term (needed as the hinge between the two series) and the sum of the first 10 terms. The full arithmetic part is 40,37,34,31,28,25,22,19,16,1340, 37, 34, 31, 28, 25, 22, 19, 16, 13, and those ten values total 265.

    M1
  2. 02

    The 10th term belongs to the arithmetic sum already counted. The terms that follow it are 13×12=6.513 \times \frac{1}{2} = 6.5, then 3.253.25, then 1.6251.625, and so on — a geometric series with first term 6.56.5 and ratio 12\frac{1}{2}.

    The mark this question actually exists to test: identifying the first term of the geometric part as (the shared term) × r, not as the shared term itself. Nothing is double-counted because the 10th term sits inside S10S_{10} and the geometric series starts one step after it.

    M1
  3. 03

    r=12<1|r| = \frac{1}{2} < 1, so S=a1r=6.5112=6.50.5=13S_\infty = \frac{a}{1-r} = \frac{6.5}{1 - \frac{1}{2}} = \frac{6.5}{0.5} = 13.

    Method mark for quoting the sum-to-infinity formula and substituting the geometric part's own first term and ratio. Stating r<1|r| < 1 before applying SS_\infty is what licenses using it.

    M1
  4. 04

    Total =265+13=278= 265 + 13 = 278.

    cao — correct answer only. The two components are the arithmetic sum of the first 10 terms and the infinite geometric tail that follows them, with every term of the sequence counted exactly once.

    A1

The safer default, and the route the examiner named first. Its advantage is that the correction happens once, at the point where you write down the geometric first term, and then nothing later in the question can reintroduce the error. Its cost is that the multiplication 13×12=6.513 \times \frac{1}{2} = 6.5 produces a non-integer first term where the other route keeps whole numbers — which matters only for arithmetic comfort, not for marks.

Marked, line by line

(a) A geometric series has first term aa and common ratio rr, where r1r \neq 1. Prove that the sum of the first nn terms is given by Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}. (3) (b) The first three terms of a different geometric series are 2424, 88 and 83\frac{8}{3}. Find the sum to infinity of this series. (3) (c) Find the sum of all the terms of the series in part (b) after the first term. (2) — VERIDIAN-original question. Part (a) is the standard bookwork proof the specification names explicitly ("the proof of the sum formula for a finite series should be known"), reconstructed independently here rather than transcribed from any real mark scheme, which for a question this course wrote itself does not exist; its mark COUNT and per-line M1/A1/A1* structure, however, are modelled directly on the real scheme for this exact proof (October 2020, Q8(a): M1 A1 A1*, 3 marks total — verified against the primary mark-scheme PDF), not invented. Parts (b) and (c) are original numerical follow-ups; the structure of (c) — re-identifying which term is the "aa" of the series you are actually summing — is modelled on a confirmed January 2024 examiner finding, not copied from that question.

8 marks available

(a)3 marks

  1. 01

    Sn=a+ar+ar2++arn2+arn1S_n = a + ar + ar^2 + \cdots + ar^{n-2} + ar^{n-1}. Multiplying throughout by rr: rSn=ar+ar2+ar3++arn1+arnrS_n = ar + ar^2 + ar^3 + \cdots + ar^{n-1} + ar^n

    Method mark for writing at least three correct terms of SnS_n with the correct final term arn1ar^{n-1} — not arnar^n — and multiplying that whole sequence by rr to form a second expression that is the first shifted one place along. The real mark scheme bundles writing SnS_n and forming rSnrS_n into this single method mark; there is no separate mark on offer just for the opening line, unlike the equivalent arithmetic proof, where writing SnS_n is its own independent B1 before the reverse-and-add M1 — a genuine difference between the two proofs' mark shapes, not a copy-paste from one to the other.

    M1
  2. 02

    Subtracting: SnrSn=aarnS_n - rS_n = a - ar^n, since every term from arar to arn1ar^{n-1} appears in both lines and cancels.

    Accuracy mark (dependent on the M1) for the correct subtraction shown unfactorised, with both sides having the correct first and last terms and no incorrect terms. The real mark scheme is explicit that both sides "must be seen unfactorised" at this line — factorising belongs to the final mark, not this one, and the October 2020 examiner report records candidates losing exactly this mark for skipping straight from the two series to the factorised line with no unfactorised step shown.

    A1
  3. 03

    Factorising both sides and dividing by (1r)(1-r), which is non-zero since r1r \neq 1: Sn(1r)=a(1rn)Sn=a(1rn)1rS_n(1-r) = a(1-r^n) \Rightarrow S_n = \frac{a(1-r^n)}{1-r}, as required.

    cso — correct solution only, the 'answer given' (ag) mark for a proof whose result is printed on the question. Because it is printed, this final mark requires every line above to be correct and complete; factorising and dividing are credited together here, matching the real scheme's own final line. Noting that 1r01-r \neq 0 is what makes the division legal and is the reason the question stipulated r1r \neq 1 in the first place.

    A1*

(b)3 marks

  1. 101

    r=824=13r = \frac{8}{24} = \frac{1}{3}, confirmed by the next pair: 8/38=13\frac{8/3}{8} = \frac{1}{3}. The ratio is constant, so the series is genuinely geometric.

    Independent mark for the correct common ratio. Checking a second consecutive pair costs one division and is what distinguishes 'the ratio is 13\frac{1}{3}' from 'the first two terms happen to be in the ratio 13\frac{1}{3}'.

    B1
  2. 102

    r=13<1|r| = \frac{1}{3} < 1, so the sum to infinity exists: S=a1r=24113S_\infty = \frac{a}{1-r} = \frac{24}{1-\frac{1}{3}}

    Method mark for quoting the sum-to-infinity formula and substituting a=24a = 24 and r=13r = \frac{1}{3}. Per the mark scheme's standing 'quote the formula first' principle, writing the formula before the numbers protects this mark even if the arithmetic that follows goes wrong.

    M1
  3. 103

    =2423=24×32=36= \frac{24}{\frac{2}{3}} = 24 \times \frac{3}{2} = 36

    cao. Dividing by 23\frac{2}{3} is multiplying by 32\frac{3}{2} — a place where a rushed line produces 1616 (having multiplied by 23\frac{2}{3} instead) rather than 3636.

    A1

(c)2 marks

  1. 201

    The terms after the first are 8+83+89+8 + \frac{8}{3} + \frac{8}{9} + \cdots — themselves a geometric series, with the same ratio 13\frac{1}{3} but first term 88, not 2424. So S=8113S = \frac{8}{1-\frac{1}{3}}.

    Method mark for applying the sum-to-infinity formula with the first term of the series actually being summed. Deleting the front term of a geometric series leaves a geometric series with the same ratio and a new first term — the ratio is unchanged because it was never a property of where the series started.

    M1
  2. 202

    =823=12= \frac{8}{\frac{2}{3}} = 12. Check against (b): 3624=1236 - 24 = 12. ✓

    cao. The check is worth the single line it costs: the sum of everything after the first term must equal the whole sum minus that first term, and the two independent routes agreeing at 12 confirms both.

    A1

In your own words

In one sentence: the arithmetic sum formula is proved by writing the series in reverse and adding, and the geometric one by multiplying by rr and subtracting — what is it about how each kind of series is generated that makes its own move the one that produces cancellation?

Named traps

arithmetic-and-geometric-formulas-confused
Confirmed as a recurring, named error category across at least two series (June 2019 and October 2020): candidates reach for the wrong series type's formula mid-question, because the two topics sit adjacent in the specification, use similarly-shaped notation, and are printed one above the other on the same formula-booklet page. Seen from the geometric side, the tell is any appearance of dd, of (n1)d(n-1)d, or of 12n\frac{1}{2}n in working about a series whose terms are multiplying. The two-line check that catches it before a single mark is at stake: compute un+1unu_{n+1} - u_n and un+1/unu_{n+1}/u_n for two consecutive pairs, and see which of the two comes out the same both times.
overlap-term-double-counted
Confirmed on a January 2022 mixed arithmetic-then-geometric question, verified as that paper's biggest discriminator. The examiner records that candidates "were not able to correctly process the overlap of the 20th term of the arithmetic series with the first term of the geometric series, and double counted this term" (Jan 2022). When one series ends on the same term another begins with, that term belongs to exactly one of the two sums. The report itself names both legal fixes: the geometric series starts at (shared term) × r, "or alternatively" the shared term is subtracted out of the arithmetic total — either one, never neither, never both.
geometric-series-restarted-from-the-original-first-term
Confirmed on the same January 2022 question, and distinct from the double-count above: "many candidates failed to understand the context with many assuming they had to start the geometric series from the first term of a=100a = 100 again" (Jan 2022). Where a sequence changes character partway through, the geometric part inherits its first term from wherever the arithmetic part left off — not from the beginning of the whole sequence. Reading the question's "from the kkth term onwards" literally, and writing down what that term actually equals before doing anything else, is the fix.
sum-to-infinity-first-term-misidentified
Confirmed on a January 2024 sum-to-infinity question: candidates "often used a = 6 instead of a = 1.5 in the sum to infinity formula" (Jan 2024, Q5(i)) — taking the sequence's original first term rather than the first term of the series actually being summed. This bites whenever a question asks for the sum of everything after some term, or re-expresses a series starting from a later index. The aa in a1r\frac{a}{1-r} is not "the first term of the sequence"; it is the first term of the sum you are being asked for. The self-check: the answer to "sum everything after the first term" must be smaller than the answer to "sum everything" by exactly that first term.
calculator-summation-shown-without-formula
Confirmed on the same January 2024 question: "a number resorted to using the summation button on their calculator which, even if [the value] was found, no marks were scored" (Jan 2024, Q5(i)). Calculators are permitted throughout this paper, which makes this trap easier to fall into rather than harder — a correct number with no visible formula and no visible substitution earns nothing, because the marks on offer are method marks and there is no method on the page to award them to. The mark scheme's standing principle says the same thing in general terms: where a learnt formula is used, "the formula should be quoted first."
standard-proofs-not-known
Confirmed on the January 2020 arithmetic sum-formula proof, with the examiner's advice naming both series explicitly: students "would be well advised to make sure they know the standard proofs for the arithmetic and geometric series to ensure they are able to give should it be required" (Jan 2020, Q8(i)). The specification's own guidance for item 4.4 says the same — "the proof of the sum formula for a finite series should be known." These are the only marks in the topic that a formula booklet cannot rescue: the formulae are printed, the proofs are not.
geometric-proof-subtraction-direction-reversed
Confirmed on the October 2020 geometric sum-formula proof: "A significant number started correctly and knew they had to subtract but subtracted the wrong way round to obtain e.g. SnrSn=arnaS_n - rS_n = ar^n - a and a significant number of candidates obtained SnrSn=a+arnS_n - rS_n = a + ar^n" (Oct 2020, Q8(a)). The correct line is SnrSn=aarnS_n - rS_n = a - ar^n: the survivors of the subtraction are whichever terms belong to the line that was NOT shifted (the aa from SnS_n) minus whichever belong to the line that WAS (the arnar^n from rSnrS_n), in that order — reverse which line each survivor is taken from, or turn the subtraction into an addition under exam pressure, and the result no longer factorises to the printed answer no matter how the rest of the algebra is handled. The examiner report records this immediately alongside the same question's other confirmed proof error (importing the arithmetic proof's reverse-and-add method), making the two the two most-recorded ways this specific proof goes wrong.
convergence-condition-read-as-r-less-than-one
Derived from the mechanism rather than quoted — the facts bank records no examiner finding on this specific error, and this entry carries no citation. Reading r<1|r| < 1 as "r<1r < 1" admits every negative ratio, including r=2r = -2 and r=1.5r = -1.5, whose terms grow without limit while alternating in sign. The modulus is a statement about size: SS_\infty exists precisely when each term is smaller in size than the one before it, regardless of sign. The related boundary case is r=1r = -1, where rnr^n alternates between 1-1 and 11 forever and the partial sums alternate between aa and 00 — never settling, which is why the specification's inequality is strict.

Retrieval — with feedback on every choice

Question 1
1 mark

Four geometric series have common ratios r=0.9r = -0.9, r=1.5r = -1.5, r=1r = -1 and r=1r = 1 respectively. Which one has a sum to infinity?

Question 2
3 marks

For the geometric series 45+15+5+45 + 15 + 5 + \cdots, find the sum of all the terms after the first two.

Question 3
2 marks

A geometric series has first term 44 and common ratio 33. Find the sum of the first 77 terms.

Question 4
2 marks

In Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}, which single feature of the expression decides whether a sum to infinity exists?

Question 5
2 marks

In the standard proof that Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}, why is the series multiplied by rr before the two lines are subtracted?

Question 6
4 marks

The first 8 terms of a sequence form an arithmetic series with first term 3030 and common difference 2-2. From the 8th term onwards, the terms form a geometric series with common ratio 12\frac{1}{2}. What is the sum of all the terms of the sequence?

Reference — not a study method, a lookup
  • uₙ = ar^(n−1); Sₙ = a(1−rⁿ)/(1−r) = a(rⁿ−1)/(r−1), r ≠ 1; S∞ = a/(1−r), |r| < 1 — all three printed in the booklet.
  • Proof: write Sₙ, write rSₙ, subtract — the shared middle terms cancel.
  • |r| < 1 because rⁿ is the only n-dependent part: |r| < 1 ⇒ rⁿ → 0.
  • Geometric: uₙ₊₁/uₙ constant. Arithmetic: uₙ₊₁ − uₙ constant. Check which first.
  • Mixed series: the shared term counts once — the GP starts at (shared term)×r.
  • Quote the formula before substituting; a bare calculator total scores nothing.

Not affiliated with or endorsed by Pearson Edexcel. Every quotation and figure attributed to a mark scheme or examiner report in this lesson was independently verified against the primary Pearson document, not carried over from prior course material. Every question in this lesson — prequestion, worked chain, chain drill, method comparison, marked solution and MCQ alike — is VERIDIAN-original wording, inspired by confirmed real question types, never a reproduction of a real Pearson question; and because the questions are original, the per-line mark allocations attached to them are modelled on verified mark-scheme conventions (what M, A and B marks mean, when follow-through and cso/ag apply, the standing rule that a learnt formula should be quoted before values are substituted) rather than transcribed from a real mark scheme, which for an original question does not exist. Two traps in the taxonomy above carry no citation and say so in their own text: the |r| < 1 misreading and the r = −1 boundary case are derived from the mechanism this lesson teaches, not quoted from any examiner report.

Question 11 mark

Four geometric series have common ratios r=0.9r = -0.9, r=1.5r = -1.5, r=1r = -1 and r=1r = 1 respectively. Which one has a sum to infinity?

  • r=0.9r = -0.9

    Correct. 0.9=0.9<1|-0.9| = 0.9 < 1, so the terms alternate in sign while shrinking by 10% in size every step, and both the terms and the gap to the total head to zero. The condition is on the size of rr, so a negative ratio is perfectly admissible.

  • Br=1.5r = -1.5

    This satisfies r<1r < 1 but not r<1|r| < 1 — and it is the modulus that matters. 1.5=1.5|-1.5| = 1.5, so each term is half again as large as the previous one in size; the terms grow without limit while flipping sign, and no total exists. Reading the condition as "rr less than one" rather than "the size of rr less than one" is exactly what admits this case wrongly.

  • Cr=1r = -1

    This is the boundary case, and the boundary genuinely fails. With r=1r = -1 the series is aa+aa+a - a + a - a + \cdots and its partial sums alternate between aa and 00 forever, approaching neither. That is why the specification writes r<1|r| < 1 strictly rather than r1|r| \leq 1.

  • Dr=1r = 1

    With r=1r = 1 every term equals aa, so the sum of nn terms is nana, which runs away for any non-zero aa. The formula does not merely fail to converge here — it never applied, since deriving it required dividing by 1r1 - r.

Traps tested: Convergence condition read as r less than one · Convergence boundary wrongly included · Constant series assumed to converge

Question 23 marks

For the geometric series 45+15+5+45 + 15 + 5 + \cdots, find the sum of all the terms after the first two.

  • 7.57.5

    Correct. r=1545=13r = \frac{15}{45} = \frac{1}{3}, and the terms after the first two form a geometric series with the same ratio but first term 55: 5113=523=7.5\frac{5}{1-\frac{1}{3}} = \frac{5}{\frac{2}{3}} = 7.5. Cross-check against the whole series: 452/3=67.5\frac{45}{2/3} = 67.5, and 67.54515=7.567.5 - 45 - 15 = 7.5. ✓

  • B67.567.5

    This is the sum of the entire series — the question's "after the first two" was not applied, so aa was taken as 45 rather than 5. The aa in a1r\frac{a}{1-r} is always the first term of the sum being asked for, not of the sequence it was carved out of.

  • C22.522.5

    This removes only the first term, taking a=15a = 15: 152/3=22.5\frac{15}{2/3} = 22.5, which equals 67.54567.5 - 45. One term too few has been deleted — the question excludes two. Writing out the terms that remain (5,53,59,5, \frac{5}{3}, \frac{5}{9}, \ldots) before summing removes the ambiguity.

  • D3.753.75

    This computes 51+13\frac{5}{1+\frac{1}{3}}, a sign slip in the denominator. The formula is a1r\frac{a}{1-r}, and here rr is positive, so 1r=231 - r = \frac{2}{3}, not 43\frac{4}{3}. The 1+r1 + r shape only ever appears as the result of 1r1 - r with a negative rr substituted correctly.

Traps tested: Sum to infinity first term misidentified · Terms excluded miscounted · Sign error in one minus r

Question 32 marks

A geometric series has first term 44 and common ratio 33. Find the sum of the first 77 terms.

  • 43724372

    Correct. S7=4(371)31=4(2186)2=4372S_7 = \frac{4(3^7 - 1)}{3-1} = \frac{4(2186)}{2} = 4372, matching the direct sum 4+12+36+108+324+972+29164+12+36+108+324+972+2916. Using the a(rn1)r1\frac{a(r^n-1)}{r-1} form here keeps every quantity positive; the booklet's a(1rn)1r\frac{a(1-r^n)}{1-r} form gives 4(2186)2\frac{4(-2186)}{-2} and the same answer, with two more minus signs to track.

  • B29162916

    This is u7=4×36=2916u_7 = 4 \times 3^6 = 2916, the seventh term rather than the sum of the first seven. It is also, revealingly, larger than half the correct total — with r=3r = 3 the last term dominates the sum, which makes this distractor feel plausible in a way it would not for a slowly-growing series.

  • C1312013120

    This uses r8r^8 instead of r7r^7: 4(381)2=13120\frac{4(3^8-1)}{2} = 13120, the sum of eight terms rather than seven. The exponent in the sum formula is the count of terms being added, and there is no 1-1 on it — that 1-1 belongs to un=arn1u_n = ar^{n-1}, where the exponent counts steps instead.

  • D4372-4372

    This has the right size and the wrong sign — the signature of using a(1rn)1r\frac{a(1-r^n)}{1-r} with r>1r > 1 and cancelling only one of the two negatives. 1371 - 3^7 is negative and 131 - 3 is negative, and a negative divided by a negative is positive. A sum of positive terms cannot be negative, which makes this one self-detectable in a second.

Traps tested: Nth term given instead of sum · Exponent off by one in sum formula · Double negative mishandled in sum formula

Question 42 marks

In Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}, which single feature of the expression decides whether a sum to infinity exists?

  • What rnr^n does as nn grows — it is the only part of the expression that depends on nn at all

    Correct, and it is worth noticing how little work this takes: aa and 1r1-r are fixed constants, so the entire nn-dependence of SnS_n sits in rnr^n. If rn0r^n \to 0 the whole expression tends to a1r\frac{a}{1-r}; if rnr^n grows or oscillates, SnS_n inherits that behaviour and no limit exists. The convergence condition is a statement about rnr^n, translated into a statement about rr.

  • BThe sign of aa

    aa is a constant multiplier sitting outside everything that varies. Changing its sign flips the sum from positive to negative but cannot change whether the sum settles at all — a1r\frac{a}{1-r} is finite or not regardless of which side of zero aa is on.

  • CWhether nn is even or odd

    Parity of nn affects the sign of rnr^n when rr is negative, but not its size — and it is the size that decides convergence. For r=0.9r = -0.9 the terms alternate in sign at every step and the series converges anyway; for r=1.5r = -1.5 they alternate too, and it diverges. Parity is not the variable doing the work.

  • DWhether 1r1-r is positive

    1r1 - r is a fixed constant, not something that changes as nn grows, so it cannot decide a question about limiting behaviour. Its sign affects the sign of the answer, and its being non-zero is what makes the formula legal at all (r1r \neq 1) — but neither of those is convergence.

Traps tested: Convergence attributed to first term · Convergence attributed to parity · Convergence attributed to denominator sign

Question 52 marks

In the standard proof that Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}, why is the series multiplied by rr before the two lines are subtracted?

  • Because multiplying by rr turns each term into the next one, shifting the whole list along by one place, so the two lines share every term but two and everything in between cancels on subtraction

    Correct. That shift is the entire mechanism: the only survivors of the subtraction are the aa at the front of the first line and the arnar^n at the end of the second, leaving Sn(1r)=a(1rn)S_n(1-r) = a(1-r^n) immediately. Without the multiplication there is no overlap, and with no overlap there is nothing to cancel.

  • BSo that the negative terms cancel out

    A geometric series need contain no negative terms at all for this proof to work — it holds identically for 3+6+12+243 + 6 + 12 + 24. The cancellation is between identical terms appearing in both lines, not between terms of opposite sign.

  • CBecause reversing and adding, as in the arithmetic proof, would also work here but takes longer

    Reversing and adding does not work here at all — it is not merely slower. Reversed pairs of a geometric series do not have a constant sum: for 3,6,12,243, 6, 12, 24 the pairs come out 27,18,18,2727, 18, 18, 27. Constant pair-sums are a consequence of a constant additive step, which a geometric series does not have.

  • DTo convert the geometric series into an arithmetic one, which is easier to sum

    Multiplying a geometric series by rr produces another geometric series with the same ratio — it stays geometric throughout, and nothing in this proof involves an arithmetic series at any stage.

Traps tested: Cancellation purpose confused with sign · Arithmetic proof method assumed transferable · Arithmetic and geometric formulas confused

Question 64 marks

The first 8 terms of a sequence form an arithmetic series with first term 3030 and common difference 2-2. From the 8th term onwards, the terms form a geometric series with common ratio 12\frac{1}{2}. What is the sum of all the terms of the sequence?

  • 200200

    Correct. The 8th term is 30+7(2)=1630 + 7(-2) = 16 and the arithmetic sum is S8=12(8)[60+7(2)]=4(46)=184S_8 = \frac{1}{2}(8)[60 + 7(-2)] = 4(46) = 184. The terms after the 8th are 8,4,2,8, 4, 2, \ldots — geometric with first term 16×12=816 \times \frac{1}{2} = 8 — summing to 81/2=16\frac{8}{1/2} = 16. Total 184+16=200184 + 16 = 200. The other legal route agrees: S7=168S_7 = 168, plus 161/2=32\frac{16}{1/2} = 32, gives 200.

  • B216216

    This counts the 8th term twice — once inside S8=184S_8 = 184 and again as the first term of a geometric series summing to 161/2=32\frac{16}{1/2} = 32. The shared term belongs to exactly one of the two sums, and the difference between this answer and the correct one is precisely one copy of it: 216200=16216 - 200 = 16.

  • C184184

    This is the arithmetic part alone, with the infinite geometric tail dropped. The tail is infinite in length but finite in total — 8+4+2+1+=168 + 4 + 2 + 1 + \cdots = 16 — so it contributes a real, computable amount that must be added on.

  • D192192

    This adds only the first term of the geometric tail (184+8184 + 8) rather than its sum to infinity. The tail has infinitely many terms; their total happens to be exactly double its first term here, since a1r=a1/2=2a\frac{a}{1-r} = \frac{a}{1/2} = 2a when r=12r = \frac{1}{2}.

Traps tested: Overlap term double counted · Geometric tail omitted · Infinite tail replaced by single term

Practice this for real

This site teaches the mechanism; the exam is sat on Pearson's own real questions. Go find and attempt these yourself — nothing here substitutes for actually sitting a timed paper.

Examiner report
Jan 2024 · Q5(i) — cited directly in this lesson
Pearson's official past-papers portal

Select International Advanced Level → Mathematics → any series, then look for WMA12.

Pure Mathematics 2 · progress saved in this browser · sign in to sync across devices

Up next

Binomial Expansion of (a + bx)ⁿ for Positive Integer n

Every term in the expansion of (a+bx)^n answers the same question, asked n times over: out of n identical brackets, how many ways can you pick which r of them contribute the bx? That headcount — written \binom{n}{r} or {}^nC_r — is the entire binomial coefficient, and nothing about it needs memorising once you see it as counting rather than as a formula. The paper's most common trap isn't getting that count wrong; it's attaching a correctly-computed count to the wrong power in the first place.

55 min