消元分两种：1代入消元用其中一个未知数表示另一个未知数,然后代入另一个方程,就会剩下一个未知数,解出未知数的值,代入变形的那个方程,解另一个未知数,检验.
2加减消元通过对方程加减,消去一个未知数,求剩下的未知数,然后带到给出的方程里,求另一个未知数,检验.完毕