∵∠CED=∠B+∠BDE
又∵∠CED=∠DEF+∠FEC
∴∠B+∠BDE=∠DEF+∠FEC
∵∠DEF=∠B
∴∠BDE=∠FEC
对于△BDE和△EFC
∵∠BDE=∠FEC,∠B=∠C,BD=CE
∴△BDE≌△EFC (A.A.S)
∴DE=EF
∴∠EDF=∠EFD
∵∠CED=∠B+∠BDE
又∵∠CED=∠DEF+∠FEC
∴∠B+∠BDE=∠DEF+∠FEC
∵∠DEF=∠B
∴∠BDE=∠FEC
对于△BDE和△EFC
∵∠BDE=∠FEC,∠B=∠C,BD=CE
∴△BDE≌△EFC (A.A.S)
∴DE=EF
∴∠EDF=∠EFD