证明:∵AC⊥BD,EF⊥BD,
∴∠ACB=90°,∠EFB=90°.()
∴∠ACB=∠EFB.
∴.()
∴∠A=∠2.(两直线平行,同位角相等)
∠3=∠1.()
又∵∠A=∠1,
∴∠2=∠3.
∴EF平分∠BED.