证明：
∵正方形ABCD
∴AB＝AD，∠D＝∠ABF＝∠BAD＝90
∴∠BAE+∠DAE＝90
∵AE⊥AF
∴∠EAF＝90
∴∠BAE+∠BAF＝90
∴∠BAF＝∠DAE
∴△ADE≌△ABF （ASA）
∴DE＝BF
因EA垂直AF
所以角FAE=角BAE=90度
所以角FAE-角BAE=角BAE-角BAE
所以角FAB=角EAD
在Rt三角形AFB和Rt三角形ADE中,
角ABF=角D=90度, AB=AD
所以三角形ABF全等于三角形ADE
所以DE=BF
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024