De Moivre's Theorem — AHL 1.14 De Moivre's theorem and powers/roots of complex numbers - IB Mathematics Analysis and Approaches

SECTION 1

Historical Context & Motivation

Complex numbers were once considered strange, even fictitious objects that mathematicians reluctantly accepted because they appeared in solutions to polynomial equations. For centuries, scholars searched for elegant ways to raise these numbers to powers and extract their roots. The breakthrough came from a French-born mathematician named Abraham de Moivre, who discovered a remarkably simple relationship between complex numbers and trigonometry. His theorem transformed computations that would otherwise require pages of tedious algebra into quick, elegant calculations using angles and radii.

1545 • Cardano's Ars Magna

Gerolamo Cardano published formulas for solving cubic equations, encountering square roots of negative numbers and calling them 'as subtle as they are useless.' This was the first recorded appearance of what we now call complex numbers.

1707 • De Moivre's Discovery

Abraham de Moivre, a French Huguenot living in England, established the connection between complex numbers in polar form and integer powers. His work appeared implicitly in his studies of trigonometric identities and probability theory.

1748 • Euler's Formula

Leonhard Euler published his famous identity

e^{iθ}

= cos θ + i sin θ, providing the exponential framework that makes De Moivre's Theorem a natural consequence and connecting it to the foundations of analysis.

1799 • Fundamental Theorem of Algebra

Gauss proved that every polynomial of degree n has exactly n roots in the complex numbers. De Moivre's Theorem became essential for actually finding those roots, especially roots of unity.

The central question De Moivre's Theorem answers is: how can we efficiently compute powers and roots of complex numbers without expanding enormous products? By expressing a complex number in polar form—using a distance from the origin (modulus) and an angle (argument)—raising it to any power becomes as simple as multiplying the angle and raising the modulus to that power. This elegant shortcut underpins much of the IB AHL curriculum on complex numbers.

SECTION 2

Core Principles & Definitions

Before diving into De Moivre's Theorem itself, you need a solid grasp of how complex numbers are represented in polar form (also called trigonometric or modulus-argument form). This representation is the key that unlocks the theorem's power, because it translates multiplication into rotation and scaling on the complex plane.

Modulus (r)

The modulus of z = a + bi is the distance from the origin to the point (a, b) on the complex plane. It is calculated as r = √(a² + b²). The modulus is always non-negative.

Argument (θ)

The argument is the angle measured counter-clockwise from the positive real axis to the line connecting the origin to z. It is found using θ = arctan(b/a), adjusted for the correct quadrant. The argument is typically given in radians.

Polar Form

Any complex number z = a + bi can be written as z = r(cos θ + i sin θ), often abbreviated as r cis θ. This form separates the 'size' of z (its modulus) from its 'direction' (its argument), making powers and roots far simpler to compute.

De Moivre's Theorem

For any integer n and complex number z = r(cos θ + i sin θ), the theorem states that zⁿ = rⁿ(cos nθ + i sin nθ). Raising to a power means raising the modulus to that power and multiplying the argument by that power.

Roots of Complex Numbers

De Moivre's Theorem extends to fractional exponents. The nth roots of z are found by taking

r^{1/n}

for the modulus and (θ + 2πk)/n for the argument, where k = 0, 1, 2, …, n − 1. This produces exactly n distinct roots.

✦

KEY TAKEAWAY

Think of a complex number in polar form like a clock hand: the modulus is how long the hand is, and the argument is the angle it points at. De Moivre's Theorem says that squaring a complex number doubles its angle and squares its length. Cubing it triples the angle and cubes the length. It's that simple—multiply the power into the angle, and raise the length to the power. No need to multiply (a + bi) by itself over and over.

SECTION 3

Visualising Powers on the Complex Plane

The complex plane (also called the Argand diagram) is the best way to see De Moivre's Theorem in action. The horizontal axis represents the real part and the vertical axis represents the imaginary part. When you raise a complex number to successive integer powers, the point spirals outward (if r > 1), spirals inward (if r < 1), or stays on the same circle (if r = 1). The diagram below shows how the complex number z = cos 40° + i sin 40° (which has modulus 1) behaves when raised to powers 1 through 9.

Each coloured point shows a successive power of z = cis 40° on the unit circle. Notice how z¹ sits at 40°, z² at 80°, z³ at 120°, and so on—each power adds another 40° of rotation. After z⁹ the point returns to 360° (the same as 0°), completing a full revolution.

