Edexcel FP2 2020 June — Question 8 12 marks

Exam BoardEdexcel
ModuleFP2 (Further Pure Mathematics 2)
Year2020
SessionJune
Marks12
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicNumber Theory
TypeModular arithmetic properties
DifficultyChallenging +1.8 This is a multi-part Further Maths question requiring systematic application of modular arithmetic properties and logical deduction across multiple constraints. While each individual step is guided, students must coordinate divisibility rules, modular arithmetic (including finding powers of 10 mod 7), and constraint satisfaction across four parts to reach a unique solution. The structured scaffolding makes it more accessible than an unguided proof, but the combination of number theory concepts and multi-constraint optimization places it well above average difficulty.
Spec8.02b Divisibility tests: standard tests for 2, 3, 4, 5, 8, 9, 118.02e Finite (modular) arithmetic: integers modulo n

  1. The four digit number \(n = a b c d\) satisfies the following properties:
    (1) \(n \equiv 3 ( \bmod 7 )\) (2) \(n\) is divisible by 9
    (3) the first two digits have the same sum as the last two digits
    (4) the digit \(b\) is smaller than any other digit
    (5) the digit \(c\) is even
    1. Use property (1) to explain why \(6 a + 2 b + 3 c + d \equiv 3 ( \bmod 7 )\)
    2. Use properties (2), (3) and (4) to show that \(a + b = 9\)
    3. Deduce that \(c \equiv 5 ( a - 1 ) ( \bmod 7 )\)
    4. Hence determine the number \(n\), verifying that it is unique. You must make your reasoning clear.

Question 8:
Part (a):
AnswerMarks Guidance
Answer/WorkingMark Guidance
The integer \(n\) can be written as \(n = 1000a + 100b + 10c + d\)M1 Writes \(n = abcd\) as sum of multiples of digits
As \(1000 = 142\times7+6\), \(100=14\times7+2\) and \(10=7+3\), reducing coefficients modulo 7 gives \(n \equiv 6a+2b+3c+d \pmod{7}\) *A1* Explains how each coefficient reduces modulo 7 to give the stated answer
Part (b):
AnswerMarks Guidance
Answer/WorkingMark Guidance
\(n\) divisible by 9 means \(a+b+c+d = 9k\) for some integer \(k\)B1 Applies the divisibility test for 9
\(a+b = c+d \Rightarrow 2(a+b) = 9k\), hence \(k\) evenM1 Uses third fact with second to eliminate \(c\) and \(d\) and deduce \(k\) even
But \(a+b+c+d\) must be at least 3 and at most 35 (as \(b\) smaller than all other numbers)B1 Eliminates possibilities \(k=0\) or \(4\)
So since \(k\) must be even, only possibility is \(k=2\) to keep \(a+b+c+d\) in range 0–36, hence \(a+b=9\) *A1* Completes the proof with all steps explained
Part (c):
AnswerMarks Guidance
Answer/WorkingMark Guidance
Combining (a) and (b) gives \(3 \equiv 2(a+b)+4a+(c+d)+2c \equiv 4a+2c+27 \pmod{7}\)M1 Combines results of (a) and (b) to eliminate \(b\) and \(d\)
\(\Rightarrow 2c \equiv -4a-24 \equiv -4(a+6) \equiv 3(a-1) \pmod{7}\) \(\Rightarrow 8c \equiv 12(a-1)\pmod{7} \Rightarrow c \equiv 5(a-1)\pmod{7}\) *A1* Correct completion to given statement. Different approaches possible
Part (d):
AnswerMarks Guidance
Answer/WorkingMark Guidance
As \(b < a\) and \(a+b=9\) we must have \(a \geq 5\)M1 Begins process of eliminating possibilities for one of the digits
If \(a=9\): \(c \equiv 5\pmod{7} \Rightarrow c=5\), contradicting \(c\) even. If \(a=8\): \(c \equiv 0\pmod{7} \Rightarrow c=0\) or \(7\), but 7 not even and \(c>b\) so can't be zero. If \(a=7\): \(c \equiv 2\pmod{7} \Rightarrow c=2\), but \(b=2\) for \(a=7\) and \(bdM1, A1 Continues eliminating at least two more cases; complete argument leading to one solution only
Hence \(n = 6345\) (only)B1 For \(n=6345\) obtained in any way
## Question 8:

