Your weak spots

Insights load after your first practice round.

L12 of 12 · Final ~50 min ⚡ +100 XP available

Module 13 Synthesis & Exam Technique

Twelve lessons of complex-number machinery — de Moivre, $n$th roots, conjugate pairs, sum/product relations, trig identities — distilled into one map. This final lesson is your HSC pre-flight check: which identity to reach for, what to write down before computing, and the marker-friendly habits that turn correct algebra into a full-mark answer.

Today's hook — Imagine you open the HSC paper and see: "Use de Moivre's theorem to find the sixth roots of $-1$." Before reading on, list (a) the modulus and argument of $-1$, (b) the formula you'll use for the roots, (c) the answer in $e^{i\theta}$ form. We will walk through this in card 05.

0/5QUESTS

Recall — your gut answer first

+5 XP warm-up

Without looking back: write down (a) de Moivre's theorem in one line, (b) the formula for the $n$ distinct $n$th roots of a complex number $w$, (c) what the conjugate root theorem says, and (d) why the sum of all $n$th roots of unity is zero. Get them on paper now — this is your self-audit before the synthesis.

auto-saved

The two strategic moves for HSC complex-number questions

+5 XP to read

Every Module 13 HSC question rewards the same two habits: name the theorem before using it ("by de Moivre's theorem…", "by the conjugate root theorem…") and sketch the configuration on the Argand plane. Together they earn justification marks and stop sign errors. Then identify which tool the symmetry is asking for: trig identities for powers of $\cos$/$\sin$, roots of unity for cyclic sums, conjugate pairing for real factoring.

The name-sketch-tool reading: (1) state every theorem by name as you use it; (2) draw the Argand sketch before computing anything geometric; (3) choose the tool that matches the symmetry — de Moivre for powers, $n$th roots for cyclic, conjugate pairs for real factoring, Vieta for sums/products.

de Moivre ⇒ powers & trig ID · roots-of-unity ⇒ cyclic sums · conj. pairs ⇒ real factoring

$z = r e^{i\theta} \;\Rightarrow\; z^n = r^n e^{in\theta} \;\Rightarrow\; z^{1/n} = r^{1/n} e^{i(\theta + 2k\pi)/n}$

Always state de Moivre

Markers explicitly look for "by de Moivre's theorem" before any power-of-polar calculation. Citing the theorem earns justification marks and signals method.

Sketch the root configuration

A quick Argand sketch with the unit circle and equally-spaced roots makes symmetry visible and often earns a mark by itself. Always draw before computing.

Leverage symmetry

Sum of $n$th roots $= 0$. Product of non-trivial $n$th roots $= (-1)^{n+1}$. Conjugate pairs give real quadratics. Whenever you see these patterns, the answer is one line away.

What you'll master

Know

Key facts

de Moivre's theorem and its use for powers, roots, and trig identities
$n$th roots of unity and the master factorisation $z^n - 1 = \prod_{k=0}^{n-1}(z - \omega^k)$
Conjugate root theorem and the implied real-quadratic factorisation
Vieta-style sum and product relations for $n$th roots

Understand

Concepts

Why polar form is the natural language for powers, roots, and rotation
How trig identities like $\cos n\theta$ arise from expanding $(\cos\theta + i\sin\theta)^n$
Why conjugate pairing always gives real quadratic factors of a real polynomial
How exam markers allocate justification marks for stating theorems by name

Can do

Skills

Map any Module 13 question to the correct tool (de Moivre, roots, conjugate, Vieta)
Produce marker-friendly solutions: cite theorem, sketch Argand, exploit symmetry
Combine techniques across multi-step HSC-level questions

Key terms — the Module 13 summary

de Moivre's theorem$(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$. The engine for powers, roots, and the derivation of multiple-angle trig identities.

$n$th roots of $w$For $w = r(\cos\theta + i\sin\theta)$: $z_k = r^{1/n}\!\left[\cos\!\tfrac{\theta + 2k\pi}{n} + i\sin\!\tfrac{\theta + 2k\pi}{n}\right]$, $k = 0, 1, \ldots, n-1$.

$n$th roots of unitySolutions of $z^n = 1$: $\omega^k = e^{2\pi i k/n}$. Equally spaced on the unit circle. Sum $= 0$ (for $n \geq 2$); product of non-trivial roots $= (-1)^{n+1}$.

Conjugate root theoremReal-coefficient polynomial $P(z)$: if $\alpha$ is a root, so is $\bar\alpha$. Non-real roots occur in conjugate pairs $(\alpha, \bar\alpha)$.

