Academy
Formulas/maths/M3 De Moivre/Factorizations Using Cube Roots of Unity

Factorizations Using Cube Roots of Unity

The symmetric factorization of a³+b³+c³−3abc over ℂ. When a+b+c = 0, the identity gives a³+b³+c³ = 3abc directly — a classic JEE trick. Also: a²+b²+c²−ab−bc−ca = (a+ωb+ω²c)(a+ω²b+ωc).
Derivation

Over the reals, a3+b3+c33abca^3 + b^3 + c^3 - 3abc factors as (a+b+c)(a2+b2+c2abbcca)(a+b+c)(a^2+b^2+c^2-ab-bc-ca). Over C\mathbb{C}, using cube roots of unity, it splits completely into three linear factors.

The Complete Factorization

Claim:

a3+b3+c33abc=(a+b+c)(a+ωb+ω2c)(a+ω2b+ωc)a^3 + b^3 + c^3 - 3abc = (a + b + c)(a + \omega b + \omega^2 c)(a + \omega^2 b + \omega c)

Derivation

Treat the right side as a product and expand the last two factors first.

Let P=(a+ωb+ω2c)(a+ω2b+ωc)P = (a + \omega b + \omega^2 c)(a + \omega^2 b + \omega c).

Expanding:

P=a2+aω2b+aωc+ωab+ω3b2+ω2bc+ω2ac+ω4bc+ω3c2P = a^2 + a\omega^2 b + a\omega c + \omega ab + \omega^3 b^2 + \omega^2 bc + \omega^2 ac + \omega^4 bc + \omega^3 c^2

Using ω3=1\omega^3 = 1 and ω4=ω\omega^4 = \omega:

P=a2+b2+c2+ab(ω+ω2)+bc(ω2+ω)+ca(ω+ω2)P = a^2 + b^2 + c^2 + ab(\omega + \omega^2) + bc(\omega^2 + \omega) + ca(\omega + \omega^2)

Since 1+ω+ω2=01 + \omega + \omega^2 = 0, we have ω+ω2=1\omega + \omega^2 = -1:

P=a2+b2+c2abbccaP = a^2 + b^2 + c^2 - ab - bc - ca

Now multiply by (a+b+c)(a + b + c):

(a+b+c)(a2+b2+c2abbcca)=a3+b3+c33abc(a+b+c)(a^2+b^2+c^2-ab-bc-ca) = a^3+b^3+c^3-3abc

(This is the standard real factorization identity.)

Therefore:

a3+b3+c33abc=(a+b+c)(a+ωb+ω2c)(a+ω2b+ωc)a^3 + b^3 + c^3 - 3abc = (a + b + c)(a + \omega b + \omega^2 c)(a + \omega^2 b + \omega c) \qquad \blacksquare

The Key Corollary

If a+b+c=0a + b + c = 0, then:

a3+b3+c3=3abca^3 + b^3 + c^3 = 3abc

This is one of the most-used tricks in JEE algebra. Whenever you spot three quantities summing to zero, their cubes sum to three times their product.

The Related Identity

a2+b2+c2abbcca=(a+ωb+ω2c)(a+ω2b+ωc)a^2 + b^2 + c^2 - ab - bc - ca = (a + \omega b + \omega^2 c)(a + \omega^2 b + \omega c)

This is exactly PP from above. It also equals 12[(ab)2+(bc)2+(ca)2]\dfrac{1}{2}\left[(a-b)^2 + (b-c)^2 + (c-a)^2\right], confirming it is always 0\geq 0 for real a,b,ca, b, c, with equality iff a=b=ca = b = c.