证明：∵四边形ABCD是正方形，
∴AD=AB，∠ADE=∠ABF=90°，
在△ADE和△ABF中，

AD＝AB ∠ADE＝∠ABF＝90° DE＝BF

，
∴△ADE≌△ABF，
∴AF=AE．