MathDB
A weird conditional geometry

Source: 2023 Taiwan Mathematics Olympiad

February 8, 2023
Taiwangeometry

Problem Statement

Let OO be the center of circle Γ\Gamma, and AA, BB be two points on Γ\Gamma so that O,AO, A and BB are not collinear. Let MM be the midpoint of ABAB. Let PP and QQ be points on OAOA and OBOB, respectively, so that PAP \neq A and P,M,QP, M, Q are collinear. Let XX be the intersection of the line passing through PP and parallel to ABAB and the line passing through QQ and parallel to OMOM. Let YY be the intersection of the line passing through XX and parallel to OAOA and the line passing through BB and orthogonal to OXOX. Prove that: if XX is on Γ\Gamma, then YY is also on Γ\Gamma.
Proposed by usjl