### Part (a):
| Answer/Working | Mark | Guidance |
|---|---|---|
| The integer $n$ can be written as $n = 1000a + 100b + 10c + d$ | M1 | Writes $n = abcd$ as sum of multiples of digits |
| As $1000 = 142\times7+6$, $100=14\times7+2$ and $10=7+3$, reducing coefficients modulo 7 gives $n \equiv 6a+2b+3c+d \pmod{7}$ * | A1* | Explains how each coefficient reduces modulo 7 to give the stated answer |

### Part (b):
| Answer/Working | Mark | Guidance |
|---|---|---|
| $n$ divisible by 9 means $a+b+c+d = 9k$ for some integer $k$ | B1 | Applies the divisibility test for 9 |
| $a+b = c+d \Rightarrow 2(a+b) = 9k$, hence $k$ even | M1 | Uses third fact with second to eliminate $c$ and $d$ and deduce $k$ even |
| But $a+b+c+d$ must be at least 3 and at most 35 (as $b$ smaller than all other numbers) | B1 | Eliminates possibilities $k=0$ or $4$ |
| So since $k$ must be even, only possibility is $k=2$ to keep $a+b+c+d$ in range 0–36, hence $a+b=9$ * | A1* | Completes the proof with all steps explained |

### Part (c):
| Answer/Working | Mark | Guidance |
|---|---|---|
| Combining (a) and (b) gives $3 \equiv 2(a+b)+4a+(c+d)+2c \equiv 4a+2c+27 \pmod{7}$ | M1 | Combines results of (a) and (b) to eliminate $b$ and $d$ |
| $\Rightarrow 2c \equiv -4a-24 \equiv -4(a+6) \equiv 3(a-1) \pmod{7}$ $\Rightarrow 8c \equiv 12(a-1)\pmod{7} \Rightarrow c \equiv 5(a-1)\pmod{7}$ * | A1* | Correct completion to given statement. Different approaches possible |

### Part (d):
| Answer/Working | Mark | Guidance |
|---|---|---|
| As $b < a$ and $a+b=9$ we must have $a \geq 5$ | M1 | Begins process of eliminating possibilities for one of the digits |
| If $a=9$: $c \equiv 5\pmod{7} \Rightarrow c=5$, contradicting $c$ even. If $a=8$: $c \equiv 0\pmod{7} \Rightarrow c=0$ or $7$, but 7 not even and $c>b$ so can't be zero. If $a=7$: $c \equiv 2\pmod{7} \Rightarrow c=2$, but $b=2$ for $a=7$ and $b<c$ so not possible. If $a=6$: $c \equiv 4\pmod{7} \Rightarrow c=4$, $d=5$ and $b=3$ which works. If $a=5$: $c \equiv 6\pmod{7} \Rightarrow c=6$, $d=3$ and $b=4$ but then $d<b$, not allowed. | dM1, A1 | Continues eliminating at least two more cases; complete argument leading to one solution only |
| Hence $n = 6345$ (only) | B1 | For $n=6345$ obtained in any way |
\begin{enumerate}
  \item The four digit number $n = a b c d$ satisfies the following properties:\\
(1) $n \equiv 3 ( \bmod 7 )$\\
(2) $n$ is divisible by 9\\
(3) the first two digits have the same sum as the last two digits\\
(4) the digit $b$ is smaller than any other digit\\
(5) the digit $c$ is even\\
(a) Use property (1) to explain why $6 a + 2 b + 3 c + d \equiv 3 ( \bmod 7 )$\\
(b) Use properties (2), (3) and (4) to show that $a + b = 9$\\
(c) Deduce that $c \equiv 5 ( a - 1 ) ( \bmod 7 )$\\
(d) Hence determine the number $n$, verifying that it is unique. You must make your reasoning clear.
\end{enumerate}

\hfill \mbox{\textit{Edexcel FP2 2020 Q8 [12]}}