Real quadratic factor$(z - \alpha)(z - \bar\alpha) = z^2 - 2\,\mathrm{Re}(\alpha)\,z + |\alpha|^2$. Always real-coefficient — the bridge from complex roots to real factorisation.

Sum & product (Vieta)For $z^n + a_{n-1}z^{n-1} + \cdots + a_0 = 0$: sum of roots $= -a_{n-1}$; product of roots $= (-1)^n a_0$. Cross-check with roots-of-unity identities.

Multiple-angle trig identitiesFrom $(\cos\theta + i\sin\theta)^n$: real part gives $\cos n\theta$ as a polynomial in $\cos\theta$ and $\sin\theta$; imaginary part gives $\sin n\theta$.

MEX-N2NESA outcome (Complex Numbers): uses operations on complex numbers in polynomial and geometric contexts, including de Moivre's theorem and roots of unity.

The Module 13 synthesis map

core concept

Every Module 13 HSC question maps to one of four problem types — and each type has a canonical first move:

Find $n$th roots of a complex number. Convert to polar, apply de Moivre's root formula, list $k = 0, \ldots, n-1$. Sketch on Argand.
Evaluate cyclic sums/products of roots. Identify as $n$th roots of unity. Use sum $= 0$ and product $= (-1)^{n+1}$, or cross-check with Vieta on $z^n - 1$.
Factor a real polynomial. Find complex roots, pair conjugates, write each pair as $z^2 - 2\mathrm{Re}(\alpha)z + |\alpha|^2$.
Derive a trig identity / solve via $x = \cos\theta$ or $x = \sin\theta$. Expand $(\cos\theta + i\sin\theta)^n$ by de Moivre, take real or imaginary part, substitute $s^2 = 1 - c^2$ as needed.

Worked through the hook: "Find the sixth roots of $-1$."

(a) $-1 = 1 \cdot (\cos\pi + i\sin\pi)$, so modulus $1$, argument $\pi$.
(b) By de Moivre's theorem, $z_k = \cos\!\tfrac{\pi + 2k\pi}{6} + i\sin\!\tfrac{\pi + 2k\pi}{6} = e^{i(\pi + 2k\pi)/6}$.
(c) Six roots, $k = 0, 1, \ldots, 5$: $e^{i\pi/6}, e^{i\pi/2}, e^{i 5\pi/6}, e^{i 7\pi/6}, e^{i 3\pi/2}, e^{i 11\pi/6}$. Equally spaced on the unit circle, paired by conjugation across the real axis.

Connecting to the map. This is problem type 1. If the question had asked "show the sum of these six roots is zero", that would shift to type 2 — and the answer would be one line: by Vieta, the sum is the negative coefficient of $z^5$ in $z^6 + 1 = 0$, which is $0$.

Four problem types: roots, cyclic sums, real factoring, trig identity · Type 1 canonical move: convert to polar, apply de Moivre root formula · Type 2 canonical move: identify roots of unity, use sum $= 0$ or Vieta · Type 3 canonical move: pair conjugates, form real quadratics · Type 4 canonical move: expand $(\cos\theta + i\sin\theta)^n$, take Re or Im part

Pause — copy the four problem-type canonical moves (De Moivre root formula; roots-of-unity sum; conjugate-pair quadratics; expand cis and take Re/Im) into your book.

Quick check: A question asks: "Factor $z^4 + 1$ as a product of two real quadratic factors." Which problem type is this, and what is the first canonical move?

HSC marker checklist — earn every mark

exam technique

We just saw the four-type synthesis map: roots → De Moivre's root formula; cyclic sums → roots-of-unity sum $= 0$; real factoring → conjugate pairs; trig identities → binomial expansion of cis. That raises a question: what does the HSC marker actually look for on each question type? This card answers it → explicit theorem citation, a sketch of the Argand plane with roots/symmetry marked, and listing all $k = 0,\ldots,n-1$ roots.

Markers reward four behaviours in Module 13 questions. Every one of them is a mark you can pick up reliably:

Cite the theorem by name. "By de Moivre's theorem…", "By the conjugate root theorem…". This is worth a mark in nearly every question.
Sketch the Argand configuration. Show the unit circle, the roots, the conjugate symmetry. Often worth a full mark.
Show modulus and argument explicitly. Write "$|w| = r$, $\arg w = \theta$" before applying any polar formula.
List all $n$ roots when asked. Use $k = 0, 1, \ldots, n-1$ explicitly; don't truncate.

