完成下列证明:如图,
已知AD BC,EF BC, 1= 2.
求证:DG//BA.
证明:因为AD BC.EF BC(已知).
所以 EFB= ADB= {#blank#}1{#/blank#},
所以 EFB= ADB(等量代换),
所以EF//AD{#blank#}2{#/blank#},
所以 1= BAD{#blank#}3{#/blank#},
又因为 1= 2(已知),
所以 {#blank#}4{#/blank#}= {#blank#}5{#/blank#}(等量代换),
所以DG//BA{#blank#}6{#/blank#}.