完成下列证明:如图,已知AD⊥BC,EF⊥BC,∠1=∠2.
求证: DG∥BA.
证明:∵AD⊥BC,EF⊥BC ( 已知 )
∴∠EFB=90°,∠ADB=90°({#blank#}1{#/blank#} )
∴∠EFB=∠ADB ( 等量代换 )
∴EF∥AD ( {#blank#}2{#/blank#} )
∴∠1=∠BAD ({#blank#}3{#/blank#})
又∵∠1=∠2 ( 已知)
∴{#blank#}4{#/blank#} (等量代换)
∴DG∥BA. ({#blank#}5{#/blank#})