Maths WorkshopMaths problems with full solutions
Exercise 1294Algebra › Complex numbersOlympiadAdded 5 Nov 2026

Three complex numbers of modulus one

#complex numbers#unit circle#conjugation#equilateral triangle

Statement

Let a,b,ca,b,c be complex numbers with ∣a∣=∣b∣=∣c∣=1|a|=|b|=|c|=1.

  1. Prove that ∣ab+bc+ca∣=∣a+b+c∣|ab+bc+ca|=|a+b+c|.
  2. Prove that if a+b+c=0a+b+c=0, then a,b,ca,b,c are the vertices of an equilateral triangle.
  3. Prove that (a+b)(b+c)(c+a)abc\dfrac{(a+b)(b+c)(c+a)}{abc} is a real number.
Hint

On the unit circle, aˉ=1a\bar a=\frac1a. Express a+b+c‾\overline{a+b+c} in terms of ab+bc+caab+bc+ca.

Show solutionHide solution

Solution

1. Since aˉ=1/a\bar a=1/a, etc.,
a+b+c‾=1a+1b+1c=ab+bc+caabc.\overline{a+b+c}=\frac1a+\frac1b+\frac1c=\frac{ab+bc+ca}{abc}.
Taking moduli and using ∣abc∣=1|abc|=1: ∣a+b+c∣=∣ab+bc+ca∣|a+b+c|=|ab+bc+ca|.

2. If a+b+c=0a+b+c=0, part 1 gives ab+bc+ca=0ab+bc+ca=0. Then a,b,ca,b,c are the roots of t3−abc=0t^3-abc=0. The equation t3=abct^3=abc has three distinct roots (since abc≠0abc\ne0): the three cube roots of abcabc, which are r,rω,rω2r,r\omega,r\omega^2 — vertices of an equilateral triangle centred at 00.

3. Let Z=(a+b)(b+c)(c+a)abcZ=\dfrac{(a+b)(b+c)(c+a)}{abc}. For a,b≠0a,b\ne0: a+b‾=1a+1b=a+bab\overline{a+b}=\frac1a+\frac1b=\frac{a+b}{ab}. Therefore
(a+b)(b+c)(c+a)‾=(a+b)(b+c)(c+a)(abc)2,abc‾=1abc.\overline{(a+b)(b+c)(c+a)}=\frac{(a+b)(b+c)(c+a)}{(abc)^2},\qquad\overline{abc}=\frac1{abc}.
Hence Zˉ=(a+b)(b+c)(c+a)(abc)2⋅abc=Z\bar Z=\dfrac{(a+b)(b+c)(c+a)}{(abc)^2}\cdot abc=Z, so ZZ is real. ■\blacksquare

Lesson. On the unit circle replace zˉ\bar z by 1/z1/z: symmetric expressions become rational functions you can compare with their conjugates.