Let be the incircle of . There are two smaller circles and inside . The circle is tangent to at , tangent to at , and also tangent to . The circle is tangent to at , tangent to at , and also tangent to . Prove that are concyclic.
Solution
Let be the point on different from the contact point of and such that its tangent to is parallel to . Then the tangent at to is parallel to the tangent at to . By considering the homothety with centre mapping to , we see that , , are collinear. Similarly, , , are collinear. Let be a point on the tangent at to as shown. Then we have
This implies , , , are concyclic.

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.