3.5.12Complex Numbers

Roots of unity — cube roots, nth roots, geometric interpretation

2,016 words9 min readdifficulty · medium6 backlinks

1. Setting up from first principles

WHY are there exactly nn? Because zn1=0z^n - 1 = 0 is a degree-nn polynomial, and a degree-nn polynomial has exactly nn roots in C\mathbb{C} (Fundamental Theorem of Algebra), and here they are all distinct.

HOW do we find them? Write zz in polar form. This is the key move: powers are easy in polar form.

z=r(cosθ+isinθ)=reiθz = r(\cos\theta + i\sin\theta) = re^{i\theta}

By De Moivre, zn=rneinθz^n = r^n e^{in\theta}. We need this to equal 1=1ei01 = 1\cdot e^{i\cdot 0}.

Match modulus and argument separately:

  • Modulus: rn=1r=1r^n = 1 \Rightarrow r = 1 (since r0r\ge 0 is real). Why this step? All roots lie on the unit circle.
  • Argument: nθ=0+2πkn\theta = 0 + 2\pi k, for any integer kk (because angles repeat every 2π2\pi). Why this step? einθ=1e^{in\theta}=1 doesn't force nθ=0n\theta=0 exactly — any full-turn multiple works.

θ=2πkn,k=0,1,2,,n1\theta = \frac{2\pi k}{n}, \quad k = 0, 1, 2, \dots, n-1

Why only k=0n1k=0\dots n-1? Beyond that the angles just repeat (add 2π2\pi), giving the same points.


2. The primitive root ω\omega and the clean formula

Let ω=ei2π/n\omega = e^{i 2\pi/n} (the "first step around the circle"). Then

zk=ωk,k=0,1,,n1.z_k = \omega^k, \qquad k = 0, 1, \dots, n-1.

WHY is this powerful? Every root is a power of one root. The nn roots are {1,ω,ω2,,ωn1}\{1, \omega, \omega^2, \dots, \omega^{n-1}\} — generated by repeatedly rotating by 2π/n2\pi/n. A root ωk\omega^k is called primitive when its powers generate all nn roots (happens iff gcd(k,n)=1\gcd(k,n)=1).

Figure — Roots of unity — cube roots, nth roots, geometric interpretation

3. Cube roots of unity (the famous case n=3n=3)

Set n=3n=3. Angles are θ=0,2π3,4π3\theta = 0, \frac{2\pi}{3}, \frac{4\pi}{3}.

z0=1,ω=ei2π/3=12+32i,ω2=ei4π/3=1232iz_0 = 1, \quad \omega = e^{i2\pi/3} = -\tfrac12 + \tfrac{\sqrt3}{2}i, \quad \omega^2 = e^{i4\pi/3} = -\tfrac12 - \tfrac{\sqrt3}{2}i

Why 1+ω+ω2=01+\omega+\omega^2 = 0? Two ways: (a) ω\omega solves z2+z+1=0z^2+z+1=0, so directly ω2+ω+1=0\omega^2+\omega+1=0; or (b) use the geometric-series argument below. (c) Geometrically: three unit vectors at 120120^\circ apart cancel — they balance like a peace sign, summing to the center 00.


4. Sum of all nnth roots = 0 (general)

Derivation (geometric series): Let S=1+ω+ω2++ωn1S = 1 + \omega + \omega^2 + \dots + \omega^{n-1}. This is a geometric series with ratio ω1\omega \ne 1:

S=ωn1ω1.S = \frac{\omega^n - 1}{\omega - 1}.

Why this step? Standard geometric-sum formula. But ωn=1\omega^n = 1, so the numerator is 00, while the denominator ω10\omega - 1 \ne 0. Therefore S=0S = 0. \blacksquare

Intuition: the nn position vectors are symmetric around the circle, so they cancel — center of mass is the origin.

Product: k=0n1ωk=(1)n+1\prod_{k=0}^{n-1}\omega^k = (-1)^{n+1} (product of roots of zn1z^n-1, via Vieta = (1)n=(1)n+1-(-1)^n = (-1)^{n+1}).


5. Geometric interpretation (Dual Coding)

nn Shape Roots
2 line segment 1,11, -1
3 equilateral triangle 1,ω,ω21, \omega, \omega^2
4 square 1,i,1,i1, i, -1, -i
6 hexagon ±1,±e±iπ/3\pm1, \pm e^{\pm i\pi/3}

6. Worked examples


7. Common mistakes (Steel-man + fix)


8. Active recall

Recall Quick self-test (cover answers)
  • Why do the roots lie on the unit circle? → modulus condition rn=1r=1r^n=1\Rightarrow r=1.
  • What's ωk\sum \omega^k? → 00.
  • What polygon do the cube roots form? → equilateral triangle.
  • What does multiplying by ω\omega do geometrically? → rotate by 2π/n2\pi/n.
