Italian Mathematical Olympiad 2022 - Problem 2
Source:
May 6, 2022
geometry
Problem Statement
Let be an acute triangle with . Let then
• be the foot of the bisector of the angle in ,
• be the point on segment (different from ) such that ,
• be the point on segment (different from ) such that ,
• be the point on segment such that .
Prove that the circumcircle of triangle is tangent to line .