完成下面的证明．已知：如图，AC⊥BD，EF⊥BD，∠A＝∠1．求证：EF平分∠BED．

证明：∵AC⊥BD，EF⊥BD，

∴∠ACB＝90°，∠EFB＝90°．（     ▲   ）

∴∠ACB＝∠EFB．

∴     ▲   ． （     ▲   ）

∴∠A＝∠2．（两直线平行，同位角相等）

∠3＝∠1．（     ▲   ）

又∵∠A＝∠1，

∴∠2＝∠3．

∴EF平分∠BED．