Let points , , , , , be chosen in the plane such that no three of them are collinear, and let lines , , be tangent to a given equilateral hyperbola at points , and , respectively. Assume that the circumcircle of is the same as the nine-point circle of triangle . Let be the Simson line of point with respect to the pedal triangle of . Let be the intersection of line and the perpendicular of through point . Points and are defined in a similar manner. Prove that points , and are collinear.
, 2023
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.