• 1. (2017八下·南江期末)

  已知：如图，点E是正方形ABCD的边CD上一点，点F是CB的延长线上一点，且EA⊥AF。

  求证： DE=BF。