The figure above shows a right
triangle ABC with the incenter I and the altitude BH. D and E
are the incenters of triangles AHB and BHC, respectively. Prove
that the incircle of triangle ABC and the circumcircles of
triangles BDE and DEI are congruent.
See also: Problem
659.
