证明：∵∠1=∠2（已知），∠1=∠3，∠2=∠4（{#blank#}1{#/blank#}）

∴∠3={#blank#}2{#/blank#}（等量代换）

∴DB∥{#blank#}3{#/blank#}（{#blank#}4{#/blank#}）

∴∠C=∠ABD（{#blank#}5{#/blank#}）

∴∠C=∠D（{#blank#}6{#/blank#}）

∴∠D=∠ABD（{#blank#}7{#/blank#}）

∴AC∥DF（{#blank#}8{#/blank#}）

如图，已知AB∥CD，∠B=∠C，求证：∠1=∠2．

证明：∵AB∥CD（已知）

∴∠B={#blank#}1{#/blank#}（{#blank#}2{#/blank#}）．

∵∠B=∠C（已知）

∴∠BFD=∠C（{#blank#}3{#/blank#}）

∴{#blank#}4{#/blank#}∥{#blank#}5{#/blank#}（{#blank#}6{#/blank#}）

∴∠2={#blank#}7{#/blank#}（两直线平行，同位角相等）

∵∠1={#blank#}8{#/blank#}（{#blank#}9{#/blank#}）

∴∠1=∠2（等量代换）．

解：成立，理由如下：

（已知）

①{#blank#}1{#/blank#}（同旁内角互补，两条直线平行）

（②{#blank#}2{#/blank#}）

又 （已知）， （等量代换）

（③{#blank#}3{#/blank#}）

（④{#blank#}4{#/blank#}）.