①若∠1＝∠3，则AD∥BC；②若AD∥BC，则∠1＝∠2＝∠3；③若∠1＝∠3，AD∥BC，则∠1＝∠2；④若∠C+∠3＋∠4＝180°，则AD∥BC．
①当这个方程组的解x，y的值互为相反数时，a＝－2；②当a＝1时，方程组的解也是方程x＋y＝4＋2a的解；③无论a取什么实数，x＋2y的值始终不变；④若用x表示y，则；
请完善证明过程，并在括号内填上相应依据：
证明：∵∠B＋∠3＝90°，∠B＋∠E＝90°，（ ）
∴▲ ＝▲ ， （ ）
∴ ， （ ）
∴∠2＝∠1，（ ）
∵∠E＝∠1（已知），
∴▲ ＝▲ ， （ ）
∴AD平分∠BAC．（ ）
根据以上信息，解答下列问题：
【方法迁移】根据上面的体验，填空：
已知方程组则3x＋y－z＝．
【探究升级】已知方程组求－2x＋y＋4z的值．小明凑出
“－2x＋y＋4z＝2•（x＋2y＋3z）＋（－1）•（4x＋3y＋2z）＝20－15＝5”，虽然问题获得解决，但他觉得凑数字很辛苦!他问数学老师丁老师有没有不用凑数字的方法，丁老师提示道：假设－2x＋y＋4z＝m•（x＋2y＋3z）＋n•（4x＋3y＋2z），对照方程两边各项的系数可列出方程组 ， 它的解就是你凑的数!
根据丁老师的提示，填空：
2x＋5y＋8z＝（x＋2y＋3z）＋（4x＋3y＋2z）
【巩固运用】已知2a－b＋kc＝4，且a＋3b＋2c＝－2，当k为时，8a＋3b－2c为定值，此定值是．（直接写出结果）
