Problem 282: Right Triangle, Cevian, Angles, Perpendicular, Congruence.
Level: High School, College, SAT Prep.

The figure shows a right triangle ABC with a cevian AD. If angle DAC = 2 angle BAD, DE perpendicular to AC and BF perpendicular to AD, prove that BF = DE / 2.