Skip to content

Edexcel A-level Further Maths revision notes

Number theory (Further Pure 2)

Section 5
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.
7 specification points

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

Checked against Edexcel 9FM0 section 5

Checked against Edexcel 9FM0 section 5. 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

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

An understanding of the division theorem and its application to the Euclidean Algorithm and congruences.

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

  • The division theorem says that for integers aa and bb with b>0b>0 there are unique integers qq and rr with a=qb+ra=qb+r and 0≤r<b0\le r<b; qq is the quotient and rr the remainder.
  • The Euclidean algorithm applies it repeatedly: replace the pair (a,b)(a,b) by (b,r)(b,r) and repeat until the remainder is zero, at which point the last non-zero remainder is gcd⁡(a,b)\gcd(a,b).
  • The algorithm works because gcd⁡(a,b)=gcd⁡(b,r)\gcd(a,b)=\gcd(b,r) whenever a=qb+ra=qb+r, which follows because any common divisor of aa and bb divides r=a−qbr=a-qb, and any common divisor of bb and rr divides a=qb+ra=qb+r.
  • It terminates because the remainders form a strictly decreasing sequence of non-negative integers.
  • Set the working out as a column of division statements: each line is a mark, and the same lines are read backwards later to produce Bezout's identity.
Worked example

Use the Euclidean algorithm to find gcd⁡(1071,462)\gcd(1071,462).

  1. 1.1071=2×462+1471071=2\times462+147.
  2. 2.462=3×147+21462=3\times147+21.
  3. 3.147=7×21+0147=7\times21+0.
  4. 4.The last non-zero remainder is 2121.

Answer: gcd⁡(1071,462)=21\gcd(1071,462)=21.

Common mistakes

  • Don't fall into the trap of allowing a negative remainder; the division theorem requires 0≤r<b0\le r<b.
  • Don't fall into the trap of taking the last remainder computed, which is zero, instead of the last non-zero one.
  • Don't fall into the trap of dividing the wrong way round at the first step, which wastes a line but does still work.

Exam tip

Lay the algorithm out one division per line, keeping every quotient; you will need those quotients again for Bezout's identity.

Tier 1 · Easy

ORIGINAL

1.

State the division theorem for integers aa and bb with b>0b>0.

(3)

(Total for Question 1 is 3 marks)

Tier 2 · Standard

ORIGINAL

1.

Use the Euclidean algorithm to find gcd⁡(1224,1001)\gcd(1224,1001), showing every division.

(5)

(Total for Question 1 is 5 marks)

Tier 3 · Hard

ORIGINAL

1.

Use the Euclidean algorithm to find gcd⁡(10672,4147)\gcd(10672,4147), showing every division.

(6)

(Total for Question 1 is 6 marks)

Your progress and exam materials

This section: Evidence from your answers: 0/7 secureYour confidence: 0 self-rated secureTracker status: 0/7 secure, 0 shaky, 7 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.

Bezout's identity.

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

  • Bezout's identity states that for any integers aa and bb, not both zero, there exist integers xx and yy with ax+by=gcd⁡(a,b)ax+by=\gcd(a,b). The constructive proof is to run the Euclidean algorithm forwards and then read it backwards, substituting each remainder in terms of the two numbers above it until only aa and bb remain.
  • The pair (x,y)(x,y) is not unique: adding bgcd⁡(a,b)\dfrac{b}{\gcd(a,b)} to xx while subtracting agcd⁡(a,b)\dfrac{a}{\gcd(a,b)} from yy gives another solution, and every solution arises this way.
  • Two consequences are examined constantly.
  • First, ax+by=cax+by=c has integer solutions exactly when gcd⁡(a,b)\gcd(a,b) divides cc.
  • Second, if gcd⁡(a,n)=1\gcd(a,n)=1 then ax+ny=1ax+ny=1 for some xx, so ax≡1ax\equiv1 modulo nn and xx is the multiplicative inverse of aa modulo nn.
Worked example

Find integers xx and yy such that 84x+60y=1284x+60y=12.

  1. 1.The Euclidean algorithm gives 84=1×60+2484=1\times60+24 and 60=2×24+1260=2\times24+12.
  2. 2.Rearranging the second line, 12=60−2×2412=60-2\times24.
  3. 3.Rearranging the first line, 24=84−6024=84-60.
  4. 4.Substituting, 12=60−2(84−60)=3×60−2×8412=60-2\left(84-60\right)=3\times60-2\times84.

Answer: x=−2x=-2 and y=3y=3.

Common mistakes

  • Don't fall into the trap of simplifying a remainder numerically during the back-substitution, which destroys the trail back to aa and bb.
  • Don't fall into the trap of quoting Bezout's identity for a right-hand side that is not a multiple of the greatest common divisor.
  • Don't fall into the trap of losing a sign when rearranging a division statement into remainder-equals form.

