Skip to content

Edexcel A-level Further Maths revision notes

Further sequences and series (Further Pure 2)

Section 6
Years 1 and 2
Years 1 and 2: this holds AS subject content and content the exam board adds beyond it for the full A-level.
3 specification points

Notes and three levels of exam-style practice for each registered specification point in this section.

Checked against Edexcel 9FM0 section 6

Checked against Edexcel 9FM0 section 6. Review basis: the qualification registry sourced from the Pearson Edexcel Level 3 Advanced GCE in Further Mathematics (9FM0) specification; registry verification recorded 17 July 2026.

How this checking works

In the exam: Formulae booklet provided · calculator allowed in every paper

Years 1 and 2
Years 1 and 2: this holds AS subject content and content the exam board adds beyond it for the full A-level.

First and second order recurrence relations.

Notes
Evidence from your answers: none yet
Your confidence:

A self-report of how sure you feel. It does not measure mastery. Evidence from your answers reaches secure after the latest Tier 2/3 attempt is correct, with three correct distinct drills across at least two dates and two practice sources.

Explanation

  • A recurrence relation defines each term of a sequence from earlier terms together with enough initial values to start it. A first order relation uses only the previous term, as in un+1=aun+bu_{n+1}=au_{n}+b, and needs one initial value.
  • A second order relation uses the two previous terms, as in un+2=pun+1+qunu_{n+2}=pu_{n+1}+qu_{n}, and needs two.
  • A relation is homogeneous when every term involves the sequence, so un+2−5un+1+6un=0u_{n+2}-5u_{n+1}+6u_{n}=0 is homogeneous while un+2−5un+1+6un=4u_{n+2}-5u_{n+1}+6u_{n}=4 is not.
  • Modelling questions ask you to build the relation: identify what one step does to the current value, translate multiplication into the coefficient and any fixed addition into the constant term.
  • For a homogeneous linear relation the auxiliary equation is obtained by trying un=λnu_{n}=\lambda^{n}, which gives λ2=pλ+q\lambda^{2}=p\lambda+q after dividing by λn\lambda^{n}; its roots control the behaviour of the sequence and are the first step towards a closed form.
Worked example

A sequence is defined by un+2=2un+1+3unu_{n+2}=2u_{n+1}+3u_{n} with u0=1u_{0}=1 and u1=3u_{1}=3. Find u2u_{2}, u3u_{3} and u4u_{4}, and write down the auxiliary equation.

  1. 1.u2=2×3+3×1=9u_{2}=2\times3+3\times1=9.
  2. 2.u3=2×9+3×3=27u_{3}=2\times9+3\times3=27.
  3. 3.u4=2×27+3×9=81u_{4}=2\times27+3\times9=81.
  4. 4.Trying un=λnu_{n}=\lambda^{n} gives λ2=2λ+3\lambda^{2}=2\lambda+3, that is λ2−2λ−3=0\lambda^{2}-2\lambda-3=0.

Answer: u2=9u_{2}=9, u3=27u_{3}=27, u4=81u_{4}=81, and the auxiliary equation is λ2−2λ−3=0\lambda^{2}-2\lambda-3=0.

Common mistakes

  • Don't fall into the trap of supplying only one initial value for a second order relation, which leaves the sequence undetermined.
  • Don't fall into the trap of reading un+2=pun+1+qunu_{n+2}=pu_{n+1}+qu_{n} off with the coefficients swapped when forming the auxiliary equation.
  • Don't fall into the trap of adding the fixed amount before applying the growth factor in a modelling question whose wording says otherwise.

Exam tip

Write the first few terms out explicitly even when the question only asks for the relation; they are the quickest check that your coefficients are the right way round.

Tier 1 · Easy

ORIGINAL

1.

A sequence is defined by un+1=3un−2u_{n+1}=3u_{n}-2 with u1=4u_{1}=4. Find u2u_{2}, u3u_{3} and u4u_{4}.

(3)

(Total for Question 1 is 3 marks)

Tier 2 · Standard

ORIGINAL

1.

An account starts with £1000\pounds1000. At the end of each year interest of 4%4\% is added and then a further £200\pounds200 is deposited. Write down a recurrence relation for the amount AnA_{n} pounds in the account after nn years, and find A3A_{3} to the nearest penny.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

