因为AD=AE
角DAE=角AEB（内错角）
角DFA=角ABE=90
所以三角形ABE全等于三角形ADF
所以AB=DF
又因为AB=CD
所以DF=CD
因为DE为公共边 角DFE=角dce
所以三角形DFE全等于三角形DCE
所以EF=EC