International Mathematical Olympiad 2019 Problem 6
Let be the incentre of acute triangle with . The incircle of is tangent to sides , , and at , , and , respectively. The line through perpendicular to meets again at . Line meets again at . The circumcircles of triangles and meet again at .
Prove that lines and meet on the line through perpendicular to .