Problem 511: Triangle, Double Angle, Angle Bisector, Measure.
Level: High School, College, SAT Prep.

The drawing shows a triangle ABC with the angle bisector BD. The angle A is double the angle C. Prove that AD=BC-AB.