Maths WorkshopMaths problems with full solutions
Exercise 1315Geometry › Analytic geometryOlympiadAdded 5 Nov 2026

Equilateral triangles and complex numbers

#complex numbers#equilateral triangle#roots of unity#rotation

Statement

Let a,b,ca,b,c be three complex numbers. Prove that a,b,ca,b,c are the vertices of an equilateral triangle (possibly degenerate, with a=b=ca=b=c) if and only if
a2+b2+c2=ab+bc+ca.a^2+b^2+c^2=ab+bc+ca.

Hint

Let ω=e2πi/3\omega=e^{2\pi i/3}. Factor a2+b2+c2−ab−bc−caa^2+b^2+c^2-ab-bc-ca using ω\omega and ω2\omega^2.

Show solutionHide solution

Solution

Factorisation. With ω2+ω+1=0\omega^2+\omega+1=0 and ω3=1\omega^3=1,
(a+ωb+ω2c)(a+ω2b+ωc)=a2+b2+c2−ab−bc−ca.(a+\omega b+\omega^2c)(a+\omega^2b+\omega c)=a^2+b^2+c^2-ab-bc-ca.
So the condition holds iff a+ωb+ω2c=0a+\omega b+\omega^2c=0 or a+ω2b+ωc=0a+\omega^2b+\omega c=0.

Geometric meaning. Since 1+ω+ω2=01+\omega+\omega^2=0, we have a+ωb+ω2c=(a−c)+ω(b−c)a+\omega b+\omega^2c=(a-c)+\omega(b-c). Hence a+ωb+ω2c=0a+\omega b+\omega^2c=0 iff
a−c=−ω (b−c)=e−iπ/3(b−c):a-c=-\omega\,(b-c)=e^{-i\pi/3}(b-c):
the vector CA⃗\vec{CA} is CB⃗\vec{CB} rotated by −60∘-60^\circ, so ABCABC is equilateral. Likewise a+ω2b+ωc=0a+\omega^2b+\omega c=0 gives the other orientation.

Conclusion. a2+b2+c2=ab+bc+caa^2+b^2+c^2=ab+bc+ca iff a,b,ca,b,c form an equilateral triangle (degenerate when b=cb=c forces a=b=ca=b=c).

Lesson. Factor symmetric expressions with cube roots of unity: multiplication by ω\omega is a rotation by 120∘120^\circ.