Complex numbers in polar form and de Moivre's theorem (QCE Specialist Mathematics Unit 3)
“Represent complex numbers in Cartesian, polar (modulus-argument) and exponential form, convert between forms, and apply de Moivre's theorem to compute powers and roots, locating results on the complex plane”
A complex number has modulus and argument (check the quadrant), giving polar form and exponential form . Multiplication adds arguments and multiplies moduli; de Moivre's theorem gives . The roots of are for , equally spaced on a circle.
Jump to a section
What this dot point is asking
QCAA wants you to move fluently between the Cartesian form , the polar form and the exponential form , and to use de Moivre's theorem to raise complex numbers to powers and to extract roots. This material is central to IA2 and the external assessment, where geometric interpretation on the Argand plane earns marks alongside algebra.
The answer
Modulus and argument
For , the modulus is the distance from the origin,
and the argument is the angle measured anticlockwise from the positive real axis. The principal argument is taken in . Always check the quadrant: alone does not fix the quadrant, so use the signs of and .
Polar and exponential form
Polar (modulus-argument) form is
often abbreviated . Euler's formula gives the exponential form
These are the same number written three ways. Exponential form makes multiplication trivial because index laws apply.
Multiplication and division as rotations
Multiplying multiplies moduli and adds arguments:
Geometrically, multiplying by scales by and rotates by . Multiplying by is a anticlockwise rotation.
De Moivre's theorem
For integer ,
equivalently . This turns the messy expansion of a power into a single scaling of modulus and multiplication of argument. De Moivre's theorem can be proved for positive integers by mathematical induction, linking back to Topic 1.
Roots of a complex number
To solve where , the distinct roots are
All roots have the same modulus , so they lie on a circle of that radius, equally spaced by radians. Adding to the argument before dividing is essential; otherwise you find only one of the roots. The -th roots of unity are the special case , giving roots at angles .
Why exponential form helps
Because obeys index laws, powers, products and roots reduce to arithmetic on the exponent. Converting a hard Cartesian computation such as into polar form, applying de Moivre, then converting back is far faster and less error-prone than binomial expansion.
Step 1: Convert to polar form
The number lies on the positive imaginary axis, so its distance from the origin is and its angle from the positive real axis is . In exponential form:
Step 2: Apply the -th roots formula
To find the cube roots, use with . Including the term is essential: it generates all three distinct roots. Without it, dividing by gives only one of them.
Step 3: Compute each root by evaluating the argument
For : argument , so
For : argument , so
For : argument , so
Step 4: Check the geometry
All three roots have modulus , confirming they lie on a circle of radius . The arguments , and differ by (that is, ), so the roots are equally spaced on that circle.
Final answer: the three cube roots of are , and .
The most penalised error is forgetting the term when taking roots, which yields only one root instead of . A second common slip is reading the argument off without checking the quadrant, placing the number on the wrong side of the plane. Always confirm the signs of the real and imaginary parts and keep the principal argument in unless the question states otherwise.
Exam-style questions
Questions in the style of QCAA exam questions on this dot point, each with a worked answer. They are written by ExamExplained unless tagged "Past paper"; the year shows the paper a question is modelled on.
Practice7 marksConsider the complex number z = -3 + 2i. a) Determine z^3 using the binomial theorem. Leave your answer in the form a + bi, where a and b are real. b) Convert z into modulus-argument (polar) form. c) Use the result from part b) to determine z^3 using de Moivre's theorem, leaving your answer in polar form. d) Evaluate the reasonableness of your results from parts a) and c), noting that the two methods to determine z^3 should produce the same result.Show worked answer →
a) [2 marks] Expand (-3 + 2i)^3 with the binomial theorem:
(-3)^3 + 3(-3)^2(2i) + 3(-3)(2i)^2 + (2i)^3 = -27 + 54i + 36 - 8i = 9 + 46i.
(Using (2i)^2 = -4 and (2i)^3 = -8i.)
b) [1 mark] |z| = sqrt((-3)^2 + 2^2) = sqrt(13). As z is in the second quadrant, arg(z) = pi - arctan(2/3) = 2.554 rad. So z = sqrt(13) cis(2.554).
c) [2 marks] By de Moivre, z^3 = (sqrt(13))^3 cis(3 * 2.554) = 13 sqrt(13) cis(7.661). Subtract 2pi from the argument: z^3 = 13 sqrt(13) cis(1.378), and 13 sqrt(13) = 46.87.
d) [2 marks] Convert the polar answer to Cartesian: 46.87 cos(1.378) = 9.0 and 46.87 sin(1.378) = 46.0, giving 9 + 46i. This matches part a), so the two methods agree and the results are reasonable.
Practice4 marksConsider the equation z^3 = 1 where z is a complex number. a) Sketch the solutions to z^3 = 1 on an Argand diagram. The solutions to z^3 = 1 can be expressed in the form z = a + bi, where a and b are real. b) Determine the largest possible positive value of ab.Show worked answer →
a) [2 marks] Writing 1 = cis(0) and taking cube roots, z = cis(2pik/3) for k = 0, 1, 2:
z = cis(0) = 1, z = cis(2pi/3) = -1/2 + (sqrt(3)/2)i, z = cis(-2pi/3) = -1/2 - (sqrt(3)/2)i.
Plotted on the Argand diagram these are three points on the unit circle, each of modulus 1, separated by 120 degrees (arguments 0 and +/- 2pi/3).
b) [2 marks] Compute ab for each solution:
z = 1: a = 1, b = 0, so ab = 0.
z = -1/2 + (sqrt(3)/2)i: ab = (-1/2)(sqrt(3)/2) = -sqrt(3)/4.
z = -1/2 - (sqrt(3)/2)i: ab = (-1/2)(-sqrt(3)/2) = sqrt(3)/4.
The largest positive value of ab is sqrt(3)/4.