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
Problem
Source: Romanian IMO Team Selection Test TST 2003, problem 8
Tags: geometry, circumcircle, invariant, geometry proposed