Dos círculos, $\omega_1$ y $\omega_2$ , con centros en $O_1$ y $O_2$ , respectivamente, se encuentran en los puntos $A$ y $B$ . Una línea que pasa por $B$ se encuentra con $\omega_1$ nuevamente en $C$ , y con $\omega_2$ nuevamente en $D$ . Las tangentes a $\omega_1$ y $\omega_2$ en $C$ y $D$ , respectivamente, se encuentran en $E$ , y la línea $AE$ se encuentra con el círculo $\omega$ que pasa por $A, O_1,O_2$ nuevamente en $F$ . Demuestra que la longitud del segmento $EF$ es igual al diámetro de $\omega$ .