PYQ Vault

NDA Maths · Complex Numbers

Cube Roots of Unity

The three cube roots of 1 — namely 1, ω, ω² — and the two identities (ω³ = 1 and 1 + ω + ω² = 0) that answer a large, predictable family of NDA questions.

Why this matters

Cube roots of unity are the single most reliable pattern in this chapter — and one of the most HARD-concentrated. Almost every question reduces to 'powers of ω cycle every 3' plus '1 + ω + ω² = 0'.

Test yourself — a quick 14-question Complex Numbers recall quiz, instant score.

Concept 1 of 2: 1, ω, ω² and their identities

The equation x3=1x^3=1 has three roots: 11 and the two non-real ones, ω\omega and ω2\omega^2, which are complex conjugates sitting on the unit circle 120° apart. Two facts do all the work: their powers cycle every 3, and the three sum to zero.

Definition

ω=−1+i32,  ω2=−1−i32=ωˉ\omega=\dfrac{-1+i\sqrt3}{2},\;\omega^2=\dfrac{-1-i\sqrt3}{2}=\bar\omega. The two identities:

  • ω3=1\omega^3=1 — so ωn=ω n mod 3\omega^n=\omega^{\,n\bmod 3} (powers cycle every 3).
  • 1+ω+ω2=01+\omega+\omega^2=0 — so ω+ω2=−1\omega+\omega^2=-1 and ω2=−1−ω\omega^2=-1-\omega.

Also ω⋅ω2=1\omega\cdot\omega^2=1 (they are reciprocals/conjugates), and ∣ω∣=1|\omega|=1. The −2ω-2\omega collapses (one step from 1+ω+ω2=01+\omega+\omega^2=0, and the shape of every 'raise to the 100th power' question): 1+ω−ω2=−2ω21+\omega-\omega^2=-2\omega^2, 1−ω+ω2=−2ω1-\omega+\omega^2=-2\omega, −1+ω+ω2=−2-1+\omega+\omega^2=-2, 1+ω=−ω21+\omega=-\omega^2, 1+ω2=−ω1+\omega^2=-\omega. So (1+ω−ω2)3n=(−2ω2)3n=(−2)3n(1+\omega-\omega^2)^{3n}=(-2\omega^2)^{3n}=(-2)^{3n}, and (1−ω+ω2)5+(1+ω−ω2)5=−32(ω5+ω10)=−32(ω2+ω)=32(1-\omega+\omega^2)^5+(1+\omega-\omega^2)^5=-32(\omega^5+\omega^{10})=-32(\omega^2+\omega)=32. A symmetric-function identity: with x=a+bx=a+b, y=aω+bω2y=a\omega+b\omega^2, z=aω2+bωz=a\omega^2+b\omega: x+y+z=0x+y+z=0, xyz=a3+b3xyz=a^3+b^3, xy+yz+zx=−3abxy+yz+zx=-3ab, and hence x2+y2+z2=(x+y+z)2−2(xy+yz+zx)=6abx^2+y^2+z^2=(x+y+z)^2-2(xy+yz+zx)=6ab.

Cube roots of unity identities

ω3=11+ω+ω2=0ωˉ=ω2ωn=ω n mod 3\omega^3=1 \qquad 1+\omega+\omega^2=0 \qquad \bar\omega=\omega^2 \qquad \omega^n=\omega^{\,n\bmod 3}
1ωω²120°1 + ω + ω² = 0

Worked example

Simplify 1+ω4+ω81+\omega^4+\omega^8, where ω\omega is a non-real cube root of unity.
Practice this conceptself-check · 4 quick reps

The same idea in a real exam question:

NDA · Apr 2017 · Q9Easy

Example 1 · Complex Numbers · Cube Roots of Unity

If 1,ω,ω21, \omega, \omega^2 are the cube roots of unity, then (1+ω)(1+ω2)(1+ω3)(1+ω+ω2)(1+\omega)(1+\omega^2)(1+\omega^3)(1+\omega+\omega^2) is equal to

ω2=ωˉ\omega^2=\bar\omega, but ω2≠−ω\omega^2\ne-\omega

