MathLabs

Problem 2

Given a point P0P_0 in the plane of triangle A1A2A3A_1A_2A_3, define As=As−3A_s=A_{s-3} for all s≥4s\ge4. Construct points P1,P2,…P_1,P_2,\ldots so that Pk+1P_{k+1} is the image of PkP_k under a clockwise rotation through 120∘120^\circ about Ak+1A_{k+1}. Prove that if P1986=P0P_{1986}=P_0, then triangle A1A2A3A_1A_2A_3 is equilateral.
Step 5 of 5: Conclude equilateral
In plain words

The point aa is exactly the third vertex of a unit equilateral triangle on the segment from 00 to 11.

∣A1A2∣=∣A2A3∣=∣A3A1∣=1|A_1A_2|=|A_2A_3|=|A_3A_1|=1
Detailed analysis

Thus A1=0A_1=0, A2=1A_2=1, and A3=12+i32A_3=\frac12+i\frac{\sqrt3}{2} are the vertices of an equilateral triangle, completing the proof.