Let be a triangle. Let be the angle bisector of the angle and let be the angle bisector of the angle , with interior to the side and to the side . Let be a point interior to the side such that , and let be a point interior to the side such that . Show that the points and are all on a circle if and only if .
Solution
Let , and be the lengths of the sides of the triangle . Using that is an angle bisector, that the two angles and are complementary (hence have equal sines) and the sine rule for the triangles and one obtains
The points , , and are all on a circle if and only if opposite angles of the quadrilateral add up to . This is equivalent to and which is equivalent to the triangles and being similar. This, however, is equivalent to
Using and , which was shown above, and , , it is now straightforward to see that , , , are concyclic if and only if .

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.