Problem

Source: Chinese TST

Tags: Gauss, algebra, polynomial, geometry, complex numbers, combinatorial geometry, algebra proposed



Let $ z_{1},z_{2},z_{3}$ be three complex numbers of moduli less than or equal to $ 1$. $ w_{1},w_{2}$ are two roots of the equation $ (z - z_{1})(z - z_{2}) + (z - z_{2})(z - z_{3}) + (z - z_{3})(z - z_{1}) = 0$. Prove that, for $ j = 1,2,3$, $\min\{|z_{j} - w_{1}|,|z_{j} - w_{2}|\}\leq 1$ holds.