高斯消元法解线性方程组在工程技术和工程管理中有许多问题经常可以归结为线性方程组类型的数学模型，这些模型中方程和未知量个数常常有多个，而且方程个数与未知量个数也不一定相同。

那么这样的线性方程组是否有解呢？如果有解，解是否唯一？若解不唯一，解的结构如何呢？这就是下面要讨论的问题。

一、线性方程组设含有n 个未知量、有m 个方程式组成的方程组a x a x a xb a x a x a x b a x a x a x b n n n n m m mn n m11112211211222221122+++=+++=+++=⎧⎨⎪⎪⎩⎪⎪ （3.1） 其中系数a ij ，常数b j 都是已知数，x i 是未知量（也称为未知数）。

当右端常数项b 1, b 2, …, b m 不全为0时，称方程组（3.1）为非齐次线性方程组；当b 1=b 2= … =b m = 0时，即a x a x a x a x a x a x a x a x a x n n n n m m mn n 111122121122221122000+++=+++=+++=⎧⎨⎪⎪⎩⎪⎪ （3.2） 称为齐次线性方程组。

由n 个数k 1, k 2, …, k n 组成的一个有序数组（k 1, k 2, …, k n ），如果将它们依次代入方程组（3.1）中的x 1, x 2, …, x n 后，（3.1）中的每个方程都变成恒等式，则称这个有序数组（k 1, k 2, …, k n ）为方程组（3.1）的一个解。

显然由x 1=0, x 2=0, …, x n =0组成的有序数组（0, 0, …, 0）是齐次线性方程组（3.2）的一个解，称之为齐次线性方程组（3.2）的零解，而当齐次线性方程组的未知量取值不全为零时，称之为非零解。

（利用矩阵来讨论线性方程组的解的情况或求线性方程组的解是很方便的。

因此，我们先给出线性方程组的矩阵表示形式。

）非齐次线性方程组（3.1）的矩阵表示形式为：AX = B其中A = ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡mn m m n n a a a a a a a a a 212222111211，X = ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡n x x x 21，B = ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡n b b b 21 称A 为方程组（3.1）的系数矩阵，X 为未知矩阵，B 为常数矩阵。