Exam tip

Write each Euclidean line in the form remainder == dividend −- quotient ×\times divisor before you start substituting; the back-substitution is then purely mechanical.

Tier 1 · Easy

ORIGINAL

1.

State Bezout's identity for two integers aa and bb that are not both zero.

(2)

(Total for Question 1 is 2 marks)

Tier 2 · Standard

ORIGINAL

1.

Use the Euclidean algorithm and back-substitution to find integers xx and yy such that 1071x+462y=211071x+462y=21.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

Use the Euclidean algorithm and back-substitution to find integers xx and yy such that 1224x+1001y=11224x+1001y=1.

(8)

(Total for Question 1 is 8 marks)

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

Modular arithmetic. Understanding what is meant by two integers a and b being congruent modulo an integer n. Properties of congruences.

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

  • Two integers aa and bb are congruent modulo a positive integer nn, written a≡ba\equiv b modulo nn, when nn divides a−ba-b; equivalently they leave the same remainder on division by nn. Congruence modulo nn is reflexive, symmetric and transitive, so it splits the integers into nn residue classes.
  • The key properties are that congruences may be added, subtracted and multiplied: if a≡ba\equiv b and c≡dc\equiv d modulo nn then a+c≡b+da+c\equiv b+d, a−c≡b−da-c\equiv b-d and ac≡bdac\equiv bd modulo nn.
  • Raising to a power follows from repeated multiplication, so a≡ba\equiv b gives ak≡bka^{k}\equiv b^{k}.
  • Division is the exception: ac≡bcac\equiv bc modulo nn permits cancelling cc only when gcd⁡(c,n)=1\gcd(c,n)=1.
  • The standard technique for a large power is to find a small exponent at which the base becomes congruent to 11 or to −1-1, then reduce the exponent modulo that period.
Worked example

Find the remainder when 3473^{47} is divided by 55.

  1. 1.34=81≡13^{4}=81\equiv1 modulo 55.
  2. 2.Write 47=4×11+347=4\times11+3.
  3. 3.347=(34)11×33≡111×273^{47}=\left(3^{4}\right)^{11}\times3^{3}\equiv1^{11}\times27.
  4. 4.27=5×5+227=5\times5+2, so 347≡23^{47}\equiv2 modulo 55.

Answer: The remainder is 22.

Common mistakes

  • Don't fall into the trap of cancelling a common factor from both sides of a congruence when that factor shares a divisor with the modulus.
  • Don't fall into the trap of reducing the exponent modulo nn rather than modulo the period of the base.
  • Don't fall into the trap of giving a negative remainder; a remainder must lie in the range 00 to n−1n-1.

Exam tip

Compute small powers of the base until you hit 11 or −1-1; that first hit gives the period and turns the rest of the question into a division of the exponent.

Tier 1 · Easy

ORIGINAL

1.

Define what it means to say that two integers aa and bb are congruent modulo a positive integer nn.

(2)

(Total for Question 1 is 2 marks)

Tier 2 · Standard

ORIGINAL

1.

Prove that if a≡ba\equiv b and c≡dc\equiv d modulo nn, then a+c≡b+da+c\equiv b+d and ac≡bdac\equiv bd modulo nn.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

Prove that 32n+73^{2n}+7 is divisible by 88 for every positive integer nn.

(6)

(Total for Question 1 is 6 marks)

Year 2
Year 2: this is content the exam board adds beyond the AS subject content, for the full A-level.

Fermat's Little Theorem.

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

  • Fermat's Little Theorem states that if pp is prime and pp does not divide aa, then ap−1≡1a^{p-1}\equiv1 modulo pp.
  • An equivalent form that needs no restriction on aa is ap≡aa^{p}\equiv a modulo pp for every integer aa, since when pp divides aa both sides are congruent to 00.
  • The theorem turns a large power into a small one: to evaluate aNa^{N} modulo a prime pp, divide NN by p−1p-1 and keep only the remainder, because aN=(ap−1)qar≡ara^{N}=\left(a^{p-1}\right)^{q}a^{r}\equiv a^{r}.
  • It also gives inverses free of charge: if p∤ap\nmid a then a×ap−2=ap−1≡1a\times a^{p-2}=a^{p-1}\equiv1, so ap−2a^{p-2} is the multiplicative inverse of aa modulo pp.
  • Note that p−1p-1 need not be the least exponent giving 11; the true order of aa always divides p−1p-1, which is why reducing modulo p−1p-1 is safe even when a shorter cycle exists.
Worked example

