证明:∵∠1=∠2,∠2=∠3,
∴∠1=∠ ▲ . (等量代换)
∴DF∥CE( )
∴∠ADM=∠ ▲ (两直线平行,同位角相等)
∵∠C=∠F,(已知)
∴∠ADM=∠ ▲ (等量代换)
∴AC∥BF( )
∴∠A=∠B( )
∵AB⊥AC,(已知)
∴∠A=90°.
∴∠B=90°.
∴AB⊥BF.( )