将系数矩阵A 和常数矩阵B 放在一起构成的矩阵][B A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡m mn m m n n b b b a a a a a a a a a 21212222111211 称为方程组（3.1）的增广矩阵。

齐次线性方程组（3.2）的矩阵表示形式为：AX = O二、高斯消元法（下面介绍利用矩阵求解方程组的方法，那么矩阵初等行变换会不会改变方程组的解呢？我们先看一个定理。

）定理3.1 若用初等行变换将增广矩阵][B A 化为][D C ，则AX = B 与CX = D 是同解方程组。

证 由定理3.1可知，存在初等矩阵P 1, P 2, …, P k ，使P k …P 2P 1()A B = ()C D记P k …P 2P 1 = P ，则P 可逆，即P -1存在。

设X 1为方程组A X = B 的解，即A X 1 = B在上式两边左乘P ，得P A X 1 = PB即C X 1= D说明X 1也是方程组C X = D 的解。

反之，设X 2为方程组C X = D 的解，即 C X 2= D在上式两边左乘P -1，得P -1C X 2= P -1D即A X 2 = B说明X 2也是方程组AX = B 的解。

因此，方程组A X = B 与C X = D 的解相同，即它们是同解方程组。

（证毕）(由定理3.1可知，求方程组（3.1）的解，可以利用初等行变换将其增广矩阵][B A 化简。

又有第二章定理2.10可知，通过初等行变换可以将][B A 化成阶梯形矩阵。

因此，我们得到了求解线性方程组（3.1）的一般方法：)用初等行变换将方程组（3.1）的增广矩阵][B A 化成阶梯形矩阵，再写出该阶梯形矩阵所对应的方程组，逐步回代，求出方程组的解。

因为它们为同解方程组，所以也就得到了原方程组（3.1）的解。

这种方法被称为高斯消元法，（下面举例说明用消元法求一般线性方程组解的方法和步骤。

）例1 解线性方程组 x x x x x x x x x x x x x x x x 1234123412341234215320342221+--=-+--=-++=-++-=⎧⎨⎪⎪⎩⎪⎪ （3.3） 解 先写出增广矩阵][B A ，再用初等行变换将其逐步化成阶梯形矩阵，即][B A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--------11122241130235111211②①③①④①+-+-+−→−−−()()132⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡---------13340577401114011211 ③②④②++-−→−−−()1⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--------22200666001114011211④③+−→−−−()13⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡-----00000666001114011211上述四个增广矩阵所表示的四个线性方程组是同解方程组，最后一个增广矩阵表示的线性方程组为x x x x x x x x x 1234234342141666+--=---=+=⎧⎨⎪⎩⎪ 将最后一个方程乘16，再将x 4项移至等号的右端，得 x x 341=-+将其代入第二个方程，解得212=x再将x x 23,代入第一个方程组，解得2141+-=x x因此，方程组（3.3）的解为 ⎪⎩⎪⎨⎧+-==+-=1212143241x x x x x （3.4）其中x 4可以任意取值。

由于未知量x 4的取值是任意实数，故方程组（3.3）的解有无穷多个。

由此可知，表示式（3.4）表示了方程组（3.3）的所有解。

表示式（3.4）中等号右端的未知量x 4称为自由未知量，用自由未知量表示其它未知量的表示式（3.4）称为方程组（3.3）的一般解，当表示式（3.4）中的未知量x 4取定一个值（如x 4=1），得到方程组（3.3）的一个解（如x 112=-，x 212=，x 30=，x 41=），称之为方程组（3.3）的特解。

注意，自由未知量的选取不是唯一的，如例1也可以将x 3取作自由未知量。

如果将表示式（3.4）中的自由未知量x 4取一任意常数k ，即令x 4= k ，那么方程组（3.3）的一般解为⎪⎪⎩⎪⎪⎨⎧=+-==+-=kx k x x k x 432112121 ，其中k 为任意常数。

用矩阵形式表示为 ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+-+-=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡k k k x x x x 121214321=⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡+⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡--0121211101k （3.5） 其中k 为任意常数。

称表示式（3.5）为方程组（3.3）的全部解。

（用消元法解线性方程组的过程中，当增广矩阵经过初等行变换化成阶梯形矩阵后，要写出相应的方程组，然后再用回代的方法求出解。

如果用矩阵将回代的过程表示出来，我们可以发现，这个过程实际上就是对阶梯形矩阵进一步简化，使其最终化成一个特殊的矩阵，从这个特殊矩阵中，就可以直接解出或“读出”方程组的解。

例如，）对例1中的阶梯形矩阵进一步化简，⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡-----00000666001114011211③①③②③162++−→−−⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡00000111002004011011 ②①②141+-−→−−−()⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0000011100210010211001 上述矩阵对应的方程组为⎪⎩⎪⎨⎧=+==+1212143241x x x x x将此方程组中含x 4的项移到等号的右端，就得到原方程组（3.3）的一般解，⎪⎩⎪⎨⎧+-==+-=1212143241x x x x x （3.4） 其中x 4可以任意取值。

例2 解线性方程组 x x x x x x x x x x x x 123123123123234235743992588+-=+-=+-=+-=⎧⎨⎪⎪⎩⎪⎪解 利用初等行变换，将方程组的增广矩阵[]B A 化成阶梯阵，再求解。

即[]B A =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡----8852993475324321→⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡------0210735011104321 →⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡-------1100220011104321→⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡---0000110011104321 →⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0000110020107021→⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡0000110020103001 一般解为 x x x 123321===⎧⎨⎪⎩⎪例3 解线性方程组 x x x x x x x x x 1231231231242253++=-+-=+-=⎧⎨⎪⎩⎪ 解 利用初等行变换，将方程组的增广矩阵[]B A 化成阶梯阵，再求解。

即[]B A =⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡---315224211111→⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡--133033301111 →⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡--200033301111阶梯形矩阵的第三行“0, 0, 0, -2”所表示的方程为：0002123x x x ++=-，由该方程可知，无论x 1，x 2，x 3取何值，都不能满足这个方程。

因此，原方程组无解。

三、线性方程组的解的判定前面介绍了用高斯消元法解线性方程组的方法，通过例题可知，线性方程组的解的情况有三种：无穷多解、唯一解和无解。

从求解过程可以看出，方程组（3.1）是否有解，关键在于增广矩阵[A B ]化成阶梯非零行的行数与系数矩阵A 化成阶梯形矩阵后非零行的行数是否相等。

因此，线性方程组是否有解，就可以用其系数矩阵和增广矩阵的秩来描述了。

定理3.9 线性方程组（3.1）有解的充分必要是 r A ()=r A B ()。

证 设系数矩阵A 的秩为r ，即r A ()= r 。

利用初等行变换将增广矩阵[A B ]化成阶梯阵：[A B ]初等行变换−→−−− c c c d c c c d c c d d s n k s n rs rn r r 11111222210000000000000000000 ****+⎛⎝ ⎫⎭⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪= [C D ] 故AX = B 与CX = D 是同解方程组，因此AX = B 有解⇔d r +1= 0 ⇔r C D ()=r C ()= r即r A B ()=r A ()= r 。

（证毕）推论1 线性方程组有唯一解的充分必要条件是r A ()＝r A B ()= n 。