ω2\omega^2 is the conjugate ωˉ\bar\omega (both unit-circle cube roots, 120° apart). From 1+ω+ω2=01+\omega+\omega^2=0 you get ω2=−1−ω\omega^2=-1-\omega — not −ω-\omega. Treating ω2\omega^2 as −ω-\omega (or forgetting to reduce ωn\omega^n by n mod 3n\bmod 3 first) wrecks the algebra. Also note ω⋅ω2=ω3=1\omega\cdot\omega^2=\omega^3=1.

Concept 2 of 2: Applying ω: powers, expressions, related roots

Most ω questions are recognition: spot that a given number IS ω (e.g. (−1+−3)/2(-1+\sqrt{-3})/2), reduce every exponent mod 3, and collapse using 1+ω+ω2=01+\omega+\omega^2=0. The roots of x2+x+1=0x^2+x+1=0 are ω,ω2\omega,\omega^2; the roots of x2−x+1=0x^2-x+1=0 are −ω,−ω2-\omega,-\omega^2; and x3=kx^3=k has roots k1/3{1,ω,ω2}k^{1/3}\{1,\omega,\omega^2\}.

Definition

  • Reduce then collapse: ωn=ω n mod 3\omega^n=\omega^{\,n\bmod3}, then apply 1+ω+ω2=01+\omega+\omega^2=0.
  • Quadratic roots: x2+x+1=0⇒x=ω,ω2x^2+x+1=0\Rightarrow x=\omega,\omega^2; x2−x+1=0⇒x=−ω,−ω2x^2-x+1=0\Rightarrow x=-\omega,-\omega^2 (primitive 6th roots).
  • Cube roots of kk: the roots of z3=kz^3=k are k1/3, k1/3ω, k1/3ω2k^{1/3},\,k^{1/3}\omega,\,k^{1/3}\omega^2 — they sum to 0 and form an equilateral triangle.
  • Sums like αn+βn\alpha^n+\beta^n for α,β\alpha,\beta cube/6th-roots are a small-case match on n mod 3n\bmod 3 (or 6).
  • The homogeneous form: z12+z1z2+z22=0z_1^2+z_1z_2+z_2^2=0 — divide by z22z_2^2 to get t2+t+1=0t^2+t+1=0 with t=z1/z2t=z_1/z_2, so z1=ωz2z_1=\omega z_2 or ω2z2\omega^2z_2: the two numbers have equal modulus and arguments differing by 2π3\tfrac{2\pi}3 (with 0 they form an equilateral triangle). Likewise z12−z1z2+z22=0z_1^2-z_1z_2+z_2^2=0 gives z1=−ωz2z_1=-\omega z_2 or −ω2z2-\omega^2 z_2, i.e. z1/z2=e±iπ/3z_1/z_2=e^{\pm i\pi/3}.
  • Coefficients in GP: if a,b,ca,b,c are in GP (b2=acb^2=ac) the roots of ax2+bx+c=0ax^2+bx+c=0 satisfy αβ=ω\dfrac{\alpha}{\beta}=\omega or ω2\omega^2 — the discriminant is b2−4ac=−3acb^2-4ac=-3ac, and dividing through by cc with x=c/a tx=\sqrt{c/a}\,t gives t2+t+1=0t^2+t+1=0.

Worked example

If x2+x+1=0x^2+x+1=0, find x2026+x2027x^{2026}+x^{2027}.
Practice this conceptself-check · 4 quick reps

The same idea in a real exam question:

NDA · Apr 2025 · Q14Hard

Example 2 · Complex Numbers · Cube Roots of Unity

If x2−x+1=0x^2 - x + 1 = 0, then what is (x−1x)2+(x−1x4)+(x−1x8)\left(x - \frac{1}{x}\right)^2 + \left(x - \frac{1}{x^4}\right) + \left(x - \frac{1}{x^8}\right) equal to?

Summary — formulas & gotchas at a glance

A revision cheat-sheet for the formulas and gotchas above. Click any concept name to jump back to its full explanation.

Formulas (1)

  • 1, ω, ω² and their identities

    Cube roots of unity identities

    ω3=11+ω+ω2=0ωˉ=ω2ωn=ω n mod 3\omega^3=1 \qquad 1+\omega+\omega^2=0 \qquad \bar\omega=\omega^2 \qquad \omega^n=\omega^{\,n\bmod 3}

Watch out for (1)

Test yourself on Complex Numbers

20 past NDA questions from this chapter, timed at 25 minutes and marked the way the exam marks it. You see your score and every answer the moment you finish. Free to start.

Related notes