Length Condition on Circumcenter Implies Tangency
Source: ISL 2022/G4
July 9, 2023
geometryIMO ShortistIMO Shortlist 2022
Problem Statement
Let be an acute-angled triangle with , let be its circumcentre, and let be a point on the segment . The line through perpendicular to intersects the lines and at and respectively. The circumcircles of triangles and intersect again at .
Prove that if and then is tangent to the circle