• 1. (2021八下·乐山期末) 如图，在正方形ABCD中，E是CD上一点，F是CB延长线上一点。若DE=BF，求证：∠EAF=90°。