is a cyclic quadrilateral with . The diagonals and intersect at . Let , , and be the incentres of triangles , , and respectively. Show that , , and are concyclic if and only if .
Solution
Since (in view of ) and , we have . Since and are incentres of and respectively, they are corresponding points under this similarity. It follows that
Similarly, we have . Now,
This completes the proof.
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.