OCR Further Additional Pure AS 2021 November — Question 4 6 marks

Exam BoardOCR
ModuleFurther Additional Pure AS (Further Additional Pure AS)
Year2021
SessionNovember
Marks6
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicNumber Theory
TypeCoprimality proofs
DifficultyStandard +0.3 This is a straightforward application of the division algorithm and basic number theory definitions. Part (a) requires simple division with remainder (routine calculation), part (a)(ii) is direct translation to congruence notation, and part (b) uses a given Bézout identity to prove coprimality—a standard result requiring only recognition that gcd(715,1071)=1 follows immediately from the linear combination equaling 1. No novel insight or complex reasoning required.
Spec8.02d Division algorithm: a = bq + r uniquely8.02e Finite (modular) arithmetic: integers modulo n

4
  1. Let \(a = 1071\) and \(b = 67\).
    1. Find the unique integers \(q\) and \(r\) such that \(\mathrm { a } = \mathrm { bq } + \mathrm { r }\), where \(q > 0\) and \(0 \leqslant r < b\).
    2. Hence express the answer to (a)(i) in the form of a linear congruence modulo \(b\).
  2. Use the fact that \(358 \times 715 - 239 \times 1071 = 1\) to prove that 715 and 1071 are co-prime.

Question 4:
AnswerMarks Guidance
4(a) (i)
67B1
[1]1.1 BC
(ii)1071 ≡ 66 (mod 67) B1
[1]1.1 FT (a) (i)’s answer
(b)Suppose hcf(715, 1071) = h, so h 715 and h
⇒ h715a + 1071b
In this case, a = 358, b = –239 give h1
⇒ h = 1 and 715, 1071 are co-primeM1
M1
A1
B1
AnswerMarks
[4]3.1a
2.1
1.1
AnswerMarks
2.2a(for all integers a, b)
Must show understanding of conclusion relative to question’s
demand. (Condone correct conclusion of primality from h = ±1.)
AnswerMarks
(a)∂z 0.096y ∂z 0.096
= 0.9 – − 2xy2 = – 2x2y
∂x x2 ∂y x
∂z ∂z
Setting both = 0 and = 0 and expressing
∂x ∂y
(say) y in terms of x from the second of these
2
∂z 0.0960.048 0.048
In = 0, 0.9−  −2x  =0
∂x x2  x3   x3 
⇒ x5 = 0.01024 ⇒ x = 0.4
⇒ y = 0.75
AnswerMarks
and Cost = £4500M1 A1
M1
M1
A1
A1
A1
AnswerMarks
[7]1.1 1.1
1.1
3.1a
1.1
1.1
AnswerMarks
3.2aAttempt at both first p.d.s; at least one correct
Must include an attempt to do something with at least one of the
∂z 0.048
two equations: = 0 ⇒ y = *
∂y x3
Substituting into the other equation and solving attempt
FT from 1st variable found in clearly s.o.i. relationship (e.g.*)
CAO From correct z = 0.45
∂2z 0.192y ∂2z
= − 2y2 and =− 2x2
∂x2 x3 ∂y2
= 1.125 = −0.32
AnswerMarks
Change in y will decrease z since 2nd-p.d. < 0M1
A1 A1
AnswerMarks
B13.3
3.4 1.1
AnswerMarks
3.5aAttempt at the two second partial differentials
Correct value of z & value or sign statement for a suitable z
xx yy
Correct answer for correct reason
(FT + and − if values are not offered)
ve ve
NB z > 0 ⇒ the SV is a min. in the x-direction, while
xx
z < 0 ⇒ the SV is a max. in the y-direction
yy
AnswerMarks
Alternative methodM1
A1Adjusting values of x with y fixed; then y with x fixed
Correct 1st set of results
When with y = 0.75, x = 0.39, 0.4, 0.41
z = 0.450 059, 0.45, 0.450 054
AnswerMarks Guidance
and when x = 0.4, y = 0.74, 0.75, 0.76A1 Correct 2nd set of results
z = 0.449 984, 0.45, 0.449 984
AnswerMarks Guidance
Change in y will decrease zB1 Correct answer for correct reason
When with y = 0.75, x = 0.35, 0.4, 0.45
z = 0.451 808, 0.45, 0.451 094
and when x = 0.4, y = 0.7, 0.75, 0.8
z = 0.449 6, 0.45, 0.449 6
M1
A1
Adjusting values of x with y fixed; then y with x fixed
Correct 1st set of results
AnswerMarks Guidance
(a)(i) B1
B1
B1
AnswerMarks
[3]1.1
1.1
AnswerMarks
1.1R and C correct
3 3
Any other row or column correct
All correct
AnswerMarks
(ii)Closed, since no new elements in the table
Since ◯ involves only complex multiplication, which
is known to be Associative, this axiom holds
1−i 3 is the identity (see the Cayley table)
−1+i 3 is self-inverse
( )
AnswerMarks
and ± 3 +i form an inverse-pairB1
B1
B1
B1
AnswerMarks
[4]2.4
2.1
1.1
AnswerMarks
2.5Don’t accept unqualified statements like “Table shows …”
Or showing, either separately or together, that
( )
2
(z1 ◯ z2) ◯ z3 = 1 1+i 3 z z z = z1 ◯ (z2 ◯ z3)
16 1 2 3
All (non-identity) elements shown to have an inverse (and not
just stated that this is so)
AnswerMarks
(iii)1−i 3 has order 1
−1+i 3 has order 2
( )
AnswerMarks Guidance
± 3 +i have order 4B1
[1]1.1
(b){1−i 3, −1+i 3} B1
[1]2.2a
(i)It has an (i.e. at least one) element of order 4 B1
[1]2..2a Or any equivalent, longer reason
[1]
Question 4:
4 | (a) | (i) | 1071 ÷ 67 = 1566 so q = 15 and r = 66
67 | B1
[1] | 1.1 | BC
(ii) | 1071 ≡ 66 (mod 67) | B1
[1] | 1.1 | FT (a) (i)’s answer
(b) | Suppose hcf(715, 1071) = h, so h | 715 and h | 1071
⇒ h | 715a + 1071b
In this case, a = 358, b = –239 give h | 1
⇒ h = 1 and 715, 1071 are co-prime | M1
M1
A1
B1
[4] | 3.1a
2.1
1.1
2.2a | (for all integers a, b)
Must show understanding of conclusion relative to question’s
demand. (Condone correct conclusion of primality from h = ±1.)
(a) | ∂z 0.096y ∂z 0.096
= 0.9 – − 2xy2 = – 2x2y
∂x x2 ∂y x
∂z ∂z
Setting both = 0 and = 0 and expressing
∂x ∂y
(say) y in terms of x from the second of these
2
∂z 0.0960.048 0.048
In = 0, 0.9−  −2x  =0
∂x x2  x3   x3 
⇒ x5 = 0.01024 ⇒ x = 0.4
⇒ y = 0.75
and Cost = £4500 | M1 A1
M1
M1
A1
A1
A1
[7] | 1.1 1.1
1.1
3.1a
1.1
1.1
3.2a | Attempt at both first p.d.s; at least one correct
Must include an attempt to do something with at least one of the
∂z 0.048
two equations: = 0 ⇒ y = *
∂y x3
Substituting into the other equation and solving attempt
FT from 1st variable found in clearly s.o.i. relationship (e.g.*)
CAO From correct z = 0.45
∂2z 0.192y ∂2z
= − 2y2 and =− 2x2
∂x2 x3 ∂y2
= 1.125 = −0.32
Change in y will decrease z since 2nd-p.d. < 0 | M1
A1 A1
B1 | 3.3
3.4 1.1
3.5a | Attempt at the two second partial differentials
Correct value of z & value or sign statement for a suitable z
xx yy
Correct answer for correct reason
(FT + and − if values are not offered)
ve ve
NB z > 0 ⇒ the SV is a min. in the x-direction, while
xx
z < 0 ⇒ the SV is a max. in the y-direction
yy
Alternative method | M1
A1 | Adjusting values of x with y fixed; then y with x fixed
Correct 1st set of results
When with y = 0.75, x = 0.39, 0.4, 0.41
z = 0.450 059, 0.45, 0.450 054
and when x = 0.4, y = 0.74, 0.75, 0.76 | A1 | Correct 2nd set of results
z = 0.449 984, 0.45, 0.449 984
Change in y will decrease z | B1 | Correct answer for correct reason
When with y = 0.75, x = 0.35, 0.4, 0.45
z = 0.451 808, 0.45, 0.451 094
and when x = 0.4, y = 0.7, 0.75, 0.8
z = 0.449 6, 0.45, 0.449 6
M1
A1
Adjusting values of x with y fixed; then y with x fixed
Correct 1st set of results
(a) | (i) | B1
B1
B1
[3] | 1.1
1.1
1.1 | R and C correct
3 3
Any other row or column correct
All correct
(ii) | Closed, since no new elements in the table
Since ◯ involves only complex multiplication, which
is known to be Associative, this axiom holds
1−i 3 is the identity (see the Cayley table)
−1+i 3 is self-inverse
( )
and ± 3 +i form an inverse-pair | B1
B1
B1
B1
[4] | 2.4
2.1
1.1
2.5 | Don’t accept unqualified statements like “Table shows …”
Or showing, either separately or together, that
( )
2
(z1 ◯ z2) ◯ z3 = 1 1+i 3 z z z = z1 ◯ (z2 ◯ z3)
16 1 2 3
All (non-identity) elements shown to have an inverse (and not
just stated that this is so)
(iii) | 1−i 3 has order 1
−1+i 3 has order 2
( )
± 3 +i have order 4 | B1
[1] | 1.1
(b) | {1−i 3, −1+i 3} | B1
[1] | 2.2a
(i) | It has an (i.e. at least one) element of order 4 | B1
[1] | 2..2a | Or any equivalent, longer reason
[1]
4
\begin{enumerate}[label=(\alph*)]
\item Let $a = 1071$ and $b = 67$.
\begin{enumerate}[label=(\roman*)]
\item Find the unique integers $q$ and $r$ such that $\mathrm { a } = \mathrm { bq } + \mathrm { r }$, where $q > 0$ and $0 \leqslant r < b$.
\item Hence express the answer to (a)(i) in the form of a linear congruence modulo $b$.
\end{enumerate}\item Use the fact that $358 \times 715 - 239 \times 1071 = 1$ to prove that 715 and 1071 are co-prime.
\end{enumerate}

\hfill \mbox{\textit{OCR Further Additional Pure AS 2021 Q4 [6]}}