Let be a cyclic quadrilateral with inradius . Let and be the incenters of and , and let and be the circumcenters of and , respectively. Prove that
Here denotes the area of the quadrilateral .
Solution
Let and be the feet of perpendiculars from the points and to , respectively. Then
Since , we have . It follows that , that is, .
Since is the circumcenter of , we have and since is the incenter of we have . From this we deduce that . Hence . It follows that the points are collinear. Similarly, the points are collinear.
Moreover, since we have . On the other hand, we have . Finally, because we have
This is equivalent to the statement of the problem.

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.