Problem 573: Cyclic quadrilateral, Angle bisector, Perpendicular.
Level: High School, College, Math Education.

The figure shows a cyclic quadrilateral ABCD. AB and DC meet at E, AD and BC meet at F. Prove that the bisectors of angles AED and AFB are perpendicular.