Geometry Problem 542: Crack the Geometric Puzzle: Proving Perpendicularity with Altitude and Angle Bisectors in a Right Triangle

In the figure, a right triangle ABC is shown with the altitude BD. AE bisects angle BAC, and BF bisects angle CBD. Prove that AE and BF are perpendicular.