$$\text{Marker order: } \text{state theorem} \to \text{set up modulus/arg} \to \text{apply formula} \to \text{list all roots} \to \text{sketch}$$

Common mistake. Skipping the theorem name and going straight to computation loses a justification mark even when the answer is correct. Always write "by de Moivre's theorem" before any power-of-polar step — it costs one second and earns one mark.

Cite: "By de Moivre's theorem…" / "By the conjugate root theorem…" · Sketch: unit circle, roots, conjugate symmetry across real axis · State $|w|$ and $\arg w$ before applying any polar formula · List all $n$ roots using $k = 0, 1, \ldots, n-1$

Pause — copy the HSC marker checklist: cite De Moivre/conjugate root theorem by name, sketch the Argand plane, state $|w|$ and $\arg w$ before any polar formula, and list all $n$ roots via $k = 0,1,\ldots,n-1$ into your book.

Did you get this? True or false: in an HSC question asking you to find all sixth roots of unity, listing only three of them (with the other three implied by conjugation) is sufficient for full marks.

Worked examples · 3 in a row, reveal as you go

PROBLEM 1 · DE MOIVRE + ROOTS (TYPE 1)

Find all values of $z$ such that $z^4 = -8 - 8\sqrt{3}\,i$. Express each root in modulus-argument form, then list them on the Argand plane.

Convert $w = -8 - 8\sqrt{3}\,i$ to polar form. $|w| = \sqrt{64 + 192} = \sqrt{256} = 16$. $\arg w$: third quadrant, $\tan\alpha = \sqrt{3}$ with reference $\pi/3$, so $\arg w = -\pi + \pi/3 = -2\pi/3$ (or equivalently $4\pi/3$).

Always state modulus and argument before applying de Moivre. Check the quadrant carefully: the negative real and negative imaginary parts put $w$ in the third quadrant.

PROBLEM 2 · CYCLIC SUM + REAL FACTORING (TYPES 2 + 3)

Factor $z^5 - 1$ as a product of one linear and two real quadratic factors. Hence show that $2\cos(2\pi/5) + 2\cos(4\pi/5) = -1$.

By de Moivre's theorem, the fifth roots of unity are $1, \omega, \omega^2, \omega^3, \omega^4$ with $\omega = e^{2\pi i / 5}$. Pair conjugates: $(\omega, \omega^4)$ and $(\omega^2, \omega^3)$ — note $\omega^4 = \bar\omega$ and $\omega^3 = \overline{\omega^2}$.

Cite de Moivre. Identify conjugate pairs by inspection: for unit-modulus roots, $\bar{\omega^k} = \omega^{-k} = \omega^{n-k}$.

PROBLEM 3 · TRIG IDENTITY VIA DE MOIVRE (TYPE 4)

Use de Moivre's theorem to express $\tan 3\theta$ in terms of $t = \tan\theta$. Hence find the exact value of $\tan\tfrac{\pi}{12}$ given $\tan\tfrac{\pi}{4} = 1$.

By de Moivre's theorem, $\cos 3\theta + i\sin 3\theta = (\cos\theta + i\sin\theta)^3 = \cos^3\theta + 3i\cos^2\theta\sin\theta - 3\cos\theta\sin^2\theta - i\sin^3\theta$. Real: $\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\theta$. Imaginary: $\sin 3\theta = 3\cos^2\theta\sin\theta - \sin^3\theta$.

Cite de Moivre. Expand using the binomial theorem, then separate real and imaginary parts.

Fill the gap: The marker-friendly opening for any Module 13 question involving powers of a polar-form complex number is "By 's theorem…", and for factoring a real polynomial with complex roots, "By the root theorem…".

Misconceptions to fix · the 3 traps that cost marks

Trap 01

Skipping the theorem name

