$D$ lies on the smaller of arc $AB$ of the circumcircle of isoceles triangle $ABC$ at $A$. $E$ is a point on line segment $BC$ such that $AD \perp DE$. The perpendicular bisector $DE$ cuts $AC$ at point $F$. Prove that $EF \parallel AB$.
At first, I thought I needed to let $G$ be the intersection of $AE$ and the perpendicular bisector of $DE$ so $\triangle ADG$ is an isosceles triangle at $G \implies \widehat{EAD} = \widehat{GDA}$. (Because $\triangle ADE$ is a right-angled at $D$.)
Secondly, I assumed letting $H = AB \cap DF$ and proved that $H$ lies on the perpendicular bisector of $AD \implies \widehat{BAD} = \widehat{FDA}$. (But I couldn't.)
Therefore, $\widehat{EAD} - \widehat{BAD} = \widehat{GDA} - \widehat{FDA} \implies \widehat{EAB} = \widehat{GDF} \implies \widehat{EAB} = \widehat{AEF}$ (Because $G$ lies on the perpendicular of $DE$.)