如图,已知点W是正方形ABCD的边CD上一点,点F是CB的延长线上一点,且EA⊥AF.求证:DE=BF

证明：
∵EA⊥AF
∴∠FAB+∠BAE=90度
又∵∠DAE+∠BAE=90度
∴∠FAB=∠DAE
又∵BA=AD
∠ABF=∠ADE
∴△FAB≌△EAD(ASA)
∴BF=ED