BALKAN-SL 2019 G8
Given an acute triangle is circumcircle with center and the orthocenter of the triangle . The line intersects at the point . Let and be the symmetrical points of the points and with respect to the lines respectively. Let be the circumcircle of the triangle . Suppose that the line intersects again at the point , the line intersects the segment at the point and the line intersects the segment at the point . Prove that one of the intersection points of the circumcircles of the triangles and lies on the line .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.