高等代数笔记:克莱姆法则(Cramer's Rule)
线性方程组何时有解
先说结论:克莱姆法则用于求n元线性方程组的唯一解. 下面的定理1、定理2合称克莱姆法则(Cramer's Rule).
数域K上n个方程的n元线性方程组:
系数矩阵记A,增广矩阵\(\widetilde{A}=(A, b)\),行阶梯形矩阵\(\widetilde{J}=(J,d)\).
1)方程组无解=>\(\widetilde{J}\)有非零行(0,...,0,d)=>J有零行=>\(|J|=0\),此时,出现“0=d(d≠0)”
2)有解时,有无穷解=>\(\widetilde{J}\)非零行数目r < n=>\(\widetilde{J}\)有零行=>J有零行=>\(|J|=0\)
3)有唯一解=>r=n => \(\widetilde{J}\)有n个非零行,但不能有“(0,...,0,d)”这样的非零行(否则无解)=>J有n个非零行=>J有n个主元=>\(|J|=c_{11}c_{22}...c_{nn}\neq 0\),形如:
其中,\(c_{11},c_{22},...,c_{nn}\)全都不为0
反过来,\(|J|\neq 0\)=>方程组有唯一解 成立吗?
\(|J|\neq 0\)=>J有n个主元=>J主对角线元素均非0=>\(x_n,...,x_2,x_1\)有唯一解=>方程组有唯一解
综上,方程组有唯一解当且仅当\(|J|\neq 0\).
由行列式性质(2、4、7)知,
则有,
∴\(|J|\neq 0\)当且仅当\(|A|\neq 0\).
可得定理:
定理1 数域K上n个方程的n元线性方程组有唯一解充要条件:其系数行列式(即系数行列式|A|)不为0.
证明见上.
推论1 数域K上n个方程的n元齐次线性方程组只有0解的充要条件:其系数行列式不为0. 从而有非0解充要条件是其系数行列式为0.
tips: 齐次线性方程组指常数项全为0,即\(b_1=b_2=...=b_n=0\);
非齐次线性方程组指常数项不全为0,即\(b_1,b_2,...,b_n\)至少有1个非0.
证明:2个结论
1)
由定理1知,方程组有唯一解充要条件:系数行列式不为0,即\(|A|\neq 0\)
对于齐次线性方程组,0显然是一个解
∴只有0解充要条件:系数行列式不为0,即\(|A|\neq 0\)
2)必要性 假设有非0解
∵0是齐次线性方程组的一个解
如果要有非0解,则必定不止1个解
∴\(|A|=0\)
充分性 假设\(|A|=0\)
此时,方程组要么无解,要么有无穷解
而对于齐次线性方程组,0显然是一个解
∴方程组有无穷解
∴除0解外,其他解必为非0解
故得证
求线性方程组的唯一解
线性方程组如果有唯一解,那么解是什么?
对于2元一次方程组,解为\((\frac{|B_1|}{|A|},\frac{|B_2|}{|A|})\),\(B_1, B_2\)是系数矩阵A的第1、2列换成常数项后所得矩阵.
对于n元一次方程组,可以将系数矩阵A的第j列换成常数项,得到\(B_j,j=1,2,...,n\),即:
定理2 n个方程组的n元线性方程组的系数行列式\(|A|\neq 0\)时,其唯一解为
\[(\frac{|B_1|}{|A|},\frac{|B_2|}{|A|},...,\frac{|B_n|}{|A|}) \]
证明:
由定理1,\(|A|\neq 0\)时方程组有唯一解.
将\(x_i=\frac{|B_j|}{|A|}(j=1,2,...,n)\)代入第i个方程左边:
补充说明:
前面高等代数笔记:行列式提到过,行列式|A|按第i行展开:
其中,\(A_{ij}\)是矩阵A的(i,j)元的代数余子式.
因此,\(|B_j|\)按第j列展开:
其中,\(b_k\)是\(B_j\)的第j列第k行元素,也是方程组第k个方程的常数项.
而\(A\)替换第j列为常数项 -> \(B_j\)
∴\(|B_j|\)与\(|A|\)的第j列代数余子式相同
即
由前面高等代数笔记:行列式知,
又k=1,2,..,n, i∈[1,n]
∴只有当k=i时,\(\sum_{j=1}^na_{ij}A_{kj}\)取值|A|,其他情形取值0