如图,在正方形ABCD中,AE=BF,说明ED⊥AF理由