Demuestra que si dos rectas tangenciales al mismo círculo se intersecan, las longitudes entre el punto de intersección y los puntos de tangencia son iguales. Es decir, en el diagrama de la derecha, si $\overleftrightarrow { A D }$ es tangencial a ⊙$E$ en $D$, y $\overleftrightarrow{AF}$ es tangencial a $⊙E$ en $F$, demuestra que $AD = AF$. Utiliza un diagrama de flujo o una demostración en dos columnas.