Proof Referring to the figure, draw a line from D, tangent to ω, and the line intersects AB, AC, BC at points M, N, K respectively.

Since
∠KDE=∠AEK=∠EFC,
we know MK∥CG.
By Newton's theorem, the lines BN, CM, DE are concurrent.
By Ceva's theorem, we have
ECBE⋅NACN⋅MBAM=1.1◯
From Menelaus' theorem,
KCBK⋅NACN⋅MBAM=1.2◯
① ÷ ②, we have
BE⋅KC=EC⋅BK,
thus
BC⋅KE=2EB⋅CK.3◯
Using Menelaus' theorem and ③, we get
1=BECB⋅DFED⋅GCFG=BECB⋅CKEK⋅GCFG=GC2FG.
So CF=GF.