OCR MEI Further Pure with Technology 2023 June — Question 2 11 marks

Exam BoardOCR MEI
ModuleFurther Pure with Technology (Further Pure with Technology)
Year2023
SessionJune
Marks11
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicNumber Theory
TypeProgramming tasks
DifficultyChallenging +1.8 This question combines algebraic proof with programming in a Further Maths context. Part (a) requires algebraic manipulation with Pythagorean triples, (b) demands programming skills beyond standard A-level, (c) is trivial given (b), and (d) requires proof by contradiction or systematic case analysis. The programming component and proof elements elevate this above typical Further Maths questions, but the underlying mathematics is accessible with standard techniques.

2 Throughout this question ( \(a , b , c\) ) is a Pythagorean triple with the positive integers \(a , b , c\) ordered such that \(a \leqslant b \leqslant c\).
  1. Show that \(\mathrm { a } ^ { 2 } = \mathrm { b } + \mathrm { c }\) if and only if \(\mathrm { c } = \mathrm { b } + 1\).
  2. Create a program to find all the Pythagorean triples ( \(a , b , c\) ) such that \(\mathrm { a } ^ { 2 } = \mathrm { b } + \mathrm { c }\) and \(c \leqslant 1000\). Write out your program in full in the Printed Answer Booklet.
  3. Write down the number of Pythagorean triples found by your program in (b).
  4. Prove that there is no Pythagorean triple, \(( a , b , c )\), in which \(\mathrm { b } ^ { 2 } = \mathrm { a } + \mathrm { c }\).

