Problem

Source: All-Russian 2022 10.7

Tags: geometry, tangent, All Russian Olympiad, parallelogram



Point $E$ is marked on side $BC$ of parallelogram $ABCD$, and on the side $AD$ - point $F$ so that the circumscribed circle of $ABE$ is tangent to line segment $CF$. Prove that the circumcircle of triangle $CDF$ is tangent to line $AE$.