MathLabs

Problem 4

Triangle ABCABC has circumcircle Ω\Omega and circumcenter OO. A circle Γ\Gamma with center AA intersects the segment BCBC at points DD and EE, such that BB, DD, EE, CC are all different and lie on line BCBC in this order. Let FF and GG be the points of intersection of Γ\Gamma and Ω\Omega, such that AA, FF, BB, CC, GG lie on Ω\Omega in this order. Let KK be the second intersection point of the circumcircle of triangle BDFBDF with segment ABAB, and let LL be the second intersection point of the circumcircle of triangle CGECGE with segment ACAC. Suppose that the lines FKFK and GLGL are distinct and intersect at the point XX. Prove that XX lies on the line AOAO.
Step 3 of 5: Four parallelisms from directed-angle chasing
In plain words

Repeated use of inscribed angles "anti-parallel" through the pair of lines (FG,BC)(FG,BC) produces four independent parallel pairs.

FD∥G2C,F2B∥GE,FB∥G2E,F2D∥GCFD\parallel G_2C,\quad F_2B\parallel GE,\quad FB\parallel G_2E,\quad F_2D\parallel GC
Detailed analysis

Using directed angles modulo 180∘180^\circ through the cyclic quadrilaterals FBDF2⊂(BDF)FBDF_2\subset(BDF) and G2ECG⊂(CGE)G_2ECG\subset(CGE), together with B,D,E,CB,D,E,C collinear on line BCBC: ∠(FD,FG)=∠(BC,GE)=∠(G2C,FG)\angle(FD,FG)=\angle(BC,GE)=\angle(G_2C,FG) gives FD∥G2CFD\parallel G_2C; ∠(F2B,FG)=∠(BC,FD)=∠(GE,FG)\angle(F_2B,FG)=\angle(BC,FD)=\angle(GE,FG) gives F2B∥GEF_2B\parallel GE; ∠(FB,FG)=∠(BC,GC)=∠(G2E,FG)\angle(FB,FG)=\angle(BC,GC)=\angle(G_2E,FG) gives FB∥G2EFB\parallel G_2E; and ∠(F2D,FG)=∠(BC,FB)=∠(GC,FG)\angle(F_2D,FG)=\angle(BC,FB)=\angle(GC,FG) gives F2D∥GCF_2D\parallel GC.