因为∠DEF=∠C,∠C=∠B
所以∠DEF=∠B
且∠B+∠BFE=∠FEC==∠FED+=∠DEC
所以∠BFE==∠DEC
且∠B=∠C
BE=CE
所以△BFE 全等于 △DCE
所以EF=ED
△def是等腰三角形