ISL 2009 G6
Let the sides and of the quadrilateral (such that is not parallel to ) intersect at point . Points and are the circumcenters and points and are the orthocenters of triangles and , respectively. Denote the midpoints of segments and by and , respectively. Prove that the perpendicular from on , the perpendicular from on and the line are concurrent.
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.