习题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-=，故可设系数矩阵1112131421222324aa 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 ++=⎧⎪⎪⎨+++=⎪⎪+++=⎩L L L L L L , 同解，从而有相同的基础解系，于是二者有相同的秩，则它们系数矩阵的行向量组12,,,m αααL 和12,,,,m αααβL 的秩相同，故β可由12,,,m αααL 线性表示．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 ⎛⎫⎪ ⎪= ⎪ ⎪⎝⎭M 及行向量()12T n b b b b =L ，其中,i j a b 不全为零1,,i m =L ，1,,j n =L ，则有()1111212212221212n n Tn m m m m n a a b a b a b a a b a b a b A ab b b b a a b a b a b ⎛⎫⎛⎫⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪⎪⎝⎭⎝⎭L L LM L L L L L, 显然矩阵A 的各行元素对应成比例，所以()1r A =．必要性.若()1r A =，则A 经过一系列的初等变换可化为标准形10000000D ⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭L L L L L L L， 而矩阵D 可以表示为()100100001,0,,0000D ⎛⎫⎛⎫ ⎪ ⎪⎪ ⎪== ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭L L L L L L L M L，则存在可逆矩阵P ，Q 使得1P AQ D -=，从而()11101,0,,00A PDQ P Q --⎛⎫ ⎪ ⎪== ⎪ ⎪⎝⎭L M ，其中1,P Q -均可逆，记100a P ⎛⎫ ⎪ ⎪= ⎪ ⎪⎝⎭M ， ()11,0,,0T b Q -=L ，又因为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 阶实矩阵，TA 是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 -L ，使得****01122()()()0n r n r k k k k ξξηξηξη--+++++++=L ,即*0121122()0n r n r n r k k k k k k k ξηηη---++++++++=L L ,由（１）知，,*ξr n -ηηη,,,21Λ线性无关，则0120n r k k k k -++++=L ，10k =，20k =，．．．，0n r k -=,从而00k =，这与012,,,,n r k k k k -L 不全为零矛盾,故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 a ΛΛΛΛΛΛΛ22112222212*********， 的系数矩阵的秩等于矩阵⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛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 a a a A a a a ⎛⎫ ⎪ ⎪= ⎪⎪⎝⎭L L L L L L L, 11121121222212n n n n nn n a a a b a a a b A a a a b ⎛⎫⎪⎪= ⎪⎪⎝⎭L L L L L L L L ,11121121222212120n n n n nn n n a a a b a a a b B a a a b b b b ⎛⎫⎪⎪ ⎪= ⎪⎪ ⎪⎝⎭L L LL L L L L L,因为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 n r 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 =．。