SHARYGIN 2019 Problem 14
Let the side of triangle touch the incircle and the corresponding excircle at points and respectively. Let be the projection of the incenter onto the perpendicular bisector of . It is known that the tangents to the circumcircle of triangle at and meet on the circumcircle of . Prove that the lines and touch the circumcircle of triangle .
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.