如右图,已知AD⊥BC,EF⊥BC,∠1=∠2.求证:DG∥BA.

证明：∵AD⊥BC,EF⊥BC (           ) 
∴∠EFB=∠ADB=90°  (                                  )
∴EF∥AD(                          )
∴∠1=∠BAD (                       )
又∵∠1=∠2 (                          )
∴             （等量代换）
∴DG∥BA.(                         )