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 2 of 5: Compose one block of three rotations
In plain words

The same three centers repeat every three steps, so one block determines the entire long sequence.

P⟼ω(ω(ωP−1)+1−a)+aP\longmapsto\omega\bigl(\omega(\omega P-1)+1-a\bigr)+a
Detailed analysis

Applying the rotations about 00, 11, and aa successively gives P↦ω(ω(ωP−1)+1−a)+aP\mapsto\omega(\omega(\omega P-1)+1-a)+a. Since ω3=1\omega^3=1, this simplifies to P↦P−i3−aω+aP\mapsto P-i\sqrt3-a\omega+a (with ω=e4iπ/3\omega=e^{4i\pi/3}).