Problem

Source: 2021 Turkey TST P7

Tags: number theory, China second round



Given a triangle $ABC$ with the circumcircle $\omega$ and incenter $I$. Let the line pass through the point $I$ and the intersection of exterior angle bisector of $A$ and $\omega$ meets the circumcircle of $IBC$ at $T_A$ for the second time. Define $T_B$ and $T_C$ similarly. Prove that the radius of the circumcircle of the triangle $T_AT_BT_C$ is twice the radius of $\omega$.