Let be a triangle with . Let the angle bisector of intersect at , and intersect the perpendicular bisector of segment at . Prove that .
Solution
We first show that lies on the circumcircle of triangle .

Let the perpendicular bisector of intersect the circumcircle of at . Since bisects the arc we have . Thus lies on the angle bisector of . Hence .
Let , and . From the Angle Bisector Theorem we have
The triangles and are similar, thus
On the other hand, computing the power of point with respect to the circumcircle of we get
Combining (1), (2) and (3) yields
as required.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.