证明：∵正方形ABCD，
∴AD=DC，
∵∠CDF+∠ADE=90°，且∠DAE+∠ADE=90°，
∴∠DAE=∠CDF，
∵∠DFC=∠AED，
∴△ADE≌△DCF，
即AE=DF．