ISL 2013 G2
Let be the circumcircle of a triangle . Denote by and the midpoints of the sides and , respectively, and denote by the midpoint of the of not containing . The circumcircles of the triangles and intersect the perpendicular bisectors of and at points and , respectively; assume that and lie inside the triangle . The lines and intersect at . Prove that . (Iran)
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.