![线性代数](https://wfqqreader-1252317822.image.myqcloud.com/cover/457/32164457/b_32164457.jpg)
1.2 行列式的定义
首先我们考虑用消元法求解二元一次方程组和三元一次方程组,从中引出二阶和三阶行列式的定义. 然后把这些定义推广,得到n阶行列式的定义.
1.2.1 二阶行列式
考察二元线性方程组:
![42595-00-012-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-01.jpg?sign=1738929556-zPcqGuK6caThJq2Dc2FSdSERxTZhHson-0-f2e8411ae73599e76531341757b43a96)
其中b1,b2是常数,a11,a12,a21,a22是未知量的系数,可简单记为aij(i,j=1,2). aij有两个下标i,j. aij为第i个方程第j个未知量xj的系数. 例如a21就是第二个方程中第一个未知量x1的系数. 这里的线性是指方程组中未知量xj的次数都是一次的.
现在采用消元法求解方程组(1.2.1),为了消去x2,用a22乘第一个方程,a12乘第二个方程,得
![42595-00-012-02.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-02.jpg?sign=1738929556-DEUNqk01Dw8e8dQ4M2k91Jx4zM4Go5jm-0-cba586fd7b12f33e313a0363e5911d66)
然后两方程相减,得到只含有x1的方程
![42595-00-012-03.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-03.jpg?sign=1738929556-GMaOqro9huDtNbReKIN4f7QNYgDZnlV6-0-0d0b5a02f82a64a0500d08055321fab8)
为了消去x1,用a21乘第一个方程,a11乘第二个方程,得
![42595-00-012-04.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-04.jpg?sign=1738929556-c7A9YbT3DXzNPlSpnHonMVlxqdYfr7wL-0-a358fe9673cf43042fafdd2fb3557695)
然后两方程相减,得到只含有x2的方程
![42595-00-012-05.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-05.jpg?sign=1738929556-RUvFODFbgqD7UtR0bNNtTKY01Hftu3NP-0-d5f1b742b251ddf7d948c8a16fe7c1ee)
由式(1.2.2)和式(1.2.3)可知,若
D=a11a22-a12a21≠0,
则方程组(1.2.1)有唯一解
![42595-00-012-07.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-07.jpg?sign=1738929556-EBlbAsAcxc4ufXyGsto0IycjogNsnGjB-0-aaa10661781a1c0784d5e8d8f624be26)
由式(1.2.4)给出的x1与x2的表达式,分母都是D,它仅依赖于方程组(1.2.1)的4个系数。为了便于记住D的表达式,我们引进二阶行列式的概念.
定义1.2.1 把
![42595-00-012-08.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-012-08.jpg?sign=1738929556-ss14TD5sE7hvQ51zy4yCbp2rPnAenKba-0-82e90c6ca6645be9ec49b755185f7001)
称为二阶行列式.
它含有两行,两列. 横写的称为行,竖写的称为列. 行列式中的数aij(i,j=1,2)称为行列式的元素,i表示aij所在的行数,j表示aij所在的列数. aij表示位于行列式第i行第j列的元素. 例如,a12表示位于行列式第1行第2列的元素.
二阶行列式表示一个数,其值为2!项的代数和:一个是在从左上角到右下角的对角线(又称为行列式的主对角线)上的两个元素的乘积,取正号;另一个是从右上角到左下角的对角线上的两个元素的乘积,取负号. 例如
![42595-00-013-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-01.jpg?sign=1738929556-jN4g7PoAMzayA9yE4EsPrUcEiVcMi6yl-0-a92cbc268851eb44b98e6e9bc779c74a)
其中a11=1,a12=2,a21=-3,a22=5. 又如
![42595-00-013-02.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-02.jpg?sign=1738929556-yzreOOlsp6cdJSZkLUNP43qFBQO6UMdr-0-36a79fac5d98cc1ebb6f21a89f2a1759)
其中a11=x+y,a12=x,a21=x,a22=x-y.
根据定义1.2.1,我们容易得知式(1.2.4)中两个分子可以分别写成
![42595-00-013-03.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-03.jpg?sign=1738929556-ddUFbCieskfLqdfZgTDvgdQl6LBgTIi9-0-96a7a9c0fa54a8b47b350c9b4a831cfe)
如果我们记
![42595-00-013-04.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-04.jpg?sign=1738929556-50vgyrjQFb4WdB0Ti7rGSuo1tsFnyrTj-0-2b2311425dddd0349bbebb340297a241)
那么当D≠0时,方程组(1.2.1)有唯一解,而且这唯一解可以表示为
![42595-00-013-05.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-05.jpg?sign=1738929556-C4VZPU4e2bPQsH6fTGRuTZ2c8u5uxVfk-0-eaa2682915b640ff6e6dcc608fa76db7)
其中D是由方程组(1.2.1)的系数确定的二阶行列式,与右端常数项无关,故称D为方程组(1.2.1)的系数行列式.
D1是把D中的第一列(x1的系数)a11,a12换成常数项b1,b2,D2是把D中的第二列(x2的系数) a21,a22换成常数项b1,b2. 这样求解二元一次方程组就归结为求三个二阶行列式的值. 像这样用行列式来表示解的形式简便且容易记忆.
例1 计算行列式
![42595-00-013-06.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-06.jpg?sign=1738929556-6COfhmpNCqFbBHWt291ve3tnyWcJAuCx-0-55b2e39092c6c974e02e700ee825eddd)
解
![42595-00-013-07.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-07.jpg?sign=1738929556-iddStyIMec1uZk21RJBBLzLYuZnHXvhf-0-ea7142d6c87afba46dc7450b6283f4c6)
例2 用行列式解线性方程组
![42595-00-013-08.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-08.jpg?sign=1738929556-0Xrm0gvFjHRkYKNacecK8FwRSRJYQivu-0-9779a8a28a2f10b230e0895e3832e8d1)
解 因为系数行列式
![42595-00-013-09.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-09.jpg?sign=1738929556-6UXxzixuaVdd7ejiPSWxWD6b8Fd7UQRi-0-1e8fd0b63aa63380d149416d5400ffc0)
所以方程组有唯一解. 又
![42595-00-013-10.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-013-10.jpg?sign=1738929556-YtIfyQza6If3rpL2pGhEwRjrzVuIrAWq-0-dc40e445d18dc025d1153ca65b5a1900)
所以方程组的唯一解是
![42595-00-014-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-01.jpg?sign=1738929556-PKUEzZhIjUDWRoJTHfqDe1qzy2xyxRWn-0-ae6cf39cc919aa6e4787b7c67c9b5f95)
1.2.2 三阶行列式
对于含有三个未知量x1,x2,x3的线性方程组
![42595-00-014-02.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-02.jpg?sign=1738929556-X8OzAzUICvXzjTsiKIPLncvahoyjy2dG-0-88f4b5cb158abe9a02a8b92e4a80ba9a)
也可以用消元法求解. 为了求得x1,需要消去x2和x3. 消元过程可以分两步进行.
第一步从方程组(1.2.5)的前两个方程和后两个方程中消去x3,得到含有x1和x2的线性方程组,即
![42595-00-014-03.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-03.jpg?sign=1738929556-ljFFaMhmc05fhfcUgc1qFxG3HQF4CLGp-0-3cc836cdf800c478570ddb154624cede)
第二步再消去x2,得到
![42595-00-014-04.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-04.jpg?sign=1738929556-kQE9o4wkh2pgqYkwrMGb4HxWcitUYsw4-0-5d0c2e2180861317a6d398000ea572ec)
若x1的系数不为零,则得到
![42595-00-014-05.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-05.jpg?sign=1738929556-Gbc89aXaiQaznlXBpaxkI5EUC5GRe07P-0-879f4cd43201e13a1d5deea466dbab89)
其中
![42595-00-014-06.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-06.jpg?sign=1738929556-nFlZ48jOgpi9Tc6nrO3dXNxnqi4MRqgr-0-8c5e9a84028d100b6f1b69eb7c6c07c8)
同理可得
![42595-00-014-07.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-07.jpg?sign=1738929556-EYcP7nOTlVsmBzMMJsdVDxDt2iregNUU-0-a624ceaedbc4fe369888573a570a63a5)
其中
![42595-00-014-08.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-08.jpg?sign=1738929556-3tEqkMSlrmSQwEW5IrzlI4Pz4eHd5CiZ-0-12500714da2ff251d1dfdcb12d865eff)
与解二元线性方程组一样,称D为方程组(1.2.5)的系数行列式,D1,D2,D3分别是用常数列来替换D中的第一列、第二列、第三列的系数得到的. 这样我们得到了三阶行列式.
定义1.2.2 把
![42595-00-014-09.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-014-09.jpg?sign=1738929556-BD4aw78P5K8lMPnUzqzC20JNWV3WtzKd-0-972e18dbfe4d9b501164d7c1e9cbf274)
称为三阶行列式.
三阶行列式的值是3!项的代数和,每一项都是取自不同行、不同列的三个元素的乘积再附上正负号,三项附正号,三项附负号.
我们可以用对角线法则来记忆三阶行列式中每一项及前面的正、负号. 如图1.2.1所示,其中各实线连接的三个元素的乘积前面带有正号,各虚线连接的三个元素的乘积前面带有负号.
![42595-00-015-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-015-01.jpg?sign=1738929556-nmgUS9bgx9dCcqUwprw0Qmh8q4ifIkDX-0-6192a4d601b3e953110e2ed9c876b960)
图1.2.1
例3 利用三阶行列式定义计算出行列式的值
![42595-00-015-02.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-015-02.jpg?sign=1738929556-kxSFh57TP5hhVlUqalSdZKTeSOpaVEvB-0-1eb0f0c3ec101ac86acc073010e7ef02)
解 由三阶行列式的定义得
D=(-2)×3×1+1×0×0+2×2×5-2×3×0-1×2×1-(-2)×0×5=12.
由三阶行列式的定义可看出,每一项都可表示成
![42595-00-015-03.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-015-03.jpg?sign=1738929556-V3EBYJMkE3jZDdmP4g4FCIBoHUSFCwrn-0-171516c52cc59f63e2df9c4ef7ee708b)
其中行标形成了一个三阶自然排列(1 2 3),列标形成了一个三阶排列(j1j2j3). 再看每一项前面所带的符号与该列标所成排列的奇偶性的关系. 在式(1.2.6)中,第一、二、三项列标所形成的排列分别为(1 2 3),(2 3 1),(3 1 2),它们都是偶排列,这三项前面都带正号;第四、五、六项列标所形成的排列恰相反,都是奇排列,前面都是负号. 于是式(1.2.7)中的项应带符号
.因此式(1.2.6)又可写成
![42595-00-015-06.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-015-06.jpg?sign=1738929556-LLd7wVTwDoIysLHrHKh0VwifyPNfhbd1-0-3a5814aecfb707a106311d93c78f13b7)
其中表示列标形成的三阶排列(j1j2j3)要取遍所有的三阶排列求和.
同样地,二阶行列式也可写成
![42595-00-015-08.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-015-08.jpg?sign=1738929556-OMFT6YnyFwuQvx9ffn5lip05rZgZyraN-0-542a84d2d96adabb39449f31ff3f1976)
这样,二阶、三阶行列式的定义形式已一致了. 推广二阶、三阶行列式的定义形式,可以给出n阶行列式的定义.
1.2.3 n阶行列式
定义1.2.3 由n2个数组成n行n列的n阶行列式定义为
![42595-00-016-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-016-01.jpg?sign=1738929556-vHMmiCKFOTowSEVfPnehEJHf7Y2jWS3K-0-bdd9cf7b3936e999948619c45062c833)
其中表示列标形成的n阶排列(j1j2…jn)要取遍所有的n阶排列求和,共有n!项.
特别地,约定一阶行列式为|a11|=a11.
综上所述,n阶行列式定义的代数和具有以下三项特点.
(1)有n!项相加,其最后结果是一个数值;
(2)每项有n个数相乘,而每个数取自不同行不同列;
(3)每项的符号由列标排列(j1j2…jn)的奇偶性决定,即符号是,且在n!项中,一半符号为正,一半符号为负.
例4 计算行列式
![42595-00-016-04.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-016-04.jpg?sign=1738929556-0grMpvWw4LWBBIZJpBo2sy2jJ27ClrR2-0-53661e5bd59c8d820aa8adf54c278b5b)
这种主对角线(从左上角到右下角的一条对角线)上方的元素全为零的行列式称为下三角行列式.
解 只需把n!项中不为零的项找出来,求代数和即可. 根据定义1.2.3,从第一行开始,只有取j1=1的项可能不为零,再取第二行元素,根据不同列的要求,只有取j2=2的项
可能不为零,依次往下类推得
![42595-00-016-07.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-016-07.jpg?sign=1738929556-8tHBxeZ6Kn0f8I5KAIPZbyQJRwCTkOV4-0-c3056d7c381a3f425bef5e238459419f)
即下三角行列式的值等于主对角线元素的乘积.
类似地,上三角行列式和对角行列式也有同样的结论:
![42595-00-016-08.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-016-08.jpg?sign=1738929556-kxss78nLxOb1eLODe2cH7ZhYNKQm5k4l-0-d502bc9cb4c2243f489bc1e7e4059f0a)
显然,若下(上)三角或对角行列式的主对角上的元素有零元素,则该行列式的值为零.
例如,
![42595-00-016-09.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-016-09.jpg?sign=1738929556-7p8aKcVcaLaza4V6qeLssRSDqVxCAekT-0-f95eb9dc9e5e2d817698685be3d1ed3d)
又如,
![42595-00-017-01.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-017-01.jpg?sign=1738929556-7f6sqTvIL3zFveh1T2KdqcZG9I9dYfwG-0-420aedfc3f4aae891643239091e00efc)
例5 计算n阶反对角行列式
![42595-00-017-02.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-017-02.jpg?sign=1738929556-005ZBvCYRn3FQ7uxUmcX2WK2uDRfYdOM-0-9c5b79048c4aab7133fb0dd7ed0e2b1a)
解 只需把n!项中不为零的项找出来,求代数和即可. 根据定义1.2.3,从第一行开始,只有取j1=n的项可能不为零,再取第二行元素,根据不同列的要求,只有取j2=n-1的项
可能不为零,依次往下类推只剩下一项可能不为零:a1na2,n-1an1=d1d2…dn,其前边的符号为
,即
![42595-00-017-06.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-017-06.jpg?sign=1738929556-tgV8fbBHyYzZ9BUGOMYcxtWhdTdKJ73F-0-da5c2945b99c25c948d7de352533a9f3)
类似地,反上三角行列式和反下三角行列式也有同样的结论成立:
![42595-00-017-07.jpg](https://epubservercos.yuewen.com/37FAAC/17404909204238606/epubprivate/OEBPS/Images/42595-00-017-07.jpg?sign=1738929556-MQW0MHkOAf3adEfvkiMKMdV6Z8QxAYw0-0-bb0597ae12f7cff71f94b013d264bfd7)