您好,欢迎访问三七文档
线性代数昆明理工大学数学系2009.122第四节行列式按行(列)展开余子式和代数余子式行列式按行(列)展开在计算行列式中的运用一、余子式和代数余子式定义:在n阶行列式中,划去元素所在的第i行和ija第j列,剩下的n-1阶行列式记作ijM子式,(1)ijjijiMAija的代数余子式。称为元素,称为元素的余ija而111213212223313233aaaDaaaaaa12M21233133aaaa13M21223132aaaa33M11122122aaaa23M11123132aaaa例如,三阶行列式各元素的余子式和代数余子式分别为:11M22233233aaaa111111(1)AM2223113233aaMaa12121212(1)AMM1313AM2323AM3333AM由定义可知,当元素所在的(行数+列数)为偶数时,代数余子式和余子式相等,为奇数时,代数余子式和余子式相差一个符号。引理:在n阶行列式D的第i行所有元素中,除元素其余元素都为零,则ija外,ijijDaA证明:例如,对于如下行列式123200156D按行列式的定义,2532266D第二行只有第一个元素不为0,21212122(1)AM232656D且二、行列式按行(列)展开定理:设n阶行列式111212122212.....................nnnnnnaaaaaaDaaa则有按第i行展开式:1122...iiiiininDaAaAaA(i=1,2,…,n)按第j列展开式:1122...jjjjnjnjDaAaAaA(j=1,2,…,n)证明:例如,下述行列式按第2行、第3列分别展开为:120123250211A222A233A21M222M23(3)M按第2行展开:1022012(3)25按第3列展开:233A12(3)252050推论:行列式某一行(列)的元素与另一行(列)对应元素的代数余子式乘积之和等于零。即1122...0ijijinjnaAaAaA1122...0ijijninjaAaAaA()ij()ij证明:也可以这样理解上述推论:212223105024aaa2121aA2222aA2323aA221504a2310()02a也就是说,左边的行列式按第2行展开,就得到(1)式。(1)反之,(1)式可以还原到左边的行列式。若取213a224a331a则(1)式还原为:341051024210524a等价例如容易看到,如果取21310aa23334aa22322aa则(1)式还原为:021054024这个行列式有两行相等,因此它的值等于0。0212223105024aaa221504a2310()02a210524a推论中的两个式子等于0,就是因为它们还原之后,有两行(列)相等。利用行列式的展开式,可以将计算n阶行列式化为计算n-1阶行列式。对于数字元素的行列式,经常将某行(列)的元素除一个元素外都化为零,再按该行(列)展开,达到降阶的目的。三、在计算行列式中的运用例1、计算行列式解:2310421121214321D例2、设3040222207005322D求:31323334AAAA1、D中第三行元素代数余子式的和2、D中第四行元素余子式的和:41424344MMMM解:例3.证明n阶(n1)范德蒙行列式12222121111211...1.....................nnnnnnnxxxxxxVxxx1()ijnijxx213231121()()()...()()...()nnnnnxxxxxxxxxxxx前项下标大于后项下标证明:n阶范德蒙行列式等于2(1)2nnnC个形如ijxx的因子的乘积。例如1234422221234333312341111xxxxVxxxxxxxx42()ijijxx213141324243()()()()()()xxxxxxxxxxxx是246C项的乘积当1x2xnx,,…,中有两个数相等时,范德蒙行列式等于0,所有数互不相等时,其值才不等于0。例4.计算n阶行列式12........................nabbbbabbDbbba(iba,i=1,2,…,n)解:利用加边法计算,添加一行一列,即121...0...0.....................0...nbbbbabbbbabbbbba添加第一行和第一列后,行列式阶数变成n+1121...0...0.....................0...nbbbbabbbbabbbbba21rr31rr...11nrr...1bbbb11ab00...0102ab0...0..................1000...nab1211ccab002ab0...0..................1000...nab...11babbbbb1ab00...01002ab0...0..................1000...nab...11babbbbb1ab00...011321ccab002ab0...0..................1000...nab...211iibabbbbb1ab00...00...111nnccab002ab0...0..................0000...nab...11niibabbbbb1ab00...001211()()...()nniibabababab证明:先证i=j=1的情形,设1121222120...0..................nnnnnaaaaDaaa根据行列式定义,有121212(...)12...(1)...nnnPPPPpnpPPPDaaa222(1...)1121...(1)...nnnPPpnpPPaaa222(...)112...(1)...nnnPPPnpPPaaa11111111aMaA除11p外,第一行全为0。再证一般情形,设11111111111...........................0...00...0...........................jjjnijnnjnjnjnnaaaaaaDaaaaa将D中第i行依次与第i-1行,i-2行,…,1行相交换,再再将得到的行列式的第j列依次与第j-1列,j-2列,…,11D列相交换,设得到的行列式为。则中1行1列的元1Dija素为。1D11M中1行1列元素的余子式等于D中i行j列元素的ijM余子式,由前面证过的结论,有111ijijijDaMaM因为1D是由D经过(i-1)+(j-1)次行、列的交换得到的,所以有(1)(1)1(1)(1)(1)ijijijijijijijijijDDaMaMaA证毕。证明:111211212...............0...00...0...00..................niiinnnnnaaaaaaDaaa根据第三节行列式性质5,D等于n个行列式之和,即11121112...............0...0...............ninnnnaaaaDaaa11121212...............0...0..................ninnnnaaaaaaa1112112...............00..................ninnnnnaaaaaaa根据引理,就得到第i行展开式1122...iiiiininDaAaAaA按列的展开式同理可证,证毕。证明:根据定理,将D按j行展开,有1122...jjjjjnjnaAaAaA111111..............................niinjjnnnnaaaaaaaa第i行第j行在等式两边,将1ja2ja,,…,jna依次换做1ia2iaina,,…,,1jA2jAjnA,,…,(不含第j行元素)得1122...ijijinjnaAaAaA111111..............................niiniinnnnaaaaaaaa第i行第j行0证明:对阶数n用数学归纳法,当2n时,有2211211Vxxxx所以结论成立。设结论对n-1阶范德蒙行列式成立,即设2322223222223111()nnijnijnnnnxxxxxxxxxxx对n阶范德蒙行列式,从第n行开始,后行减去前行的1x倍,得2131122133112222213311111...10...0()()...()...............0()()...()nnnnnnnnnxxxxxxxxxxxxxxxVxxxxxxxnx按第一列展开,再提取各列的公因式,得:23213112222311...1...()()()...............nnnnnnnxxxVxxxxxxxxx右端的行列为n-1阶范德蒙行列式,由归纳假设,得213112()()...()()nnijnijVxxxxxxxx1()ijnijxx即结论对n阶范德蒙行列式也成立。由归纳法,该等式对一切大于等于2的自然数都成立。(证毕)2310421121214321D解:第4列比较简单,并且还有一个0,所以我们对23rr43rr2310211021212200134231(1)21122021rr231040220行作运算,使第4列除一个元素外,其余元素都是0,具体计算如下22023104013(1)104228解:31323334AAAA113011402222532203040222207005322D41424344MMMM41A42A43()A44A3040222207011011283040222207005322D
本文标题:考研数学线性代数4
链接地址:https://www.777doc.com/doc-3797392 .html