Problem 559: Triangle, Cevian, Incenters, Angle, 90 Degrees.
Level: High School, College, Math Education
The figure shows a triangle ABC with a cevian BD. If E is the incenter
of triangle ABD and F the incenter of triangle BCD, prove that the
measure of angle EDF is 90 degrees.