Question 12
Let a point $E$ lie on the side $CD$ of a square $ABCD$. Let a point $F$ lie on the line $AB$, but not on the line segment $AB$, and let $|BF| = |DE|$. Prove that the lines $AC$ and $EF$ are perpendicular.
Math Olympiad Vault · MathNet 2012