高斯消元法完整

1、在工程技术和工程管理中有许多问题经常可以归结为线性方程组类型的数学模型，这些模型中方程和未知量个数常常有多个，而且方程个数与未知量个数也不一定相同。那么这样的线性方程组是否有解呢？如果有解，解是否唯一？若解不唯一，解的结构如何呢？这就是下面要讨论的问题。一、线性方程组设含有n个未知量、有m个方程式组成的方程组（3.1）其中系数，常数都是已知数，是未知量（也称为未知数）。当右端常数项, , , 不全为0时，称方程组（3.1）为非齐次线性方程组；当= = 0时，即（3.2）称为齐次线性方程组。由n个数, , , 组成的一个有序数组（, , , ），如果将它们依次代入方程组（3.1）中的, , ,

2、后，（3.1）中的每个方程都变成恒等式，则称这个有序数组（, , , ）为方程组（3.1）的一个解。显然由=0, =0, , =0组成的有序数组（0, 0, , 0）是齐次线性方程组（3.2）的一个解，称之为齐次线性方程组（3.2）的零解，而当齐次线性方程组的未知量取值不全为零时，称之为非零解。（利用矩阵来讨论线性方程组的解的情况或求线性方程组的解是很方便的。因此，我们先给出线性方程组的矩阵表示形式。）非齐次线性方程组（3.1）的矩阵表示形式为：AX = B其中A = ，X = ，B = 称A为方程组（）的系数矩阵，X为未知矩阵，B为常数矩阵。将系数矩阵A和常数矩阵B放在一起构成的矩阵=称为方

3、程组（）的增广矩阵。齐次线性方程组（）的矩阵表示形式为：AX = O二、高斯消元法 （下面介绍利用矩阵求解方程组的方法，那么矩阵初等行变换会不会改变方程组的解呢？我们先看一个定理。）定理3.1若用初等行变换将增广矩阵化为，则AX = B与CX = D是同解方程组。 证由定理可知，存在初等矩阵, , , ，使 = 记 = P，则P可逆，即存在。 设为方程组A X = B的解，即 A= B在上式两边左乘P，得 P A= PB即 C= D说明也是方程组C X = D的解。反之，设为方程组C X = D的解，即 C= D在上式两边左乘，得 C= D即 A= B说明也是方程组AX = B的解。 因此，方

4、程组A X = B与C X = D的解相同，即它们是同解方程组。（证毕）(由定理3.1可知，求方程组（3.1）的解，可以利用初等行变换将其增广矩阵化简。又有第二章定理2.10可知，通过初等行变换可以将化成阶梯形矩阵。因此，我们得到了求解线性方程组（3.1）的一般方法：)用初等行变换将方程组（3.1）的增广矩阵化成阶梯形矩阵，再写出该阶梯形矩阵所对应的方程组，逐步回代，求出方程组的解。因为它们为同解方程组，所以也就得到了原方程组（3.1）的解。这种方法被称为高斯消元法，（下面举例说明用消元法求一般线性方程组解的方法和步骤。）例1解线性方程组 （3.3）解先写出增广矩阵，再用初等行变换将其逐步化成

5、阶梯形矩阵，即=上述四个增广矩阵所表示的四个线性方程组是同解方程组，最后一个增广矩阵表示的线性方程组为将最后一个方程乘，再将项移至等号的右端，得将其代入第二个方程，解得再将代入第一个方程组，解得因此，方程组（3.3）的解为（3.4）其中可以任意取值。由于未知量的取值是任意实数，故方程组（3.3）的解有无穷多个。由此可知，表示式（3.4）表示了方程组（3.3）的所有解。表示式（3.4）中等号右端的未知量称为自由未知量，用自由未知量表示其它未知量的表示式（3.4）称为方程组（3.3）的一般解，当表示式（3.4）中的未知量取定一个值（如=1），得到方程组（3.3）的一个解（如，），称之为方程组（3.

