Skip to content

Mathematics · Ch 2 — Complex Numbers

The nth Roots of Unity

2.8.3

The nth Roots of Unity

Definition. For a positive integer nn, the solutions of zn=1z^n=1 are the nnth roots of unity. In polar form, zn=1z^n=1 is written

zn=cos⁡(0+2kπ)+isin⁡(0+2kπ)=e2kπi,k=0,1,2,…z^n=\cos(0+2k\pi)+i\sin(0+2k\pi)=e^{2k\pi i},\qquad k=0,1,2,\dots

Applying the root formula from §2.8.2 (with r=1,θ=0r=1,\theta=0), the nnth roots of unity are

z=cos⁡2kπn+isin⁡2kπn=e2kπi/n,k=0,1,2,…,n−1.z=\cos\frac{2k\pi}n+i\sin\frac{2k\pi}n=e^{2k\pi i/n},\qquad k=0,1,2,\dots,n-1.

Definition. A complex number zz is called an nnth root of unity if and only if zn=1z^n=1. Denote ω=e2πi/n=cos⁡2πn+isin⁡2πn\omega=e^{2\pi i/n}=\cos\dfrac{2\pi}n+i\sin\dfrac{2\pi}n (the value at k=1k=1); then ωn=(e2πi/n)n=e2πi=1\omega^n=\left(e^{2\pi i/n}\right)^n=e^{2\pi i}=1, so ω\omega is itself an nnth root of unity, and (by the root formula) the full list of nnth roots of unity is exactly

1, ω, ω2, …, ωn−1.1,\ \omega,\ \omega^2,\ \dots,\ \omega^{n-1}.

These nn complex numbers are the points/vertices of a regular polygon of nn sides inscribed in the unit circle (since, as in §2.8.2, all nnth roots of unity have modulus 11 and are equally spaced by 2πn\dfrac{2\pi}n).

The nnth roots of unity 1,ω,ω2,…,ωn−11,\omega,\omega^2,\dots,\omega^{n-1} form a geometric progression with common ratio ω\omega.

  • Sum: 1+ω+ω2+⋯+ωn−1=ωn−1ω−1=01+\omega+\omega^2+\cdots+\omega^{n-1}=\dfrac{\omega^n-1}{\omega-1}=0 (since ωn=1\omega^n=1 and ω≠1\omega\ne1, being n≥2n\ge2).
  • Product: 1⋅ω⋅ω2⋯ωn−1=ω0+1+⋯+(n−1)=ωn(n−1)/2=(e2πi/n)n(n−1)/2=eπi(n−1)=(−1)n−1.1\cdot\omega\cdot\omega^2\cdots\omega^{n-1}=\omega^{0+1+\cdots+(n-1)}=\omega^{n(n-1)/2}=\left(e^{2\pi i/n}\right)^{n(n-1)/2}=e^{\pi i(n-1)}=(-1)^{n-1}.

Note — summary facts about the nnth roots of unity:

  1. All nn roots lie in Geometric Progression.
  2. The sum of the nn roots is always 00.
  3. The product of the nn roots is (−1)n−1(-1)^{n-1}.
  4. All nn roots lie on a circle of radius 11 centred at the origin, dividing it into nn equal parts and forming a regular nn-gon.

Cube roots of unity (n=3n=3). Solving z3=1z^3=1 by the same method: z=cos⁡2kπ3+isin⁡2kπ3z=\cos\dfrac{2k\pi}3+i\sin\dfrac{2k\pi}3 for k=0,1,2k=0,1,2, giving

1,ω=−12+32i,ω2=−12−32i,1,\qquad \omega=-\frac12+\frac{\sqrt3}2i,\qquad \omega^2=-\frac12-\frac{\sqrt3}2i,

with ω3=1\omega^3=1 and 1+ω+ω2=01+\omega+\omega^2=0 (matching the general sum result at n=3n=3) — the two identities used constantly to reduce any expression in ω\omega (e.g. ω4=ω⋅ω3=ω\omega^4=\omega\cdot\omega^3=\omega, and 1+ω=−ω21+\omega=-\omega^2).

Fourth roots of unity (n=4n=4). Similarly, solving z4=1z^4=1 gives 1, i, −1, −i1,\ i,\ -1,\ -i. …