Let be a right-angled triangle with . is the altitude from to , with on . is the circumcircle of . is a circle situated in , which is tangent to the segments and at and respectively, and is also tangent to circle .
(i) Show that .
(ii) Show that .
Solution
(i) This is an immediate consequence of Casey's theorem. We provide an elementary proof as follows assuming the result in part (ii) (which will be proved later).
Let , and . By part (ii), we have . Then we have
It follows that
using Pythagoras' theorem. This proves the equality.

(ii) Let and be the centres of and respectively. Note that is a diameter of since . Therefore, the tangent at to is parallel to the tangent at to . By homothety, we know that are collinear. As , we have . Therefore,
This gives .
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.