• 1. 已知：如图，点E是正方形ABCD的边CD上一点，点F是CB的延长线上一点，且EA⊥AF．求证：DE＝BF．