MathLabs

Problem 3

Let ABCABC be a scalene triangle with circumcircle Ω\Omega. Let MM be the midpoint of BCBC. A variable point PP is selected on segment AMAM. The circumcircles of triangles BPMBPM and CPMCPM meet Ω\Omega again at points DD and EE, respectively. The lines DPDP and EPEP meet the circumcircles of triangles CPMCPM and BPMBPM again at points XX and YY, respectively. Prove that, as PP varies, the circumcircle of triangle AXYAXY passes through a fixed point TT distinct from AA.
Step 2 of 9: Chase angles to two parallel pairs
∠MCE=∠MPE=∠MPY=∠MBY ⟹ BY∥CE;similarlyCX∥BD\angle MCE=\angle MPE=\angle MPY=\angle MBY\ \Longrightarrow\ BY\parallel CE;\qquad \text{similarly}\quad CX\parallel BD
Detailed analysis

Since C,M,P,EC,M,P,E are concyclic, ∠MCE=∠MPE\angle MCE=\angle MPE; since P,E,YP,E,Y are collinear, ∠MPE=∠MPY\angle MPE=\angle MPY; since B,M,P,YB,M,P,Y are concyclic, ∠MPY=∠MBY\angle MPY=\angle MBY. The equal directed angles ∠MCE=∠MBY\angle MCE=\angle MBY that lines CECE and BYBY make with line BCBC (through CC and BB) show BY∥CEBY\parallel CE. The symmetric argument using B,M,P,DB,M,P,D and D,P,XD,P,X and C,M,P,XC,M,P,X concyclic/collinear gives CX∥BDCX\parallel BD.