Let be circumcircle of triangle and let and be altitudes. A line intersects the circle at points and with order , , , in the line. Let bisectors of angle and intersect a circle at point and , respectively. Prove that the line is perpendicular to the bisector of angle .
(Proposed by B. Ulziinasan)
Solution
Let be a circumcenter of triangle . We know and so , from here .
Hence and denote it by . If we denote , , then . Because of we have and . From here .
Because , we have and . So we get . Now we can write , in other words .

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.