因为AB⊥BF,DE⊥BF(已知)
所以∠ABC=∠CDE=90°
所以∠ACB=∠DCE(对顶角相等)
在△ABC和三角形CDE中
∠ACB=∠DCE
BC=CD
∠ABC=∠CDE
所以△ABC全等于△CDE(ASA)
所以DE=AB