The diagram makes the theorem's behaviour visually obvious. Because r = 1, every power stays on the same circle. The argument simply multiplies: the angle of zⁿ is n × 40°. If the modulus were greater than 1, the dots would spiral outward; if less than 1, they would spiral inward toward the origin. This geometric picture is exactly what De Moivre's Theorem captures algebraically.

SECTION 4

Mathematical Framework

Let's state the theorem formally and then break down each component. Everything follows from the polar representation of complex numbers and the rules for multiplying them.

POLAR FORM OF A COMPLEX NUMBER

z = r(cos θ + i sin θ) = r cis θ

Here r = |z| = √(a² + b²) is the modulus, and θ = arg(z) is the argument (the angle from the positive real axis). The shorthand cis θ stands for cos θ + i sin θ.

DE MOIVRE'S THEOREM (INTEGER POWERS)

[r(cos θ + i sin θ)]ⁿ = rⁿ(cos nθ + i sin nθ)

For any integer n (positive, negative, or zero), the modulus is raised to the nth power and the argument is multiplied by n. When n is negative, this gives the reciprocal: z⁻¹ = r⁻¹ cis(−θ).

NTH ROOTS OF A COMPLEX NUMBER

z^(1/n) = r^(1/n) cis((θ + 2πk) / n), k = 0, 1, 2, …, n − 1

There are exactly n distinct nth roots. They all share the same modulus r^1/n and are equally spaced around a circle, separated by an angle of 2π/n radians. The 2πk term accounts for the periodicity of cosine and sine.

ROOTS OF UNITY (SPECIAL CASE)

The nth roots of 1 are: ωₖ = cis(2πk / n), k = 0, 1, …, n − 1

The roots of unity are the nth roots of the number 1. They form a regular n-sided polygon inscribed in the unit circle, centered at the origin. The root ω₁ = cis(2π/n) is called a primitive nth root of unity because all other roots are powers of it.

ℹ

Why Does It Work?

The proof for positive integers uses mathematical induction. The base case n = 1 is trivially true. For the inductive step, assume the theorem holds for n = k, then zᵏ⁺¹ = zᵏ × z = rᵏ cis(kθ) × r cis(θ). Multiplying two complex numbers in polar form means multiplying moduli and adding arguments, so we get rᵏ⁺¹ cis((k+1)θ), completing the induction. The IB syllabus expects you to understand this reasoning, though a formal write-up is typically not examined.

SECTION 5

Finding and Visualising Complex Roots

One of the most beautiful applications of De Moivre's Theorem is finding the nth roots of a complex number. The key insight is that every complex number (except zero) has exactly n distinct nth roots, and these roots are evenly spaced around a circle on the Argand diagram. This symmetry arises because adding 2π to any angle produces the same point, but dividing by n distributes those full rotations into n equally spaced directions.

For example, consider finding the cube roots of 8. In real numbers, the only cube root of 8 is 2. But in the complex number system, there are three cube roots. We write 8 = 8 cis 0, so the three cube roots have modulus 8^1/3 = 2 and arguments (0 + 2πk)/3 for k = 0, 1, 2. This gives arguments 0, 2π/3, and 4π/3, producing three points that form an equilateral triangle inscribed in a circle of radius 2.

The three cube roots of 8 are equally spaced at 120° intervals around a circle of radius 2. The real root z₀ = 2 (green) is the one you already know from real-number arithmetic. The other two roots, z₁ and z₂ (violet and pink), are complex conjugates of each other.

Root	k value	Argument	Cartesian form
z₀	0	0	2
z₁	1	2π/3 (120°)	−1 + i√3
z₂	2	4π/3 (240°)	−1 − i√3

Summary of the three cube roots of 8

SECTION 6

Worked Example

Let's work through a full IB-style problem that combines powers and roots. This example shows you exactly how to set up and execute each step of De Moivre's Theorem.

Find (1 + i)⁶ in the form a + bi

1
Step 1 — Convert to polar form

We have z = 1 + i, so a = 1 and b = 1. The modulus is r = √(1² + 1²) = √2. The argument is θ = arctan(1/1) = π/4 (since z is in the first quadrant). Therefore z = √2 cis(π/4).

z = √2 cis(π/4)
2
Step 2 — Apply De Moivre's Theorem with n = 6

By De Moivre's Theorem, z⁶ = (√2)⁶ cis(6 × π/4). We compute the modulus: (√2)⁶ = ( $2^{1/2}$ )⁶ = 2³ = 8. We compute the argument: 6 × π/4 = 6π/4 = 3π/2.

