MathNet 2012 Question 93

Point $E$ lies on side $CD$ of square $ABCD$. Point $F$ lies on line $AB$ but not on segment $AB$, and satisfies $|BF|=|DE|$. Prove that lines $AC$ and $EF$ are perpendicular.