Femtobytes
Problem type

The n-th roots of unity

What it solves
Solve z to the power n equals 1. Find all n solutions, see why they are the corners of a regular polygon, why each is a power of the first, and prove that they add up to zero.
Subject
Complex Numbers
Topic
Length and angle
Also called
roots of unity, nth roots of 1, cyclotomic
Your problem

Find every complex number zz that satisfies this equation.

z5=1z^{5} = 1
Invent a new one:
The problem

Find every complex number zz that satisfies this equation.

z5=1z^{5} = 1
The result
ωk=cos⁡2kπ5+isin⁡2kπ5,k=0,1,…,4\omega_k = \cos \frac{2k\pi}{5} + i \sin \frac{2k\pi}{5}, \quad k = 0, 1, \ldots, 4

There are exactly 55 solutions, equally spaced round the unit circle, and their sum is 00.

checked 10 lines of this solution were evaluated with exact arithmetic before it was shown to you. A solution with a false line is never served.
Picture 1 of 2Step 1: Say what is being asked, and what we already expect
0.50.5i-0.5-0.5i1i-1-ireal axisimaginary axis1
The number 1, where every root of unity must land after being multiplied by itself n times. Each root is a turn that, done n times, comes back exactly to here.
1

Say what is being asked, and what we already expect

Why this step

Among real numbers, z5=1z^{5} = 1 has one solution, 11. Yet an equation of degree 55 is entitled to 55 solutions. The missing ones are not on the number line at all. They are in the plane, and the only way to find them is to stop thinking of multiplication as repeated adding and start thinking of it as turning.

The number 11, as a point of the plane, has length 11 and points along the positive real axis, so its angle is 00, or equally 2π2\pi, 4π4\pi, and so on: 1=cos⁡(2kπ)+isin⁡(2kπ)1 = \cos(2k\pi) + i \sin(2k\pi) for every whole number kk. Here ii is the imaginary unit with i2=−1i^2 = -1, and angles are in radians, where a full turn is 2π2\pi.

Write an unknown solution as z=ρ(cos⁡φ+isin⁡φ)z = \rho \left( \cos \varphi + i \sin \varphi \right) with length ρ\rho (rho) and angle φ\varphi (phi). De Moivre's theorem says raising to the power 55 raises the length to that power and multiplies the angle by 55: z5=ρ5(cos⁡5φ+isin⁡5φ)z^{5} = \rho^{5} \left( \cos 5\varphi + i \sin 5\varphi \right).

ρ5=1and5φ=2kπ\rho^{5} = 1 \qquad \text{and} \qquad 5\varphi = 2k\pi
Equal complex numbers have equal lengths, and angles that agree up to whole turns.
2

Solve for the length and the angles

Why this step

The length equation has no freedom in it: a length is a positive real number and the only positive real number whose power is 11 is 11 itself. So every solution lies on the unit circle. The angle equation is where the 55 different solutions come from: a full turn, shared out 55 ways, gives 55 different directions before it starts repeating.

ρ=1,φk=2kπ5,k=0,1,…,4\rho = 1, \qquad \varphi_k = \frac{2k\pi}{5}, \quad k = 0, 1, \ldots, 4
Dividing 2kπ2k\pi by 55. Taking k=5k = 5 would give 2π2\pi, a full turn, which is the same direction as k=0k = 0; so kk stops at 44.
φ0=0\varphi_{0} = 0
With k=0k = 0. checked
φ1=2π5\varphi_{1} = \frac{2 \pi}{5}
With k=1k = 1: 2π5\frac{2 \pi}{5} in lowest terms, which is 72∘72^\circ. checked
φ2=4π5\varphi_{2} = \frac{4 \pi}{5}
With k=2k = 2: 4π5\frac{4 \pi}{5} in lowest terms, which is 144∘144^\circ. checked
φ3=6π5\varphi_{3} = \frac{6 \pi}{5}
With k=3k = 3: 6π5\frac{6 \pi}{5} in lowest terms, which is 216∘216^\circ. checked
φ4=8π5\varphi_{4} = \frac{8 \pi}{5}
With k=4k = 4: 8π5\frac{8 \pi}{5} in lowest terms, which is 288∘288^\circ. checked
3

Write out the roots

4

See that every root is a power of the first one

5

Prove that the roots add up to zero