Problem 542: Right Triangle, Altitude, Angle Bisector, Perpendicular, 90 Degrees. Level: High School, SAT Prep, College

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