HMMT Feb 2023 team p9
Source:
February 20, 2023
Problem Statement
Let be a triangle with . The incircle of triangle is tangent to side at and intersects the perpendicular bisector of segment at distinct points and . Lines and intersect line at and , respectively. Prove that, if then