MathLabs

Problem 4

Let A,BA,B be adjacent vertices of a regular nn-gon (n≥5n\ge5) with center OO. A triangle XYZXYZ, congruent to and initially coinciding with OABOAB, moves so that YY and ZZ each trace the whole boundary of the polygon, while XX remains inside the polygon. Find the locus of XX.
Step 2 of 5: Obtain a cyclic quadrilateral
In plain words

Opposite angles summing to π\pi are exactly the cyclicity criterion.

∠YXZ+∠YBZ=π\angle YXZ+\angle YBZ=\pi
Detailed analysis

The two displayed angles sum to π\pi, so X,Y,B,ZX,Y,B,Z lie on one circle throughout this phase. Since XY=XZXY=XZ by congruence, equal chords XYXY and XZXZ subtend equal angles at BB.