Find the remainder when 4534^{53} is divided by 1111.

  1. 1.1111 is prime and does not divide 44, so 410≡14^{10}\equiv1 modulo 1111.
  2. 2.Write 53=10×5+353=10\times5+3.
  3. 3.453=(410)5×43≡434^{53}=\left(4^{10}\right)^{5}\times4^{3}\equiv4^{3}.
  4. 4.43=64=5×11+94^{3}=64=5\times11+9.

Answer: The remainder is 99.

Common mistakes

  • Don't fall into the trap of applying the theorem with a composite modulus, where it need not hold.
  • Don't fall into the trap of reducing the exponent modulo pp instead of modulo p−1p-1.
  • Don't fall into the trap of forgetting the condition that pp must not divide aa in the ap−1a^{p-1} form.

Exam tip

Write the theorem down explicitly with the actual prime substituted before you use it; the statement itself usually carries a mark.

Tier 1 · Easy

ORIGINAL

1.

State Fermat's Little Theorem, including the condition on aa.

(2)

(Total for Question 1 is 2 marks)

Tier 2 · Standard

ORIGINAL

1.

Use Fermat's Little Theorem to find the remainder when 31003^{100} is divided by 77.

(5)

(Total for Question 1 is 5 marks)

Tier 3 · Hard

ORIGINAL

1.

Deduce from Fermat's Little Theorem that ap≡aa^{p}\equiv a modulo pp for every integer aa and every prime pp, including the case where pp divides aa.

