![线性代数简明教程](https://wfqqreader-1252317822.image.myqcloud.com/cover/562/24273562/b_24273562.jpg)
§2.2 用分离系数消元法解线性方程组
§2.1用消元法解线性方程组,当未知量个数、方程个数较多时,总带着未知量x1, x2, …, xn是很麻烦的.实际上消元过程只是对未知量的系数进行运算,本节介绍分离系数消元法.
导学提纲
1.何谓“矩阵”?它与行列式在本质和形式上有什么区别?
2.写出习题1.1中各线性方程组的“系数矩阵”和“增广矩阵”.
3.对矩阵可以施行哪三种初等行(列)变换?它与行列式的性质有什么区别?
4.分离系数消元法就是对增广矩阵施行一系列初等行变换,将其化成阶梯形,在有解时,进一步化成约化阶梯形,从而直接写出全部解.
5.为什么对增广矩阵不能施行初等列变换?
6.何谓矩阵的“秩数”?为什么矩阵经过初等行(列)变换,秩数不变?
7.线性方程组在什么条件下有解?当有解时,在什么情况下有唯一解?在什么情况下有无穷多解?怎样写出全部解?
定义2.2.1 由s×n个数aij(i=1,2, …, s; j=1,2, …, n)排成的矩形表
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0074_0002.jpg?sign=1739285822-pn4VWLBBgjSpfvYOtbfSlRMBHXUbyHzA-0-d78bf90da752a07cc98312a23ee6f825)
称为s行n列矩阵.aij称为矩阵的(i, j)元.矩阵通常用大写字母A, B, …或Asn, Bsn, …或(aij)sn, (bij)sn, …表示.元素全为“0”的矩阵称为零矩阵,记作0sn.当s=n时,称为n阶矩阵或n阶方阵.
例如,一般线性方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0075_0001.jpg?sign=1739285822-U4P8sbkYHsR6DUJcHOm1U7v4m0V0sKYZ-0-2386a831a3a19724ab71824c7aab5a8b)
称
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0075_0002.jpg?sign=1739285822-aA25sLgolyhHNdgjoJCsXPFRa9JK5zFb-0-c21adde9842083fbe8f763b32d06e842)
是方程组(1)的系数矩阵;称
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0075_0003.jpg?sign=1739285822-ELxANe3DzBsOcoH9uWrj6kLfasbybrZo-0-b6d0a5fa9f95a7657eed7ae08cbf6caa)
是方程组(1)的增广矩阵.
定义2.2.2 对矩阵施行以下三种变换,称为矩阵的初等变换.
(1)对换矩阵的两行(列),称为换法变换;
(2)用非零数c乘以矩阵的某一行(列),称为倍法变换;
(3)将矩阵某一行(列)的k倍加到另一行(列)上去,称为消法变换.
增广矩阵可以看成线性方程组的简便记法.用消元法解线性方程组就是对增广矩阵施行一系列初等行变换.以下用分离系数消元法重解例2.1.1、例2.1.2、例2.1.3(即例2.1.1′、例2.1.2′、例2.1.3′).
例2.1.1′
解 注2
注2:注 表示对换矩阵的i, j行(列);
表示用非零数c乘以矩阵的第i行(列);
表示将矩阵第i行(列)的k倍加到第j行(列)上去,以上记号写在“—→”的上(下)面,表示行(列)变换.
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0076_0001.jpg?sign=1739285822-6zbBOQ1MvyOcOM8jbZcogUnCtTCi5exQ-0-a59851d7a2370b541365e157adfe969d)
最后一个增广矩阵表示与原方程组同解的方程组,得唯一解:
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0076_0002.jpg?sign=1739285822-8qGl0j5ft1qgdtr1A4wTiyP6OY415zn9-0-60abfce0f6707a3b7672baafbb77a156)
例2.1.2′
解
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0077_0001.jpg?sign=1739285822-eyTGFjCqULAPmcoBdFiTUlISlCvTnrfW-0-c91c3390d90de7e28508d788276f2ff2)
最后一个增广矩阵第3行表示矛盾方程0x1+0x2+0x3=6,无解,所以方程组无解.
例2.1.3′
解
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0077_0002.jpg?sign=1739285822-myD8n7MpZGKUqT05J87IxAbmeCdnyLoy-0-01a12b93ca1ccd11e7db3f952d46efc1)
最后一个增广矩阵表示与原方程组同解的方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0077_0003.jpg?sign=1739285822-atpBNU1LXNiMfjf8ij8MyZNSmUb0blzd-0-3e4c0030922cafb8983e3f1650342e43)
它有无穷多解,移项
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0077_0004.jpg?sign=1739285822-8Pz9xhK4JKq7R34jvJ0g7FNNP4oU39tA-0-19a64ed83b5c0401a7d509e8a936f30d)
x3是自由未知量,全部解为
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0077_0005.jpg?sign=1739285822-Ik7GtS52ST6OjIdrYgN59V9Ucb9kMz0K-0-b83f054bfce36fa76491cc5c338774e3)
其中c为任意数.
为了总结出线性方程组有解判别定理,我们给出
定义2.2.3 在矩阵A=(aij)sn中任取k行、k列,位于行列交叉点的k2个元素构成的行列式,称为A的一个k阶子式,1≤k≤min(s, n).
定义2.2.4 如果矩阵A=(aij)sn中有一个r阶子式不等于零,而所有r+1阶子式(如果还有的话)都等于零,则称矩阵A的秩数等于r,记作秩(A)=r.换句话说,矩阵A中不等于零的子式最高阶数就是A的秩数.零矩阵的秩数等于零.
例如,例2.1.1′最后一个系数矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0078_0001.jpg?sign=1739285822-EhMbPqMMvS1zlNs24CmFfTNWu381WlCz-0-0ea73b6ac5de8796b217bb8a3dfcc4f8)
中有一个3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0078_0002.jpg?sign=1739285822-2bUgQe4w6qnGj4PIywsq0axXv5OI10mc-0-d2afd067833dc530776f6b4fb52bb4ee)
A中没有4阶子式,就说秩(B)=3,增广矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0078_0003.jpg?sign=1739285822-hoB55my5RvAaYjaWUcUySDApUEN5zDyd-0-e5f1cde9e335b2e59a649e6652afbac5)
中有一个3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0078_0004.jpg?sign=1739285822-Zi3jQGohJHPgFz2xyDm3QGFjnP9sXaPX-0-4680af87a666c159862ffb1869bf7dc3)
中没有4阶子式,就说秩
.
例2.1.2′最后一个系数矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0001.jpg?sign=1739285822-3LmkaCRLrwmLOLFQgmo04K8O81Ar55u0-0-b9ca3ef2d19bb7f51f8cb592a6005978)
中有一个2阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0002.jpg?sign=1739285822-vcI1i1p7uxuCtkMN25MZ7Kljn79kBlBk-0-05966e0447e53b937054e3af2f4c41a7)
而B中所有(只有一个)3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0003.jpg?sign=1739285822-p7aaAxaXXYuZHhM0fg4IO5OcmM7eIlNE-0-b807dc64a2445ac22f0cc150adcd8177)
就说秩(B)=2.增广矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0004.jpg?sign=1739285822-vLvKSMExttRLIvsBVlKEK7uxxx8OXHp5-0-f638ff184cd284cd355c34c5fd1db0b0)
中有一个3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0005.jpg?sign=1739285822-wVDLEOhFJVwgJKZkzwwFeLHw1cjMRhtz-0-ea6e6f261c83172c1560fd4144ac450b)
中没有4阶子式,就说秩
.
例2.1.3′最后一个系数矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0008.jpg?sign=1739285822-W1mXIriFE4NBbPlNdAOjRZbqkUuWF26S-0-5cc080662d27be0ae1ad115cb151f8d8)
中有一个2阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0079_0009.jpg?sign=1739285822-61wuKCIx6UmxRXOipVGB6VKfRSlnY2el-0-adb7412d5957b0ceff69314db690963d)
而所有(只有一个)3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0080_0001.jpg?sign=1739285822-IfU4wp9QSAvfJrEESdtWWbenla1umBSR-0-b5d7659a4854e612514b34833641e2ad)
就说秩(B)=2,增广矩阵
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0080_0002.jpg?sign=1739285822-prKxkNSvAGJygex418BW9PTc5CWWxRT4-0-7e566a8a3aee2b25f37d77e021fd0830)
中有一个2阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0080_0003.jpg?sign=1739285822-lXwR4BRvlgMrytuMIpYl5lkvFEBHlvqr-0-cf1be6db25b6d9281265c09b7a137e7a)
而所有(共4个)3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0080_0004.jpg?sign=1739285822-tr205wcRopadarK5Jxp9bDrkzvJj4G0l-0-ba1f2316e42caa1fb6a5484f8ff797f3)
全等于零,所以秩.
定理2.2.1 矩阵经过初等变换,秩数不变.
分析证明 如果A是1阶矩阵,定理显然成立.以下设A=(aij)sn, s≥2, n≥2.从求证入手,设矩阵A经过初等变换得到B,并设A中有一个r阶子式不等于零,而所有r+1阶子式(如果还有的话)全等于零.欲证B中也有一个r阶子式不等于零,而所有r+1阶子式(如果还有的话)全等于零,那就要看初等变换对A中各阶子式的值有什么影响?回顾行列式性质,对换A中两行(列),含这两行(列)的子式反号;用非零数c乘以A中某一行(列), A中含这一行(列)的子式值乘以c≠0;将A的某一行(列)的k倍加到另一行(列)上去,含这两行(列)的子式值不变.因此,A中有一个r阶子式不等于零,B中也有一个r阶子式不等于零;A中所有r+1阶子式(如果还有的话)全等于零,那么B中所有r+1阶子式(如果还有的话)也全等于零.
由定理2.2.1知道,例2.1.1′,例2.1.2′,例2.1.3′,最后系数矩阵B的秩数就是原方程组系数矩阵A的秩数;最后增广矩阵的秩数就是原方程组增广矩阵
的秩数.
定理2.2.2 n元线性方程组(1)的系数矩阵记作A,增广矩阵记作.
(1)当秩(A)≠秩时,方程组(1)无解;
(2)当秩(A)=秩(A-)=r时,方程组(1)有解:
① 当r=n时,有唯一解;
② 当r<n时,有无穷多解,解中有n-r个自由未知量.
例2.1.1′系数矩阵秩数3=增广矩阵秩数3=未知量个数3,有唯一解.
例2.1.2′系数矩阵秩数2≠增广矩阵秩数3,无解.
例2.1.3′系数矩阵秩数2=增广矩阵秩数2<未知量个数3,有无穷多解,解中有3-2=1个自由未知量.
用分离系数消元法解线性方程组的步骤是:对增广矩阵施行初等行变换,将其化成阶梯形(由此计算系数矩阵秩和增广矩阵秩).在有解的情况下,将阶梯形进一步化成约化阶梯形,由此写出全部解,如果在化阶梯形过程中出现矛盾方程,立即可知方程组无解,如果增广矩阵出现一行全为“0”,这表示多余方程,可以去掉.
例2.2.1 解线性方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0081_0005.jpg?sign=1739285822-1oVvUcjcy2S47U1XWZD7jK6srGlo79D4-0-398424841069e092a0c1b6ec376f077b)
解 注3
注3:注 中数称为该行首非零元.
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0081_0006.jpg?sign=1739285822-APkn7eZjs56TEE3IDrtHmRVNR1ITW0uS-0-2c92383dd13a88e46776f8473f1bf648)
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0082_0001.jpg?sign=1739285822-7SqBIs9QHyc3BxMSIekg0DpvQQlhmF2g-0-81bd0d9eef8e98dc613624b1d47ce392)
观察阶梯形知系数矩阵秩数4=增广矩阵秩数4=未知量个数4,方程组有解,且有唯一解.下面将阶梯形化成约化阶梯形.
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0082_0002.jpg?sign=1739285822-ErvbwKzwcHHWMaW5iSnm0MZvziBYEk9I-0-d69b8f6a07ccc981b7450ab030200f67)
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0083_0001.jpg?sign=1739285822-0iEzrtvPtZJlyW8wJ5SquLbApIMjcU9B-0-5b152d7fda76629a520cbfd74fcc5809)
唯一解(1,2,1, -1),读者可将解代入原方程组验算之.
例2.2.2 解线性方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0083_0002.jpg?sign=1739285822-2fRRNfZvFA3U2r6yyjl23dgHdJ7fG5Xv-0-a7bfc53153ea0aab16e2f0d176d49003)
解
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0083_0003.jpg?sign=1739285822-RG6XxQAS7Inmno8D5CpD9s4oRQZqgCm3-0-1aa7feb23272188547633c639b302297)
此时,系数矩阵阶梯形以下全为“0”,消元法结束,最后一个系数矩阵中,有一个2阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0084_0001.jpg?sign=1739285822-bVAskuqP04RZGlY1lyBwK0HkPBYRG99w-0-7c1489c4ce4fe77c9fd5ae296f1083c4)
而所有(共4个)3阶子式全等于零(因为第3行全为“0”),所以系数矩阵秩数为2;增广矩阵中有一个3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0084_0002.jpg?sign=1739285822-UFIJHCSYmYXQUu9tbzfYlavw5MuEitWg-0-e21a4b6784696fddf0109d0d6bb3faf3)
没有4阶子式,所以增广矩阵秩数为3.2≠3,所以方程组无解,或从最后一个增广矩阵发现矛盾方程0x1+0x2+0x3+0x4=6,直接判定无解.
例2.2.3 解线性方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0084_0003.jpg?sign=1739285822-LIciJc3A8F1Ltth9Oe1J4Gas81ghYi9k-0-e8b4231f2878a2f8f86bd0ae8be2ff60)
解
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0084_0004.jpg?sign=1739285822-lpsfkDyKjsVCvjyeo513YW6Oe2XyYw1U-0-5304def24081e2c0ed81e1f491a4f4b4)
此时系数矩阵阶梯形以下全为“0”,消元法结束,最后一个系数矩阵中,有一个3阶子式
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0085_0001.jpg?sign=1739285822-IKNBxdiKdSSvNQdgXYCNkoCgfYcQ3pyT-0-6cc472f33a6048ce8479271e0a7473d9)
而所有4阶子式全等于零(因为第4行全为“0”),所以系数矩阵秩数等于3.同理,增广矩阵秩数也等于3,方程组有解,因为秩数3小于未知量个数5,所以方程组有无穷多解,解中有5-3=2个自由未知量,下面将阶梯形化成约化阶梯形.
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0085_0002.jpg?sign=1739285822-7q6LcAn1S90mPPqrXGJbQHL9dDRUOvFl-0-219cf3f4abacfc535d4a898fc70a0378)
从最后一个增广矩阵可以看出x2, x5是自由未知量,移项,得
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0085_0003.jpg?sign=1739285822-sR23ntBujoDKFFxN0GUDdtUmMUAMgMva-0-addacc354c7bfc1a87f6780cc76fe7a3)
令x2=c1, x5=c2,全部解为
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0086_0001.jpg?sign=1739285822-6w9y7TqRllhUgK6JyTnt4Cm7ZWSWyngQ-0-ee0216fe2013ebf14e0884b23cddeb1d)
其中c1, c2为任意数.
习题2.2
1.用分离系数消元法解线性方程组:
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0086_0002.jpg?sign=1739285822-ytdl7LILhQ3fESSKPb9rfabHbVArCs1W-0-51371c9bca8600b496559fd539821f9f)
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0087_0001.jpg?sign=1739285822-IV3PWtG5I9L8ymoNbIkK6XKO2T2Adh9h-0-08f9a722cc98f16fbcaee26dc961ba47)
2.讨论a, b为何值时,线性方程组
![](https://epubservercos.yuewen.com/DE0608/13173345505467906/epubprivate/OEBPS/Images/figure_0087_0002.jpg?sign=1739285822-NxxDf2RZ40fwlTt8lhkOMKHOdqbIfqAu-0-10f0c9e287912ee62a5c4a5d1c002ce2)
有唯一解?无穷多解?无解?在有解时,求出全部解.
3.方程个数等于未知量个数的线性方程组一定有唯一解吗?方程个数少于未知量个数的线性方程组一定有无穷多解吗?方程个数多于未知量个数的线性方程组一定无解吗?试举二元一次方程组为例说明之.