DFF#51

Dominic's Favourite Fact #51:
Given a triangle ABC, the angle bisector at A meets the perpendicular bisector of BC on the circumcircle.

A02: How did you solve BMO1 2014 P5?
Inquisitor: Using DFF#51.