The figure below shows the circles of diameters AB, BC, and AC
of centers O_{1}, O_{2}, and O_{3},
respectively (B is on AC). DE is perpendicular to AC at B. If the
chord FH is tangent to circles O_{1} and O_{2},
prove that DE is the bisector of angle FDH.
