The figure below 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. IM, IN, and IF are perpendicular to
BD, BE, and DE, respectively. If R is the circumradius of
triangle DEI, prove that
.
