证明:连接EF
因为四边形ABCD是正方形
所以角BAD=角ABC=角D=90度
AB=AD
因为角ABC+角ABF=180度
所以角ABF=角D=90度
因为BF=DE
所以直角三角形ABF和直角三角形ADE全等(SAS)
所以AF=AE
所以三角形AEF是等腰三角形
角BAF=角DAE
因为角BAD=角BAE+角DAE
所以角EAF=角BAF+角BAE=90度
所以三角形AEF是等腰直角三角形
证明:连接EF
因为四边形ABCD是正方形
所以角BAD=角ABC=角D=90度
AB=AD
因为角ABC+角ABF=180度
所以角ABF=角D=90度
因为BF=DE
所以直角三角形ABF和直角三角形ADE全等(SAS)
所以AF=AE
所以三角形AEF是等腰三角形
角BAF=角DAE
因为角BAD=角BAE+角DAE
所以角EAF=角BAF+角BAE=90度
所以三角形AEF是等腰直角三角形