collinear wanted, circumcircle related
Source: Dutch IMO TST1 2012 p5
August 6, 2019
geometryangle bisectorcircumcircle
Problem Statement
Let be the circumcircle of the acute triangle . The angle bisector of angle intersects in the point and the short arc of in the point . The line through perpendicular to intersects the short arc of in . The line through perpendicular to intersects in . Prove that and lie on a line.