已知正方形ABCD E为CD的中点 ∠DAE=∠FAE,求证EF⊥AE