Strange Collinearlity
Source: 2024 KJMO P3
November 9, 2024
geometryangle bisectorcircumcircle
Problem Statement
Acute triangle satisfies . Let be the points that the triangle's incircle intersects with , respectively, and some point on different from . The angle bisector of meets 's circumcircle at . is the point closer to than . meets at point respectively, and hits segment at . Show that are collinear.