连接CF,在三角形CDF和DEF中CE=CE CF=CF ∠CDF=∠CDF=90
所以三角形CDF≌DEF
所以DE=FD
在直角三角形ADF中角EAF=45度,所以直角三角形ADF为等腰三角形
所以AE=EF
所以AE=EF=FD