JBMO-SL 2018 G1
Let be the orthocentre of an acute triangle with , inscribed in a circle . The circle with centre and radius intersects at the point , which is on the arc not containing . The circle with centre and radius intersects the segment at the point . The line parallel to through , intersects at point . If is the midpoint of and is the foot of the perpendicular from to , prove that the line bisects the segment .
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.