z⁶ = 8 cis(3π/2)
3
Step 3 — Convert back to Cartesian form

We evaluate: cos(3π/2) = 0 and sin(3π/2) = −1. Therefore z⁶ = 8(0 + i(−1)) = 8(0 − i) = −8i.

(1 + i)⁶ = −8i
4
Step 4 — Verify (optional but good practice)

We can check: (1 + i)² = 2i, so (1 + i)⁴ = (2i)² = 4i² = −4, and (1 + i)⁶ = (1 + i)⁴ × (1 + i)² = (−4)(2i) = −8i. ✓ The result matches.

Find the four 4th roots of −16

1
Step 1 — Write −16 in polar form

The number −16 lies on the negative real axis. Its modulus is 16 and its argument is π radians (180°). So −16 = 16 cis(π).

−16 = 16 cis(π)
2
Step 2 — Apply the nth root formula with n = 4

The modulus of each root is $16^{1/4}$ = 2. The argument of the kth root is (π + 2πk)/4, for k = 0, 1, 2, 3.

Each root has modulus 2
3
Step 3 — Calculate each root

For k = 0: θ = π/4, giving z₀ = 2 cis(π/4) = √2 + i√2. For k = 1: θ = 3π/4, giving z₁ = 2 cis(3π/4) = −√2 + i√2. For k = 2: θ = 5π/4, giving z₂ = 2 cis(5π/4) = −√2 − i√2. For k = 3: θ = 7π/4, giving z₃ = 2 cis(7π/4) = √2 − i√2.

z = √2 ± i√2 and z = −√2 ± i√2
4
Step 4 — Geometric interpretation

The four roots are equally spaced at 90° intervals (2π/4 = π/2) on a circle of radius 2. They form a square on the Argand diagram. Notice they come in two conjugate pairs, which is always the case when the original number is real.

SECTION 7

Cartesian vs. Polar: When to Use Each

You'll often need to decide whether to work in Cartesian form (a + bi) or polar form (r cis θ). The table below compares the two representations for common operations. In general, Cartesian form is better for addition and subtraction, while polar form dominates for multiplication, division, powers, and roots.

Operation	Cartesian Form (a + bi)	Polar Form (r cis θ)
Addition	Easy: add real and imaginary parts separately	Difficult: no simple formula for adding polar forms
Multiplication	Requires FOIL expansion and i² = −1	Easy: multiply moduli, add arguments
Powers	Very tedious for large exponents (repeated multiplication)	One-step via De Moivre's: raise r to power, multiply θ by power
Roots	Almost impossible for nth roots beyond square roots	Systematic: take nth root of r, divide θ by n, generate k values
Division	Multiply by conjugate of denominator	Easy: divide moduli, subtract arguments

Comparison of Cartesian and polar forms for common operations

✦

KEY TAKEAWAY

Think of it like choosing the right tool for the job. Cartesian form is like a screwdriver—great for adding and subtracting. Polar form is like a power drill—essential for powers, roots, and multiplication. On an IB exam, the moment you see an exponent or a root applied to a complex number, switch to polar form. Convert the answer back to Cartesian form at the end if the question requires it.

SECTION 8

Connection to Euler's Formula and Beyond

De Moivre's Theorem is closely connected to one of the most famous results in all of mathematics: Euler's formula, which states that e^iθ = cos θ + i sin θ. Using Euler's formula, De Moivre's Theorem becomes an immediate consequence of the laws of exponents: (e^iθ)ⁿ = e^inθ. This connection is explored further at the university level but is worth knowing as context.

Concept	IB AHL Level	University Extension
Notation	z = r cis θ	z = $re^{iθ}$ (exponential form)
Powers	zⁿ = rⁿ cis(nθ) for integer n	zʷ = $e^{w ln z}$ for any complex w
Roots	nth roots using k = 0, 1, …, n−1	Multi-valued functions and Riemann surfaces
Applications	Deriving trig identities, solving zⁿ = w	Signal processing (Fourier analysis), quantum mechanics

IB AHL content vs. university-level extensions

💡

IB Exam Tip

De Moivre's Theorem can also be used to derive trigonometric identities. For example, expanding (cos θ + i sin θ)³ using the binomial theorem and then equating real and imaginary parts with cos 3θ and sin 3θ gives you the triple-angle formulas. This is a classic IB exam question style—look out for it in Paper 1!

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the five 5th roots of unity form a regular pentagon when plotted on the Argand diagram. What property of De Moivre's Theorem guarantees this symmetry?

