Let be the intersection point of the diagonals and of a convex quadrilateral . The bisector of meets extended at . If , show that .
Solution
Construct a point on the extension of such that . Using the condition, we find that
This implies are concyclic.
Now, since , we obtain
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.