Three pegs stand in a row and nn discs of different sizes are stacked on the first peg, largest at the bottom. A move transfers the top disc of one peg to another peg, and a disc may never be placed on a smaller disc. Let hnh_{n} be the least number of moves needed to transfer the whole stack to another peg. Explain why hn=2hn−1+1h_{n}=2h_{n-1}+1 for n⩾2n\geqslant2, and find h6h_{6} given that h1=1h_{1}=1.

(7)

(Total for Question 1 is 7 marks)

Your progress and exam materials

This section: Evidence from your answers: 0/3 secureYour confidence: 0 self-rated secureTracker status: 0/3 secure, 0 shaky, 3 unseen

Overall: Evidence from your answers: 0/158 secureYour confidence: 0 self-rated secureTracker status: 0/158 secure, 0 shaky, 158 unseen

Progress is saved on this device for guests and accounts right now; cross-device account sync is not live yet.

Year 1
Year 1: this is the AS subject content the exam board publishes, which is what most schools teach in Year 12.

The solution of recurrence relations to obtain closed forms.

Notes
Evidence from your answers: none yet
Your confidence:

A self-report of how sure you feel. It does not measure mastery. Evidence from your answers reaches secure after the latest Tier 2/3 attempt is correct, with three correct distinct drills across at least two dates and two practice sources.

Explanation

  • For a first order relation un+1=aun+bu_{n+1}=au_{n}+b with a≠1a\ne1, find the fixed point cc from c=ac+bc=ac+b, so c=b1−ac=\dfrac{b}{1-a}; then un−cu_{n}-c is geometric with ratio aa and un=c+an(u0−c)u_{n}=c+a^{n}\left(u_{0}-c\right).
  • For a homogeneous second order relation un+2=pun+1+qunu_{n+2}=pu_{n+1}+qu_{n}, solve the auxiliary equation λ2−pλ−q=0\lambda^{2}-p\lambda-q=0.
  • Distinct real roots α\alpha and β\beta give un=Aαn+Bβnu_{n}=A\alpha^{n}+B\beta^{n}; a repeated root α\alpha gives un=(A+Bn)αnu_{n}=\left(A+Bn\right)\alpha^{n}.
  • The constants AA and BB are then fixed by substituting the two initial values and solving simultaneously.
  • For a non-homogeneous relation, the general solution is the complementary function, found as above, plus any particular solution: try a constant when the right-hand side is constant, and try kμnk\mu^{n} when it is μn\mu^{n}, unless μ\mu is already a root of the auxiliary equation, in which case multiply the trial by nn.
Worked example

Solve un+2=5un+1−6unu_{n+2}=5u_{n+1}-6u_{n} with u0=1u_{0}=1 and u1=4u_{1}=4.

  1. 1.The auxiliary equation is λ2−5λ+6=0\lambda^{2}-5\lambda+6=0, with roots λ=2\lambda=2 and λ=3\lambda=3.
  2. 2.So un=A2n+B3nu_{n}=A2^{n}+B3^{n}.
  3. 3.u0=1u_{0}=1 gives A+B=1A+B=1; u1=4u_{1}=4 gives 2A+3B=42A+3B=4.
  4. 4.Subtracting twice the first from the second gives B=2B=2, hence A=−1A=-1.

Answer: un=2×3n−2nu_{n}=2\times3^{n}-2^{n}.

Common mistakes

  • Don't fall into the trap of writing un=Aαn+Bαnu_{n}=A\alpha^{n}+B\alpha^{n} for a repeated root, which collapses to a single constant.
  • Don't fall into the trap of fitting the constants using u1u_{1} and u2u_{2} when the given initial values are u0u_{0} and u1u_{1}.
  • Don't fall into the trap of forgetting the particular solution when the relation has a non-zero right-hand side.

Exam tip

Always test your closed form on the next term the recurrence produces; one substitution catches almost every sign or constant error.

Tier 1 · Easy

ORIGINAL

1.

Find a closed form for the sequence defined by un+1=2unu_{n+1}=2u_{n} with u0=5u_{0}=5.

(2)

(Total for Question 1 is 2 marks)

Tier 2 · Standard

ORIGINAL

