Middle European Mathematical Olympiad 2018 Problem T-6
Let be a triangle. The internal bisector of intersects the side at and the circumcircle of triangle again at . Let be the perpendicular projection of onto . The circumcircle of triangle intersects line again at . Lines and meet at point . Prove that .