求证：EF也是∠AED的平分线．

请你完成下列推理过程，并在括号内注明推理依据：

证明：∵BD是∠ABC的平分线，（已知）

∴∠ABD=∠DBC （{#blank#}1{#/blank#}）

∵ED∥BC（已知）

∴∠BDE=∠（{#blank#}2{#/blank#}）

∴∠ABD=∠BDE（等量代换），

又∵∠FED=∠BDE（已知）

∴EF∥（{#blank#}3{#/blank#}），

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

∴∠DEF=∠BDE （{#blank#}5{#/blank#}）

∵∠AEF=∠DEF（等量代换）

∴EF是∠AED的平分线（角平分线的定义）

已知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#}．

理由如下：

∵∠1=∠2（已知），且∠1=∠4（   ）

∴∠2=∠4（等量代换）

∴CE∥BF（   ）

∴∠=∠3（   ）

又∵∠B=∠C（已知）

∴∠3=∠B（等量代换）

∴AB∥CD（   ）