Vertices of Equilateral Triangle in Complex Plane

Theorem
Let $z_1$, $z_2$ and $z_3$ represent on the complex plane the vertices of an equilateral triangle.

Then:
 * $z_1^2 + z_2^2 + z_3^2 = z_1 z_2 + z_2 z_3 + z_3 z_1$

Proof

 * EquilateralTriangleInComplexPlane.png

Let $T$ be the equilateral triangle whose vertices are $z_1$, $z_2$ and $z_3$.

We have that $z_2 - z_1$ and $z_3 - z_1$ are two sides of $T$ which meet at $z_1$.

From the geometry of $T$ it follows that $z_2 - z_1$ is at an angle of $\pi/3$ to $z_3 - z_1$.

Similarly, $z_1 - z_3$ and $z_2 - z_3$ are two sides of $T$ which meet at $z_3$.

From the geometry of $T$ it follows that $z_1 - z_3$ is at an angle of $\pi/3$ to $z_2 - z_3$.

From Complex Multiplication as Geometrical Transformation/Corollary:
 * $z_2 - z_1 = e^{i \pi / 3} \left({z_3 - z_1}\right)$
 * $z_1 - z_3 = e^{i \pi / 3} \left({z_2 - z_3}\right)$

By division:
 * $\dfrac {z_2 - z_1} {z_1 - z_3} = \dfrac {z_3 - z_1} {z_2 - z_3}$

from which it follows that:
 * $z_1^2 + z_2^2 + z_3^2 = z_1 z_2 + z_2 z_3 + z_3 z_1$