如图，在正方形ABCD中，E是CD上一点，点F在CB的延长线上，且DE=BF．

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

AD＝AB
∠ADE＝∠ABF＝90°
DE＝BF，
∴△ADE≌△ABF，
∴AF=AE．