De Moivre's Theorem

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.

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.

Summary of the three cube roots of 8

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

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

Step 1 — Convert to polar formWe 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)

Step 2 — Apply De Moivre's Theorem with n = 6By 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)

Step 3 — Convert back to Cartesian formWe evaluate: cos(3π/2) = 0 and sin(3π/2) = −1. Therefore z⁶ = 8(0 + i(−1)) = 8(0 − i) = −8i.

(1 + i)⁶ = −8i

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

Step 1 — Write −16 in polar formThe 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(π)

Step 2 — Apply the nth root formula with n = 4The 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

Step 3 — Calculate each rootFor 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

Step 4 — Geometric interpretationThe 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.

Comparison of Cartesian and polar forms for common operations

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

✦ 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.

IB AHL content vs. university-level extensions

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 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

PROBLEM 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?

PROBLEM 2 — BASIC CALCULATION

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

PROBLEM 3 — INTERMEDIATE

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

PROBLEM 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.

PROBLEM 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θ.

SUMMARY

Lesson 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.