# 线性方程组
本节的一个重要应用是利用矩阵的行化简来解线性方程组
设有如下线性方程组
⎩⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎧a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮am1x1+am2x2+⋯+amnxn=bm
该方程组具有 m 个方程,n 个未知数
在未经矩阵的学习时,求解此类方程常用的方法是 Gauss 消元法,即通过对方程组进行变形,逐步消去未知数,从而最终得到解
实际上这个过程可以用矩阵语言重新描述
首先,抽取方程组的系数矩阵 A,未知数矩阵 x,以及常数矩阵 b,分别定义为
A=⎝⎜⎜⎜⎜⎛a11a21⋮am1a12a22⋮am2⋯⋯⋯a1na2n⋮amn⎠⎟⎟⎟⎟⎞,x=⎝⎜⎜⎜⎜⎛x1x2⋮xn⎠⎟⎟⎟⎟⎞,b=⎝⎜⎜⎜⎜⎛b1b2⋮bm⎠⎟⎟⎟⎟⎞
则方程组可以简洁地写作
Ax=b
目的是求解满足该方程的未知数矩阵 x
Gauss 消元法实际上是矩阵的行简化过程,原方程组在行化简下不会发生错误,方程依然成立。所以通过将等式两边同时进行行化简,可以找到每一个未知数成分所对应的主元,进一步解出具体的值
因为这个过程是等式两边对称成立的,所以为了简化我们完全可以构造一个增广矩阵
A=[Ab]=⎝⎜⎜⎜⎜⎛a11a21⋮am1a12a22⋮am2⋯⋯⋯a1na2n⋮amnb1b2⋮bm⎠⎟⎟⎟⎟⎞
化简这个增广矩阵即可。在得到行最简矩阵后,将其还原回方程组的形式,就可以直接看出每一个未知数的值
在化简之后,我们得到的结果有两种情况。假设最终得到的行最简矩阵为 R,则
- 若 R的最后一行存在主元,这时还原回方程性质后可以看到对应 0=1 这样的矛盾式子,说明方程组 +
+ 无解 ++ - 若 R的最后一行不存在主元,这时方程组至少存在一个解
- 若 rank(A)=rank(A)=n,则方程组存在 唯一解
- 若 rank(A)=rank(A)<n,则方程组存在 无穷多解
示例
求解如下线性方程组(唯一解情况)
⎩⎪⎪⎨⎪⎪⎧x1+2x2+x3=42x1+3x2+x3=73x1+5x2+x3=10
解
首先构造增广矩阵
A=⎝⎛1232351114710⎠⎞
通过行简化得到
R2−2R1→R2⎝⎛1032−151−114−110⎠⎞R3−3R1→R3⎝⎛1002−1−11−1−24−1−2⎠⎞R3−R2→R3⎝⎛1002−101−1−14−1−1⎠⎞−R2⎝⎛10021011−141−1⎠⎞−R3⎝⎛100210111411⎠⎞R2−R3→R2⎝⎛100210101401⎠⎞R1−R3→R1⎝⎛100210001301⎠⎞R1−2R2→R1⎝⎛100010001301⎠⎞
显然,R的最后一行不存在主元,且 rank(A)=rank(A)=3,因此方程组存在唯一解
⎝⎛x1x2x3⎠⎞=⎝⎛301⎠⎞
示例
求解如下线性方程组(无穷多解情况)
⎩⎪⎪⎨⎪⎪⎧x1+2x2+x3=42x1+3x2+x3=73x1+5x2+x3=11
解
首先构造增广矩阵
A=⎝⎛1232351114711⎠⎞
通过行简化得到
R2−2R1→R2⎝⎛1032−151−114−111⎠⎞R3−3R1→R3⎝⎛1002−1−11−1−24−1−1⎠⎞R3−R2→R3⎝⎛1002−101−1−14−10⎠⎞−R2⎝⎛10021011−1410⎠⎞−R3⎝⎛100210111410⎠⎞R2−R3→R2⎝⎛100210101410⎠⎞R1−R3→R1⎝⎛100210001410⎠⎞R1−2R2→R1⎝⎛100010001210⎠⎞
显然,R的最后一行不存在主元,且 rank(A)=rank(A)=2<3,因此方程组存在无穷多解
设 x3=t,则方程组的解为
⎝⎛x1x2x3⎠⎞=⎝⎛210⎠⎞+t⎝⎛001⎠⎞,t∈R
一类比较特殊的问题是系数矩阵相同的线性方程组的集合,考虑如下方程组
Ax=bi,i=1,2,…,k
因为对各个方程求解的顺序都是一样,并且行基本变换不会让列向量参杂,这就意味着增广矩阵可以合并为
A=[Ab1b2⋯bk]=⎝⎜⎜⎜⎜⎛a11a21⋮am1a12a22⋮am2⋯⋯⋯a1na2n⋮amnb11b21⋮bm1b12b22⋮bm2⋯⋯⋯b1kb2k⋮bmk⎠⎟⎟⎟⎟⎞
直接对该增广矩阵进行行化简,就可以同时求解所有方程组
示例
求解如下线性方程组集合
{x+2y=−13x+7y=3,{x+2y=53x+7y=2
解
首先构造增广矩阵
A=(1327−1352)
通过行简化得到
R2−3R1→R2(1021−165−13)R1−2R2→R1(1001−13631−13)
最终得到行最简矩阵
R=(1001−13631−13)
第三列对应第一个方程组的解,第四列对应第二个方程组的解,即
(xy)=(−136),(xy)=(31−13)
□
最后,考虑线性方程组问题中常数矩阵 b=0 的特殊情况,也就是
Ax=0
这样的方程组被称为 齐次线性方程组 (homogeneous linear system)「同次連立一次方程式」,它总是至少有零解 x=0 存在,所以关注的核心在于是否存在非零解(非平凡解 / 非自明解)
实际上,以下结论非常常用
命题
令 n 个未知数的齐次线性方程组 Ax=0,则
- 方程组仅有零解,当且仅当 rank(A)=n
- 方程组存在非零解,当且仅当 rank(A)<n
证明
设 A 的行最简矩阵为 R,则
- 若 rank(A)=n,则 R 中每一列都是主元列,方程组仅有零解
- 若 rank(A)<n,则 R 中至少存在一列非主元列,方程组存在非零解
□
结合对矩阵的列向量分割,齐次方程组的可解性与列向量的线性无关性高度关联
命题
令 a1,a2,…,ar 为 n 维列向量,设矩阵
A=(a1a2⋯ar)
则
- a1,a2,…,ar 线性无关,当且仅当 rank(A)=r
- a1,a2,…,ar 线性相关,当且仅当 rank(A)<r
证明
设 c1,c2,…,cr 为任意常数,考虑方程
c1a1+c2a2+⋯+crar=0
将其改写为矩阵形式
A⎝⎜⎜⎜⎜⎛c1c2⋮cr⎠⎟⎟⎟⎟⎞=0
- 若 a1,a2,…,ar 线性无关,则方程仅有零解,因此 rank(A)=r
- 若 a1,a2,…,ar 线性相关,则方程存在非零解,因此 rank(A)<r
□
这样一来
- 若列向量 a1,a2,…,ar 线性无关,则齐次线性方程组 Ax=0 仅有零解
- 若列向量 a1,a2,…,ar 线性相关,则齐次线性方程组 Ax=0 存在非零解
# 逆矩阵的求解
回顾截至目前的结论
- 一般的线性方程组 Ax=b 存在唯一解等价于其简化阶梯形为单位矩阵 En,这又意味着存在一个可逆矩阵 P,使得 PA=En,即 A 可逆,并且可以表示为 A = P^
- 齐次线性方程组 Ax=0 仅有零解等价于列向量组线性无关,这又等价于 rank(A)=n,即 A 的简化阶梯形为单位矩阵 En
所以,对于 n 维方阵 A,以下命题全部等价
- A 是正则矩阵
- Ax=b 存在唯一解
- Ax=0 仅有零解
- A 的列向量线性无关
- rank(A)=n
- A 的简化阶梯形为单位矩阵 En
- A 可以写作一系列基本矩阵的乘积
通过齐次线性方程组 Ax=0 和行化简,可以一般地方便地求解出矩阵的逆矩阵
对于给定的矩阵 A,矩阵 B 成为其逆矩阵的定义原本是 AB=BA=En,需要证明两个等号
但是实际上,只需要证明其中一个等号即可
命题
令 A,B 为 n 维方阵
- 如果 AB=En,则 BA=En
- 如果 BA=En,则 AB=En
证明
(1)
令一个 n 维列向量 x,考虑方程
Ax=0
从左侧同时左乘 B,得到
BAx=0
由 BA=En 可知
x=0
因此方程 Ax=0 仅有零解,说明矩阵 A 可逆,逆矩阵的唯一性给出其一定是 B
(2)
令一个 n 维列向量 x,考虑方程
Bx=0
从左侧同时左乘 A,得到
ABx=0
由 AB=En 可知
x=0
因此方程 Bx=0 仅有零解,说明矩阵 B 可逆,逆矩阵的唯一性给出其一定是 A
□
这样一来。给定矩阵 A,设出方程
AX=En
只需要解出这个方程就可以求出矩阵 A 的逆矩阵
将矩阵 X 和基本矩阵 En 进行列向量分割,得到
A(x1x2⋯xn)=(e1e2⋯en)
这等价于同时求解 n 个线性方程组,基于前述方案,构造增广矩阵
A=[AEn]=⎝⎜⎜⎜⎜⎛a11a21⋮an1a12a22⋮an2⋯⋯⋯a1na2n⋮ann10⋮001⋮0⋯⋯⋯00⋮1⎠⎟⎟⎟⎟⎞
对该增广矩阵进行行化简,若最终得到的行最简矩阵为
R=[EnB]=⎝⎜⎜⎜⎜⎛10⋮001⋮0⋯⋯⋯00⋮1b11b21⋮bn1b12b22⋮bn2⋯⋯⋯b1nb2n⋮bnn⎠⎟⎟⎟⎟⎞
这对应了所有的线性方程组均存在唯一解,因此矩阵 A 可逆,且其逆矩阵为
A−1=B=⎝⎜⎜⎜⎜⎛b11b21⋮bn1b12b22⋮bn2⋯⋯⋯b1nb2n⋮bnn⎠⎟⎟⎟⎟⎞
否则,方程组存在非唯一解,这使得矩阵 A 不可逆
示例
计算以下矩阵的逆
A=⎝⎛2132−8−7101⎠⎞,B=⎝⎛111−12−43−511⎠⎞
解
首先计算矩阵 A 的逆,构造增广矩阵
A=⎝⎛2132−8−7101100010001⎠⎞
通过行简化得到
R1↔R2⎝⎛123−82−7011010100001⎠⎞R2−2R1→R2⎝⎛103−818−70110101−20001⎠⎞R3−3R1→R3⎝⎛100−818170110101−2−3001⎠⎞R2−R3→R2⎝⎛100−811700101011−30−11⎠⎞R3−17R2→R3⎝⎛100−81000101−1711−200−118⎠⎞R1+8R2→R1⎝⎛10001000181−1791−20−8−118⎠⎞
所以
A−1=⎝⎛81−1791−20−8−118⎠⎞
另一边,计算矩阵 B 的逆,构造增广矩阵
B=⎝⎛111−12−43−511100010001⎠⎞
通过行简化得到
R2−R1→R2⎝⎛101−13−43−8111−10010001⎠⎞R3−R1→R3⎝⎛100−13−33−881−1−1010001⎠⎞R2+R3→R3⎝⎛100−1303−801−1−2011001⎠⎞
显然至此已经无法化为单位矩阵,说明矩阵 B 不可逆
□