已知：如图，∠1=∠2，∠C=∠D．

求证：∠A=∠F．

证明：∵∠1=∠2（已知）

又∠1=∠DMN（{#blank#}1{#/blank#}）

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

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

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

∵∠C=∠D（已知）

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

∴{#blank#}6{#/blank#}（内错角相等，两直线平行）

∴∠A=∠F（{#blank#}7{#/blank#}）

解：因为EF∥AD，

所以∠2={#blank#}1{#/blank#}（{#blank#}2{#/blank#}）．

又因为∠1=∠2，

所以∠1=∠3（{#blank#}3{#/blank#}）．

所以AB∥{#blank#}4{#/blank#}（{#blank#}5{#/blank#}）．

所以∠BAC+{#blank#}6{#/blank#}=180°（{#blank#}7{#/blank#}）．

因为∠BAC=80°，

所以∠AGD={#blank#}8{#/blank#}．

小伟同学想通过“同位角相等，两直线平行”作出图形，具体作法是，过点P任意作一条直线a与直线l相交，再以P为顶点作一个角，直线a为角的一边所在直线，则角的另一边所在直线与直线l平行．