Problem 4
Let be adjacent vertices of a regular -gon () with center . A triangle , congruent to and initially coinciding with , moves so that and each trace the whole boundary of the polygon, while remains inside the polygon. Find the locus of .
Step 2 of 5: Obtain a cyclic quadrilateral
In plain words
Opposite angles summing to are exactly the cyclicity criterion.
Detailed analysis
The two displayed angles sum to , so lie on one circle throughout this phase. Since by congruence, equal chords and subtend equal angles at .