本文已参与「新人创作礼」活动,一起开启掘金创作之路。
Ax=0
⎩⎨⎧a11x1+a12x2+⋯+a1nxn=0a21x1+a22x2+⋯+a2nxn=0⋯am1x1+am2x2+⋯+amnxn=0,x1=0,x2=0,⋯,xn=0必定是Ax=0的解,称为零解
定理:Am×nx=0有非零解
⇔r(A)<n
⇔A的列向量组线性相关
推论:
-
当m<n时,Ax=0必有非零解
-
当m=n时,Ax=0有非零解⇔∣A∣=0
定理:若Ax=0系数矩阵的秩r(A)=r<n,则Ax=0有n−r个线性无关的解,且Ax=0的任一一个阶都可由着n−r个线性无关的解线性表出
如果η1,η2是Ax=0的解
Aη1=0,Aη2=0
那么
A(k1η1+k2η2)=k1Aη1+k2Aη2=0
即k1η1+k2η2是Ax=0的解
定理:若η1,η2,⋯,ηt是Ax=0的基础解系,则齐次方程组Ax=0的通解为:
k1η1+k2η2+⋯+ktηt
k1,k2,⋯,kt是任意常数
定义:Ax=0的基础解系是指,如果η1,η2,⋯,ηt是Ax=0的解,且满足
-
η1,η2,⋯,ηt线性无关
-
Ax=0的任一解都可由η1,η2,⋯,ηt线性表出
则称η1,η2,⋯,ηt是Ax=0的一个基础解系
例:⎩⎨⎧5x1+7x2+2x3=03x1+5x2+6x3−4x4=04x1+5x2−2x3+3x4求基础解系,通解
对系数矩阵作初等行变换
A=⎝⎛53475526−20−43⎠⎞→⎝⎛100010−8607−50⎠⎞
n−r(A)=4−2=2
同解方程组
{x1−8x3+7x4=0x2+6x3−5x4=0
可以用0,1法
即
{x1=8x3−7x4x2=−6x3+5x4
令x3=1,x4=0⇒x2=−6,x1=8
令x3=0,x4=1⇒x2=5,x1=−7
基础解系为
η1=(8,−6,1,0)T,η2=(−7,5,0,1)T
通解
k1η1+k2η2,k1,k2为任意常数
也可以用提参数的方法
令x3=t,x4=u,即
⎩⎨⎧x1=8t−7ux2=−6t+5ux3=tx4=uu,v为任意常数
因此
x=t⎝⎛8−610⎠⎞+u⎝⎛−7501⎠⎞
例:α1=(1,0,2)T,α2=(0,1,−1)T都是Ax=0的解,则A可以是以下哪个
(−241−21−2)(200111)
α1,α2线性无关,即
n−r(A)≥2⇒r(A)≤1
因此显然不是(200111)
代入验证
(−241−21−2)⎝⎛102⎠⎞=(00)
因此是(−241−21−2)
例:求一个齐次线性方程组,使其基础解系为
η1=(4,3,1,2)T,η2=(0,1,3,−2)T
设Ax=0为所求
这里A一定是不唯一的
由解η1=(4,3,1,2)T可知,该方程组有四个未知数
由η1=(4,3,1,2)T,η2=(0,1,3,−2)T线性无关,知解的秩为2,即n−r(A)=2⇒r(A)=2⇒方程的个数≥2
构造2×4的A,有
A(η1,η2)=(Aη1,Aη2)=(0,0)=0⇒(η1Tη2T)AT=0
记(η1Tη2T)=B2×4,AT=(α1,α2)4×2,有
B(α1,α2)=(Bα1,Bα2)=(0,0)
即α1,α2是Bx=0线性无关的解
此处α1,α2是Bx=0线性无关的解,由于A的秩为2,且A为2×4的矩阵。
如果设的A为n×4(n>2)的矩阵,则α1,α2不一定是Bx=0线性无关的解,但也可以设α1,α2是Bx=0线性无关的解,后续处理基本一致
B=(η1Tη2T)=(4031132−2)→(1001−232−2)
n−r(B)=4−2=2,自由变量x3,x4
Bx=0的基础解系为
(2,−3,1,0)T,(−2,2,0,1)T
则
A=(α1Tα2T)=(2−2−321001)
例:A4×5,α1,α2,α3是ATx=0的基础解系,则秩r(A)=()
A4×5→A5×4T,由题意知ATx=0基础解系由3个解向量构成
n−注意此处是ATr(AT)=4−r(AT)=3⇒r(AT)=1
即r(A)=1
系数矩阵未必需要化成行最简,只要是行阶梯矩阵,每行的主元不在首列也可以
例:⎩⎨⎧x1+x2−3x4−x5=0x1−x2+4x3−x4=04x1−2x2+12x3−2x4−3x5=0
A=⎝⎛1141−1−20412−3−1−2−10−3⎠⎞→⎝⎛1 12 0−4 −3−22−1−1−1⎠⎞可以继续按正常思路化成行最简→⎝⎛1 01 2−2 001−23−1−21⎠⎞
同解方程组
⎩⎨⎧x1+2x3−23x5=0x2−2x3−x5=0x4−21x5=0
令x3=0,x5=0得,η1=(−2,2,1,0,0)T
令x3=0,x5=1得,η2=(23,1,0,21,1)T
A也可以把主元挪一下位置,避免出现分数→⎝⎛1 12 0−4 −3−22−1−1−1⎠⎞→⎝⎛1 12 0−4 −5−4−2001⎠⎞→⎝⎛1 01 2−2 −3−2−2001⎠⎞
令x3=1,x4=0得,η1=(−2,2,1,0,0)T
令x3=0,x4=1得,η2=(3,2,0,1,2)T
Ax=b
定理:Ax=b有解⇔r(A)=r(Aˉ)
唯一解:r(A)=r(Aˉ)=n
∞解:r(A)=r(Aˉ)<n
Ax=b无解⇔r(A)+1=r(Aˉ)
定理(解的结构):设α是方程组Ax=b的解,η1,η2,⋯,ηt是方程组Ax=0的基础解系,则方程组Ax=b的通解为
α+k1η1+⋯+ktηt
其中k1,k2,⋯,kt是任意常数
解的性质
-
如果η1,η2是Ax=0的解,则k1η1+k2η2仍是Ax=0的解
-
如果α1,α2是Ax=b的解,则α1−α2是Ax=0的解
-
如果α是Ax=b的解,η是Ax=0的解,则α+η是Ax=b的解
例:⎩⎨⎧x1+x2+x3+x4+x5=22x1+3x2+x3+x4−3x5=0x1+2x3+3x4+3x5=44x1+5x2+3x3+2x4+2x5=6
对增广矩阵作初等行变换
Aˉn−r(A)=⎝⎛12141305112311321−3322046⎠⎞→⎝⎛1 01 2−1 001 12−8−3010−6−20⎠⎞=5−3=2
由同解方程组,得
⎩⎨⎧x1=10−2x3−12x5x2=−6+x3+8x5x4=−2+3x5
令(x3x5)=(00),特解为
α=(10,−6,0,−2,0)T
对应的齐次方程组
⎩⎨⎧x1=−2x3−12x5x2=x3+8x5x4=3x5
令(x3x5)为(10)和(01)
得基础解系
η1=(−2,1,1,0,0)T,η2=(−12,8,0,3,1)T
方程组通解
α+k1η1+k2η2=⎝⎛10−60−20⎠⎞+k1⎝⎛−21100⎠⎞+k2⎝⎛−128031⎠⎞
用提参数的方式也同理,用该方法,不需要包括求通解以下的所有步骤
令x3=t,x5,得
⎩⎨⎧x1=10−2t−12ux2=−6+t+8ux3=tx4=−2+3ux5=u
方程组通解
x=⎝⎛10−60−20⎠⎞+t⎝⎛−21100⎠⎞+u⎝⎛−128031⎠⎞
例:⎩⎨⎧x1+x2+ax3=4−x1+ax2+x3=a2x1−x2+2x3=−4有无穷多解,求a的值并求方程组的通解
对于化简有参数的系数矩阵,尽量将参数放在被减行,即尽量往下放,尽量不在主元处出现未知数
用秩计算未知数,系数矩阵只需要化简到行阶梯形式即可
Aˉ=⎝⎛1−111a−1a124a2−4⎠⎞→⎝⎛11−1−11a2a1−44a2⎠⎞→⎝⎛100−12a−12a−23−48a2−4⎠⎞→⎝⎛1 −12 2a−221(a+1)(4−a)−48a(a−4)⎠⎞
方程组有∞解⇔r(A)=r(Aˉ)<n,因此a=4
Aˉ→⎝⎛1 −12 220−480⎠⎞→⎝⎛1 01 310040⎠⎞
令x3=0,特解λ=(0,4,0)T
令x3=1,基础解系η=(−3,−1,1)T
通解即为x=α+kη,k为任意常数
例:⎩⎨⎧x1+3x2+2x3+x4=1x2+ax3−a4=−1x1+2x2+3x4=3
Aˉ=⎝⎛1013122a01−a31−13⎠⎞→⎝⎛1 31 22a−21−22−a121⎠⎞
显然r(A)<n,因此不可能有唯一解
当a=2时,r(A)=2,r(Aˉ)=3,方程组无解
当a=2时,r(A)=r(Aˉ)=3<n=4,方程组无穷多解
Aˉ→⎝⎛1003102211−2−11−2a−21⎠⎞→⎝⎛1 31 00130−1a−2a−4a−22−2aa−21⎠⎞→⎝⎛1 01 00130−1a−27a−10a−22−2aa−21⎠⎞
自由变量x4
特解:α=(a−27a−10,a−22−2a,a−21,0)T
基础解系:η=(−3,0,1,1)T
通解即为x=α+kη,k为任意常数
例:⎩⎨⎧λx1+x2+x3=λ−3x1+λx2+x3=−2x1+x2+λx3=−2
Aˉ=⎝⎛λ111λ111λλ−3−2−2⎠⎞→⎝⎛λ1−λ1−λ1λ−1010λ−1λ−31−λ1−λ⎠⎞
如果λ=1
Aˉ→⎝⎛100100100−200⎠⎞
解为
x=⎝⎛−200⎠⎞+k1⎝⎛−110⎠⎞T+k2⎝⎛−101⎠⎞
如果λ=1
Aˉ→⎝⎛λ111−1010−1λ−311⎠⎞→⎝⎛λ+2110−1000−1λ−111⎠⎞
若λ=−2,方程组无解
若λ=−2,λ=1,方程组有唯一解,解为
x=⎝⎛λ+2λ−1 −λ+23−λ+23⎠⎞
方程组的应用
例:求和矩阵A=(1−123)可交换矩阵
设X=(x1x3x2x4)和A可交换,即AX=XA
(1−123)(x1x3x2x4)(x1+2x3−x1+3x3x2+2x4−x2+3x4)=(x1x3x2x4)(1−123)=(x1−x2x3−x42x1+3x22x3+3x4)
即有
⎩⎨⎧x2+2x3=02x1+2x2−2x4=0−x1+2x3+x4=0x2+2x3=0
系数矩阵
B=⎝⎛02−10120120220−210⎠⎞→⎝⎛1 0000100−2200−1 000⎠⎞
结果是为了求矩阵一般用提参数的方法,而不是0,1法
自由变量x3,x4,令x3=t,x4=u
x1=2t+u,x2=−2t
因此
X=(2t+ut−2tu)t,u为任意常数
例:(122334)X=(4556),则X=()
如果(122334)为方阵且可逆,则只需要左乘其逆矩阵即可,但本题显然不可逆
由题意得X3×2
(122334)⎝⎛x1x2x3y1y2y3⎠⎞=(4556)
此处考虑到X不同列乘积最后形成的系数矩阵相同,所以考虑不同列设成不同组未知数。
如果统一设成x1,x2,⋯,x6也能做出来,计算难度相差不大
可得
{x1+2x2+3x3=42x1+3x2+4x3=5{y1+2y2+3y3=52y1+3y2+4y3=6
系数矩阵相同,可得大的增广矩阵
(1223344556)→(1 01−12−23−34)
有
⎩⎨⎧x1=−2+k1x2=3−2k1x3=k1⎩⎨⎧y1=−3+k2y2=4−2k2y3=k2
因此,可得
X=⎝⎛−2k13−2k1k1−3+k24−2k2k2⎠⎞k1,k2为任意常数
例:设α1=(a,2,10)T,α2=(−2,1,5)T,α3=(−1,1,4)T,β=(1,b,c)T,求a,b,c满足的条件
-
β可由α1,α2,α3线性表出,且表示方法唯一
-
β不能由α1,α2,α3线性表出
-
β可由α1,α2,α3线性表出但表示方法不唯一,并写出一般表达式
设
x1α2+x2α3+x3α3=β(1)
由
∣A∣=∣∣α1α2α3∣∣=∣∣a210−215−114∣∣=−(a+4)
因此,
当a=−4时,∣A∣=0,方程组有唯一解,β可由α1,α2,α3线性表出,且表示方法唯一
当a=−4时
Aˉ=⎝⎛−4210−215−1141bc⎠⎞→⎝⎛200100110b2b+13b−c−1⎠⎞
因此,当a=−4,3b−c=1时,方程组无解,即β不能由α1,α2,α3线性表出
若a=−4,3b−c=1,有r(A)=r(Aˉ)=2<3,方程组有∞组解,即β可由α1,α2,α3线性表出但表示方法不唯一
Aˉ→⎝⎛200100110b2b+13b−c−1⎠⎞→⎝⎛200100010−b−12b+10⎠⎞
令x1=t,则x2=−2t−b−1,x3=2b+1
由(1)得
β=tα1−(2t+b+1)α2+(2b+1)α3t为任意常数
例:设三阶矩阵A=(α1α2α3),B=(β1β2β3),若向量组α1,α2,α3可由向量β1,β2,β3线性表出,证明:BTx=0的解,均为Bx=0的解
由于向量组α1,α2,α3可由向量β1,β2,β3线性表出,则有
BC=A⇒CTBT=AT
由题意
ATx=(CTBT)x=CT(BTx)=CT0=0
原题得证