Let be a quadrilateral with . Diagonals and meet at . Let and denote the circumcircle and circumcenter of triangle . Let and denote the circumcircle and circumcenter of triangle . Segment meets and again at and (other than and ), respectively. Let and be the midpoints of minor arcs (not including ) and (not including ). Prove that .
Solution
Let be the second intersection point of . Suffice to show . Now is the center of a spiral congruence which sends . So and are similar isosceles. Now,
and so bisects . !
Now, let be the incenter of . Then , so is cyclic, meaning is antiparallel to through . Since passes through the circumcenter of , it follows now as desired.
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.