Question

已知：如图所示，点E是正方形的边CD上的点，点F是边CB的延长线上的点，且AE⊥AF，垂足为A，求证：DE=BF．

Answer

利用同角的余角相等得出∠FAB=∠EAD，利用ASA判定Rt△ABF≌Rt△ADE，全等三角形的对应边相等从而得到DE=BF．
【解析】
∵∠BAD=90°，∠FAE=90°，
∴∠FAB+∠BAE=∠BAE+∠EAD，
∴∠FAB=∠EAD，
又∵∠ABF=∠ADE=90°，AD=AB，
∴Rt△ABF≌Rt△ADE，
∴DE=BF．