Let be an acute triangle with orthocenter . Points and lie on the lines and , respectively, such that the points , , , are concyclic, and the line bisects the side . Suppose that the lines and meet at . Prove that the line is perpendicular to the symmedian through .
, 2026
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.