6、3）的特解。注意，自由未知量的选取不是唯一的，如例1也可以将取作自由未知量。如果将表示式（3.4）中的自由未知量取一任意常数k，即令= k，那么方程组（3.3）的一般解为，其中k为任意常数。用矩阵形式表示为=（3.5）其中k为任意常数。称表示式（3.5）为方程组（3.3）的全部解。（用消元法解线性方程组的过程中，当增广矩阵经过初等行变换化成阶梯形矩阵后，要写出相应的方程组，然后再用回代的方法求出解。如果用矩阵将回代的过程表示出来，我们可以发现，这个过程实际上就是对阶梯形矩阵进一步简化，使其最终化成一个特殊的矩阵，从这个特殊矩阵中，就可以直接解出或“读出”方程组的解。例如，）对例1中的阶梯形矩阵

7、进一步化简，上述矩阵对应的方程组为将此方程组中含的项移到等号的右端，就得到原方程组（3.3）的一般解，（3.4）其中可以任意取值。例2解线性方程组 解利用初等行变换，将方程组的增广矩阵化成阶梯阵，再求解。即=一般解为例3解线性方程组 解利用初等行变换，将方程组的增广矩阵化成阶梯阵，再求解。即=阶梯形矩阵的第三行“0, 0, 0, -2”所表示的方程为：，由该方程可知，无论，取何值，都不能满足这个方程。因此，原方程组无解。三、线性方程组的解的判定前面介绍了用高斯消元法解线性方程组的方法，通过例题可知，线性方程组的解的情况有三种：无穷多解、唯一解和无解。从求解过程可以看出，方程组（3.1）是否有解

8、，关键在于增广矩阵AB化成阶梯非零行的行数与系数矩阵A化成阶梯形矩阵后非零行的行数是否相等。因此，线性方程组是否有解，就可以用其系数矩阵和增广矩阵的秩来描述了。定理3.9线性方程组（3.1）有解的充分必要是 =。 证设系数矩阵A的秩为r，即= r。利用初等行变换将增广矩阵AB化成阶梯阵： AB= CD 故AX = B与CX = D是同解方程组，因此 AX = B有解= 0 = r即= r。（证毕） 推论1线性方程组有唯一解的充分必要条件是= 。推论2线性方程组有无穷多解的充分必要条件是。（将上述结论应用到齐次线性方程组（3.2）上，则总有。因此齐次线性方程组一定有解。并且有）例4判别下列方程组

9、是否有解？若有解，是有唯一解还是有无穷多解？ (1) (2) (3) 解 (1) 用初等行变换将增广矩阵化成阶梯阵，即AB=因为= 4，=3，两者不等，所以方程组无解。 (2) 用初等行变换将增广矩阵化成阶梯阵，即AB=因为=2n（= 3），所以方程组有无穷多解。 (3) 用初等行变换将增广矩阵化成阶梯形矩阵，即AB=因为= 3 = n，所以方程组有唯一解。例5判别下列齐次方程组是否有非零解？ （机动）解用初等行变换将系数矩阵化成阶梯形矩阵，即A =因为= 4 = n，所以齐次方程组只有零解。向量组的相关性在实际问题有许多研究的对象要用n元有序数组来表示。如总结某五年计划各年某产品产量的数据资

10、料，某工程一年12个月份的用料情况等，就分别要用到5元和12元有序数组。一、n维向量的定义定义3.2 把有顺序的n个数称为一个n维向量，记作其中称为n维向量的第i个分量。 例如，矩阵 A =中每一列都可以看作三维向量：，称为矩阵A的列向量。A中的每一行都可以看作四维向量：，称为矩阵A的行向量。 规定：n维向量相等、相加、数乘与列矩阵对应相等。二、n维向量组的线性相关性如果把方程组 （3.6）用向量相等、向量运算关系来表示：+=那么方程组求解问题就变成了求一组使上式列向量存在某种的数了。下面给出向量之间这种关系的定义。定义3.3 对于向量, ，如果有一组数，使得=则称是的线性组合，或称由线性表出

11、，且称这组数为组合系数。例1 二维向量组，称为二维单位向量组。任意一个二维向量都可以由线性表出： 。例2 向量不是向量和的线性组合，因为对于任意一组数，+=例3 向量组中的任一向量都能由这个向量组线性表出：=如果用列向量分别把方程组（3.6）的系数矩阵第j列和常数列表示为，那么方程组（3.6）可以用向量形式表示为若方程组（3.6）有解，则有即向量可以由向量组线性表出。反之，若存在数使得上式成立，则就是方程组（3.6）的一组解。 命题1 向量可以由向量组线性表出的充分必要条件是：以为系数列向量，以为常数列向量的线性方程组有解，并且此线性方程组的一组解就是线性组合的一组系数。例4设 ，判断向量能否

