∵EF⊥BD O为BD的中点
∴△BOF≌△DOF
∴∠BFO=∠DFO
∵∠BFO=∠DEF
∴∠DEF=∠DFE
∴△DEF是等腰三角形
∴DE=DF