Recall Feynman: explain to a 12-year-old

Imagine a clock with nn evenly placed dots, one at "3 o'clock." Spin the clock so each dot jumps to the next dot's place. If you spin enough times, every dot comes back home. Those dots are the "roots of unity." Each one, if you "multiply it by itself" nn times (keep spinning), lands exactly back on "1" (the 3-o'clock dot). And if you put a little weight on every dot, the clock balances perfectly at the center — that's why they all add up to zero!


Flashcards

What equation defines an nnth root of unity?
zn=1z^n = 1.
General formula for the nnth roots of unity?
zk=ei2πk/nz_k = e^{i2\pi k/n}, k=0,1,,n1k=0,1,\dots,n-1.
Why do all roots of unity have modulus 1?
zn=1rn=1r=1z^n=1 \Rightarrow r^n=1 \Rightarrow r=1 (real, nonnegative).
What is the sum of all nnth roots of unity (n2n\ge2)?
00.
Prove the sum is 0 in one line.
Geometric series ωn1ω1=0ω1=0\frac{\omega^n-1}{\omega-1}=\frac{0}{\omega-1}=0.
Cube roots of unity?
1, 12+32i, 1232i1,\ -\tfrac12+\tfrac{\sqrt3}{2}i,\ -\tfrac12-\tfrac{\sqrt3}{2}i.
Key cube-root identity?
1+ω+ω2=01+\omega+\omega^2=0 and ω3=1\omega^3=1.
Geometric meaning of multiplying by ω=ei2π/n\omega=e^{i2\pi/n}?
Rotation by 2π/n2\pi/n (length unchanged).
What polygon do the nnth roots of unity form?
A regular nn-gon inscribed in the unit circle, vertex at 11.
What are the 4th roots of unity?
1,i,1,i1, i, -1, -i.
When is ωk\omega^k a primitive root?
When gcd(k,n)=1\gcd(k,n)=1.
Roots of zn=az^n=a in terms of roots of unity?
One root times each nnth root of unity.

Connections

Concept Map

degree n polynomial

guarantees

solve via

De Moivre

r^n = 1

n theta = 2 pi k

combine

combine

geometric meaning

set base

powers omega^k

case n = 3

roots of z^2+z+1=0

z^n = 1

Fundamental Thm of Algebra

exactly n distinct roots

polar form z = r e^itheta

match modulus and argument

all roots on unit circle

angles 2 pi k / n

z_k = e^(i 2 pi k / n)

corners of regular n-gon

primitive root omega

generates all n roots

cube roots 1, omega, omega^2

1 + omega + omega^2 = 0

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, "roots of unity" ka matlab simple hai: zn=1z^n = 1 ko solve karna. Real numbers mein toh bas 11 (ya 1-1) milta, par complex world mein angles rotate hote hain. Polar form z=reiθz=re^{i\theta} lo, toh zn=rneinθ=1z^n = r^n e^{in\theta} = 1. Isse do baatein: r=1r=1 (sab unit circle pe baithe hain) aur nθ=2πkn\theta = 2\pi k, yaani θ=2πkn\theta = \frac{2\pi k}{n} for k=0,1,,n1k=0,1,\dots,n-1. Bas — nn points, circle pe barabar-barabar gap mein, ek regular polygon ke corners.

Cube roots (n=3n=3) sabse famous hain: 1, ω, ω21,\ \omega,\ \omega^2 jahan ω=ei2π/3\omega=e^{i2\pi/3}. Inki do killer identities yaad rakho — derive karke, ratke nahi: ω3=1\omega^3=1 aur 1+ω+ω2=01+\omega+\omega^2=0. Doosri identity geometrically bhi clear hai: teen unit vectors 120120^\circ pe, ek peace-sign ki tarah, cancel ho jaate hain, sum zero. General case mein bhi geometric series se prove hota hai: ωk=ωn1ω1=0\sum \omega^k = \frac{\omega^n-1}{\omega-1}=0.

Geometric intuition yahi hai: ω\omega se multiply karna matlab 2πn\frac{2\pi}{n} ka rotation, length same. Toh 11 ko baar-baar ghumao toh saare roots mil jaate hain. Exam mein jab z3=8z^3=8 type aaye, simple: ek root nikalo (r=2r=2), phir usko roots of unity se multiply kar do — teen vertices ka triangle ready. Common galti: socha zn=1z^n=1 ka answer sirf 11 hai — nahi bhai, complex mein nn answers hote hain, kyunki angle nn se multiply hoke full turn ban jaata hai.

Go deeper — visual, from zero

Test yourself — Complex Numbers

Connections