MathNet 2012 Câu hỏi 93

Điểm $E$ nằm trên cạnh $CD$ của hình vuông $ABCD$. Điểm $F$ nằm trên đường thẳng $AB$ nhưng không thuộc đoạn $AB$, và thỏa mãn $|BF|=|DE|$. Chứng minh hai đường thẳng $AC$ và $EF$ vuông góc.