Analyzing the Setup
Imagine a perfect, equilateral triangle resting on the Argand plane. Its vertices, z1, z2, and z3, are complex numbers representing positions in the complex plane.
Every triangle has a circumcenter, which we denote as z0. Because the triangle is equilateral, its circumcenter is identical to its centroid.
The centroid is the arithmetic mean of the vertices, defined by the following relation:
By multiplying both sides by 3, we establish the linear relationship:
The Equilateral Identity
To proceed, we invoke the fundamental identity for equilateral triangles in the complex plane. This identity captures the essence of the triangle's rotational symmetry:
z12+z22+z32=z1z2+z2z3+z3z1
This identity serves as the bridge between the linear sum of the vertices and their quadratic interactions. It is the "magic key" for solving problems involving equilateral geometry.
The Grand Unification
We return to our centroid equation, z1+z2+z3=3z0, and square both sides to introduce the quadratic terms:
Expanding the left side using the trinomial expansion formula (a+b+c)2=a2+b2+c2+2(ab+bc+ca), we obtain:
z12+z22+z32+2(z1z2+z2z3+z3z1)=9z02
We now substitute the pairwise product sum with the equilateral identity z12+z22+z32:
z12+z22+z32+2(z12+z22+z32)=9z02
Final Calculation
Combining the terms on the left side, we simplify the expression to:
Dividing both sides by 3, we arrive at the final, elegant relationship:
We have successfully demonstrated that for an equilateral triangle with centroid z0, the sum of the squares of the vertices is equal to three times the square of the centroid.