$证明:过点E作EH⊥CB,交CB的延长线于H$
$∵∠C=90°,BE⊥ AB$
$∴∠C=∠EBA=∠H=90°$
$∴∠ABC+∠A=90°,∠ABC+∠EBH=90°$
$∴∠A = ∠EBH$
$在 △ABC 和 △BEH 中$
$\begin{cases}∠C=∠H\\∠A=∠EBH\\AB=BE\end{cases}$
$∴△ABC≌△BEH(\mathrm {AAS})$
$∴EH=BC=BD$
$在△HEF和△BDF 中$
$\begin{cases}∠H=∠FBD\\∠EFH=∠DFB\\EH=BD\end{cases}$
$∴△HEF≌△BDF(\mathrm {AAS})$
$∴EF=DF$
$∴点F是ED的中点$