MathDB
radius of circumcircle of T_AT_BT_C is twice the radius of circumcircle of ABC

Source: 2021 Turkey TST P7

May 23, 2021
number theoryChina second round

Problem Statement

Given a triangle ABCABC with the circumcircle ω\omega and incenter II. Let the line pass through the point II and the intersection of exterior angle bisector of AA and ω\omega meets the circumcircle of IBCIBC at TAT_A for the second time. Define TBT_B and TCT_C similarly. Prove that the radius of the circumcircle of the triangle TATBTCT_AT_BT_C is twice the radius of ω\omega.