Beautiful geo finale of day 1
Source: All-Russian MO 2023 Final stage 11.4
April 23, 2023
geometry
Problem Statement
Let be the circumcircle of triangle with . Let be its incenter and let be the midpoint of . The foot of the perpendicular from to is . The lines form a triangle and the lines form a triangle . The circumcircle of meets at and the circumcircle of meets at . Prove that are collinear.