JBMO-SL 2019 G4
Let be a triangle such that , and let the perpendicular bisector of the side intersect lines and at points and , respectively. If is the orthocenter of the triangle , and and are the midpoints of the segments and respectively, prove that and meet on the circumcircle of .
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.