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

求证： DE=BF。