习题33-1．求下列齐次线性方程组的通解：（1）⎪⎩⎪⎨⎧=--=--=+-087305302z y x z y x z y x .解 对系数矩阵施行行初等变换，得⎪⎪⎪⎭⎫ ⎝⎛-----−→−⎪⎪⎪⎭⎫ ⎝⎛-----=1440720211873153211A)(000720211阶梯形矩阵B =⎪⎪⎪⎭⎫ ⎝⎛-−→−⎪⎪⎪⎭⎫ ⎝⎛-−→−0002720211)(000271021101行最简形矩阵C =⎪⎪⎪⎪⎭⎫ ⎝⎛−→−， 与原方程组同解的齐次线性方程组为⎪⎪⎩⎪⎪⎨⎧=+=+0270211z y z x ， 即⎪⎪⎩⎪⎪⎨⎧-=-=z y z x 27211（其中z 是自由未知量）， 令1=z ，得到方程组的一个基础解系T)1,27,211(--=ξ, 所以，方程组的通解为,)1,27,211(Tk k --=ξk 为任意常数． （2）⎪⎩⎪⎨⎧=+++=+++=++++086530543207224321432154321x x x x x x x x x x x x x .解 对系数矩阵施行行初等变换，得⎪⎪⎪⎭⎫ ⎝⎛--−→−⎪⎪⎪⎭⎫ ⎝⎛=21202014101072211086530543272211A)(7000014101072211阶梯形矩阵B =⎪⎪⎪⎭⎫ ⎝⎛-−→−⎪⎪⎪⎭⎫ ⎝⎛-−→−70000141010211201)(100000101001201行最简形矩阵C =⎪⎪⎪⎭⎫ ⎝⎛−→−，与原方程组同解的齐次线性方程组为⎪⎩⎪⎨⎧==+=++0002542431x x x x x x ， 即⎪⎩⎪⎨⎧=-=--=02542431x x x x x x （其中43,x x 是自由未知量）， 令34(,)T x x =(1,0)T ，(0,1)T，得到方程组的一个基础解系T)0,0,1,0,2(1-=ξ，T)0,1,0,1,1(2--=ξ，所以，方程组的通解为=+2211ξξk k T T k k )0,1,0,1,1()0,0,1,0,2(21--+-，21,k k 为任意常数．（3）⎪⎪⎩⎪⎪⎨⎧=-+-+=-++-=-+-=--+0742420436240203543215432143215421x x x x x x x x x x x x x x x x x x ．解 对系数矩阵施行行初等变换，得11031112104263424247A --⎛⎫ ⎪--⎪= ⎪-- ⎪ ⎪--⎝⎭11031022210003100000--⎛⎫⎪- ⎪−−→⎪- ⎪⎪⎝⎭)(阶梯形矩阵B =)(0000031100065011067011行最简形矩阵C =⎪⎪⎪⎪⎪⎭⎫⎝⎛----−→−，与原方程组同解的齐次线性方程组为⎪⎪⎪⎩⎪⎪⎪⎨⎧=-=--=-+03106506754532531x x x x x x x x ， 即⎪⎪⎪⎩⎪⎪⎪⎨⎧=+=+-=54532531316567x x x x x x x x （其中53,x x 是自由未知量）， 令=T x x ),(53(1,0)T ，(0,1)T，得到方程组的一个基础解系T )0,0,1,1,1(1-=ξ，T )1,31,0,65,67(2=ξ，所以，方程组的通解为=+2211ξξk k T T k k )1,31,0,65,67()0,0,1,1,1(21+-，21,k k 为任意常数．3-2．当λ取何值时，方程组⎪⎩⎪⎨⎧=-+=+-=++z z y x y z y x x z y x λλλ6774334 有非零解？解 原方程组等价于⎪⎩⎪⎨⎧=+-+=++-=++-0)6(707)4(303)4(z y x z y x z y x λλλ, 上述齐次线性方程组有非零解的充分必要条件是它的系数行列式0671743134=-----λλλ，即0)756(2=-+λλλ，从而当0=λ和2123±-=λ时方程组有非零解．3-3．求解下列非齐次线性方程组：（1）⎪⎩⎪⎨⎧=++--=-+-=++-5521212432143214321x x x x x x x x x x x x .解 对增广矩阵A 施行行初等变换⎪⎪⎪⎭⎫ ⎝⎛-----=551211112111121A ⎪⎪⎪⎭⎫ ⎝⎛-−→−000001100011121B =，因为()()r A r A =，所以方程组有解，继续施行行初等变换B ⎪⎪⎪⎭⎫⎝⎛-−→−000001100000121C =， 与原方程组同解的齐次线性方程组为⎩⎨⎧==+-124321x x x x , 即⎩⎨⎧=-=124321x x x x （其中32,x x 为自由未知量）， 令TT x x )0,0(),(32=，得到非齐次方程组的一个解T )1,0,0,0(0=η，对应的齐次方程组（即导出方程组）为⎩⎨⎧=-=024321x x x x （其中32,x x 为自由未知量）， 令T x x ),(32(1,0)T =，(0,1)T，得到对应齐次方程组的一个基础解系T )0,0,1,2(1=ξ，T )0,1,0,1(2-=ξ,方程组的通解为0112212(0,0,0,1)(2,1,0,0)(1,0,1,0)T T T k k k k ηηξξ=++=++-，其中21,k k 为任意常数．（2）⎪⎪⎩⎪⎪⎨⎧=+--=+--=+--=-+-810957245332231324321432143214321x x x x x x x x x x x x x x x x .解 对增广矩阵A 施行行初等变换⎪⎪⎪⎪⎪⎭⎫⎝⎛--------=810957245113322311312A ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----−→−000000000039131024511B =， 因为()()r A r A =，所以方程组有解，继续施行行初等变换B ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----−→−000000000039131015801C =， 与原方程组同解的齐次线性方程组为⎩⎨⎧-=-+-=-+3913158432431x x x x x x , 即⎩⎨⎧+--=+--=4324319133581x x x x x x （其中43,x x 为自由未知量）， 令34(,)(0,0)T Tx x =，得到非齐次方程组的一个解T )0,0,3,1(0--=η,对应的齐次方程组（即导出方程组）为⎩⎨⎧+-=+-=43243191358x x x x x x （其中43,x x 为自由未知量），令34(,)T x x =(1,0)T ，(0,1)T，得到对应齐次方程组的一个基础解系T )0,1,13,8(1--=ξ，T )1,0,9,5(2-=ξ，方程组的通解为0112212(1,3,0,0)(8,13,1,0)(5,9,0,1)T T T k k k k ηηξξ=++=--+--+-,其中21,k k 为任意常数．（3）⎪⎪⎩⎪⎪⎨⎧=++=-+=-+-=-+10013212213321321321321x x x x x x x x x x x x ．解 对增广矩阵A 施行行初等变换⎪⎪⎪⎪⎪⎭⎫ ⎝⎛---−→−⎪⎪⎪⎪⎪⎭⎫⎝⎛----=101400201034101311100111132112121311A ⎪⎪⎪⎪⎪⎭⎫⎝⎛----→⎪⎪⎪⎪⎪⎭⎫⎝⎛----−→−96000540034101311101400540034101311，因为3)(4)(=≠=A r A r ，所以方程组无解.3-4．讨论下述线性方程组中，λ取何值时有解、无解、有惟一解？并在有解时求出其解．⎪⎩⎪⎨⎧=++++=+-+=+++3)3()1(3)1(2)3(321321321x x x x x x x x x λλλλλλλλ． 解 方程组的系数行列式为231211(1)3(1)3A λλλλλλλλ+=-=-++.（1）当0A ≠时，即01λλ≠≠且时，方程组有惟一解． （2）当0A ＝时，即01λλ＝或＝时， (i) 当0λ＝时,原方程组为12323133200333x x x x x x x ++=⎧⎪-+=⎨⎪+=⎩， 显然无解．(ii) 当1λ＝时，原方程组为⎪⎩⎪⎨⎧=++=+=++346112432131321x x x x x x x x ， 对该方程组的增广矩阵A 施行行初等变换412110111011012361430000A ⎛⎫⎛⎫⎪ ⎪=→-- ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭，因为()()23r A r A ==<，所以方程组有无穷多组解， 与原方程组同解的方程组为1323123x x x x +=⎧⎨-=-⎩， 即1323132x x x x =-⎧⎨=-+⎩（其中3x 为自由未知量）， 令30x =，得到非齐次方程组的一个解0(1,3,0)T η=-，对应的齐次方程组（即导出方程组）为13232x x x x =-⎧⎨=⎩（其中3x 为自由未知量）， 令31x =，得到对应齐次方程组的一个基础解系(1,2,1)T ξ=-，方程组的通解为0(1,3,0)(1,2,1)T T k k ηηξ=+=-+-，其中k 为任意常数．3-5．写出一个以1222341001x c c -⎛⎫⎛⎫⎪ ⎪- ⎪ ⎪=+ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭为通解的齐次线性方程组．解 由已知，1(2,3,1,0)Tξ=-和2(2,4,0,1)T ξ=-是齐次线性方程组AX O =的基础解系，即齐次线性方程组AX O =的基础解系所含解向量的个数为2，而未知数的个数为4，所以齐次线性方程组AX O =的系数矩阵A 的秩为422-=，故可设系数矩阵1112131421222324a a a a A a a a a ⎛⎫=⎪⎝⎭, 由AX O =可知()111121314,,,a a a a α=和()221222324,,,a a a a α=满足方程组()12342234,,,1001x x x x O -⎛⎫ ⎪-⎪= ⎪ ⎪⎝⎭, 即方程组123124230240x x x x x x -+=⎧⎨-++=⎩的线性无关的两个解即为12,αα,方程组的系数矩阵2310204324010111-⎛⎫⎛⎫→ ⎪ ⎪-⎝⎭⎝⎭,该方程组等价于134234243x x x x x x =--⎧⎨=--⎩（其中43,x x 为自由未知量）， 令34(,)T x x =(1,0)T ，(0,1)T，得到该齐次方程组的一个基础解系1(2,1,1,0)T α=--，23(,1,0,1)2T ξ=--，故要求的齐次线性方程组为AX O =，其中211031012A --⎛⎫⎪= ⎪--⎝⎭,即12312420302x x x x x x --+=⎧⎪⎨--+=⎪⎩. 3-6．设线性方程组⎪⎩⎪⎨⎧=+++=++0022111212111n mn m m n n x a x a x a x a x a x a， 的解都是02211=+++n n x b x b x b 的解，试证Tn b b b ),,,(21 =β是向量组T n a a a ),,,(112111 =α,T n a a a ),,,(222212 =α, ,),,,(21mn m m m a a a =α的线性组合．证 把该线性方程组记为（*），由已知，方程组（*）的解都是02211=+++n n x b x b x b 的解，所以方程组（*）与方程组111122111221122000n n m m mn n n n a x a x a x a x a x a x b x b x b x ++=⎧⎪⎪⎨+++=⎪⎪+++=⎩, 同解，从而有相同的基础解系，于是二者有相同的秩，则它们系数矩阵的行向量组12,,,m ααα和12,,,,m αααβ的秩相同，故β可由12,,,m ααα线性表示．3-7．试证明：()()r AB r B =的充分必要条件是齐次线性方程组O ABX =的解都是O BX =的解．证 必要性.因为()()r AB r B =，只须证O ABX =与O BX =的基础解系相同．O ABX =与O BX =的基础解系都含有()n r B -个线性无关的解向量．又因为O BX =的解都是O ABX =得解．所以O BX =的基础解系也是O ABX =的基础解系．即O ABX =与O BX =有完全相同的解．所以O ABX =的解都是O BX =的解．充分性.因O ABX =的解都是O BX =的解，而O BX =的解都是ABX O =的解，故O ABX =与O BX =有完全相同的解，则基础解系也完全相同，故()()n r AB n r B -=-，所以()()r AB r B =．3-8．证明()1r A =的充分必要条件是存在非零列向量a 及非零行向量Tb ，使T A ab =．证 充分性.若存在列向量12m a a a a ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭及行向量()12T n b b b b =，其中,i j a b 不全为零1,,i m =，1,,j n =，则有()1111212212221212n n T n m m m m n a a b a b a b aa b a b a b A ab b b b a a b a b a b ⎛⎫⎛⎫⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪⎪⎝⎭⎝⎭, 显然矩阵A 的各行元素对应成比例，所以()1r A =．必要性.若()1r A =，则A 经过一系列的初等变换可化为标准形100000000D ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭， 而矩阵D 可以表示为()100100001,0,,0000D ⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪== ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭，则存在可逆矩阵P ，Q 使得1P AQ D -=，从而()11101,0,,00A PDQ P Q --⎛⎫ ⎪ ⎪== ⎪ ⎪⎝⎭，其中1,P Q -均可逆，记100a P ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭， ()11,0,,0T b Q -=，又因为P 可逆，则P 至少有一行元素不全为零，故列向量a 的分量不全为零，同理，因为1Q -可逆，所以行向量Tb 的分量不全为零．因此，存在非零列向量a 及非零行向量Tb ，使TA ab =．补充题B3-1.设A 是m n ⨯矩阵，AX O =是非其次线性方程组AX b =所对应齐次线性方程组，则下列结论正确的是（ D ）.（A ） 若AX O =仅有零解，则AX B =有惟一解； （B ） 若AX O =有非零解，则AX B =有无穷多个解； （C ） 若AX B =有无穷多个解，则AX O =仅有零解；（D ） 若AX B =有无穷多个解，则AX O =有非零解．B3-2.设A 为n 阶实矩阵，T A 是A 的转置矩阵，则对于线性方程组 （ⅰ）AX O =； （ⅱ）TA AX O =，必有（ D ）． （A ）（Ⅱ）的解是（Ⅰ）的解，（Ⅰ）的解也是（Ⅱ）的解； （B ）（Ⅱ）的解是（Ⅰ）的解，但（Ⅰ）的解不是（Ⅱ）的解； （C ）（Ⅰ）的解不是（Ⅱ）的解，（Ⅱ）的解也不是（Ⅰ）的解； （Ｄ）（Ⅰ）的解是（Ⅱ）的解，但（Ⅱ）的解不是（Ⅰ）的解．B3-3．设线性方程组AX B =有n 个未知量，m 个方程组，且()r A r =，则此方程组（ A ）．（Ａ）r m =时，有解； （Ｂ）r n =时，有惟一解；（Ｃ）m n =时，有惟一解； （Ｄ）r n <时，有无穷多解．B3-4．讨论λ取何值时，下述方程组有解，并求解：⎪⎩⎪⎨⎧=++=++=++21λλλλλz y x z y x z y x ． 解 （法一）方程组的系数行列式21111(1)(2)11A λλλλλ==-+，（1）当0A ≠时，即12λλ≠≠-且时，方程组有惟一解211(1),,222x y z λλλλλ++=-==+++．（2）当0A ＝时，即12λλ-＝或＝时 (i) 当λ＝1时,原方程组为1x y z ++=，因为()()1r A r A ==，所以方程组有无穷多组解，其通解为0112212(1,0,0)(1,1,0)(1,0,1)T T T k k k k ηηξξ=++=+-+-,其中21,k k 为任意常数． (ii) 当λ＝-2时，原方程组为212224x y z x y z x y z -++=⎧⎪-+=-⎨⎪+-=⎩， 对该方程组的增广矩阵A 施行行初等变换2111112412120112112400015A --⎛⎫⎛⎫ ⎪ ⎪=--→- ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭，因为()2()3r A r A =≠=，所以方程组无解．解 （法二）对该方程组的增广矩阵A 施行行初等变换2211111111111111A λλλλλλλλλλ⎛⎫⎛⎫ ⎪⎪=→ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭2223110110111λλλλλλλλλ⎛⎫⎪→--- ⎪ ⎪---⎝⎭22223110110021λλλλλλλλλλλ⎛⎫ ⎪→--- ⎪⎪--+--⎝⎭2221101100(1)(2)(1)(1)B λλλλλλλλλλ⎛⎫ ⎪→---= ⎪ ⎪-+-+⎝⎭，(1)当12λλ≠≠-且时, ()()3r A r A ==，方程组有惟一解211(1),,222x y z λλλλλ++=-==+++.(2) 当λ＝1时， ()()1r A r A ==，方程组有无穷多组解，其通解为0112212(1,0,0)(1,1,0)(1,0,1)T T T k k k k ηηξξ=++=+-+-,其中21,k k 为任意常数．(3) 当λ＝-2时，由B 知，()2()3r A r A =≠=，所以方程组无解．B3-5.若321,,ηηη是某齐次线性方程组的一个基础解系，证明：122331,,ηηηηηη+++也是该方程组的一个基础解系．证 设有三个数123,,k k k 使得112223331()()()0k k k ηηηηηη+++++=,则有131122233()()()0k k k k k k ηηη+++++=,因为321,,ηηη是某齐次线性方程组的一个基础解系，所以321,,ηηη线性无关，故131223000k k k k k k +=⎧⎪+=⎨⎪+=⎩, 该方程组的系数行列式10111020011=≠, 所以该方程组只有零解．即1230k k k ===．即122331,,ηηηηηη+++线性无关． 又由齐次线性方程组的性质知122331,,ηηηηηη+++都是方程组的解．所以122331,,ηηηηηη+++构成方程组的一个基础解系．B3-6.设四元非齐次线性方程组的系数矩阵的秩为3，已知321,,ξξξ是它的三个解向量，且⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=54321ξ，⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=+432132ξξ，求该方程组的通解．解 因为4,3n r ==，故原方程组的导出组的基础解系含有1n r -=个解向量，所以只须找出其导出组的一个非零解向量即可． 由解的性质知，1213,ξξξξ--均为导出组的解，所以1213123()()2()ξξξξξξξ-+-=-+为导出组的解，即123342()56ηξξξ⎛⎫⎪ ⎪=-+= ⎪ ⎪⎝⎭,为导出组的解．故原方程组的通解为123344556k k ξξη⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪=+=+ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭，k 为任意常数．B3-7. 设*ξ是非齐次线性方程组B AX =的一个解，r n -ηηη,,,21 是它对应的齐次线性方程组的一个基础解系，证明：（1）,*ξr n -ηηη,,,21 线性无关；（2）r n -+++ηξηξηξξ*2*1**,,,, 线性无关．证 （１）反证法.设,*ξr n -ηηη,,,21 线性相关，由r n -ηηη,,,21 是对应的齐次线性方程组的一个基础解系知r n -ηηη,,,21 线性无关，故*ξ可由r n -ηηη,,,21 线性表示，即*ξ是对应的齐次线性方程组的解，与题设矛盾．故,*ξr n -ηηη,,,21 线性无关．（2）反证法.设r n -+++ηξηξηξξ*2*1**,,,, 线性相关，则存在不全为零的数012,,,,n r k k k k -，使得****01122()()()0n r n r k k k k ξξηξηξη--+++++++=,即*0121122()0n r n r n r k k k k k k k ξηηη---++++++++=,由（１）知，,*ξr n -ηηη,,,21 线性无关，则0120n r k k k k -++++=，10k =，20k =，．．．，0n r k -=,从而00k =，这与012,,,,n r k k k k -不全为零矛盾,故r n -+++ηξηξηξξ*2*1**,,,, 线性无关．B3-8．设线性方程组⎪⎪⎩⎪⎪⎨⎧=+++=+++=+++nn nn n n n n n n b x a x a x a b x a x a x a b x a x a x a22112222212*********， 的系数矩阵的秩等于矩阵⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛02121222221111211nn nn n n n n b b b b a a a b a a a b a a a 的秩，试证这个方程组有解．证 令111212122212n n n n nn a a a aa a A a a a ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭, 11121121222212n n n n nn n a a a b a a a b A a a a b ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭, 11121121222212120n n n n nn n na a ab a a a b B a a a b b b b ⎛⎫ ⎪ ⎪⎪= ⎪ ⎪ ⎪⎝⎭, 因为A 比A 多一列，B 比A 多一行，故()()()r A r A r B ≤≤,而由题设()()r A r B =，所以()()r A r A =，所以原方程组有解．B-9．设A 是n 阶方阵，*A 是A 的伴随矩阵，证明：⎪⎩⎪⎨⎧-<-===*1,01,1,n r n r nr n r A A A A 当当当. 证 若A r n =，因为0A ≠，而**AA A A A E ==，1*0n A A-=≠，故A r n *=．若1A r n =-，因为0A =，所以*AA A E O ==，又因为A AA A r r r n **≥+-，而0AA r *=，所以1A r *≤；又因为1A r n =-，所以至少有一个代数余子式0ij A ≠，从而1A r *≥，故1A r *=．若1A r n <-，则A 的任一个代数余子式0ij A =，故*0A =，所以0A r *=．B3-10．设A 是m n ⨯阶方阵，证明：AX AY =，且A r n =，则X Y =． 证 因为AX AY =，所以()A X Y O -=，又因为A r n =，所以方程组()A X Y O -=只有零解，即X Y O -=，所以X Y =．。
第三章 线性方程组第一章中的克莱姆法则解决了部分线性方程组的求解问题。
当系数矩阵行列式||0A =，或方程组的个数与未知量个数不相等时，克莱姆法则就无法给出解的存在性。
另外即使可用克莱姆法则求解的线性方程组，其计算量也非常大，这一章主要解决一般线性方程组的求解问题。
§1 解的有关概念对于一般线性方程组11112211211222221122n n n n m m mn n ma x a x a xb a x a x a x b a x a x a x b +++=⎧⎪+++=⎪⎨⎪⎪+++=⎩， 记()ij m n A a ⨯=，12(,,,)T n X x x x =，12(,,,)T m B b b b =，则线性方程组可写成矩阵形式AX B =。
记(|)A A B =，称为线性方程组的增广矩阵。
如果0X 满足0AX B =，则称0X 为线性方程组AX B =的解；如果对任意X ，AX B =均不成立，称线性方程组AX B =无解。
有解的线性方程组也称为相容的线性方程组，无解的线性方程组称为不相容的线性方程组。
定义1：设有线性方程组11 (I)A X B =和22(II)A X B =，如果(I)的解全是(II)的解，且(II)的解也是(I)的解，则称线性方程组(I)与(II)同解。
如果线性方程组的解能用统一的形式来表示，称该解为线性方程组一般解（或通解）；相对应的具体的解称为特解。
求解线性方程组就是把线性方程组经过同解变换化成容易求解的方程组。
从而写出方程组的解。
§2 线性方程组的解法定义2：下列变换称为方程组的初等变换： 1) 交换两个方程位置； 2) 某一方程的非零k 倍；3) 某一方程的k 倍加到另一方程上。
性质1：方程组的初等变换是同解变换。
按同解的定义验证每经过一次方程组的初等变换均不改变方程组的解即可。
性质2：方程组的初等变换，对应于增广矩阵的初等行变换。
