Extend BC to meet the common tangent line of the two circles at R. Extend TE to meet circle O again at a second point H.
First, since TR is the common tangent line of the two circles, we have ∠GHT=∠RTF=∠FET, hence EF∥GH.
Next, note that ∠RTC=∠TBC, and since RF and RT are both tangent lines to circle K, we have
∠RTF=∠RFT=∠TBC+∠BTG=∠RTC+∠BTG,
∠BTG=∠RTF−∠RTC=∠CTG.
Thus G is the midpoint of arc BC.
(1) From EF∥GH we know: ∠AIE=∠AGH. Also, ∠AGH=∠ATH, and hence ∠AIE=∠ATH. Therefore A, E, T, I are concyclic.
(2) First, since A, E, T, I are concyclic, ∠AIT=∠AET=∠EFT, so the circumcircle of △FTI is tangent to AG at I.
Next, since G is the midpoint of arc BC, we have ∠BAG=∠CAG and ∠BTG=∠CTG. Also ∠GBC=∠GAC and ∠BTG=∠BAG, so ∠GBC=∠BTG. Therefore, the circumcircle of △BFT is tangent to GB at B.
(3) Finally, since GT is a chord from G to the circumcircle of △FTI and the circumcircle of △FTI, while GB, GI are tangent lines to these two circles respectively, we have GB2=GF⋯GT=GI2, that is, GB=GI. Q.E.D.!
