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 .
KöMaL problem A, 2026
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.