如图正方形ABCD的边CD上有一点E，连接AE，以A为圆心，AE长为半径画弧，交CB的延长线于F，证明△ADE≌△ABF．

网友回答

证明：在正方形ABCD中，有AD=AB，
∵以A为圆心，AE长为半径画弧，交CB的延长线于F，
∴AE=AF，
∵∠ABF=ADE=90°，
∴△ADE≌△ABF．
解析分析：由题意知AD=AB，AE=AF，在直角三角形ADE与ABF中，利用HL即可证两三角形全等．

点评：本题为正方形各边相等，各角为直角性质的简单应用．