检验方程组的解时，必须将求得的未知数的值代入方程组中的每一个方程．
例1：解方程组

x+y=4 x+y 3 - x 2 =1

思路分析：本例这两个方程中①较简单，且x、y的系数均为1，故可把①变形，把x用y表示，或把y用x来表示皆可，然后将其代入②，消去一个未知数，化成一元一次方程，进而再求出方程组的解．
把①变形为y=4-x  ③
把③代入②得：

x+4-x

3

-

x

2

=1
即

4

3

-

x

2

=1，

x

2

=

4

3

-1，

x

2

=

1

3

∴x=

2

3

把x=

2

3

代入③得y=4-

2

3

=3

1

3

所以原方程的解是

x= 2 3 y=3 1 3

．
若想知道解的是否正确，可作如下检验：
检验：把x=

2

3

，y=3

1

3

代入①得，左边=x+y=

2

3

+3

1

3

=4，右边=4．
所以左边=右边．
再把x=

2

3

，y=3

1

3

代入②得
左边

x+y

3

-

x

2

=

2 3 +3 1 3

3

-

2 3

2

=

4

3

-

1

3

=1，右边=1．
所以左边=右边．
所以

x= 2 3 y=3 1 3

是原方程组的解．

解二元一次方程组

x-2y=4① 3x+2y=8②

（1）小组合作时，发现有同学这么做：①+②得4x=12，解得x=3，代入①得y=-0.5．
∴这个方程组的解为

x=3 y=-0.5

．该同学解这个二元一次方程组的过程中使用了消元法，目的是把二元一次方程组转化为；
（2）请你用另一种方法解该二元一次方程组．

用代入消元法解方程组

3x-y=2       ① 3x+2y=11    ②

，代入消元，正确的是（　　）