| Exam Board | OCR |
|---|---|
| Module | Further Pure Core 2 (Further Pure Core 2) |
| Year | 2024 |
| Session | June |
| Marks | 12 |
| Paper | Download PDF ↗ |
| Mark scheme | Download PDF ↗ |
| Topic | Complex numbers 2 |
| Type | Basic roots of unity properties |
| Difficulty | Challenging +1.2 This is a structured, heavily guided question on roots of unity that builds systematically through standard results. Parts (a)-(e) involve routine proofs/explanations about nth roots of unity that are typical Further Maths content. Part (f) requires applying these results to find an exact trigonometric value, but the approach is clearly signposted. While it requires understanding of complex numbers and multiple techniques, the extensive scaffolding and step-by-step guidance make it more accessible than it initially appears. The 12 total marks reflect length rather than exceptional difficulty. |
| Spec | 4.02a Complex numbers: real/imaginary parts, modulus, argument4.02r nth roots: of complex numbers4.05a Roots and coefficients: symmetric functions |
| Answer | Marks | Guidance |
|---|---|---|
| 9 | (a) | Diagram showing as the ‘first’ non-real |
| Answer | Marks |
|---|---|
| you to the second and so on. | B1 |
| Answer | Marks |
|---|---|
| B1 | 2.1 |
| Answer | Marks |
|---|---|
| 2.4 | Dealing with modulus (could be |
| Answer | Marks |
|---|---|
| rigorous. | Diagram should clearly show equal |
| Answer | Marks |
|---|---|
| Alternative method for last B1B1: | B1 |
| Answer | Marks |
|---|---|
| 1 k | 𝜔 can be implied if appearing |
| Answer | Marks |
|---|---|
| k | B1 |
| Answer | Marks |
|---|---|
| (b) | n 1 n 1 − − |
| Answer | Marks |
|---|---|
| 1 | M1 |
| Answer | Marks |
|---|---|
| [2] | 3.1a |
| 2.2a | Using the identity from (a) and |
| Answer | Marks |
|---|---|
| shown, | n 1 n 1 − − |
| Answer | Marks |
|---|---|
| (c) | z = a + b i |
| Answer | Marks | Guidance |
|---|---|---|
| z + z * = 2 a = 2 R e ( z ) | B1 | |
| [1] | 2.1 | AG |
| (d) | n−1 |
| Answer | Marks | Guidance |
|---|---|---|
| k=0 | B1 | |
| [1] | 3.1a | |
| (e) | The roots of unity form a regular n-gon | |
| which is symmetrical in the real axis. | B1 | |
| [1] | 2.1 | Or the (non-real) roots of unity |
| Answer | Marks |
|---|---|
| real polynomial zn = 1). | Could use symmetry of cos |
| Answer | Marks | Guidance |
|---|---|---|
| (f) | (i) | 2 |
| Answer | Marks |
|---|---|
| 2 | M1 |
| Answer | Marks |
|---|---|
| [2] | 3.1a |
| 2.2a | Finding the first argument. |
| Answer | Marks | Guidance |
|---|---|---|
| a and b can be embedded. | Could see sum of all 5 real parts. | |
| (f) | (ii) | 2 1 2 |
| Answer | Marks |
|---|---|
| 4 5 4 | M1 |
| Answer | Marks |
|---|---|
| [2] | 3.1a |
| 2.3 | Using correct double angle |
Question 9:
9 | (a) | Diagram showing as the ‘first’ non-real
1
vertex of a regular n-gon with 1 as the 0th
vertex and at least one other vertex shown
with the correct relationship (ie on unit circle
with same angular distance).
(Since it is a root of unity)the modulus of
1
is 1 so multiplying by it leaves the modulus
unchanged....
...(since the n roots of unity are represented
by the n vertices on the unit circle of a
regular n-gon then)rotation by the argument
of the first () (ie adding an angle) takes
1
you to the second and so on. | B1
B1
B1 | 2.1
2.2a
2.4 | Dealing with modulus (could be
incorporated in the below).
Dealing with argument. Accept
a well-reasoned argument based
on multiplication by
1
representing a pure rotation (by
the required angle).
Could be argued by induction if
rigorous. | Diagram should clearly show equal
angular distance between the roots
and an equal distance (of 1) from O
to each root.
At least 3 points including and
0
shown.
1
For this B1 allow an n-gon with a
specific value of n chosen.
1 s i n c e i t i s a r o o t o f u n i t y =
k
1 ( k1 k ) 1 = = =
1 1
2 k
a r g ( ) =
k n
2
a r g ( ) =
1 n
a r g ( k1 ) k a r g ( ) 2 k = =
1 n
Alternative method for last B1B1: | B1
2 2k
i i
=e n and =e n
1 k | 𝜔 can be implied if appearing
1
in the equation below
B1
k
2n 2 k
i i
k1 e e n = = =
k | B1
[3]
(b) | n 1 n 1 − −
(0 = 1 = and so) k1 = which is a
1 0 k
k 0 k 0 = =
GP with (a = 1), r = ( 1) and n terms.
1
1(n −1) 1−1 0
= 1 = = =0(since is
−1 −1 −1 1
1 1 1
an nth root of unity so n = 1).
1 | M1
A1
[2] | 3.1a
2.2a | Using the identity from (a) and
recognising the GP (can be
implied by the formula).
AG so reasoning must be
shown, | n 1 n 1 − −
k1 = and recognition of
k
k 0 k 0 = =
n−1=(−1)(n−1+n−2+...++1)
1 1 1 1 1
If GP not recognised then
justification for – 1 0 must
1
also be given.
(c) | z = a + b i
z * = a − b i
z + z * = 2 a = 2 R e ( z ) | B1
[1] | 2.1 | AG
(d) | n−1
=0
k
k=0
n−1
* =0
k
k=0
n−1 n−1 n−1
+* =0 or ( +* ) =0
k k
k k
k=0 k=0 k=0
n−1
2Re()=0
k
k=0
n−1
Re()=0
k
k=0 | B1
[1] | 3.1a
(e) | The roots of unity form a regular n-gon
which is symmetrical in the real axis. | B1
[1] | 2.1 | Or the (non-real) roots of unity
come in complex conjugate
pairs (since they are roots of the
real polynomial zn = 1). | Could use symmetry of cos
function in geometric context
2 2
(eg cos =cos2− etc)
5 5
(f) | (i) | 2
a r g = soi
1 5
So from (d) and (e),
2 4
1 2 c o s 2 c o s 0 + + =
5 5
4 2
2 c o s 1 2 c o s = − −
5 5
4 1 2
c o s c o s = − −
5 2 5
1
a , b 1 = − = −
2 | M1
A1
[2] | 3.1a
2.2a | Finding the first argument.
Could be embedded.
a and b can be embedded. | Could see sum of all 5 real parts.
(f) | (ii) | 2 1 2
2 c o s 2 1 c o s − = − −
5 2 5
2
4 c 2 2 c 1 0 , c c o s + − = =
5
− 1 5
c =
4
2 2
is an acute angle so cos 0.
5 5
− 1 − 5 2 1 5 − +
So is rejected so c o s . =
4 5 4 | M1
A1
[2] | 3.1a
2.3 | Using correct double angle
formula to derive and solve a
2
quadratic equation in c o s
5
(must have real solutions).
Could be BC.
Clear rejection after valid
argument leading to correct
answer.
PMT
Need to get in touch?
If you ever have any questions about OCR qualifications or services (including administration, logistics and teaching) please feel free to get in
touch with our customer support centre.
Call us on
01223 553998
Alternatively, you can email us on
support@ocr.org.uk
For more information visit
ocr.org.uk/qualifications/resource-finder
ocr.org.uk
Twitter/ocrexams
/ocrexams
/company/ocr
/ocrexams
OCR is part of Cambridge University Press & Assessment, a department of the University of Cambridge.
For staff training purposes and as part of our quality assurance programme your call may be recorded or monitored. © OCR
2024 Oxford Cambridge and RSA Examinations is a Company Limited by Guarantee. Registered in England. Registered office
The Triangle Building, Shaftesbury Road, Cambridge, CB2 8EA.
Registered company number 3484466. OCR is an exempt charity.
OCR operates academic and vocational qualifications regulated by Ofqual, Qualifications Wales and CCEA as listed in their
qualifications registers including A Levels, GCSEs, Cambridge Technicals and Cambridge Nationals.
OCR provides resources to help you deliver our qualifications. These resources do not represent any particular teaching method
we expect you to use. We update our resources regularly and aim to make sure content is accurate but please check the OCR
website so that you have the most up-to-date version. OCR cannot be held responsible for any errors or omissions in these
resources.
Though we make every effort to check our resources, there may be contradictions between published support and the
specification, so it is important that you always use information in the latest specification. We indicate any specification changes
within the document itself, change the version number and provide a summary of the changes. If you do notice a discrepancy
between the specification and a resource, please contact us.
Whether you already offer OCR qualifications, are new to OCR or are thinking about switching, you can request more
information using our Expression of Interest form.
Please get in touch if you want to discuss the accessibility of resources we offer to support you in delivering our qualifications.
In this question, the argument of a complex number is defined as being in the range $[0, 2\pi)$.
You are given that $\omega_k$, where $k = 0, 1, 2, ..., n-1$, are the $n$ $n$th roots of unity for some integer $n$, $n \geqslant 3$, and that these are given in order of increasing argument (so that $\omega_0 = 1$).
\begin{enumerate}[label=(\alph*)]
\item With the help of a diagram explain why $\omega_k = (\omega_1)^k$ for $k = 2, ..., n-1$. [3]
\item Using the identity given in part (a), show that $\sum_{k=0}^{n-1}\omega_k = 0$. [2]
\item Show that if $z$ is a complex number then $z + z^* = 2\text{Re}(z)$. [1]
\item Using the results from parts (b) and (c) show that $\sum_{k=0}^{n-1}\text{Re}(\omega_k) = 0$. [1]
\item With the help of a diagram explain why $\text{Re}(\omega_k) = \text{Re}(\omega_{n-k})$ for $k = 1, 2, ..., n-1$. [1]
\end{enumerate}
You should now consider the case when $n = 5$.
\begin{enumerate}[label=(\alph*)]
\setcounter{enumi}{5}
\item \begin{enumerate}[label=(\roman*)]
\item Use parts (d) and (e) to deduce that $\cos\frac{4\pi}{5} = a + b\cos\frac{2\pi}{5}$, for some rational constants $a$ and $b$. [2]
\item Hence determine the exact value of $\cos\frac{2\pi}{5}$. [2]
\end{enumerate}
\end{enumerate}
\hfill \mbox{\textit{OCR Further Pure Core 2 2024 Q9 [12]}}