12、由向量组线性表出，若能够，写出它的一种表达式。解设，由此可得 因为=方程组的解为 。 所以 。 定义3.3 对于向量组，若存在m个不全为零的数，使得 （3.7）则称向量组线性相关；否则称向量组线性无关。例5式证单位向量组，是线性无关的。证设 。即+=由上式得唯一解。所以，线性无关。 可以证明，n维单位向量组是线性无关的。n维单位向量组 ， ， 如果把定义3.3中的（3.7）式看作以为系数列向量，以为未知量的齐次线性方程组，那么定理3.2 对于向量组，若齐次线性方程组 （3.8）有非零解，则向量组线性相关；若齐次线性方程组（3.8）只有零解，则向量组线性无关。定理3.3 关于向量组，设矩阵若，则

13、向量组线性无关；若，则向量组线性相关。推论 任意n+1个n维向量一定线性相关。例6判断下列向量组的相关性：(1) ，； (2)，； (3)，。解 (1) 因为A=，所以向量组线性无关。(2) 因为B = ，所以向量组线性相关。(3) 由推论知道，四个三维向量一定是线性相关的。上面介绍了利用定理3.3来判断向量组的相关性，下面再介绍一个揭示同组向量之间具有某种相关性的特点。定理3.4 向量组，线性相关的充分必要条件是：其中至少有一个向量可以由其余向量线性表出。 （证明请参阅教材）推论 向量组，线性无关的充分必要条件是：其中每一个向量都不能由其余向量线性表出。例7 试证：若向量组的一个部分向量组线

14、性相关，则整个向量组也线性相关。证 不妨设向量组中的部分向量组线性相关，则存在不全为零的数，使得从而有其中不全为零，所以向量组线性相关。可以证明：若一个向量组线性无关，它的任意一个部分向量组也线性无关 例8 设向量组线性无关，而向量组，线性相关，证明一定可以由线性表出。 证 因为向量组，线性相关，即存在不全为零的数和，使得若，则上式为 ，且不全为零，得线性相关，与条件矛盾。因此，且即可以由线性表出。三、向量组的秩（下面简单地介绍向量组的秩的概念及计算方法，首先向量组的极大无关组的定义）定义3.4若向量组S中的部分向量组满足：(1) 线性无关； (2) S中的每一个向量都是中向量的线性组合，则称

15、部分向量组为向量组S的极大无关组。 可以证明：对于一个向量组，其所有极大无关组所含向量个数都相同。因此向量组的秩定义如下：定义3.5对于向量组S，其极大无关组所含向量个数称为向量组S的秩。 利用定义求向量组的秩是比较困难的。但是，我们可以利用矩阵与列向量组之间的关系，把求向量组的秩的问题转化为求矩阵的秩序。这是因为定理3.7矩阵A的秩=矩阵A列向量组的秩=矩阵A行向量组的秩。 例9 设向量组，求向量组的秩及其一个极大无关组。 解 作矩阵A=，用初等行变换求A的秩，即A= 所以=3，且为其中的一个 极大无关组。线性方程组解的结构 前两讲介绍了方程组的有关概念，方程组的解的几种情况及判定，向量组的

16、相关性。这一讲主要介绍方程组解的结构。一、齐次线性方程组解的结构齐次线性方程组的矩阵形式为：AX = O（3.2）解的情况可以归纳为：1齐次线性方程组只有零解的充分必要条件是= 。2齐次线性方程组有非零解的充分必要条件是。注意：当A为n阶方阵时也可利用矩阵行列式判断。3当= r时，方程组AX = O有n-r个自由未知量。 齐次线性方程组AX = O解的性质：性质1 若和为齐次线性方程组AX = O的解，则+亦为AX = O的解。 证 因为和为方程组AX = O的两个解，故有A= O， A= OA（+）= A+ A=O所以，+亦为AX = O的解。性质2 若为齐次线性方程组AX = O的解，则k

