证明
在AB上截取AG=CF,连接DG
∵四边形ABCD是正方形
∴∠A=∠DCB=∠DCF=90°,AD=DC
∴△ADG≌△CDF(SAS)
∴∠ADG=∠CDF,DG=DF
∵∠ADG+∠GDC=∠ADC=90°
∴∠CDF+∠GDC=∠GDF=90°
∵AE=EF+FC=AG+GE,FC=AG
∴EG=EF
∴△DEG≌△DEF(SSS)
∴∠EDF=∠EDG=∠GDF/2=45°
证明
在AB上截取AG=CF,连接DG
∵四边形ABCD是正方形
∴∠A=∠DCB=∠DCF=90°,AD=DC
∴△ADG≌△CDF(SAS)
∴∠ADG=∠CDF,DG=DF
∵∠ADG+∠GDC=∠ADC=90°
∴∠CDF+∠GDC=∠GDF=90°
∵AE=EF+FC=AG+GE,FC=AG
∴EG=EF
∴△DEG≌△DEF(SSS)
∴∠EDF=∠EDG=∠GDF/2=45°