ISL 2020 G6
Let and be the incenter and the -excenter of an acute-angled triangle with . Let the incircle meet at . The line meets and at and , respectively. Prove that the circumcircles of triangles and are tangent to each other. (Slovakia)
Dataset text NuminaMath olympiads-ref. 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.