Let be a triangle, the midpoint of side and the intersection point of the bisector of angle with side . The perpendicular bisector of intersects the bisectors of angles and at and , respectively. The bisectors of angles and intersect at . Prove that points are concyclic.
Solution
The bisector of angle and the perpendicular bisector of side , both bisect the of the circumcircle of triangle opposite to the vertex . Therefore quadrilateral is cyclic and hence
The segment defined by the two intersection points of the perpendicular bisector of with the circumcircle of triangle is a diameter and intersects the bisector of the angle on this circumcircle. But the bisectors of angles and are perpendicular. Therefore quadrilateral is cyclic and hence
We deduce that
from triangle . This proves that points are concyclic.
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.