n元线性方程组求解.docx

第四讲n元线性方程组求解
上一讲我们介绍了当n元一次线性方程组的系数矩阵可逆时，可求出方程组解，实际上这也是方程组的唯一解。如果方程组系数矩阵不可逆或不是方阵时，该如何来讨论方程组的解？这一讲将通过矩阵的初等变换来研究n元一次线性方程组（齐次、非齐次）在什么条件下有解、如何求解以及各种解的表达形式等.
n元一次线性方程组是指形如
......（4.1）
令
，，
则方程组的矩阵方程形式.其中：称为方程组（4.1）的系数矩阵，称为方程组（4.1）的增广矩阵。
当时，称（4.1）式为一元线性非齐次线性方程组;
当时，称(4.2)式为一元线性齐次线性方程组，其矩阵形式.
......(4.2)
显然是（4.2）式的当然解。所以说，齐次线性方程组的解只有两种情况：唯一解(零解)和无穷多解(非零解)。
把非齐次线性方程组（4.1）式的每个方程右边的常数项都换成0，所得到的齐次线性方程组称为原方程组的导出齐次线性方程组，简称导出组。（即：（4.2）是（4.1）的导出组）
在第二讲的例2.12中，非齐次方程组的解是通过对方程组的增广矩阵实施初等行变换得到的.那么，这种求解方法是不是对任意的线性方程组都适用？答案是肯定的。下面我们就给出理论证明.
定理4.1若将非齐次线性方程组的增广矩阵用初等行变换化为，则方程组与是同解方程组。
证由第二讲的性质3.2及定理3.1知，当对增广矩阵用初等行变换化为时，一定存在初等矩阵，使得
成立
记，由初等矩阵的可逆性知可逆。若设为的解，即，两边同时左乘矩阵，有

于是是方程组的解。反之，若为的解，即

亦为的解。综上所述，与所表示的是同解方程组.
定理4.1给出了利用矩阵初等行变换求解方程组的思路，具体方法如下：
将方程组的增广矩阵实施初等行变换化为行的最简形，此时该最简形作为增广矩阵对应的方程组与原方程组同解，这样通过解简化的阶梯形矩阵所对应的方程组就求出原方程组的解，这种方法称为高斯消元法。
非齐次线性方程组的相容性
先写出方程组（4.1）的增广矩阵，然后利用初等行变换将化为行最简形。
=
的行最简形有下面三种情形（为方便讨论，假设的行最简形中构成的单位阵正好在左上角）。

（1）......(4.3)注意到的行最简形矩阵不为零的行数正好等于变量个数，其对应的方程组如下

此时原方程组的唯一解已经得到：；
（2）
......(4.4)
注意到的行最简形中不为零的行数为（）小于变量个数.对应的方程组如下

此时还不能完全求出原方程的解，但可以看出原方程有无数个解，这是因为如果把后面个变量赋予数值后，前面个变量的值就被唯一确定，从而得到方程组解=｛，｝.
（3）.....（4.5）
注意到的行最简形中不为零的行数是，但第行中只有，其余元素全为零。这就是说的行最简形对应的方程组中最后一个方程是“”（），这显然是一个矛盾方程，因而原方程组无解。
根据上面讨论的方程组（4.1）解的3种情况，先给出非齐次方程组的相关定义定理后再详细讨论（4.1）的解。
定义4.1如果一个n元线性方程组它存在解，则称方程组是相容的，否则就称方程组是不相容组或矛盾方程组。
比如（4.3）式和（4.4）式所表示的方程组都是相容方程组，而（4.5）所表示的方程组是不相容方程组。
定义4.2n元线性方程组经过化简后，方程组中被保留的方程称为有效方程，消去的方程称为多余方程.
比如（4.3）式的有效方程个数正好有n个（相容的有效方程组）；（4.4）式的有效方程个数有个，多余方程个数有个（相容的有效方程组）.（4.5）式有效方程有个，多余方程个（不相容的有效方程组）.
定理4.2
（1）方程组（4.1）有唯一解的充要条件是，有效方程的个数等于变量个数；
（2）方程组（4.1）有无穷多解的充要条件是，有效方程的个数小于变量个数；
（3）方程组（4.1）无解的从要条件是，存在着矛盾的有效方程。
证明（略）
定理4.2更加明确了利用高斯消元法如何判断非齐次方程组的解的情况.
例4.1求解线性方程组
解：将方程组的增广矩阵用初等行变换化为行最简形

这时行最简形所对应的方程组为

注意到方程组的有效方程个数为3小于方程变量个数4，所以原方程有无穷多解，求解方法如下：
先将x4移到等号右端得，称是方程组的保留变量，称是方程组的自由变量（可任意取值）。
再令x4取任意常数，则得，......（4.6）
或写成......(4.7)
称为方程组的自由未知数或自由元，(4.6)式称为方程组的通解或一般解；（4.7）称为方程组的向量解.

例4.2求线性方程组的解
解将方程组的增广矩阵用初等行变换化为行最简形

从增广矩阵行的最简形可看出，方程组有效方程数是3，方程组的第4个方程是多余方程，但由于方程组变量的个数是也是3，所以原方程组有唯一解：

本例说明当方