证明：
已知∠BEC=∠DEC,且CE=CB=CD,那么∠CED=∠CBE
∠CBE=∠CBD+∠EBD,而∠CED=∠EAD+∠EDF,其中∠CBD=∠EAD=45°
所以得到∠EBD=∠EDF,且∠EFD是△BFD和△DFE的共同角,
由相似三角形的定义得到△DFE∽△BFD,从而有DF/BF=FE/FD,即DF²=EF*BF,证毕