已知正方形 $EFGH$ 的四个顶点分别在菱形 $ABCD$ 的四条边上，$E$ 在 $AB$ 上，$F$ 在 $AF$ 上，$\angle A \neq 90 \degree$，求证：$AE=AF$.