Show answer

The five 5th roots of unity all have modulus 1 (since

1^{1/5}

= 1), so they all lie on the unit circle. De Moivre's Theorem tells us their arguments are (0 + 2πk)/5 for k = 0, 1, 2, 3, 4, which gives 0, 2π/5, 4π/5, 6π/5, and 8π/5. Since consecutive roots are separated by exactly 2π/5 radians (72°), the five points are equally spaced around the circle. Five equally spaced points on a circle always form a regular pentagon.

Question 2: BASIC CALCULATION

Use De Moivre's Theorem to evaluate (cos π/6 + i sin π/6)¹². Express your answer in the form a + bi.

Show answer

By De Moivre's Theorem, (cis π/6)¹² = cis(12 × π/6) = cis(2π). Since cos 2π = 1 and sin 2π = 0, the answer is 1 + 0i = 1. The modulus was already 1, and the argument 12 × π/6 = 2π represents a full rotation back to the starting point on the unit circle.

Question 3: INTERMEDIATE

Find (−1 + i√3)⁵ in the form a + bi. Hint: start by converting to polar form.

Show answer

First, find the modulus: r = √((−1)² + (√3)²) = √(1 + 3) = 2. The argument: since the point is in the second quadrant with reference angle arctan(√3/1) = π/3, we have θ = π − π/3 = 2π/3. So z = 2 cis(2π/3). By De Moivre's Theorem, z⁵ = 2⁵ cis(5 × 2π/3) = 32 cis(10π/3). Since 10π/3 = 10π/3 − 2π = 4π/3, we get 32 cis(4π/3) = 32(cos 4π/3 + i sin 4π/3) = 32(−1/2 + i(−√3/2)) = −16 − 16i√3.

Question 4: APPLIED

Find all four 4th roots of the complex number z = −8 + 8i√3. Give your answers in polar form r cis θ, with θ in radians.

Show answer

First convert to polar form: r = √(64 + 192) = √256 = 16. Since a = −8 < 0 and b = 8√3 > 0 (second quadrant), the reference angle is arctan(8√3/8) = arctan(√3) = π/3, so θ = π − π/3 = 2π/3. Thus z = 16 cis(2π/3). The four 4th roots have modulus

16^{1/4}

= 2 and arguments (2π/3 + 2πk)/4 for k = 0, 1, 2, 3. This gives: k=0: 2 cis(π/6); k=1: 2 cis(2π/3); k=2: 2 cis(7π/6); k=3: 2 cis(5π/3). These four roots form a square on a circle of radius 2.

Question 5: CRITICAL THINKING

Use De Moivre's Theorem to show that cos 3θ = 4cos³θ − 3cos θ. Hint: expand (cos θ + i sin θ)³ using the binomial theorem, then equate the real parts with cos 3θ.

Show answer

By De Moivre's Theorem, (cos θ + i sin θ)³ = cos 3θ + i sin 3θ. Expanding the left side using the binomial theorem: cos³θ + 3cos²θ(i sin θ) + 3cos θ(i sin θ)² + (i sin θ)³ = cos³θ + 3i cos²θ sin θ − 3cos θ sin²θ − i sin³θ. Separating real and imaginary parts, the real part is cos³θ − 3cos θ sin²θ. Equating this with cos 3θ and substituting sin²θ = 1 − cos²θ gives cos 3θ = cos³θ − 3cos θ(1 − cos²θ) = cos³θ − 3cos θ + 3cos³θ = 4cos³θ − 3cos θ, which is the required identity.

SUMMARY

Lesson Summary

Summary

De Moivre's Theorem states that for a complex number in polar form z = r cis θ, the nth power is zⁿ = rⁿ cis(nθ). The modulus is raised to the power, and the argument is multiplied by the power. This works for all integer exponents, including negatives (which give reciprocals). Geometrically, each power rotates the point on the Argand diagram and scales its distance from the origin.

For nth roots, the theorem extends: each complex number has exactly n distinct nth roots with modulus r^1/n and arguments (θ + 2πk)/n for k = 0, 1, …, n − 1. These roots are equally spaced around a circle, forming a regular polygon. The special case of roots of unity (nth roots of 1) produces a regular n-gon on the unit circle. Remember: always convert to polar form before applying De Moivre's Theorem, and convert back to Cartesian form (a + bi) only at the end if the question requires it.