证明：根据对称性质有：BE′=BE=BD；CE′=CE；且∠ECE′=90°．（5分）
故△DCE′绕C点逆时针旋转90°就得到△BCE，（10分）
所以DE'=BE，则△DBE'是正三角形，故∠DBE′=60°．
于是∠CBE′=∠DBE′-∠DBC=15°，（15分）
又∠CBE′=∠EBC=15°，
故∠DBE=30°，
所以∠DEB=75°；（20分）
而∠DFE=∠BFC=90°-∠FBC=75°，
故∠DEB=∠DFE，
所以DE=DF．