高等代数(北大版)第5章习题参考答案[1]
- 格式:doc
- 大小:1.47 MB
- 文档页数:41
习题5.11.,,,,,().11,,().22ABCDAB AD AC DB MA M AC DB MA AM AC ===+=-=-=-=-+ 设为一平行四边形试用表示为平行四边形对角线的交点解a b.a b a b a b a b()2.,1().211221().2M AB O OM OA OB OM OA AM OA AB OA OB OA OA OB =+=+=+=+-=+设为线段的中点,为空间中的任意一点证明证3.,,1().3221()3321(),31(),3M ABC O OM OA OB OC OM OA AM OA AD OA AB AC OA AB AC OM OB BA BC OM OC =++=+=+=+⨯+=++=++=设为三角形的重心为空间中任意一点证明证1().313,().3CA CB OM OA OB OC OM OA OB OC ++=++=++4.,1,().41(),211(),(),221().24ABCD M O OM OA OB OC OD OM OA AM OA AB AD OM OB BA AD OM OC BA DA OM OD AB DA OM OA OB OC OD =+++=+=++=++=++=++=+++ 设平行四边形的对角线交点为为空间中的任意一点证明证1,().4OM OA OB OC OD =+++2222225.?(1)()();(2)();(3)()().(1).:()().(2).:()0, 1.(3),6.==⨯=⨯======0 对于任意三个向量与判断下列各式是否成立不成立例如,不成立例如,成立都是与组成的平行六面体的有向体积利用向量证明三角形两边中点的连线平行解a,b c,a b c b c a a b a b a b c c a b a b i c =j.a b c =j,b c a =a i b j,a b a b a,b c .,112211().22DE DA AE BA ACBA AC BC =+=+=+=于第三边并且等于第三边长度之半.证2227.:(1),;(2).(1)()()()()||||0.()cos |||||||||||||AC BD AB BC BC CD AB BC BC CD BC CD AB AC AB AB AD AB AB AB AD a AB ADAB AC AB AC AB AC α=++=+-=-=+++===利用向量证明菱形的对角线互相垂直且平分顶角勾股弦定理证2,||()cos cos .|||||||||||,.a AC AD AB AD AD AB AD AD a AB ADAB AC AB AC a AC βααβαβ+++===== 与都是锐角故 22222(2)||()()||||2||||.ACAC AC AB BC AB BC AB BC AB BC AB BC ==++=++=+2222222222222222228.()()||||.()()||||cos ||||sin ||||(cos sin )||||.9..||.AB AC ABC ABC ABDC AB AC αααα⨯+=⨯+=+=+=∆=⨯证明恒等式试用向量与表示三角形的面积11的面积=的面积22证解a b a b a b a b a b a b a b a b a b222222222210.,,,()()2().()()()()()()222().=++-=+++-=+++--=-+ 给定向量记为即现设为任意向量证明证a a a a a a a.a b , :a b a b a b a b a b a b a b a b a b a a +b b +a b +a a +b b a b =a b2222222222211.,,:().:()||(||sin )||sin ||.,αα⨯≤⨯=⨯==≤=对于任意向量证明问等号成立的充分必要条件是什么?等号成立的充分必要条件是正交证22a b a b a b a b a b a ||b a ||b a ||b a b a b .。
高等代数(北大版第三版)习题答案I篇一:高等代数(北大版)第3章习题参考第三章线性方程组1.用消元法解以下线性方程组:?x1?x?1?1)?x1x1x13x25x34x413x22x32x42x2x3x4x54x2x3x4x52x2x3x4x5 x12x23x42x51x5??1?x1x23x3x43x523 2)2x?3x?4x?5x?2x?72345?139x9x6x16x2x252345?11x3?x7?0?3x1?4x2?5?x1?2x2?3x3?4x4?44x3?x2?0?x2?x3?x4??3?2x1?3x2?343)?4)?4x?11x?13x?16x?0x?3x??x?123424?1?17x?3x?x3?7x?2x?x?3x0234234??1?x1?2x2?3x3?x4?1?2x1?x2?x3?x4?1?3x1?2x2?x3?x4?13x1?2x2?2x3?3x4?25)? 6)?2x1?3x2?x3?x4?12x2x2xx15x1x2x32x4123412xxx3x4234?15x1?5x2?2x3?2解1)对方程组得增广矩阵作行初等变换,有111111000033?2?420000?1521112?3?20?1?4?2?11?1?1200101?1?11010001??110??30??3??01?011?200?0000030?5?7?10000?15?3?4?4?400?200423581200001?1?11010001?2?2? ?221?2?0? ?0?0由于rank(A)?rank(B)?4?5,因此方程组有无穷多解,其同解方程组为x1x412x1x52,?2x03x?x?0?24解得x1x2x3x4x51kk0k22k其中k为任意常数。
2)对方程组德增广矩阵作行初等变换,有112910 ??002?1?3?920?3463151632?3221??120?0725022?3?7?27120?346341110?2?5?2?1631?1 5161334512529?8?011??333033?2529??72?10??334?512529? 8001?1?3330000??01?由于rank(A)?4?rank(A)?3,因此原方程无解。
习题 5.1解答A ⊆B A B =A A B =B 1. 设,证明:,.ααααααα∀∈A ⊆B ∈B ∴∈A B⊆A BAB ⊆AB =A∀∈A B ∈∈B A ⊆B ∈BA B ⊆B B ⊆A BAB =B证 A ,由,得 即得证A 又A 故 ,则A 或 但,因此无论那一种情形都有 此即,但 所以(B C C 2. :1)A =A B A 证明 )()();(((((((x x x x x x x x x x x x x x ∀∈∈∈∈∈∈∈⊆∈∈∈∈∈∈∈证 A (B C ),则A 且(B C )在后一情形,B 或C, 于是AB 或AC 所以AB)AC )由此得A (B C )A B)AC )反之,若A B)A C ),则AB 或AC在前一情形,A,B,因此B C 故A B C )在后一情(((((((x x x x ∈∈∈∈⊆形,A,C, 因此BC也得A BC ) 故A B)AC )AB C ) 于是AB C )=AB)AC )C C 2A B =A B A .)()()()x x x x x x x x x x x ∈∈∈∈∈∈∈∈∈∈∈∴⊆⊆ 证 若A (B C ),则A 或者BC在前一情形AB 且A C因而(A B )(AC )在后一情形B ,C ,因而AB 且AC即(A B )(A C ) A (B C )(A B )(A C )同理可证(A B )(AC )A (BC )故A (BC )=(AB )(AC )3:|,:|a b a b b f a bc d c d a ⨯⎛⎫⎛⎫→→+ ⎪ ⎪⎝⎭⎝⎭22 、问:法则g 是否为Q 到Q 的映射?单射还是双射?22(((a f f Q g g g ⨯⎛⎫⎛⎫∀∈∈⇒ ⎪ ⎪⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫⎛⎫≠ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭∴解 当取0时在中没有象,所以不是映射;a 0a 0 a Q,有)=a,但000012121212)=3=),而00420042g 是满射不是单射.2()(),:()|()[]f x f x f x f x Q x φϕ'→→4. 问:满足:|是否为的变换?单射还是双射?φφφ'∈∴∀∈Φ解 (f(x))=f (x)Q[x] 是变换;又f(x)Q[x],有((x))=f(x),而22(())()(())(())()()f x f x f x f x f x f x φφφϕϕϕϕϕΦ∈'≠∴∀∈=∈∴∀∈=-=-≠∴⎰x(x)=f(x)dx Q[x],又 (f(x))=(f(x)+1)=f (x),而f(x)f(x)+1是满射不是单射.又f(x)Q[x],Q[x]是变换,又f(x)Q[x],但f(x)并且-f(x)没有原象,既不是单射又不是满射.{}|01y y y A B ≤<5. 设是一切非负实数构成的集合,又=是实数且:|1x f x x→A B + 证明: 是到的一个双射.()(),1,,1,111a ba b f a f b a ba b f yy y yyy fy y y f f ∀∈=+∴=∴∀∈≤≤∴≥-⎛⎫∴∈= ⎪--⎝⎭∴ 证 A,==1+ 是A 到B 的一个单射. B 00,A,且使得 是A 到B 的满射.综上所述得,是A 到B 的一个双射.{},:11,21,32,42;1223,4,1f g A →→→→→→→→6. 设=1,2,3,4规定 :,34.,f g fg gf fg gf A 1) 说明都是的变换;2) 求和,问和是否相等?(),():11,22,32,41:12,22,33,43.f x Ag x Af g fg gf g gf ∀∈∈∈∴→→→→→→→→≠证明 (1)x A,与都是由A 到A 的映射, 从而都是A 的变换. (2)所以f,,:::A B C f A B g B C gf A C g →→→7.证明是三个非空集合,是满射,,但是单射,证明是单射.1212121212,(),()()()()()f a a f a f a f a f a f a a f a f a ∈∴∃∈==⇒=⇒==∴12121212证明:设b ,b B,且g(b )=g(b )因是满射,A,使得b b 即有g()=g()g 是单射 即b b g 是单射习题 5.2解答1. 检验以下集合对所规定的代数运算是否作成数域上F 的线性空间.{}{}{}{}()|,()|,()|0,()|0n n n ij n ij i j a i j a 1) S=A M F A =A T=A M F A =-A U=A M F 时 L=A M F 时'∈'∈∈>=∈<=∴解S ,T ,U ,L 分别对称矩阵、反对称矩阵、上三角矩阵和下三角矩阵,所以S 、T 、U 、L 都非空,又根据其相应性质知,S 、T 、U 、L 中的元素关于矩阵的加法与F 中的数与矩阵的乘法都封闭,S 、T 、U 、L 都作成数域F 上的线性空间。
高等代数(北大版第三版)习题答案I I(总95页)-本页仅作为预览文档封面,使用时请删除本页-高等代数(北大第三版)答案目录第一章多项式第二章行列式第三章线性方程组第四章矩阵第五章二次型第六章线性空间第七章线性变换第八章 —矩阵第九章欧氏空间第十章双线性函数与辛空间注:答案分三部分,该为第二部分,其他请搜索,谢谢!12.设A 为一个n 级实对称矩阵,且0<A ,证明:必存在实n 维向量0≠X ,使0<'A X X 。
证 因为0<A ,于是0≠A ,所以()n A rank =,且A 不是正定矩阵。
故必存在非退化线性替换Y C X 1-=使()BY Y ACY C Y AX X '=''='-12222122221n p p p y y y y y y ----+++=++ ,且在规范形中必含带负号的平方项。
于是只要在Y C Z 1-=中,令p y y y === 21,1,021=====++n p p y y y 则可得一线性方程组 ⎪⎪⎪⎪⎩⎪⎪⎪⎪⎨⎧=+++=+++=+++=++++++1102211,122,111,122111212111n nn n n n n p p p n pn p p n n x c x c x c x c x c x c x c x c x c x c x c x c ,由于0≠C ,故可得唯一组非零解()ns s s s x x x X ,,,21 =使()0111000<--=----+++='p n AX X s s, 即证存在0≠X ,使0<'A X X 。
13.如果B A ,都是n 阶正定矩阵,证明:B A +也是正定矩阵。
证 因为B A ,为正定矩阵,所以BX X AX X '',为正定二次型,且 0>'A X X , 0>'B X X ,因此()0>'+'=+'BX X AX X X B A X ,于是()X B A X +'必为正定二次型,从而B A +为正定矩阵。
高等代数北大版教案-第5章二次型-CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN48第五章 二次型§1 二次型的矩阵表示一 授课内容:§1 二次型的矩阵表示二 教学目的:通过本节的学习,掌握二次型的定义,矩阵表示,线性替换和矩阵的合同.三 教学重点:矩阵表示二次型四 教学难点:二次型在非退化下的线性替换下的变化情况. 五 教学过程:定义:设P 是一数域,一个系数在数域P 中的n x x x ,,,21 的二次齐次多项式++++=n n n x x a x x a x a x x x f 11211221112122),,,(+++n n x x a x a 2222222 (2)n nn x a + (3)称为数域P 上的一个n 元二次型,或者,简称为二次型.例如:2332223121213423x x x x x x x x x +++++ 就是有理数域上的一个3元二次型.定义1 设n x x x ,,,21 ,n y y y ,,,21 是两组文字,系数在数域P 中的一组关系式⎪⎪⎩⎪⎪⎨⎧+++=+++=+++=n nn n n n nn nn y c y c y c x y c y c y c x y c y c y c x 22112222121212121111 (4)称为n x x x ,,,21 到n y y y ,,,21 的一个线性替换,或则,简称为线性替换.如果系数行列式 0≠ij c ,那么线性替换(4)就称为非退化的.二次型的矩阵表示:49令 ji ij a a = ,j i < 由于 i j j i x x x x =,那么二次型(3)就可以写为++++=n n n x x a x x a x a x x x f 112112211121),,,(++++n n x x a x a x x a 2222221221 …+22211n nn n n n n x a x x a x x a +++∑∑===n i nj j i ij x x a 11(5)把(5)的系数排成一个n n ⨯矩阵⎪⎪⎪⎪⎪⎭⎫⎝⎛=nn n n n n a a a a a a a a a A 212222111211它称为二次型(5)的矩阵.因为ji ij a a =,n j i ,,2,1, =,所以A A ='.我们把这样的矩阵称为对称矩阵,因此,二次型(5)的矩阵都是对称的.令⎪⎪⎪⎪⎪⎭⎫⎝⎛=n x x x X 21,于是,二次型可以用矩阵的乘积表示出来,()n x x x AX X 21='⎪⎪⎪⎪⎪⎭⎫⎝⎛nn n n n n a a a a a a a a a 212222111211⎪⎪⎪⎪⎪⎭⎫⎝⎛n x x x 21()⎪⎪⎪⎪⎪⎭⎫⎝⎛+++++++++=n nn n n n n n n n x a x a x a x a x a x a x a x a x a x x x 22112222121121211121∑∑===ni nj j i ij x x a 11.50故 AX X x x x f n '=),,,(21 .显然,二次型和它的矩阵是相互唯一决定的.由此还能得到,若二次型BX X AX X x x x f n '='=),,,(21且 B B A A ='=',,则,B A = 线性替换的矩阵表示令⎪⎪⎪⎪⎪⎭⎫⎝⎛=nn n n n n c c cc c cc c c C 212222111211,⎪⎪⎪⎪⎪⎭⎫⎝⎛=n y y y Y 21,那么,线性替换(4)可以写成, ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛n x x x 21⎪⎪⎪⎪⎪⎭⎫⎝⎛=nn n n n n c c cc c c c c c212222111211⎪⎪⎪⎪⎪⎭⎫⎝⎛n y y y 21 或者CY X =.显然,一个非退化的线性替换把二次型还是变成二次型,现在就来看一下替换后的二次型与原二次型之间有什么关系.设 AX X x x x f n '=),,,(21 ,A A =', (7) 是一个二次型,作非退化的线性替换CY X = (8) 得到一个n y y y ,,,21 的二次型BY Y '.现在来看矩阵B 与矩阵A 的关系 把(8)代入(7)有AX X x x x f n '=),,,(21 ACY C Y CY A CY ''='=)()(BY Y Y AC C Y '=''=)(.51容易看出,矩阵AC C '也是对称的,事实上,AC C C A C AC C '=''''='')(.由此,即得AC C B '=.定义2 数域P 上n n ⨯矩阵B A ,称为合同的,如果有数域P 上可逆的n n ⨯矩阵C ,使AC C B '=.合同是矩阵之间的一个关系,不难看出,合同关系具有 (1)反身性 AE E A '=.(2)对称性 由 AC C B '=,即得)()(11--'=C B C A .(3)传递性 由111AC C A '=,2122C A C A '=,即得)()(21212C C A C C A '=.因之,经过非退化的线性替换,替换后的二次型的矩阵与原二次型矩阵是合同的.§2 标准形一 授课内容:§2 标准形二 教学目的:通过定理的证明掌握二次型化为标准形的配方法. 三 教学重点:化普通的二次型为标准形.四 教学难点:化普通的二次形为标准形的相应矩阵表示.52五 教学过程:I 导入可以认为,在二次型中最简单的一种是只含有平方项的二次型2222211n n x d x d x d +++ (1)II 讲授新课定理1 二次型都可以经过非退化的线性替换变为平方和(1)的形式. 不难看出,二次型(1)的.2222211n n x d x d x d +++ =()n x x x 21⎪⎪⎪⎪⎪⎭⎫⎝⎛n d d d00000021⎪⎪⎪⎪⎪⎭⎫⎝⎛n x x x 21. 反过来,矩阵是对角形的二次型就只含有平方项.定理2 在数域P 上,任意一个对称矩阵都合同于一对角矩阵. 定义 二次型),,,(21n x x x f 经过非退化的线性替换所变成的平方和称为),,,(21n x x x f 的一个标准形.例 化二次型313221321262),,(x x x x x x x x x f +-=为标准形.解:作非退化的线性替换⎪⎩⎪⎨⎧=-=+=33212211yx y y x y y x53则3213212121321)(2)(6))((2),,(y y y y y y y y y y x x x f ++---+=323122218422y y y y y y +--=322223231822)(2y y y y y y +---=再令 ⎪⎩⎪⎨⎧==-=3322311y z y z y y z 或⎪⎩⎪⎨⎧==+=3322311zy z y z z y则),,(321x x x f 233222212822z z z z z -+-=23232216)2(22z z z z +--=.最后令 ⎪⎩⎪⎨⎧=-==33322112z w z z w z w 或⎪⎩⎪⎨⎧=+==33322112wz w w z w z则 ),,(321x x x f 232221622w w w +-=是平方和,而这几次线性替换的结果相当于作一个总的线性替换,⎪⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎪⎭⎫ ⎝⎛100011011321x x x ⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛321100210001100010101w w w ⎪⎪⎪⎭⎫ ⎝⎛--=100110311⎪⎪⎪⎭⎫ ⎝⎛321w w w . 用矩阵的方法来解 例 化二次型313221321262),,(x x x x x x x x x f +-=为标准形.解:),,(321x x x f 的矩阵为⎪⎪⎪⎭⎫ ⎝⎛--=031301110A .取⎪⎪⎪⎭⎫⎝⎛-=1000110111C ,则111AC C A '=54⎪⎪⎪⎭⎫ ⎝⎛-=100011011⎪⎪⎪⎭⎫ ⎝⎛--031301110⎪⎪⎪⎭⎫ ⎝⎛-100011011⎪⎪⎪⎭⎫ ⎝⎛---=042420202. 再取⎪⎪⎪⎭⎫ ⎝⎛=1000101012C ,则2122C A C A '=⎪⎪⎪⎭⎫ ⎝⎛=101010001⎪⎪⎪⎭⎫ ⎝⎛---042420202⎪⎪⎪⎭⎫ ⎝⎛100010101⎪⎪⎪⎭⎫ ⎝⎛--=240420002. 再取⎪⎪⎪⎭⎫ ⎝⎛=1002100013C ,则3233C A C A '=⎪⎪⎪⎭⎫ ⎝⎛=120010001⎪⎪⎪⎭⎫ ⎝⎛--240420002⎪⎪⎪⎭⎫ ⎝⎛100210001 3A 是对角矩阵,因此令321C C C C =⎪⎪⎪⎭⎫ ⎝⎛-=100011011⎪⎪⎪⎭⎫ ⎝⎛100010101⎪⎪⎪⎭⎫ ⎝⎛100210001⎪⎪⎪⎭⎫ ⎝⎛--=100111311,就有AC C '⎪⎪⎪⎭⎫⎝⎛-=600020002.作非退化的线性替换CY X =即得),,(321x x x f 232221622y y y +-=.55§3 唯一性一 授课内容:§3 唯一性二 教学目的: 通过本节的学习,让学生掌握复二次型,实二次型的规范形,正(负)惯性指数,符号差.三 教学重点:复二次型,实二次型的规范形的区别及唯一性的区别. 四 教学难点:实二次型的唯一性 五 教学过程:在一个二次型的标准形中,系数不为零的平方项个数是唯一确定的,与所作的非退化的线性替换无关.二次型的矩阵的秩有时候就称为二次型的秩.至于标准形的系数就不是唯一的.例 二次型313221321262),,(x x x x x x x x x f +-=经过非退化的线性替换⎪⎪⎪⎭⎫ ⎝⎛321x x x ⎪⎪⎪⎭⎫⎝⎛--=100110311⎪⎪⎪⎭⎫ ⎝⎛321w w w 得到标准形232221622w w w +-.而经过非退化的线性替换56⎪⎪⎪⎭⎫ ⎝⎛321x x x ⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛--=3100312111211⎪⎪⎪⎭⎫ ⎝⎛321y y y 就得到另一个标准形23222132212y y y +-. 这就说明,在一般的数域内,二次型的标准形不是唯一的,而与所作的非退化的线性替换有关.下面只就复数域与实数域的情形来进一步讨论唯一性的问题. 对于复数域的情形设),,,(21n x x x f 是一个复系数的二次型,则经过一个适当的非退化的线性替换后,),,,(21n x x x f 变为标准形,不妨设标准形为2222211r r y d y d y d +++ ,0≠i d ,r i ,,2,1 = (1)易知,r 就是),,,(21n x x x f 的矩阵的秩.因为复数总可以开平方,我们再作一非退化的线性替换⎪⎪⎪⎪⎪⎩⎪⎪⎪⎪⎪⎨⎧====++nn r r rrr z y z y z d y z d y 1111111 (2) (1)就变为22221r z z z +++ (3) (3)称为复二次型),,,(21n x x x f 的规范形.显然,规范形完全被原二次型的矩阵的秩所决定.定理3 任意一个复系数的二次型,经过一个适当的非退化的线性替换可以变为规范形,规范形是唯一的.定理3换个说法就是,任意一个复的对称矩阵合同于一个形式为⎪⎪⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛0011的对角矩阵.从而有,两个复对称矩阵合同的充分必要条件是它们的秩相等.对于实数域的情形设),,,(21n x x x f 是一个实系数的二次型,则经过一个适当的非退化的线性替换,再适当排列文字的次序,可使),,,(21n x x x f 变为标准形,2211p p y d y d ++ 2211r r p p y d y d ---++ (4)0>i d r i ,,2,1 = ,r 就是),,,(21n x x x f 的矩阵的秩.因为在实数域中,正实数总可以开平方,所以,再作一非退化的线性替换⎪⎪⎪⎪⎪⎩⎪⎪⎪⎪⎪⎨⎧====++n n r r rrr z y z y z d y z d y 1111111 (5) (4)就变为221p z z ++ 221r p z z ---+ (6)(6)称为实二次型),,,(21n x x x f 的规范形.显然,规范形完全被p r ,这两个数所决定.定理4(惯性定理) 任意一个实数域上的二次型,经过一个适当的非退化的线性替换可以变为规范形,规范形是唯一的.定义3 在实二次型),,,(21n x x x f 的规范形中,正平方项的个数p 称为),,,(21n x x x f 的正惯性指数,负平方项的个数p r -称为),,,(21n x x x f 的负惯性指数,它们的差r p p r p -=--2)(称为),,,(21n x x x f 的符号差.惯性定理也可以叙述为,实二次型的标准形中系数为正的平方项个数是唯一的,它等于正惯性指数,而系数为负的平方项个数也是唯一的,它等于负惯性指数.§4 正定二次型一 授课内容:§4 正定二次型二 教学目的:通过本节的学习,让学生掌握正定(负定,半正定,半负定,不定)二次型或矩阵.(顺序)主子式的定义,掌握各种类型的判别法.三 教学重点:正定二次型. 四 教学难点:判别方法 五 教学过程:定义4 实二次型),,,(21n x x x f 称为正定的,如果对于任意一组不全为零的实数n c c c ,,,21 都有0),,,(21>n c c c f .显然,二次型),,,(21n x x x f 221n x x ++=是正定的,因为只有在021====n c c c 时,221n c c ++ 才为零.一般的,实二次型),,,(21n x x x f 2222211n n x d x d x d +++=是正定的,当且仅当0>i d n i ,,2,1 =.可以证明,非退化的实线性替换保持正定性不变.定理5 n 元实二次型),,,(21n x x x f 是正定的充分必要条件是它的正惯性指数等于n .定理5说明,正定二次型),,,(21n x x x f 的规范形为221n y y ++ (5)定义5 实对称矩阵A 称为正定的,如果二次型AX X '正定. 因为二次型(5)的矩阵是单位矩阵E ,所以一个实对称矩阵是正定的,当且仅当它与单位矩阵合同.推论 正定矩阵的行列式大于零. 定义6 子式iii i iii a a a a a a a a a P 212222111211=),,2,1(n i =称为矩阵nn ij a A )(=的顺序主子式.定理6 实二次型),,,(21n x x x f ∑∑===ni nj j i ij x x a 11AX X '=是正定的充分必要条件为矩阵A 的顺序主子式全大于零.例 判断二次型3231212322213214845),,(x x x x x x x x x x x x f +-+++=是否正定.解:),,(321x x x f 的矩阵为⎪⎪⎪⎭⎫ ⎝⎛----524212425它的顺序主子式05> ,01225> , 0524212425>---- 因之,),,(321x x x f 正定. 与正定性平行,还有下面的概念.定义7 设),,,(21n x x x f 是一实二次型,对于任意一组不全为零的实数n c c c ,,,21 ,如果都有0),,,(21<n c c c f ,那么),,,(21n x x x f 称为负定的;如果都有0),,,(21≥n c c c f ,那么),,,(21n x x x f 称为半正定的;如果都有0),,,(21≤n c c c f ,那么),,,(21n x x x f 称为半负定的;如果它既不是半正定又不是半负定,那么),,,(21n x x x f 就称为不定的.对于半正定,我们有定理7 对于实二次型),,,(21n x x x f AX X '=,其中A 是实对称的,下面条件等价:(1)),,,(21n x x x f 是半正定的. (2)它的正惯性指数与秩相等. (3)有可逆实矩阵C ,使⎪⎪⎪⎪⎪⎭⎫⎝⎛='n d d d AC C21,其中,0≥i d n i ,,2,1 =. (4)有实矩阵C 使C C A '=.(5)A 的所有主子式皆大于或等于零.注意:在(5)中,仅有顺序主子式大于或等于零是不能保证半正定性的.比如,()⎪⎪⎭⎫⎝⎛⎪⎪⎭⎫ ⎝⎛-=-=212122211000),(x x x x x x x f 就是一个反例.。
习题5・31•指出下列平面位置的特点:(1)5x - 3z +1 = 0(2)x + 2y - 7z = 0(3)y + 5 = 0(4)2),- 9z = 0(5)x-y-5 = 0(6)x = 0. 解⑴平行于屛由.⑵过原点.⑶平行于平面.⑷ 过兀轴.(5)平行于z轴•⑹0〃平面.2.求下列各平面的方程:⑴平行于y轴且通过点(1,-5,1)和(3,2,-2);(2)平行于O私平面且通过点(5,2,-8);(3)垂直于平面兀-4y + 5z = 1且通过点(-2,7,3)及(0,0,0);⑷垂直于Oyz平面且通过点(5,-4,3)及(-2,1,8).1j k解⑴—(0 ,l,0),* = (2,7,-3),n= 0 1 0 =(-3,0,-2).27-3_3O_1)_2(Z_1)=0,3JC +2Z_5=0.⑵y = 2.i j k(3)a = (1,-4,5), 6 = (-2,7,3),n = 1 -4 5 = (-47,-13,-1).-2 7 347x+13y+ 1 = 0.i j k(4)“ = (1,0,0),〃 = (-7,5,5),〃= 1 0 0 =(0,-5,5) = 5(0, -1,1).-7 5 5_(y + 4) + (z_3) = 0,y_z + 7 = 0.3.求通过点A(2,4,8), B(-3,1,5)及C(6,—2,7)的平面方程.解 a = (一5, —3,—3),〃 = (4,-6,-1).i j kn= -5 -3 -3 =(-15,-17,42),4 -6 -1一15(兀一2) —17(y — 4) + 42(z — 8) = 0,15x + 17y —42z + 238 = 0.4.设一平而在各坐标轴上的截距都不等于零并相等,且过点(5, -7, 4),求此平而的方程.解—+ —+ — = 1, —H—+ — = l,a = 2, x + y + z — 2 = 0.a, a a a a a5已知两点4(2,-1,-2)及〃(8,7,5),求过B且与线段AB垂直的平面.解〃 =(6, & 7).6(x-8) + 8(y-7) + 7(z-5) = 0,6x + 8y + 7z-139 = 0.6.求过点(2,0, -3)且与2兀-2y + 4z + 7 = 0,3x+y-2z + 5二0垂直的平面方程.i j k解 n= 2 -24 =(0,16,8) = 8(0,2,l).2y + (z + 3) = 0,y + z + 3 = 0. 3 1 -27.求通过兀轴且与平面9兀-4y-2z + 3 = 0垂直的平面方程. 解 By + Cz=0,—4B —2C = 0,取B = 1,C = —2,y —2z = 0.8•求通过直纟划:{;;工:二5地:仁鳥平行的平面方程. i j ki j k 解a = 1 0 2 = (-6,1,3), 6 = 1 -1 0= (1,1,1), 0 3-10 1 -1 i j kn - -6 13 =(-2,9,-7).用z ()= 0代入厶的方程,得x° =4,>\} =-8/3.1 1 1 -2(x-4) + 9(^ + 8/3)-7(z) = 0,-2x + 9y-7z + 32 = 0.x = 3r + 89.求直线厶:* +彳=•' +1 = __与直线/ :< y = f + l 的交点坐标,3 24 _ 小, z = + 6并求通过此两直线的平面方程.解求两条直线交点坐标:3r + 8 + 3 / + 1 + 1 2/ + 6 —2 \\ t t A 163 24 3 2 23 i j kn= 3 2 4 = (0,6, -3) = 3(0,2, -l).2(y +1) - (z - 2) = 0,2y - z + 4 = 0.3 1 2 10•求通过两直线厶=^ = 凹和厶:土 = □=三的平面方程. 1 2 -1 1 -4 2 -2i j k解 两直线平行•平面过点(1,-1,-1)和(-2,2,0).川=2 — 1 1 = (—4,—5,3).-33 1一4(兀一 l)-5(y + l) + 3(z + l) = 0,-4x — 5y + 3z + 2 = 0.11证明两直线厶:口和是异面直线*-121 - 0 1 -2证首先,两直线的方向向量(-1,2,1)和(0,1,-2)不平行.x 二 _2l 2< y 二1+t —―二匕〜 力+ 3J = 5』= 0,矛盾.故两直线无公共点.-1 2 1 X Q = 一& 儿=一一牛交点(一8占弓)两-直线不平行,又无交点,故是异面直线. 12.将下列直线方程化为标准方程及参数方程:[2x+y-z + l = 0 [x-3z + 5 = 0(1* ⑵彳[3x - y + 2z - 8 = 0; [y - 2z + 8 = 0.i j k解(1)〃= 2 1 -1 =(1,-7,-5).3-12V — 7 + 1 = 0⑴中令兀0=0,{ 解Z得儿=6,Zo=7・-y+ 2z-8 = 0;标准方程—q・1 -7 -5x = t参数方程:< y = 6-lt,-oo <t < +oo.z = l-5ti j k(2)(1加=1 0 -3 =(3,2,1).0 1 -2⑵中令z° = 0,直接得x° = -5, y Q = -8.标准方程出二凹二工3 2 1x ——5 + 3t参数方程:* >' = -8 + 2r,-co<t < +oo.z = t13•求通过点(32-5)及乂轴的平面与平面3x-y-7z + 9 = 0的交线方程・ ■I j k解地第一个平面的法向量〃二1 0 0 =(0,5,2), 3 2 -5平面方程5y + 2z = 0.直线方程严+ 2*°[3 兀-y-7z + 9 = 0.i j k直线的方向向量a =0 5 2 =(一336-15) = 3(-112-5)・3 -1 -7直线方程:r 匕14 •当D 为何值时,直线产? £弓与0z 轴相交?[x + 4y-z + D = 0解直线F :y + 2z-6弓与Oz 轴相交O 存在(0,0,勺)在此直线上,[x + 4y-z + £> = 0f2z o -6 = O <=> < u> £> =知=3. Ho+o=o15.试求通过直线人:£一2":弓并与直线Z. = 2平行的平面方程.[3y — z + 8 = 0 *•匕 _y + 6 = 0i J k解厶的方向向&a = 1 0 -2 =(6丄3).0 3-1i J 平面的法向量/i =6 1 1 1 Q 在的方程中令z ()二0得X 。
第五章 二次型1.用非退化线性替换化下列二次型为标准形,并利用矩阵验算所得结果。
1)323121224x x x x x x ++-;2)23322221214422x x x x x x x ++++; 3)32312122216223x x x x x x x x -+--;4)423243418228x x x x x x x x +++; 5)434232413121x x x x x x x x x x x x +++++;6)4342324131212422212222442x x x x x x x x x x x x x x x ++++++++; 7)43322124232221222x x x x x x x x x x ++++++。
解 1)已知 ()323121321224,,x x x x x x x x x f ++-=, 先作非退化线性替换⎪⎩⎪⎨⎧=-=+=33212211yx y y x y y x (1)则()312221321444,,y y y y x x x f ++-=2223233121444y y y y y y ++-+-=()222333142y y y y ++--=, 再作非退化线性替换⎪⎪⎩⎪⎪⎨⎧==+=33223112121zy z y z z y (2)则原二次型的标准形为()2322213214,,z z z x x x f ++-=,最后将(2)代入(1),可得非退化线性替换为⎪⎪⎪⎩⎪⎪⎪⎨⎧=+-=++=333212321121212121z x z z z x z z z x (3)于是相应的替换矩阵为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛-=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛-=100211212102110001021021100011011T , 且有⎪⎪⎪⎭⎫ ⎝⎛-='100040001AT T 。
2)已知()=321,,x x x f 23322221214422x x x x x x x ++++,由配方法可得()()()233222222121321442,,x x x x x x x x x x x f +++++=()()2322212x x x x +++=,于是可令⎪⎩⎪⎨⎧=+=+=333222112xy x x y x x y ,则原二次型的标准形为()2221321,,y y x x x f +=,且非退化线性替换为⎪⎩⎪⎨⎧=-=+-=33322321122yx y y x y y y x ,相应的替换矩阵为⎪⎪⎪⎭⎫⎝⎛--=100210211T ,且有⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎭⎫ ⎝⎛--⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛--='000010001100210211420221011122011001AT T 。
(3)已知()32312122213216223,,x x x x x x x x x x x f -+--=,由配方法可得()()()23322223223231212132144222,,x x x x x x x x x x x x x x x x f ++-++-+-=()()23223212x x x x x +---=,于是可令⎪⎩⎪⎨⎧=+=+-=3332232112xy x x y x x x y ,则原二次型的标准形为()2221321,,y y x x x f -=,且非退化线性替换为⎪⎪⎪⎩⎪⎪⎪⎨⎧=-=-+=33322321121212321y x y y x y y y x ,相应的替换矩阵为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛--=100212123211T , 且有⎪⎪⎪⎭⎫⎝⎛-=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛--⎪⎪⎪⎭⎫ ⎝⎛-----⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛--='00001000110021210232110313*********302121001AT T 。
(4)已知()4232432143218228,,,x x x x x x x x x x x x f +++=,先作非退化线性替换⎪⎪⎩⎪⎪⎨⎧===+=443322411y x y x y x y y x ,则()4232432441432182288,,,y y y y y y y y y x x x x f ++++=⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+++⎪⎭⎫ ⎝⎛+++=232132142481212181212128y y y y y y y y32232128121218y y y y y +⎪⎭⎫ ⎝⎛++-3223212432124128121218y y y y y y y y y +⎪⎭⎫ ⎝⎛++-⎪⎭⎫ ⎝⎛+++=,再作非退化线性替换⎪⎪⎩⎪⎪⎨⎧=-=+==4432332211z y z z y z z y z y ,则()2321243214321434528385218,,,⎪⎭⎫ ⎝⎛++-⎪⎭⎫ ⎝⎛+++=z z z z z z z x x x x f232222z z -+,再令⎪⎪⎪⎩⎪⎪⎪⎨⎧+++===++=43214332232118385214345z z z z w z w z w x x z w ,则原二次型的标准形为()4321,,,x x x x f 242322218222w w w w +-+-=,且非退化线性替换为⎪⎪⎪⎩⎪⎪⎪⎨⎧+-=-=+=+--=4143233224321121434521w w x w w x w w x w w w w x ,相应的替换矩阵为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛----=10021011001101434521T , 且有⎪⎪⎪⎪⎪⎭⎫⎝⎛--='800002000020002AT T 。
(5)已知()4321,,,x x x x f 434232413121x x x x x x x x x x x x +++++=, 先作非退化线性替换⎪⎪⎩⎪⎪⎨⎧===+=4433222112y x y x y x y y x ,则()4321,,,x x x x f 4342413231222122222y y y y y y y y y y y y y ++++++=()2124243243214321y y y y y y y y --⎪⎭⎫ ⎝⎛+-+++=,再作非退化线性替换⎪⎪⎪⎩⎪⎪⎪⎨⎧=+=+++==44433432121121y z y y z y y y y z y z , 即⎪⎪⎪⎩⎪⎪⎪⎨⎧=-=--+-==4443343212112121zy zz y z z z z y z y ,则原二次型的标准形为()4321,,,x x x x f 2423222143z z z z --+-=, 且非退化线性替换为⎪⎪⎪⎪⎩⎪⎪⎪⎪⎨⎧=-=--+-=--+=444334321243211212121z x z z x z z z z x z z z z x ,相应的替换矩阵为⎪⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛------=1000211002111121111T , 且有⎪⎪⎪⎪⎪⎭⎫⎝⎛---='4300001000010001AT T 。
(6)已知()4321,,,x x x x f 4131212422212442x x x x x x x x x +++++=434232222x x x x x x +++, 由配方法可得()4321,,,x x x x f ()()[]243243212122222x x x x x x x x ++++++=()43423224222432222222x x x x x x x x x x x +++++++-()()243243224321212123222x x x x x x x x x ++⎪⎭⎫ ⎝⎛++-+++=,于是可令⎪⎪⎪⎩⎪⎪⎪⎨⎧=+=++=+++=44433432243211212322x y x x y x x x y x x x x y , 则原二次型的标准形为232221212y y y f +-=, 且非退化线性替换为⎪⎪⎪⎩⎪⎪⎪⎨⎧=-=+-=-+-=44433432243211232y x y y x y y y x y y y y x , 故替换矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛----=10001100123101121T , 且有⎪⎪⎪⎪⎪⎭⎫⎝⎛-='00000210000200001AT T 。
(7)已知()4321,,,x x x x f 43322124232221222x x x x x x x x x x ++++++=,由配方法可得()4321,,,x x x x f ()()[]24433123131222222x x x x x x x x x x x ++-++++= ()()2324432331232122x x x x x x x x x x -+++-++= ()()2121233124323212x x x x x x x x x x +---++++=()()()231243232121x x x x x x x x +-+++++=,于是可令⎪⎪⎩⎪⎪⎨+=+=++=3144333212x x y x x y x x x y ,则原二次型的标准形为24222221y y y y f -++=, 且非退化线性替换为⎪⎪⎩⎪⎪⎨⎧-+=+-=-==431441342211y y y x y y x y y x y x ,相应的替换矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛---=1101100110100001T ,且有⎪⎪⎪⎪⎪⎭⎫⎝⎛-='1000010000100001AT T 。
(Ⅱ)把上述二次型进一步化为规范形,分实系数、复系数两种情形;并写出所作的非退化线性替换。
解 1)已求得二次型()321,,x x x f 323121224x x x x x x ++-= 的标准形为23222134y y y f ++-=,且非退化线性替换为⎪⎪⎪⎩⎪⎪⎪⎨⎧=+-=++=333212321121212121y x y y y x y y y x ,(1) 在实数域上,若作非退化线性替换⎪⎪⎩⎪⎪⎨==13223121z y z y ,可得二次型的规范形为232221z z z f -+=。
(2) 在复数域上,若作非退化线性替换⎪⎪⎩⎪⎪⎨⎧===13221121z y z y iz y ,可得二次型的规范形为232221z z z f ++=。
2)已求得二次型()321,,x x x f 23322221214422x x x x x x x ++++=的标准形为2221y y f +=, 且非退化线性替换为⎪⎩⎪⎨⎧=-=+-=33322321122yx y y x y y y x ,故该非退化线性替换已将原二次型化为实数域上的规范形和复数域上的规范形 2221y y f +=。