武汉大学《线性代数》04 第四章

第四章 矩阵的初等变换与线性方程组1．把下列矩阵化为行最简形矩阵：(1) ⎪⎪⎪⎭⎫ ⎝⎛--340313021201; (2) ⎪⎪⎪⎭⎫ ⎝⎛----174034301320;(3) ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛---------12433023221453334311; (4) ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛------34732038234202173132.解 (1) ⎪⎪⎪⎭⎫ ⎝⎛--3403130212011312)3()2(~r r r r -+-+⎪⎪⎪⎭⎫ ⎝⎛---020********* )2()1(32~-÷-÷r r ⎪⎪⎪⎭⎫ ⎝⎛--01003100120123~r r -⎪⎪⎪⎭⎫⎝⎛--300031001201 33~÷r ⎪⎪⎪⎭⎫ ⎝⎛--100031001201323~r r +⎪⎪⎪⎭⎫⎝⎛-1000010012013121)2(~r r r r +-+⎪⎪⎪⎭⎫⎝⎛100001000001(2) ⎪⎪⎪⎭⎫ ⎝⎛----174034301320 1312)2()3(2~r r r r -+-+⨯⎪⎪⎪⎭⎫⎝⎛---310031001320 21233~r r r r ++⎪⎪⎪⎭⎫ ⎝⎛000031001002021~÷r ⎪⎪⎪⎭⎫ ⎝⎛000031005010(3) ⎪⎪⎪⎪⎪⎭⎫⎝⎛---------12433023221453334311 141312323~r r r r r r ---⎪⎪⎪⎪⎪⎭⎫ ⎝⎛--------1010500663008840034311 )5()3()4(432~-÷-÷-÷r r r ⎪⎪⎪⎪⎪⎭⎫⎝⎛-----221002210022100343112423213~r r r r r r ---⎪⎪⎪⎪⎪⎭⎫⎝⎛---00000000002210032011(4) ⎪⎪⎪⎪⎪⎭⎫⎝⎛------34732038234202173132 242321232~r r r r r r ---⎪⎪⎪⎪⎪⎭⎫⎝⎛-----1187701298804202111110 141312782~r r r r r r --+⎪⎪⎪⎪⎪⎭⎫⎝⎛--4100041000202011111034221)1(~r r r r r --⨯↔⎪⎪⎪⎪⎪⎭⎫⎝⎛----0000041000111102021 32~r r +⎪⎪⎪⎪⎪⎭⎫⎝⎛--000004100030110202012．在秩是r 的矩阵中,有没有等于0的1-r 阶子式?有没有等于0的r 阶 子式?解 在秩是r 的矩阵中,可能存在等于0的1-r 阶子式,也可能存在等 于0的r 阶子式.例如，⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=00000000010000100001α3)(=αR 同时存在等于0的3阶子式和2阶子式.3．从矩阵A 中划去一行得到矩阵B ,问B A ,的秩的关系怎样? 解 )(A R ≥)(B R设r B R =)(，且B 的某个r 阶子式0≠D r .矩阵B 是由矩阵A 划去一行得到的，所以在A 中能找到与D r 相同的r 阶子式D r ，由于0≠=D D r r ， 故而)()(B R A R ≥.4．求作一个秩是4的方阵,它的两个行向量是)0,0,1,0,1(,)0,0,0,1,1(- 解 设54321,,,,ααααα为五维向量,且)0,0,1,0,1(1=α,)0,0,0,1,1(2-=α,则所求方阵可为,54321⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=αααααA 秩为4,不妨设⎪⎩⎪⎨⎧===)0,0,0,0,0(),0,0,0,0()0,,0,0,0(55443αααx x 取154==x x 故满足条件的一个方阵为⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-00000100000100000011001015．求下列矩阵的秩,并求一个最高阶非零子式：(1) ⎪⎪⎪⎭⎫ ⎝⎛---443112112013; (2) ⎪⎪⎪⎭⎫⎝⎛-------815073131213123； (3) ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛---02301085235703273812.解 (1) ⎪⎪⎪⎭⎫ ⎝⎛---443112112013r r 21~↔⎪⎪⎪⎭⎫ ⎝⎛---443120131211 ⎪⎪⎪⎭⎫⎝⎛------564056401211~12133r r r r 2000056401211~23秩为⎪⎪⎪⎭⎫ ⎝⎛----r r 二阶子式41113-=-．(2) ⎪⎪⎪⎭⎫⎝⎛-------815073131223123⎪⎪⎪⎭⎫ ⎝⎛---------152********117014431~27122113r r r r r r 200000591170144313~23秩为⎪⎪⎪⎭⎫ ⎝⎛-----r r .二阶子式71223-=-．(3) ⎪⎪⎪⎪⎪⎭⎫⎝⎛---02301085235703273812434241322~r r r r r r ---⎪⎪⎪⎪⎪⎭⎫ ⎝⎛------023010********071210 131223~r r r r ++⎪⎪⎪⎪⎪⎭⎫⎝⎛-0230114000016000071210344314211614~r r r r r r r r -÷÷↔↔⎪⎪⎪⎪⎪⎭⎫⎝⎛-0000010*******002301秩为3 三阶子式07023855023085570≠=-=-．6．求解下列齐次线性方程组:(1) ⎪⎩⎪⎨⎧=+++=-++=-++;0222,02,02432143214321x x x x x x x x x x x x (2)⎪⎩⎪⎨⎧=-++=--+=-++;05105,0363,02432143214321x x x x x x x x x x x x (3) ⎪⎪⎩⎪⎪⎨⎧=-+-=+-+=-++=+-+;0742,0634,0723,05324321432143214321x x x x x x x x x x x x x x x x (4)⎪⎪⎩⎪⎪⎨⎧=++-=+-+=-+-=+-+.0327,01613114,02332,075434321432143214321x x x x x x x x x x x x x x x x解 (1) 对系数矩阵实施行变换:⎪⎪⎪⎭⎫ ⎝⎛--212211121211⎪⎪⎪⎪⎭⎫⎝⎛---3410013100101~即得⎪⎪⎪⎩⎪⎪⎪⎨⎧==-==4443424134334x x x x x x x x 故方程组的解为⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1343344321k x x x x(2) 对系数矩阵实施行变换:⎪⎪⎪⎭⎫ ⎝⎛----5110531631121⎪⎪⎪⎭⎫ ⎝⎛-000001001021~ 即得⎪⎪⎩⎪⎪⎨⎧===+-=4432242102x x x x x x x x 故方程组的解为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛10010*********k k x x x x(3) 对系数矩阵实施行变换:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-----7421631472135132⎪⎪⎪⎪⎪⎭⎫⎝⎛1000010000100001~即得⎪⎪⎩⎪⎪⎨⎧====00004321x xx x故方程组的解为⎪⎪⎩⎪⎪⎨⎧====00004321x x x x(4) 对系数矩阵实施行变换:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-----3127161311423327543⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛--000000001720171910171317301~ 即得⎪⎪⎪⎩⎪⎪⎪⎨⎧==-=-=4433432431172017191713173x x x x x x x x x x故方程组的解为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛--+⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫⎝⎛1017201713011719173214321k k x x x x7．求解下列非齐次线性方程组:(1) ⎪⎩⎪⎨⎧=+=+-=-+;8311,10213,22421321321x x x x x x x x (2) ⎪⎪⎩⎪⎪⎨⎧-=+-=-+-=+-=++;694,13283,542,432z y x z y x z y x z y x(3) ⎪⎩⎪⎨⎧=--+=+-+=+-+;12,2224,12w z y x w z y x w z y x (4) ⎪⎩⎪⎨⎧-=+-+=-+-=+-+;2534,4323,12w z y x w z y x w z y x解 (1) 对系数的增广矩阵施行行变换,有⎪⎪⎭⎫ ⎝⎛----⎪⎪⎪⎭⎫ ⎝⎛--60003411100833180311102132124~2)(=A R 而3)(=B R ,故方程组无解．(2) 对系数的增广矩阵施行行变换:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-----69141328354214132⎪⎪⎪⎪⎪⎭⎫ ⎝⎛--0000000021101201~ 即得⎪⎩⎪⎨⎧=+=--=zz z y z x 212亦即⎪⎪⎪⎭⎫⎝⎛-+⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎭⎫ ⎝⎛021112k z y x(3) 对系数的增广矩阵施行行变换:⎪⎪⎪⎭⎫ ⎝⎛----111122122411112⎪⎪⎪⎭⎫ ⎝⎛-000000100011112~ 即得⎪⎪⎪⎩⎪⎪⎪⎨⎧===++-=0212121w z z y y z y x 即⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00021010210012121k k w z y x(4) 对系数的增广矩阵施行行变换:⎪⎪⎪⎭⎫⎝⎛----⎪⎪⎪⎭⎫ ⎝⎛-----000007579751025341253414312311112~⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛----000007579751076717101~ 即得⎪⎪⎪⎩⎪⎪⎪⎨⎧==--=++=w w z z w z y w z x 757975767171 即⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-+⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-+⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00757610797101757121k k w z y x8．λ取何值时,非齐次线性方程组 ⎪⎩⎪⎨⎧=++=++=++2321321321,,1λλλλλx x x x x x x x x (1)有唯一解；(2)无解；(3)有无穷多个解?解 (1) 0111111≠λλλ,即2,1-≠λ时方程组有唯一解.(2) )()(B R A R < ⎪⎪⎪⎭⎫ ⎝⎛=21111111λλλλλB ⎪⎪⎭⎫ ⎝⎛+-+----22)1)(1()2)(1(00)1(11011~λλλλλλλλλλ由0)1)(1(,0)2)(1(2≠+-=+-λλλλ 得2-=λ时,方程组无解.(3) 3)()(<=B R A R ,由0)1)(1()2)(1(2=+-=+-λλλλ, 得1=λ时,方程组有无穷多个解.9．非齐次线性方程组⎪⎩⎪⎨⎧=-+=+--=++-23213213212,2,22λλx x x x x x x x x 当λ取何值时有解？并求出它的解．解 ⎪⎪⎪⎪⎭⎫ ⎝⎛+-----⎪⎪⎪⎭⎫ ⎝⎛----=)2)(1(000)1(321101212111212112~2λλλλλλB方程组有解，须0)2)(1(=+-λλ得2,1-==λλ当1=λ时,方程组解为⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎭⎫ ⎝⎛001111321k x x x当2-=λ时,方程组解为⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎭⎫ ⎝⎛022111321k x x x10．设⎪⎩⎪⎨⎧--=-+--=--+=-+-,1)5(42,24)5(2,122)2(321321321λλλλx x x x x x x x x问λ为何值时,此方程组有唯一解、无解或有无穷多解？并在有无穷多解时求解．解 ⎪⎪⎪⎭⎫ ⎝⎛---------154224521222λλλλ初等行变换~⎪⎪⎪⎪⎪⎭⎫⎝⎛---------2)4)(1(2)10)(1(00111012251λλλλλλλλ 当0≠A ,即02)10()1(2≠--λλ 1≠∴λ且10≠λ时，有唯一解.当02)10)(1(=--λλ且02)4)(1(≠--λλ，即10=λ时，无解.当02)10)(1(=--λλ且02)4)(1(=--λλ，即1=λ时，有无穷多解.此时，增广矩阵为⎪⎪⎪⎭⎫ ⎝⎛-000000001221原方程组的解为⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎭⎫ ⎝⎛00110201221321k k x x x (R k k ∈21,)11．试利用矩阵的初等变换，求下列方阵的逆矩阵：(1) ⎪⎪⎪⎭⎫⎝⎛323513123; (2) ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-----1210232112201023. 解 （1）⎪⎪⎪⎭⎫ ⎝⎛100010001323513123⎪⎪⎪⎭⎫ ⎝⎛---101011001200410123~⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----10121121023200010023~⎪⎪⎪⎪⎪⎭⎫⎝⎛----2102121129227100010003~⎪⎪⎪⎪⎪⎭⎫⎝⎛----21021211233267100010001~故逆矩阵为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----21021211233267(2) ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-----10000100001000011210232112201023 ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----00100301100001001220594012102321~ ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛--------20104301100001001200110012102321~ ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-------106124301100001001000110012102321~ ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----------10612631110`1022111000010000100021~ ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-------106126311101042111000010000100001~ 故逆矩阵为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛-------1061263111010421112．(1) 设⎪⎪⎪⎭⎫ ⎝⎛--=⎪⎪⎪⎭⎫ ⎝⎛--=132231,113122214B A ,求X 使B AX =;(2) 设⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎭⎫ ⎝⎛---=132321,433312120B A ,求X 使B XA =. 解 (1) ()⎪⎪⎪⎭⎫ ⎝⎛----=132231113122214B A 初等行变换~⎪⎪⎪⎭⎫ ⎝⎛--412315210100010001 ⎪⎪⎪⎭⎫ ⎝⎛--==∴-4123152101B A X (2) ⎪⎪⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛----=⎪⎭⎫ ⎝⎛132321433312120B A 初等列变换~⎪⎪⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛---474112100010001 ⎪⎪⎭⎫ ⎝⎛---==∴-4741121BA X ．。

线性代数四五章知识点总结第四章：行列式1. 行列式的定义行列式是一个数学工具，它可以用来表示一个线性变换对体积的放大倍数。

对于一个n阶（n行n列）的方阵A，它的行列式记作det(A)，行列式的元素通常用aij表示，其中i代表行号，j代表列号。

2. 行列式的性质（1）行列式中的行（列）互换，则行列式变号。

（2）行列式的某一行（列）乘以一个数k，那么行列式的值也要乘以k。

（3）行列式中的某一行（列）的元素都是两个数的和，那么行列式等于两个行列式的和。

（4）若行列式中有两行（列）完全相同，则行列式的值为0。

3. 行列式的计算（1）余子式和代数余子式对于一个n阶行列式A，如果去掉第i行和第j列的元素后，剩下来的(n-1)阶行列式就是A的余子式，用Mij表示。

而对应的代数余子式就是Mij乘上(-1)^(i+j)。

（2）拉普拉斯（Laplace）展开定理通过代数余子式的计算，可以利用拉普拉斯展开定理来计算n阶行列式的值。

即对于一个n阶行列式A，其中的元素aij乘以对应的代数余子式Mij后相加，即可得到行列式的值。

第五章：特征值和特征向量1. 特征值和特征向量的概念对于一个n阶方阵A，如果存在一个非零向量x和一个数λ，使得Ax=λx，那么λ称为A 的特征值，x称为A对应于特征值λ的特征向量。

2. 特征值和特征向量的计算寻找一个矩阵的特征值和特征向量可以通过求解方程组(A-λI)x=0来得到。

其中A是待求矩阵，λ是特征值，x是特征向量，I是单位矩阵。

3. 特征值和特征向量的性质（1）特征值的性质：一个n阶方阵A的n个特征值之和等于它的主对角线元素之和，即Tr(A)=λ1+λ2+...+λn。

（2）特征向量的性质：如果A有n个不同的特征值λ1,λ2,...,λn，那么这n个特征值对应的n个特征向量是线性无关的。

4. 特征值与对角化如果一个n阶方阵A有n个线性无关的特征向量，那么可以将它对角化成对角阵D，即找到一个可逆矩阵P，使得P^-1AP=D。

第四章　向量组的线性相关性1 设v1(1 1 0)T v2(0 1 1)T v3(3 4 0)T求v1v2及3v12v2v3解v1v2(1 1 0)T(0 1 1)T(10 11 01)T(1 0 1)T3v12v2v33(1 1 0)T 2(0 1 1)T (3 4 0)T(31203 31214 30210)T(0 1 2)T2 设3(a1a)2(a2a)5(a3a) 求a其中a1(2 5 1 3)Ta2(10 1 5 10)T a3(4 1 1 1)T解由3(a1a)2(a2a)5(a3a)整理得(1 2 3 4)T3 已知向量组A a1(0 1 2 3)T a2(3 0 1 2)T a3(2 3 0 1)TB b1(2 1 1 2)T b2(0 2 1 1)T b3(4 4 1 3)T证明B组能由A组线性表示但A组不能由B组线性表示证明由知R(A)R(A B)3 所以B组能由A组线性表示由知R(B)2 因为R(B)R(B A) 所以A组不能由B组线性表示4 已知向量组A a1(0 1 1)T a2(1 1 0)TB b1(1 0 1)T b2(1 2 1)T b3(3 2 1)T证明A组与B组等价证明由知R(B)R(B A)2 显然在A中有二阶非零子式故R(A)2 又R(A)R(B A)2 所以R(A)2 从而R(A)R(B)R(A B) 因此A组与B组等价5 已知R(a1a2a3)2 R(a2a3a4)3 证明(1) a1能由a2a3线性表示(2) a4不能由a1a2a3线性表示证明 (1)由R(a2a3a4)3知a2a3a4线性无关故a2a3也线性无关又由R(a1 a2a3)2知a1a2a3线性相关故a1能由a2a3线性表示(2)假如a4能由a1a2a3线性表示则因为a1能由a2a3线性表示故a4能由a2a3线性表示从而a2a3a4线性相关矛盾因此a4不能由a1a2a3线性表示6 判定下列向量组是线性相关还是线性无关(1) (1 3 1)T (2 1 0)T (1 4 1)T(2) (2 3 0)T (1 4 0)T (0 0 2)T解 (1)以所给向量为列向量的矩阵记为A因为所以R(A)2小于向量的个数从而所给向量组线性相关(2)以所给向量为列向量的矩阵记为B因为所以R(B)3等于向量的个数从而所给向量组线性相无关7 问a取什么值时下列向量组线性相关？a1(a 1 1)T a2(1 a 1)T a3(1 1 a)T解以所给向量为列向量的矩阵记为A由如能使行列式等于0，则此时向量组线性相关（具体看书后相应答案）8 设a1a2线性无关a1b a2b线性相关求向量b用a1a2线性表示的表示式解因为a1b a2b线性相关故存在不全为零的数12使(a1b)2(a2b)01由此得设则b c a1(1c)a2c R9 设a1a2线性相关b1b2也线性相关问a1b1a2b2是否一定线性相关？试举例说明之（也可看书后答案）解不一定例如当a1(1 2)T, a2(2 4)T, b1(1 1)T, b2(0 0)T时有a1b1(1 2)T b1(0 1)T, a2b2(2 4)T(0 0)T(2 4)T而a1b1a2b2的对应分量不成比例是线性无关的10 举例说明下列各命题是错误的(1)若向量组a1a2a m是线性相关的则a1可由a2a m线性表示解设a1e1(1 0 0 0) a2a3a m0则a1a2a m线性相关但a1不能由a2a m线性表示(2)若有不全为0的数12m使a1m a m1b1m b m01成立则a1a2a m线性相关, b1b2b m亦线性相关解有不全为零的数12m使a1m a m 1b1m b m01原式可化为(a1b1) m(a m b m)01取a1e1b1a2e2b2a m e m b m其中e1e2e m为单位坐标向量则上式成立而a1 a2a m和b1b2b m均线性无关(3)若只有当12m全为0时等式a1m a m1b1m b m01才能成立则a1a2a m线性无关, b1b2b m亦线性无关解由于只有当12m全为0时等式由1a1m a m1b1m b m0成立所以只有当12m全为0时等式(a1b1)2(a2b2) m(a m b m)01成立因此a1b1a2b2a m b m线性无关取a1a2a m0取b1b m为线性无关组则它们满足以上条件但a1a2a m线性相关(4)若a1a2a m线性相关, b1b2b m亦线性相关则有不全为0的数12m使a1m a m0 1b1m b m01同时成立解a1(1 0)T a2(2 0)T b1(0 3)T b2(0 4)Ta12a2 01221b12b2 01(3/4)210 与题设矛盾1211 设b1a1a2b2a2a3 b3a3a4 b4a4a1证明向量组b1b2b3b4线性相关证明由已知条件得a1b1a2a2b2a3 a3b3a4 a4b4a1于是a1 b1b2a3b1b2b3a4b1b2b3b4a1从而b1b2b3b40这说明向量组b1b2b3b4线性相关12 设b1a1b2a1a2b r a1a2 a r且向量组a1a2a r线性无关证明向量组b1b2b r线性无关证明已知的r个等式可以写成上式记为BAK因为|K|10 K可逆所以R(B)R(A)r从而向量组b1b2b r线性无关13 求下列向量组的秩, 并求一个最大无关组(1)a1(1 2 1 4)T a2(9 100 10 4)T a3(2 4 2 8)T解　由知R(a1a2a3)2 因为向量a1与a2的分量不成比例故a1a2线性无关所以a1 a2是一个最大无关组(2)a1T(1 2 1 3) a2T(4 1 5 6) a3T(1 3 4 7)解由知R(a1T a2T a3T)R(a1a2 a3)2 因为向量a1T与a2T的分量不成比例故a1T a2T 线性无关所以a1T a2T是一个最大无关组14 利用初等行变换求下列矩阵的列向量组的一个最大无关组(1)解因为所以第1、2、3列构成一个最大无关组.(2)解因为所以第1、2、3列构成一个最大无关组（关于14的说明：14题和书上的14题有些不同，答案看书后的那个）15 设向量组(a 3 1)T (2 b 3)T(1 2 1)T (2 3 1)T的秩为2 求a b解设a1(a 3 1)T a2(2 b 3)T a3(1 2 1)T a4(2 3 1)T因为而R(a1a2a3a4)2 所以a2 b516 设a1a2a n是一组n维向量已知n维单位坐标向量e1e2e n能由它们线性表示证明a1a2a n线性无关证法一记A(a1a2a n) E(e1e2e n) 由已知条件知存在矩阵K使EAK两边取行列式得|E||A||K|可见|A|0 所以R(A)n从而a1a2a n线性无关证法二因为e1e2e n能由a1a2a n线性表示所以R(e1e2e n)R(a1a2a n)而R(e1e2e n)n R(a1a2a n)n所以R(a1a2a n)n从而a1a2a n线性无关17 设a1a2a n是一组n维向量, 证明它们线性无关的充分必要条件是任一n维向量都可由它们线性表示证明必要性设a为任一n维向量因为a1a2a n线性无关而a1a2a n a 是n1个n维向量是线性相关的所以a能由a1a2a n线性表示且表示式是唯一的充分性已知任一n维向量都可由a1a2a n线性表示故单位坐标向量组e1 e2e n能由a1a2a n线性表示于是有nR(e1e2e n)R(a1a2a n)n即R(a1a2a n)n所以a1a2a n线性无关18 设向量组a1a2a m线性相关且a10证明存在某个向量a k (2km) 使a k能由a1a2a k1线性表示证明因为a1a2a m线性相关所以存在不全为零的数12m使a12a2m a m01而且23m不全为零这是因为如若不然则1a10由a10知10 矛盾因此存在k(2km) 使0 k1k2m0k于是a12a2k a k01a k(1/k)(1a12a2k1a k1)即a k能由a1a2a k1线性表示19 设向量组B b1b r能由向量组A a1a s线性表示为(b1b r)(a1a s)K其中K为sr矩阵且A组线性无关证明B组线性无关的充分必要条件是矩阵K的秩R(K)r证明　令B(b1b r) A(a1a s) 则有BAK必要性设向量组B线性无关由向量组B线性无关及矩阵秩的性质有rR(B)R(AK)min{R(A) R(K)}R(K)及R(K)min{r s}r因此R(K)r充分性因为R(K)r所以存在可逆矩阵C使为K的标准形于是(b1b r)C( a1a s)KC(a1a r)因为C可逆所以R(b1b r)R(a1a r)r从而b1b r线性无关20 设证明向量组12n与向量组12n等价证明将已知关系写成将上式记为BAK因为所以K可逆故有ABK1由BAK和ABK1可知向量组12n与向量组12n可相互线性表示因此向量组12n与向量组12n等价21 已知3阶矩阵A与3维列向量x满足A3x3A x A2x且向量组x A x A2x线性无关(1)记P(x A x A2x) 求3阶矩阵B使APPB解因为APA(x A x A2x)(A x A2x A3x)(A x A2x 3A x A2x)所以(2)求|A|解由A3x3A x A2x得A(3x A x A2x)0因为x A x A2x线性无关故3x A x A2x0即方程A x0有非零解所以R(A)3 |A|0（从22题开始，凡涉及到基础解系问题的，答案都不是唯一的，可以参考本文答案，也可以看书后的答案，不过以书后的答案为主。

第四章 二次型习题4．1 二次型及其标准形（P.108-P.109）1．用矩阵记号表示下列二次型：（1）2222426;f x xy y xz z yz =+++++（2）22221234121314232424264f x x x x x x x x x x x x x x =+++-+-+- 解：（1）2222426f x xy y xz z yz =+++++()111,,143131x x y z y x ⎛⎫⎛⎫⎪⎪'== ⎪⎪ ⎪⎪⎝⎭⎝⎭x Ax（2）22221234121314232424264f x x x x x x x x x x x x x x =+++-+-+-()1212343411211132,,,23101201x x x x x x x x --⎛⎫⎛⎫ ⎪⎪-- ⎪⎪'== ⎪ ⎪ ⎪ ⎪ ⎪⎪--⎝⎭⎝⎭x Ax 2．用配方法或矩阵变换法化下列二次型为标准形，并求所用的变换矩阵： （1）222123121323235448f x x x x x x x x x =+++--； 解：222123121323235448f x x x x x x x x x =+++--22212323232()34x x x x x x x =+-++- 2221232332()(2)x x x x x x =+-+--令：11231123223223333311122012001y x x x x y y y y x x x y y C y x x y =+-=----⎧⎧⎛⎫⎪⎪ ⎪=-⇒=+=⎨⎨ ⎪⎪⎪ ⎪==⎩⎩⎝⎭10C =≠ 得2221232f y y y =+-（2）222123122313210282f x x x x x x x x x =+++++； 解： 222123122313210282f x x x x x x x x x =+++++2221232323()96x x x x x x x =+++++ 2212323()(3)x x x x x =++++令112311232232233333211233013001y x x x x y y y y x x x y y C y x x y =++=-+-⎧⎧⎛⎫⎪⎪ ⎪=+⇒=-=-⎨⎨ ⎪⎪⎪ ⎪==⎩⎩⎝⎭， 10C =≠ 得 2212f y y =+ （3）122334f x x x x x x =++解：令11211212223343343444110110000110011x y y x y x y y x y x y y x y x y y x y =+⎧⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪⎪=--⎪ ⎪ ⎪⎪⇒=⎨⎪ ⎪ ⎪=+⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪=--⎝⎭⎝⎭⎝⎭⎩ 121212343434()()()()()()f y y y y y y y y y y y y =+-+-+++-2222123413142324y y y y y y y y y y y y =-+-++--222213423423243411351()22442y y y y y y y y y y y y =++-+---- 2222134234341111()()2222y y y y y y y y =++-+++-令1134113422342234333344441111222211112222z y y y y z z z z y y y y z z z z y y z z y y z ⎧⎧=++=--⎪⎪⎪⎪⎪⎪=++=--⇒⎨⎨⎪⎪==⎪⎪⎪⎪==⎩⎩,即1122334411102211012200100001y z y z y z y z ⎛⎫-- ⎪⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪ ⎪--= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪⎝⎭⎝⎭ ⎪⎝⎭得 22221234f z z z z =-+-变换矩阵：1110110011112211001111000122001100110010001100110001C ⎛⎫-- ⎪--⎛⎫⎛⎫ ⎪⎪ ⎪--⎪⎪ ⎪--== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-- ⎪⎝⎭⎝⎭ ⎪⎝⎭40C =≠（4）222123121323255448f x x x x x x x x x =+++--解： 222123123232()334f x x x x x x x =+-++-222123233252()3()33x x x x x x =+-+-+ 令 1123112322322333331322,33x y y y y x x x y x x x y y C y x x y ⎧=-+⎪=+-⎧⎪⎪⎪⎪=-⇒=+=⎨⎨⎪⎪==⎪⎪⎩⎪⎩x y 即， 其中 11132013001C ⎛⎫- ⎪⎪ ⎪= ⎪⎪ ⎪ ⎪⎝⎭， 10C =≠ 得 2221235233f y y y =++3．若矩阵1A 合同于12,B A 合同于2B ，试证：12⎛⎫⎪⎝⎭A 00A 合同于12⎛⎫ ⎪⎝⎭B 00B 。