因为 ∠BAE+∠AFD=90° ∠ADF+∠AFD=90°
所以 ∠ADF=∠BAE
因为是一个正方形
所以AB=AD ∠B=∠ADC ∠ADF=∠BAE
(ASA) 两个三角形全等
so------ AE=DF