Going straight to $(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$ without writing "by de Moivre's theorem" loses a justification mark even when the working is correct. Always cite.

Trap 02

Wrong quadrant for $\arg w$

$\arctan(y/x)$ alone does not determine the quadrant. Negative real or negative imaginary parts shift the argument by $\pi$. Always sketch $w$ in the plane and write the argument in the principal range $(-\pi, \pi]$.

Trap 03

Forgetting one of the $n$ roots

A degree-$n$ equation has $n$ distinct roots (in $\mathbb{C}$, with multiplicity). Forgetting to list $k = 0, 1, \ldots, n-1$ explicitly often costs a mark. Sketch the regular polygon on the Argand plane to see all roots at once.

Did you get this? True or false: when finding $\arg(-1 - i)$, $\arctan(1) = \pi/4$ is the correct argument.

Work mode · how are you completing this lesson?

Activities · synthesis across Module 13

Find all values of $z$ such that $z^3 = 8i$. List them in modulus-argument form and on the Argand plane.

Show that $z^4 + 1 = (z^2 + \sqrt{2}z + 1)(z^2 - \sqrt{2}z + 1)$ by finding the fourth roots of $-1$ and pairing conjugates.

Use de Moivre's theorem to derive $\cos 3\theta = 4\cos^3\theta - 3\cos\theta$. Hence solve $4x^3 - 3x = \tfrac{1}{2}$ for $x \in [-1, 1]$.

Given $\omega = e^{2\pi i / 7}$, find the value of $\omega + \omega^2 + \omega^4$ + $\omega + \omega^2 + \omega^4$… (i.e., interpret which sum of roots is non-trivial). Discuss what the sum $1 + \omega + \omega^2 + \cdots + \omega^6 = 0$ tells you about real-quadratic factoring of $z^7 - 1$.

A real cubic $P(z)$ has roots $1 + 2i$ and $3$. Find $P(z)$ explicitly (with leading coefficient $1$). Cite the conjugate root theorem in your reasoning.

Odd one out: Three of these are reliable mark-earning habits in Module 13 HSC questions. Which one is NOT?

Revisit your thinking — Module 13 closing reflection

At the start of this lesson you wrote down de Moivre's theorem, the $n$th-roots formula, the conjugate root theorem, and why the sum of $n$th roots of unity is zero. Compare what you wrote with the synthesis map you just used in three worked examples.

Twelve lessons of Complex Numbers II reduce to one engine: de Moivre's theorem on polar form, with four canonical applications — finding $n$th roots, evaluating cyclic sums, factoring real polynomials, and deriving trig identities. The HSC will dress these up in geometry, algebra, or trigonometry, but the underlying tool is always one of those four. Combine the synthesis map with the marker checklist (cite theorem, sketch Argand, list all roots) and you have a reliable approach to every Module 13 question.

auto-saved

Multiple choice

+5 XP per correct · +25 XP all-correct

Pick your answer, then rate your confidence — that tells the system what to drill next. Each retry pulls a fresh mix from the bank.

Short answer

ApplyBand 43 marks

Q1. Find the four fourth roots of $-16$, expressing each in the form $r\,\mathrm{cis}\,\theta$ with $\theta \in (-\pi, \pi]$. Cite the theorem you use. (3 marks)

auto-saved

AnalyseBand 54 marks

Q2. Let $\omega = e^{2\pi i / 7}$. Show that $1 + \omega + \omega^2 + \omega^3 + \omega^4 + \omega^5 + \omega^6 = 0$. Hence find $2\cos(2\pi/7) + 2\cos(4\pi/7) + 2\cos(6\pi/7)$. (4 marks)

auto-saved

SynthesiseBand 65 marks

Q3. A real polynomial $P(z) = z^4 + a z^3 + b z^2 + c z + d$ has two of its roots at $1 + i$ and $2$. Find $a, b, c, d$ given that $|P(0)| = 10$, citing the conjugate root theorem and showing all steps. (5 marks)

auto-saved

Comprehensive answers (click to reveal)

Activity answers:

1. $8i = 8\,\mathrm{cis}(\pi/2)$. By de Moivre: $z_k = 2\,\mathrm{cis}(\pi/6 + 2k\pi/3)$, $k = 0, 1, 2$. Roots: $2\,\mathrm{cis}(\pi/6) = \sqrt{3} + i$, $2\,\mathrm{cis}(5\pi/6) = -\sqrt{3} + i$, $2\,\mathrm{cis}(3\pi/2) = -2i$.

2. Fourth roots of $-1$: $\mathrm{cis}(\pi/4 + k\pi/2)$, $k = 0, 1, 2, 3$. Pair conjugates: $(\mathrm{cis}(\pi/4), \mathrm{cis}(-\pi/4))$ gives $z^2 - \sqrt{2}z + 1$; $(\mathrm{cis}(3\pi/4), \mathrm{cis}(-3\pi/4))$ gives $z^2 + \sqrt{2}z + 1$. Product: $z^4 + 1$.

3. Real part of $(\cos\theta + i\sin\theta)^3$: $\cos^3\theta - 3\cos\theta\sin^2\theta = \cos^3\theta - 3\cos\theta(1 - \cos^2\theta) = 4\cos^3\theta - 3\cos\theta$. So $\cos 3\theta = 4\cos^3\theta - 3\cos\theta$. Solving $\cos 3\theta = \tfrac{1}{2}$: $3\theta = \pm\tfrac{\pi}{3} + 2k\pi$; three solutions in $[-1, 1]$: $x = \cos(\pi/9), \cos(5\pi/9), \cos(7\pi/9)$.

4. Pair conjugates $(\omega, \omega^6), (\omega^2, \omega^5), (\omega^3, \omega^4)$: $z^7 - 1 = (z - 1)(z^2 - 2\cos(2\pi/7)z + 1)(z^2 - 2\cos(4\pi/7)z + 1)(z^2 - 2\cos(6\pi/7)z + 1)$. Coefficient of $z^5$ in $z^6 + z^5 + \cdots + 1$ is $1$, so $-2[\cos(2\pi/7) + \cos(4\pi/7) + \cos(6\pi/7)] = 1$, giving sum $= -\tfrac{1}{2}$.

5. By conjugate root theorem, $1 - 2i$ is also a root. Quadratic factor: $(z - (1+2i))(z - (1-2i)) = z^2 - 2z + 5$. Multiplying by $(z - 3)$: $P(z) = (z - 3)(z^2 - 2z + 5) = z^3 - 5z^2 + 11z - 15$.

Q1 (3 marks): $-16 = 16\,\mathrm{cis}(\pi)$ [1]. By de Moivre's theorem, $z_k = 16^{1/4}\,\mathrm{cis}((\pi + 2k\pi)/4) = 2\,\mathrm{cis}(\pi/4 + k\pi/2)$ for $k = 0, 1, 2, 3$ [1]. Four roots: $2\,\mathrm{cis}(\pi/4), 2\,\mathrm{cis}(3\pi/4), 2\,\mathrm{cis}(-3\pi/4), 2\,\mathrm{cis}(-\pi/4)$ [1].

Q2 (4 marks): $\omega^7 = 1$ and $\omega \neq 1$, so from $(\omega - 1)(1 + \omega + \cdots + \omega^6) = \omega^7 - 1 = 0$ the sum is $0$ [1]. Note $\omega^{7-k} = \bar{\omega^k}$, so pair $(\omega, \omega^6), (\omega^2, \omega^5), (\omega^3, \omega^4)$ [1]. Each pair sums to $2\cos(2k\pi/7)$: total sum $= 1 + 2\cos(2\pi/7) + 2\cos(4\pi/7) + 2\cos(6\pi/7) = 0$ [1]. Therefore $2\cos(2\pi/7) + 2\cos(4\pi/7) + 2\cos(6\pi/7) = -1$ [1].

Q3 (5 marks): By the conjugate root theorem, $1 - i$ is also a root [1]. The quadratic with roots $1 \pm i$: $z^2 - 2z + 2$ [1]. So $P(z) = (z^2 - 2z + 2)(z - 2)(z - \alpha)$ where $\alpha$ is the remaining real root [1]. $P(0) = 2 \cdot (-2) \cdot (-\alpha) = 4\alpha$. $|4\alpha| = 10 \Rightarrow \alpha = \pm 5/2$ [1]. Taking $\alpha = 5/2$: $P(z) = (z^2 - 2z + 2)(z - 2)(z - 5/2)$. Expand $(z - 2)(z - 5/2) = z^2 - \tfrac{9}{2}z + 5$. Multiply: $a = -\tfrac{13}{2}, b = 16, c = -19, d = 10$ (similarly for $\alpha = -5/2$: $a = -\tfrac{3}{2}, b = 6, c = 1, d = -10$) [1].

Boss battle · Module 13 Final

earn bronze · silver · gold

Five timed synthesis questions spanning all of Module 13 — de Moivre, roots of unity, conjugate pairs, and trig identities. Beat the boss to bank a tier — gold (90% + speed), silver (75%), or bronze (50%). Replays welcome.

⚔ Enter the arena

Science Jump · platform challenge

Climb platforms by answering quick synthesis questions across the whole module. Lighter alternative to the boss.

Mark lesson as complete

Module 13 finished. Tick when you've finished the practice and review.

← Lesson 11 Module 13 overview →

Module overview · Extension 2