Question 2:
AnswerMarks Guidance
2(a) Suppose c=b+1 and substitute into 𝑎2+𝑏2 =
𝑐2.
Simplify to a 2 = b + c .
Suppose a 2 = b + c . Substitute into 𝑎2+𝑏2 =
𝑐2. Simplify to b + c + b 2 = c 2 .
Factorise and rearrange,
( b + c ) ( 1 + b − c ) = 0 .
AnswerMarks
Since b+c0, c=b+1.M1
A1
M1
A1
AnswerMarks
[4]1.1a
2.2a
1.1
AnswerMarks
2.2aIf argument is present as an “if and only if” must see
valid reasoning to support this assertion.
1±√(2𝑏+1)2
Or 𝑐 = = 𝑏+1 or 𝑐 = −𝑏.
2
Since 𝑏,𝑐 ≥ 0,𝑐 = 𝑏+1
Accept CAS for finding 𝑐.
AnswerMarks
(b)Appropriate program structure
Loops with correct range
Check required condition on a and c with if
statement.
AnswerMarks
Fully correct programM1
M1
A1
AnswerMarks
[3]3.3
2.1
AnswerMarks
2.5Pseudo code accepted, condone lack of syntax, give
reasonable BOD on possible transcription errors.
For example, use of loops, if statement(s) to check
condition(s) and print final output.
Condone one incorrect loop with one wrong value for
M1 mark.
Example program
For a in range(1,501):
for c in range(a,1001):
if a*a + (c-1)*(c-1)==c*c and c-1!=0:
print(a,c-1,c)
AnswerMarks Guidance
(c)21 B1
[1]1.1a
Alternative method 1
AnswerMarks Guidance
If b 2 = a + c then, by a similar argument to thatM1 M1
in (a), c = a + 1.
AnswerMarks Guidance
So 𝑏2 = 2𝑎+1.M1 2.1
For 𝑎 ≥ 3, 𝑏 = √2𝑎+1 < 𝑎. Which is aA1 A1
contradiction to 0  a  b  c .
When 𝑎 = 1, 𝑏 = √3 and 𝑎 = 2, 𝑏 = √5.
Which is impossible since 𝑏 is an integer.
[3]
Alternative method 2
AnswerMarks Guidance
If b 2 = a + c then, by a similar argument to thatM1 M1
in (a), c = a + 1.
AnswerMarks Guidance
Since a, b and c are integers and 𝑐 = 𝑎 + 1M1 2.1
0  a  b  c , this implies that 𝑏 = 𝑎 = 𝑐−
1.
AnswerMarks Guidance
Since b 2 = a + c , 𝑏2−2𝑏−1 = 0.A1 3.2a
This equation has no integer solutions.example CAS to find roots which are not integers.
[3]
Question 2:
2 | (a) | Suppose c=b+1 and substitute into 𝑎2+𝑏2 =
𝑐2.
Simplify to a 2 = b + c .
Suppose a 2 = b + c . Substitute into 𝑎2+𝑏2 =
𝑐2. Simplify to b + c + b 2 = c 2 .
Factorise and rearrange,
( b + c ) ( 1 + b − c ) = 0 .
Since b+c0, c=b+1. | M1
A1
M1
A1
[4] | 1.1a
2.2a
1.1
2.2a | If argument is present as an “if and only if” must see
valid reasoning to support this assertion.
1±√(2𝑏+1)2
Or 𝑐 = = 𝑏+1 or 𝑐 = −𝑏.
2
Since 𝑏,𝑐 ≥ 0,𝑐 = 𝑏+1
Accept CAS for finding 𝑐.
(b) | Appropriate program structure
Loops with correct range
Check required condition on a and c with if
statement.
Fully correct program | M1
M1
A1
[3] | 3.3
2.1
2.5 | Pseudo code accepted, condone lack of syntax, give
reasonable BOD on possible transcription errors.
For example, use of loops, if statement(s) to check
condition(s) and print final output.
Condone one incorrect loop with one wrong value for
M1 mark.
Example program
For a in range(1,501):
for c in range(a,1001):
if a*a + (c-1)*(c-1)==c*c and c-1!=0:
print(a,c-1,c)
(c) | 21 | B1
[1] | 1.1a
Alternative method 1
If b 2 = a + c then, by a similar argument to that | M1 | M1 | 2.1 | 2.1
in (a), c = a + 1.
So 𝑏2 = 2𝑎+1. | M1 | 2.1
For 𝑎 ≥ 3, 𝑏 = √2𝑎+1 < 𝑎. Which is a | A1 | A1 | 3.2a | 3.2a
contradiction to 0  a  b  c .
When 𝑎 = 1, 𝑏 = √3 and 𝑎 = 2, 𝑏 = √5.
Which is impossible since 𝑏 is an integer.
[3]
Alternative method 2
If b 2 = a + c then, by a similar argument to that | M1 | M1 | 2.1 | 2.1 | Accept any correct method leading to deduction. | Accept any correct method leading to deduction.
in (a), c = a + 1.
Since a, b and c are integers and 𝑐 = 𝑎 + 1 | M1 | 2.1
0  a  b  c , this implies that 𝑏 = 𝑎 = 𝑐−
1.
Since b 2 = a + c , 𝑏2−2𝑏−1 = 0. | A1 | 3.2a | Accept any correct method leading to deduction, for
This equation has no integer solutions. | example CAS to find roots which are not integers.
[3]
2 Throughout this question ( $a , b , c$ ) is a Pythagorean triple with the positive integers $a , b , c$ ordered such that $a \leqslant b \leqslant c$.
\begin{enumerate}[label=(\alph*)]
\item Show that $\mathrm { a } ^ { 2 } = \mathrm { b } + \mathrm { c }$ if and only if $\mathrm { c } = \mathrm { b } + 1$.
\item Create a program to find all the Pythagorean triples ( $a , b , c$ ) such that $\mathrm { a } ^ { 2 } = \mathrm { b } + \mathrm { c }$ and $c \leqslant 1000$. Write out your program in full in the Printed Answer Booklet.
\item Write down the number of Pythagorean triples found by your program in (b).
\item Prove that there is no Pythagorean triple, $( a , b , c )$, in which $\mathrm { b } ^ { 2 } = \mathrm { a } + \mathrm { c }$.
\end{enumerate}

\hfill \mbox{\textit{OCR MEI Further Pure with Technology 2023 Q2 [11]}}