RO-TST 2003 Problem 8

Two circles $\omega_1$ and $\omega_2$ with radii $r_1$ and $r_2$ , $r_2>r_1$ , are externally tangent. The line $t_1$ is tangent to the circles $\omega_1$ and $\omega_2$ at points $A$ and $D$ respectively. The parallel line $t_2$ to the line $t_1$ is tangent to the circle $\omega_1$ and intersects the circle $\omega_2$ at points $E$ and $F$ . The line $t_3$ passing through $D$ intersects the line $t_2$ and the circle $\omega_2$ in $B$ and $C$ respectively, both different of $E$ and $F$ respectively. Prove that the circumcircle of the triangle $ABC$ is tangent to the line $t_1$ .

Dinu Serbanescu