IMO Shortlist 2014 G3
Source:
July 11, 2015
geometryangle bisectorIMO Shortlist
Problem Statement
Let and be the circumcircle and the circumcentre of an acute-angled triangle with . The angle bisector of intersects at . Let be the circle with diameter . The angle bisectors of and intersect at points and respectively. The point is chosen on the line so that . Prove that .
(Here we always assume that an angle bisector is a ray.)Proposed by Sergey Berlov, Russia