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