证明:已知∠1=∠2(已知),
因为∠1=∠4( ▲ )
所以∠2= ▲ (等量代换)
所以 ▲ ∥BF( ▲ )
所以∠3= ▲ ( ▲ )
又因为∠B=∠C(已知)
所以∠3=∠B( ▲ )
所以AB∥CD( ▲ )