Problem

Source: China Northern MO 2022 p1 CNMO

Tags: geometry, isosceles right triangle, equal angles



As shown in the figure, given $\vartriangle ABC$ with $AB \perp AC$, $AB=BC$, $D$ is the midpoint of the side $AB$, $DF\perp DE$, $DE=DF$ and $BE \perp EC$. Prove that $\angle AFD= \angle CEF$.