1.

Find a closed form for the sequence defined by un+1=3un−2u_{n+1}=3u_{n}-2 with u1=4u_{1}=4.

(5)

(Total for Question 1 is 5 marks)

Tier 3 · Hard

ORIGINAL

1.

Find a closed form for the sequence defined by un+1=2un+3u_{n+1}=2u_{n}+3 with u0=1u_{0}=1.

(6)

(Total for Question 1 is 6 marks)

Year 1
Year 1: this is the AS subject content the exam board publishes, which is what most schools teach in Year 12.

Proof by induction of closed forms.

Notes
Evidence from your answers: none yet
Your confidence:

A self-report of how sure you feel. It does not measure mastery. Evidence from your answers reaches secure after the latest Tier 2/3 attempt is correct, with three correct distinct drills across at least two dates and two practice sources.

Explanation

  • A proof by induction of a closed form has four written parts. State the proposition P(n)P(n) precisely.
  • Prove the base case by evaluating both the recurrence's initial value and the closed form at the smallest index. Assume P(k)P(k) for some kk in range, then deduce P(k+1)P(k+1) by substituting the assumed closed form into the recurrence relation and simplifying to the closed form with k+1k+1 in place of kk.
  • Finish with the conclusion, naming both the base case and the inductive step.
  • A second order recurrence needs two base cases and the assumption of both P(k)P(k) and P(k+1)P(k+1), because the step uses two previous terms; this is two-step ordinary induction, not strong induction, which would assume P(m)P(m) for every mm up to kk.
  • The algebra in the inductive step is nearly always a matter of factorising out the common power, so aim for that form early and keep the index arithmetic explicit.
Worked example

A sequence is defined by u1=4u_{1}=4 and un+1=3un−2u_{n+1}=3u_{n}-2. Prove by induction that un=3n+1u_{n}=3^{n}+1 for all integers n≥1n\ge1.

  1. 1.Base case: 31+1=4=u13^{1}+1=4=u_{1}, so the statement holds for n=1n=1.
  2. 2.Assume uk=3k+1u_{k}=3^{k}+1 for some integer k≥1k\ge1.
  3. 3.Then uk+1=3uk−2=3(3k+1)−2=3k+1+3−2u_{k+1}=3u_{k}-2=3\left(3^{k}+1\right)-2=3^{k+1}+3-2.
  4. 4.=3k+1+1=3^{k+1}+1, which is the statement for n=k+1n=k+1.

Answer: True for n=1n=1 and inherited from each kk to k+1k+1, so un=3n+1u_{n}=3^{n}+1 for all integers n≥1n\ge1 by induction.

Common mistakes

  • Don't fall into the trap of assuming the result for all nn rather than for one particular kk, which assumes what is to be proved.
  • Don't fall into the trap of giving only one base case for a second order recurrence, where two are needed.
  • Don't fall into the trap of omitting the closing statement that names the base case and the inductive step.

Exam tip

Write the target expression for n=k+1n=k+1 down before you start simplifying; knowing where you are heading makes the factorisation obvious.

Tier 1 · Easy

ORIGINAL

1.

A sequence is defined by u1=2u_{1}=2 and un+1=4un−3u_{n+1}=4u_{n}-3. Prove by induction that un=4n−1+1u_{n}=4^{n-1}+1 for all integers n⩾1n\geqslant1.

(5)

(Total for Question 1 is 5 marks)

Tier 2 · Standard

ORIGINAL

1.

A sequence is defined by u1=1u_{1}=1 and un+1=3un+2u_{n+1}=3u_{n}+2. Prove by induction that un=2×3n−1−1u_{n}=2\times3^{n-1}-1 for all integers n≥1n\ge1.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

A sequence is defined by u0=1u_{0}=1, u1=4u_{1}=4 and un+2=5un+1−6unu_{n+2}=5u_{n+1}-6u_{n}. Prove by induction that un=2×3n−2nu_{n}=2\times3^{n}-2^{n} for all integers n≥0n\ge0.

(8)

(Total for Question 1 is 8 marks)

See everything due today — your streak and what to revise next, kept on this device.

Want help turning these notes into marks?

Bring a tricky specification point or a recent answer, and we can work through the method and exam wording together.