行列式
定义
将n2个数aij(i,j=1,2,…,n)排列成n行n列,记为
D=a11a21⋮an1a12a22⋮an2……⋱…a1na2n⋮ann
其值定义为∑j1j2…jn(−1)τ(j1j2…jn)a1j1a2j2…anjn(τ表示排列的逆序数)简记作D=aijn×n 或 aij1n 或 det(aij)
(1)n阶行列式是一个数或一个式子
(2)(−1)τ(j1j2…jn)a1j1a2j2…anjn是行列式的一般项,其中a1j1a2j2…anjn表示取自不同行不同列的n个元素的积
(3)∑j1j2…jn表示对所有n元排列j1j2…jn对应项求和,共n!项,当不会引起混淆时可简写为∑
(4)当n=1时,规定a=a
由定义可以得到:
(1)若行列式的某行或某列元素全为0,则该行列式值为0
(2)若行列式中0元素的个数多于n2−n个则行列式的值为0,或者说若行列式中非0元素的个数少于n个则行列式的值为0
转置行列式
将D=aij的行与列互换得到的新行列式称为转置行列式记为DT,即如果D=a11a21⋮an1a12a22⋮an2……⋱…a1na2n⋮ann,则DT=a11a12⋮a1na21a22⋮a2n……⋱…an1a2n⋮ann
性质
性质一:行列式与它的转置行列式的值相等,即D=DT
eg:
21−10−481−13=2011−4−1−183=−4
行列式中行与列具有相同的地位,因此行列式的性质凡是对行成立的对列也成立。
证明:
设D=aij的转置行列式为DT=bij,则bij=aji(i,j=1,2,…,n)于是DT=j1j2…jn∑(−1)τ(j1j2…jn)b1j1b2j2…bnjn=j1j2…jn∑(−1)τ(j1j2…jn)aj11aj22…ajnn对换因子的位置使得aj11aj22…ajnn=ap11ap22…apnn假设共对换了m次,即m次对换将排列j1j2…jn变成12…n同时也将12…n变成了p1p2…pn从而τ(j1j2…jn)与τ(p1p2…pn)具有相同的奇偶性于是DT=j1j2…jn∑(−1)τ(j1j2…jn)aj11aj22…ajnn=j1j2…jn∑(−1)τ(p1p2…pn)a1p1a2p2…anpn所以DT=D
性质二:互换行列式中任意两行(列)的位置,行列式变号
eg:
21−10−481−13=−412−1−408−113=4
证明:
设D=a11⋮at1⋮as1⋮an1a22⋮at2⋮as2⋮an2…⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮…a1n⋮atn⋮asn⋮ann互换D第s行和第t行,得到新的行列式D1=a11⋮as1⋮at1⋮an1a22⋮as2⋮at2⋮an2…⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮…a1n⋮asn⋮atn⋮ann由行列式的定义有:D=p1…ps…pt…pn∑(−1)τ(p1…ps…pt…pn)a1p1…asps…atpt…anpnD1=p1…pt…ps…pn∑(−1)τ(p1…pt…ps…pn)a1p1…atpt…asps…anpn∵τ(p1…ps…pt…pn)=−τ(p1…pt…ps…pn)a1p1…asps…atpt=a1p1…atpt…asps∴D=−D1
推论一:若行列式D有两行(列)对应元素相同,则D=0
证明:互换D中相同的两行,有D=−D⇒D=0
eg:
22−1008113=0
性质三: 用数k乘行列式的某一行(列)的各元素,等于用数k乘此行列
eg:
a11⋮kas1⋮an1a12⋮kas2⋮an2…⋮…⋮……⋮…⋮…a1n⋮kasn⋮ann=ka11⋮as1⋮an1a12⋮as2⋮an2…⋮…⋮……⋮…⋮…a1n⋮asn⋮ann
证明:
由行列式的定义:左式=j1j2…jn∑(−1)τ(j1j2…jn)a1j1…kasjs…anjn=kj1j2…jn∑(−1)τ(j1j2…jn)a1j1…asjs…anjn=右式
推论一:行列式某一行(列)的所有元素的公因子可以提到行列式的外面
eg:
2344=21324
推论二:若行列式中有两行(列)的对应元素成比例,则此行列式等于0
eg:
12−1248123=0
性质四:若行列式中某一行(列)的元素都是两个数之和,则它等于除改行外其余元素不变的两个行列式之和
eg:
a11⋮ai1+bi1⋮an1a12⋮ai2+bi2⋮an2…⋮…⋮……⋮…⋮…a1n⋮ain+bin⋮ann=a11⋮ai1⋮an1a12⋮ai2⋮an2…⋮…⋮……⋮…⋮…a1n⋮ain⋮ann+a11⋮bi1⋮an1a12⋮bi2⋮an2…⋮…⋮……⋮…⋮…a1n⋮bin⋮ann
证明:
左式=j1j2…jn∑(−1)τ(j1j2…jn)a1j1…(ai1+bi1)…anjn=j1j2…jn∑(−1)τ(j1j2…jn)a1j1…ai1…anjn+j1j2…jn∑(−1)τ(j1j2…jn)a1j1…bi1…anjn=右式
(1)该性质可以拓展至n个数之和,即若存在某一行(列)的元素均为n个数之和,那么行列式可以写成n个行列式之和
(2)若行列式的某m行(列)的元素均为n个数之和,那么该行列式可以写成nm个行列式之和
性质五:把行列式中某一行(列)k倍加到另一行(列)的对应元素上,行列式不变
eg:
a11⋮ai1+kaj1⋮aj1⋮an1a12⋮ai2+kaj2⋮aj2⋮an2…⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮…a1n⋮ain+kajn⋮ajn⋮ann=a11⋮ai1⋮aj1⋮an1a12⋮ai2⋮aj2⋮an2…⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮……⋮…⋮…⋮…a1n⋮ain⋮ajn⋮ann
计算
三角形行列式——三角化法
下三角形行列式,形如:D=a11a21⋮an10a22⋮an2……⋱…00⋮ann即主对角线以上的元素全为0的行列式。
求解过程:
D=j1j2…jn∑(−1)τ(j1j2…jn)a1j1a2j2…anjn要使a1j1a2j2…anjn不为零,必须j1=1,j2=2,…,jn=n∵τ(12…n)=0,∴D=a11a22…ann
同理,上三角形行列式: D=a110⋮0a12a22⋮0……⋱…a1na2n⋮ann=a11a22…ann
对角行列式: D=a110⋮00a22⋮0……⋱…00⋮ann=a11a22…ann
特殊地,副对角行列式: Dn=00⋮λn0⋯⋰0⋯λ2⋮⋯λ10⋮0
求解过程:
由行列式的定义Dn=j1j2…jn∑(−1)τ(j1j2…jn)a1j1a2j2…anjn要使得a1j1a2j2…anjn不为0,只有j1=n,j2=n−1,…,jn=1故Dn=(−1)τ(j1j2…jn)an1an−1,2…a1n=(−1)2n(n−1)λ1λ2…λn
行列式的展开——降阶法
余子式和代数余子式
定义:在Dn=aij中, 去掉元素aij所在的第𝑖行和第𝑗列,
余下的元素按照原来的次序构成的𝑛−1阶行列式, 称为aij的余子式,记作Mij,称Aij=(−1)i+jMij 为aij的代数余子式
eg:
在D=a11a21a31a41a12a22a32a42a13a23a33a43a14a24a34a44中M33=a11a21a41a12a22a42a14a24a44,A33=(−1)3+3M33=M33M23=a11a31a41a12a32a42a14a34a44,A23=(−1)2+3M23=−M23
1 .行列式D中每个元素aij分别对应着一个余子式Mij和一个代数余子式Aij
2 . Mij,Aij与行列式D的第i行和第j列的元素无关
在Dn=aij中任取k行k列(1≤k≤n),位于其交叉点的k2个元素按原来的相对位置构成一个k阶行列式M,称M为D的一个k阶子式,D中剩下的所有元素按原来的相对位置构成的n−k阶行列式M∗称为M的余子式,若M中元素在D中的行标和列标分别为i1,i2,…,ik和j1,j2,…,jk则称(−1)(i1+i2+⋯+ik)+(j1+j2+⋯+jk)M∗为M的代数余子式,例如:
$$
\begin{aligned}
&在D=\begin{vmatrix}a_{11} & a_{12} & a_{13} & a_{14} \a_{21} & a_{22} & a_{23} & a_{24} \a_{31} & a_{32} & a_{33} & a_{34} \a_{41} & a_{42} & a_{43} & a_{44}\end{vmatrix}中, \
&M=\begin{vmatrix}a_{11} & a_{13} \a_{21} & a_{23}\end{vmatrix}是D的一个2阶子式\
&M^=\begin{vmatrix}a_{32} & a_{34} \a_{42} & a_{44}\end{vmatrix}是M的余子式 \
&(-1)^(1+2+1+3)M^=-M^*为M的代数余子式
\end{aligned}
$$
行列式按行(列)展开定理
利用余子式和代数余子式,有
D=a11a21a31a12a22a32a13a23a33=a11a22a32a23a33+a12a21a31a13a33+a13a21a31a22a33=a11A11+a12A12+a13A13
即Dn=aij等于它的任意一行的各元素与其对应的代数余子式乘积之和,即D=ai1Ai1+ai2Ai2+⋯+ainAin(i=1,2,…,n)或D=a1jA1j+a2jA2j+⋯+anjAnj(j=1,2,…,n)
推论:n阶行列式D=aij的某一行(列)的各元素与另一行(列)的对应元素的代数余子式乘积之和等于零,即
ai1Aj1+ai2Aj2+⋯+ainAjn=0(i=j)或D=a1iA1j+a2iA2j+⋯+aniAnj(i=j)
证明:
将D=aij按第j行展开,得D=ai1Ai1+ai2Ai2+⋯+ainAin=a11⋮ai1⋮aj1⋮an1…………a1n⋮ain⋮ajn⋮ann把D中aik换成ajk(k=1,2,…,n),当i=j时,可得aj1Ai1+aj2Ai2+⋯+ajnAin=a11⋮aj1⋮aj1⋮an1…………a1n⋮ajn⋮ajn⋮ann所以aj1Ai1+aj2Ai2+⋯+ajnAin=0
定理和推论合起来可写作:
k=1∑naikAjk=Dδijk=1∑nakiAkj=Dδij
其中δij={1,i=j0,i=j为Kronecker符号
降阶法
利用性质2,3,5将行列式的某行(列)化为只有尽量少的非零元(最好只有一个), 再按该行(列)展开
eg1:
计算行解:D列式D=3−521110−5−13132−4−1−3=3−521110−5−13132−4−1−3c1−2c3c4+c35−110−5110−5−13131−100=(−1)3+35−11−511−51−10r2+r15−6−512−5100=(−1)4−6−52−5=40.
eg2:
证明:行列式D2n=acac⋱⋰acbd⋰⋱bdbd=(ad−bc)n解一:原式=a⋅ac0⋱⋰acbd⋰⋱bd000d+c⋅(−1)1+2n0ac⋱⋰acbd⋰⋱0bdb00=adD2n−2+c⋅(−1)1+2n⋅b⋅(−1)2nD2n−2=(ad−bc)D2n−2=⋯解二:将D2n的第2n行依次与第2n−1,2n−2,⋯3,2行交换,共换(2n−2)次,换至第2行,再将D2n的第2n列依次与第2n−1,2n−2,⋯3,2列交换,共换(2n−2)次,换至第2列,得D2n=(−1)2(2n−2)⋅ac0⋮⋮⋮⋮0bd0⋮⋮⋮⋮000ac⋯⋯⋱⋰⋯⋯ac⋯⋯bd⋯⋯⋰⋱00bd=D2⋅D2n−2=(ad−bc)⋅D2n−2=(ad−bc)n
加边法
-
构造高一阶行列式
在原 n 阶行列式基础上,增加一行一列,形成 (n+1) 阶行列式 Dn+1。
- 加边方式需使 Dn+1 具有易计算结构(如范德蒙德、三角形、对角形等)。
- 可引入辅助变量(如 y)或直接添加常数/参数行/列。
-
建立与原行列式的关系
确保原行列式 Dn 是 Dn+1 的某个代数余子式(或通过展开可直接提取)。
-
计算高阶行列式
利用其特殊结构(如范德蒙德公式、三角阵行列式=对角积等)求出 Dn+1 的表达式。
-
通过展开或系数比较还原 Dn
- 若引入变量(如 y),将 Dn+1 表示为多项式,比较特定幂次项系数。
- 若未引入变量,常通过初等行/列变换化简 Dn+1 为三角阵,再按加边行/列展开,直接得到 Dn。
eg:
计算D4=x1b2a1b3a1b4a1b1a2x2b3a2b4a2b1a3b2a3x3b4a3b1a4b2a4b3a4x4,(xi−aibi=0,i=1,2,3,4).D4=x1b2a1b3a1b4a1b1a2x2b3a2b4a2b1a3b2a3x3b4a3b1a4b2a4b3a4x4=10000a1x1b2a1b3a1b4a1a2b1a2x2b3a2b4a2a3b1a3b2a3x3b4a3a4b1a4b2a4b3a4x4i=1,2,3,4ri+1−bi×r11−b1−b2−b3−b4a1x1−a1b1000a20x2−a2b200a300x3−a3b30a4000x4−a4b4i=1,2,3,4c1+xi−aibibi×ci+11+∑i=14xi−aibiaibi0000a1x1−a1b1000a20x2−a2b200a300x3−a3b30a4000x4−a4b4=(1+i=1∑4xi−aibiaibi)(x1−a1b1)(x2−a2b2)(x3−a3b3)(x4−a4b4).
递推公式法
eg:
计算三对角行列式Dn=ac0⋮00bac⋮000ba⋮00⋯⋯⋯⋱⋯⋯000⋮ac000⋮ba解:将行列式按第一列展开,得:Dn=aDn−1−c⋅bc⋮000a⋮00⋯⋯⋱⋯⋯00⋮ac00⋮ba=aDn−1−bcDn−2, 且 D1=a,D2=a2−bc.设Dn−αDn−1=β(Dn−1−αDn−2),将它与已知的递推公式比较可得:α+β=a,αβ=bc,即α,β是方程x2−ax+bc=0的两个根.即α,β=2a±a2−4bc由Dn−αDn−1=β(Dn−1−αDn−2)=β2(Dn−2−αDn−3)=⋯=βn−2(D2−αD1)=βn−2(a2−bc−αa)=βn⟹Dn=βn+αDn−1=βn+α(βn−1+αDn−2)=βn+αβn−1+α2Dn−2=⋯=βn+αβn−1+⋯+αn−2β2+αn−1D1=βn+αβn−1+⋯+αn−2β2+αn−1(α+β)解得Dn=⎩⎨⎧α−βαn+1−βn+1,2n(n+1)an,a2=4bca2=4bc其中α,β为x2−ax+bc=0的两个根
Vandermonde行列式
Dn=1a1a12⋮a1n−11a2a22⋮a2n−11a3a32⋮a3n−1………⋱…1anan2⋮ann−1=1≤j<i≤n∏(ai−aj)
Laplace定理
定理:设在D中取定某k(1≤k≤n)行(列),得到的所有k阶子式为M1,M2,…,Mt,对应的代数余子式分别为A1,A2,…,At这里t=Cnk,则D=M1A1+M2A2+⋯+MtAt
eg:
如:D=a11⋮ak1c11⋮cn1⋯⋯⋯⋯a1k⋮akkc1k⋮cnkb11⋮bn10⋯⋯b1n⋮bnn.
在 D 中取定前 k 行, 得到的非零子式仅有 M=a11⋮ak1⋯⋯a1k⋮akk, 对应的代数余子式为
A=(−1)(1+2+⋯+k)+(1+2+⋯+k)b11⋮bn1⋯⋯b1n⋮bnn=b11⋮bn1⋯⋯b1n⋮bnn
由Laplace定理得 D=MA=a11⋮ak1⋯⋯a1k⋮akk⋅b11⋮bn1⋯⋯b1n⋮bnn
线性方程组
含有n个未知数的n个方程的线性方程组的形式是:
⎩⎨⎧a11x1+a12x2+..+a1nxn=b1a21x1+a22x2+..+a2nxn=b2………………………an1x1+an2x2+..+annxn=bn
其中aij(i,j=1,2,…,n)为系数,b1,b2,…,bn为常数项
若常数项b1,b2,…,bn不全为零则称方程组为非齐次线性方程组
若常数项b1,b2,…,bn全为零则称方程组为齐次线性方程组
Cramer法则
如果n元线性方程组
⎩⎨⎧a11x1+a12x2+..+a1nxn=b1a21x1+a22x2+..+a2nxn=b2………………………an1x1+an2x2+..+annxn=bn(1)
的系数行列式不等于零,即D=a11a21⋮an1a12a22⋮an2……⋱…a1na2n⋮ann=0
那么线性方程组(1)有唯一解:x1=DD1,x2=DD2,…,xn=DDn
其中Dj是将系数行列式D中第j列的元素用方程组右段端的常数项代替后所得到的n阶行列式,即
D=a11a21⋮an1………a1,ja2,j⋮an,j………a1na2n⋮anna11…↓Dj=a11a21⋮an1………b1b2⋮bn………a1na2n⋮ann
证明:
用D中第j列元素的代数余子式A1j,A2j,…,Anj依次乘以方程组(1)中的n个方程得:⎩⎨⎧(a11x1+a12x2+..+a1nxn)A1j=b1A1j(a21x1+a22x2+..+a2nxn)A2j=b2A2j………………………(an1x1+an2x2+..+annxn)Anj=bnAnj再把上述n个方程相加,得(k=1∑nak1Akj)x1+⋯+(k=1∑nakjAkj)+⋯+(k=1∑naknAkj)=k=1∑nbkAkj仅k=1∑nakjAkj=0即有Dxj=Dj(j=1,2,..,n)当D=0时,方程组有唯一解:x1=DD1,x2=DD2,…,xn=DDn
(1)Cramer法则仅适用于方程个数与未知量个数相等的情形,且要求系数行列式D=0
(2)Cramer法则的理论意义是:给出了解与系数的解析关系
(3)用Crammer法则求解线性方程组计算量大,不可取
(4)Cramer法则的逆否命题为:如果n元线性方程组(1)无解或有解但不唯一,则系数行列式D必为0
齐次线性方程组的解
对于齐次线性方程组
⎩⎨⎧a11x1+a12x2+..+a1nxn=0a21x1+a22x2+..+a2nxn=0………………………an1x1+an2x2+..+annxn=0(2)
显然x1=x2=⋯=xn=0一定是(2)的解,称之为齐次线性方程组的零解,若有一组不全为零的数是(2)的解,则称其为齐次线性方程组的非零解
Cramer法则的结论也适用于齐次线性方程组,且由Dj=0可知当D=0时,齐次线性方程组只有零解,即
- 如果齐次线性方程组(2)的系数行列式D=0,则方程组只有零解
- 若齐次线性方程组(2)有非零解则其系数行列式D=0
齐次线性方程组(2)有非零解⇔它的系数行列式D=0
行列式为零的判定条件总结
设A为n×n方阵
一、等价充要条件(核心)
- A 不可逆(奇异矩阵)
- rank(A)<n(不满秩)
- A的行向量组线性相关
- A的列向量组线性相关
- 齐次线性方程组Ax=0有非零解
- 0 是 A 的一个特征值
- A 的行(或列)空间维数小于n
二、常见充分情形
- 含零行或零列
104205306135000246
- 两行(或两列)相同
114225336135246246
- 两行(或两列)成比例
210421631120361241
- 一行(列)为其他行(列)的线性组合
101213314(第3行=第1行+第2行)
123011134(第3列=第1列+第2列)
- 秩小于阶数
123246369(rank=1<3)
- 特征值含0
(0012)(特征值 0,2)
- 幂零矩阵
(0010)(A2=0)