You can make a nice, somewhat abstract argument that connects this; in particular, equilateral triangles have various nice properties - like:
- For fixed $z_1,z_2$, there are exactly two $z_3$ such that $(z_1,z_2,z_3)$ is an equilateral triangle. If $z_1$ and $z_2$ are real, then those $z_3$ are reflections around the real axis.
- Any permutation of an equilateral triangle is an equilateral triangle - so $(z_1,z_2,z_3)$ being equilateral implies $(z_1,z_3,z_2)$ and $(z_2,z_3,z_1)$ are also equilateral.
- The map $z\mapsto az+b$ preserves equilateral triangles.
If we make a leap to trying to think about an analogous polynomial $P(z_1,z_2,z_3)$ such that, at any root, $(z_1,z_2,z_3)$ is an equilateral triangle, then the above conditions translate to:
- $P(z_1,z_2,z_3)$ has degree two in each of its variables. It has only real coefficients.
- $P(z_1,z_2,z_3)$ is a symmetric polynomial.
- $P(z_1,z_2,z_3)$ is homogenous.
Together, these yield that if such a $P$ existed, $P$ would have to be a sum of the only two symmetric and homogenous polynomials of degree two, meaning, for some $\alpha$ and $\beta$:
$$P(z_1,z_2,z_3)=\alpha(z_1^2+z_2^2+z_3^2)+\beta(z_1z_2+z_2z_3+z_3z_1)$$
but, since we desired $P(z,z,z)=0$ to be a solution, we can calculate that clearly $\alpha=-\beta$ and, dividing out by $\alpha$ would give that the only polynomial that could feasibly represent equilateral triangles would be:
$$P(z_1,z_2,z_3)=z_1^2+z_2^2+z_3^2-z_1z_2-z_2z_3-z_3z_1.$$
Then, if you showed that if $P(z_1,z_2,z_3)=0$ implied $P(z_1+c,z_2+c,z_3+c)=0$, which could be done algebraically, or perhaps through some clever manipulation, you would have that the roots of this polynomial satisfied all the conditions we wanted of equilateral triangles - and those conditions suffice to uniquely define the set of equilateral triangles, which proves that $P$'s roots are all equilateral triangles.
The point of this answer is, of course, to draw a connection between the symmetries defining the original problem and how the carry over to symmetries in the algebra and, indeed, suffice to show the statement. You could do this the other way round to learn geometric symmetries from the algebraic form of $P$ as well.
Best Answer
In general: it must be that
$$z_1=a+ci\;,\;\;z_2=b-ci\;,\;\;a+b=1\;,\;\;a^2+c^2=1=b^2+c^2\implies |a|=|b|$$
Can you take it from here? Observe that there are no many options for $\;z_2, z_2\;$ ... and thus it is possible to check each one separatedly.