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