做EG⊥BC,交BC于G
∵EB⊥AB,EG⊥BC,AC⊥BC
∴∠A+∠ABC=∠ABC+∠EBG=∠EBG+∠BEG
∴∠A=∠EBG,∠ABC=∠BEG
又∵AB=BE
∴ΔABC≌ΔBEG
∴EG=BC
又∵BD=BC
∴EG=BD
又∵∠G=½π=∠GBD,∠EFG=∠DFB
∴ΔEGF≌ΔDBF
∴EF=DF
做EG⊥BC,交BC于G
∵EB⊥AB,EG⊥BC,AC⊥BC
∴∠A+∠ABC=∠ABC+∠EBG=∠EBG+∠BEG
∴∠A=∠EBG,∠ABC=∠BEG
又∵AB=BE
∴ΔABC≌ΔBEG
∴EG=BC
又∵BD=BC
∴EG=BD
又∵∠G=½π=∠GBD,∠EFG=∠DFB
∴ΔEGF≌ΔDBF
∴EF=DF