17、亦为AX = O的解，其中k为任意常数。 证 因为为方程组AX = O的解，故有A（k）= k（A）= O所以，k亦为AX = O的解。 由性质1，2可知，若，为方程组AX = O的解，则+ +亦为AX = O的解，其中为任意常数。 若，线性无关，且方程组AX = O的任何一个解X都可以被，线性表出，则AX = O的全部解就是+ +其中为任意常数。定义3.6 齐次线性方程组AX = O满足下列两个条件的一组解向量，称为AX = O的基础解系。(1) 线性无关； (2) 方程组AX = O的任何一个解都可以用它们线性表出。（由定义3.6可知）方程组AX = O的基础解系就是其全部解向量的一个极大

18、无关组。 当= n时，方程组AX = O只有零解，故不存在基础解系；而当= r(<n)时，方程组AX = O有非零解，故存在基础解系，且基础解系中所含解向量的个数是n-r。由此可得如下结论： 4当= r<n时，方程组AX = O一定有基础解系，且每个基础解系中含有n-r个解向量。若，为基础解系，则AX = O的全部解为+ + （3.9）其中为任意常数。 （3.9）式称为AX = O的通解。如何求方程组AX = O的基础解系呢？(1) 把齐次线性方程组的系数写成矩阵A； (2) 用初等行变换把A化为阶梯阵； (3) 把阶梯阵中非主元列所对应的变量作为自由未知量(4) 分别令自由未知量

19、中一个为1其余全部为0的办法，求出n-r个解向量，这n-r个解向量构成了基础解系。例1设齐次线性方程组求其基础解系和通解。解先写出系数矩阵A，再用初等行变换将其逐步化成阶梯形矩阵，即A =再进一步化简，得由此可知为自由未知量。 令，得解向量； 令，得解向量；于是，为方程组的基础解系。通解为+其中为任意常数。二、非齐次线性方程组解的结构非齐次线性方程组的矩阵表示形式为：AX = B非齐次线性方程组AX = B的解的情况可以归纳为：1方程组AX = B有解的充分必要条件是=。2若= 时，方程组AX = B有唯一解。 3若=r时，方程组AX = B有无穷多解，且有n-r个自由未知量。 在非齐次线性方

20、程组AX = B中，令B = O，得到相应的齐次方程组AX = O。 方程组AX = B与相应的AX = O之间有密切的关系，满足如下性质：性质3 若和为非齐次线性方程组AX = B的解，则-必为AX = O的解。 证 因为和为方程组AX = B的两个解，故有A= B， A= BA（-）= A- A=B-B = O所以，-为AX = O的解。性质4 若为非齐次线性方程组AX = B的解，为相应的方程组AX = O的解，则+必为AX = B的解。 证 因为为方程组AX = B的解，为方程组AX = O的解，故有A= B， A= OA（+）= A+A=B+O= B所以，+为AX = B的解。例1解

21、线性方程组 （3.3）解先写出增广矩阵，再用初等行变换将其逐步化成阶梯形矩阵，即=上述四个增广矩阵所表示的四个线性方程组是同解方程组，最后一个增广矩阵表示的线性方程组为将最后一个方程乘，再将项移至等号的右端，得将其代入第二个方程，解得再将代入第一个方程组，解得因此，方程组（3.3）的解为（3.4）其中可以任意取值。由于未知量的取值是任意实数，故方程组（3.3）的解有无穷多个。由此可知，表示式（3.4）表示了方程组（3.3）的所有解。表示式（3.4）中等号右端的未知量称为自由未知量，用自由未知量表示其它未知量的表示式（3.4）称为方程组（3.3）的一般解，当表示式（3.4）中的未知量取定一个值（

22、如=1），得到方程组（3.3）的一个解（如，），称之为方程组（3.3）的特解。注意，自由未知量的选取不是唯一的，如例1也可以将取作自由未知量。如果将表示式（3.4）中的自由未知量取一任意常数k，即令= k，那么方程组（3.3）的一般解为，其中k为任意常数。用矩阵形式表示为=（3.5）其中k为任意常数。称表示式（3.5）为方程组（3.3）的全部解。（用消元法解线性方程组的过程中，当增广矩阵经过初等行变换化成阶梯形矩阵后，要写出相应的方程组，然后再用回代的方法求出解。如果用矩阵将回代的过程表示出来，我们可以发现，这个过程实际上就是对阶梯形矩阵进一步简化，使其最终化成一个特殊的矩阵，从这个特殊矩阵中