证明:将三角形DAF绕点A顺时针旋转90度,得到三角形ABG所以角EAG=角EAF+角EAG=90度AG=AFBG=DF角ABG=角D因为四边形ABCD是正方形所以角ABC=角D=90度所以角ABG=90度所以角ABG+角ABC=180度所以G ,B ,C在同一直线上因为BE+DF=EFEG=BG+BE所以EG=EF因为AE=AE所以三角形AEG和三角形AEF全等(SSS)所以角EAG=角EAF所以角EAF=45度