(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.

Divisibility tests.

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

  • Divisibility tests all come from reducing the base 1010 modulo the divisor. Since 10≡110\equiv1 modulo 33 and modulo 99, every power of ten is congruent to 11, so a number is congruent to its digit sum modulo 33 and modulo 99; that gives the digit-sum tests.
  • Since 10≡−110\equiv-1 modulo 1111, the powers of ten alternate between 11 and −1-1, so a number is congruent to the alternating sum of its digits taken from the units end; that gives the test for 1111.
  • For 22, 44 and 88, note that 100100 and 10001000 are divisible by 44 and 88 respectively, so only the last one, two or three digits matter.
  • A number is divisible by a product of coprime factors exactly when it is divisible by each factor, which is how the test for 66 is built from the tests for 22 and 33.
  • Always state the congruence for 1010 that your test rests on; that is where the marks are.
Worked example

Use a divisibility test to determine whether 918082918082 is divisible by 1111.

  1. 1.10≡−110\equiv-1 modulo 1111, so the alternating sum of the digits from the units end is congruent to the number.
  2. 2.The digits from the units end are 22, 88, 00, 88, 11, 99.
  3. 3.The alternating sum is 2−8+0−8+1−92-8+0-8+1-9.
  4. 4.This equals −22-22, which is a multiple of 1111.

Answer: 918082918082 is divisible by 1111; indeed 918082=11×83462918082=11\times83462.

Common mistakes

  • Don't fall into the trap of reading a sign off the alternating sum without noticing which end you started from: beginning at the leading digit negates the total only when the number has an even number of digits, so the divisibility conclusion survives either way but a stated remainder can come out with the wrong sign.
  • Don't fall into the trap of applying the digit-sum test for 99 to divisibility by 66 or 77, where no such test holds.
  • Don't fall into the trap of concluding divisibility by 66 from the digit-sum test alone, without also checking the number is even.

Exam tip

Quote the congruence for 1010 first, then apply it; a test stated without its justification usually scores only part of the marks.

Tier 1 · Easy

ORIGINAL

1.

Use the digit-sum test to determine whether 47284728 is divisible by 99, and whether it is divisible by 33.

(3)

(Total for Question 1 is 3 marks)

Tier 2 · Standard

ORIGINAL

1.

Prove the divisibility test for 99: a positive integer is divisible by 99 if and only if the sum of its digits is divisible by 99.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

Prove that a positive integer is divisible by 44 if and only if the number formed by its last two digits is divisible by 44.

(6)

(Total for Question 1 is 6 marks)

Year 2
Year 2: this is content the exam board adds beyond the AS subject content, for the full A-level.

Solution of congruence equations.

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 linear congruence ax≡bax\equiv b modulo nn has a solution if and only if d=gcd⁡(a,n)d=\gcd(a,n) divides bb, and when it does there are exactly dd solutions modulo nn.
  • The method is to divide the whole congruence, modulus included, by dd to obtain adx≡bd\dfrac{a}{d}x\equiv\dfrac{b}{d} modulo nd\dfrac{n}{d}, which has a unique solution because the new coefficient and modulus are coprime; find it by multiplying by the inverse of ad\dfrac{a}{d}, obtained from Bezout's identity or by inspection.
  • The dd solutions modulo nn are then that residue together with the residues obtained by adding nd\dfrac{n}{d} repeatedly.
  • For a pair of simultaneous congruences with coprime moduli, substitute the general form of one into the other: write x=a1+n1tx=a_{1}+n_{1}t, impose the second congruence on tt and solve for tt, which gives a single residue class modulo n1n2n_{1}n_{2}.
Worked example

Solve 10x≡1510x\equiv15 modulo 2525.

  1. 1.gcd⁡(10,25)=5\gcd(10,25)=5 and 55 divides 1515, so there are exactly 55 solutions modulo 2525.
  2. 2.Dividing throughout, including the modulus, gives 2x≡32x\equiv3 modulo 55.
  3. 3.The inverse of 22 modulo 55 is 33, since 2×3=6≡12\times3=6\equiv1, so x≡9≡4x\equiv9\equiv4 modulo 55.
  4. 4.Lifting back to modulus 2525 gives x≡4x\equiv4, 99, 1414, 1919 and 2424.

Answer: x≡4x\equiv4, 99, 1414, 1919 or 2424 modulo 2525.

Common mistakes

  • Don't fall into the trap of dividing the congruence by the common factor but leaving the modulus unchanged, which loses solutions.
  • Don't fall into the trap of giving only one solution when the greatest common divisor exceeds 11.
  • Don't fall into the trap of multiplying by a number that is not invertible modulo nn, which can introduce spurious solutions.

Exam tip

State gcd⁡(a,n)\gcd(a,n) and check it divides bb before doing anything else; that single line decides both solvability and how many answers to give.

Tier 1 · Easy

ORIGINAL

1.

Solve the congruence 3x≡13x\equiv1 modulo 77.

(3)

(Total for Question 1 is 3 marks)

Tier 2 · Standard

ORIGINAL

1.

Solve the congruence 8x≡128x\equiv12 modulo 2020, giving all solutions modulo 2020.

(6)

(Total for Question 1 is 6 marks)

Tier 3 · Hard

ORIGINAL

1.

Solve the congruence 17x≡517x\equiv5 modulo 4343.

(7)

(Total for Question 1 is 7 marks)

Year 2
Year 2: this is content the exam board adds beyond the AS subject content, for the full A-level.

Combinatorics: counting problems, permutations and combinations.

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

  • Two principles underpin every counting question. The multiplication principle says that if a choice can be made in mm ways and then a second, independent choice in kk ways, there are mkmk ways in total.
  • The addition principle says that mutually exclusive cases are counted by adding. From these, the number of ways to arrange nn distinct objects in a row is n!n!, the number of ordered selections of rr from nn is nPr=n!(n−r)!^{n}P_{r}=\dfrac{n!}{\left(n-r\right)!}, and the number of unordered selections is nCr=n!r!(n−r)!^{n}C_{r}=\dfrac{n!}{r!\left(n-r\right)!}.
  • When objects repeat, divide by the factorial of each repeat count: nn objects with repeat counts n1,n2,…n_{1},n_{2},\dots arrange in n!n1!n2!⋯\dfrac{n!}{n_{1}!n_{2}!\cdots} ways.
  • For arrangements in a circle, fix one object and arrange the rest, giving (n−1)!\left(n-1\right)!.
  • Restrictions are handled either by treating a block of objects that must stay together as a single item, or by subtracting the unwanted arrangements from the total.
Worked example

In how many distinct orders can the eleven letters of the word MISSISSIPPI be arranged?

  1. 1.The word has 1111 letters, of which I occurs 44 times, S occurs 44 times and P occurs 22 times; M occurs once.
  2. 2.Ignoring repeats there would be 11!=3991680011!=39916800 arrangements.
  3. 3.Each distinct arrangement is counted 4!×4!×2!=24×24×2=11524!\times4!\times2!=24\times24\times2=1152 times.
  4. 4.So the number of distinct arrangements is 399168001152\dfrac{39916800}{1152}.

Answer: 3465034650 distinct arrangements.

Common mistakes

  • Don't fall into the trap of using nPr^{n}P_{r} where order does not matter, which overcounts by a factor of r!r!.
  • Don't fall into the trap of forgetting to divide by the factorials of repeated letters.
  • Don't fall into the trap of using n!n! for a circular arrangement instead of (n−1)!\left(n-1\right)!.

Exam tip

Decide first whether order matters and whether repeats exist; those two answers determine the formula before any arithmetic begins.

Tier 1 · Easy

ORIGINAL

1.

In how many different orders can six distinct books be placed in a row on a shelf?

(2)

(Total for Question 1 is 2 marks)

Tier 2 · Standard

ORIGINAL

1.

In how many distinct orders can the ten letters of the word STATISTICS be arranged?

(4)

(Total for Question 1 is 4 marks)

Tier 3 · Hard

ORIGINAL

1.

Eight distinct people stand in a row. In how many arrangements are two particular people standing next to each other?

(5)

(Total for Question 1 is 5 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.