Lots of perpendiculars
Source: Poland 73-3-1
March 31, 2022
geometry
Problem Statement
Let be an acute triangle with . The angle bisector of intersects the side and the circumcircle of at and , respectively. Points and are chosen so that , , , and . Prove that the points are collinear.