克萊姆法則

来自testwiki
跳转到导航 跳转到搜索

Template:Refimprove Template:ScienceNavigation Template:NoteTA 克萊姆法則克拉瑪公式Template:Lang-en)是一個線性代數中的定理,用行列式來計算出線性等式組中的所有解。這個定理因加百列·克萊姆(1704年 - 1752年)的卓越使用而命名。在計算上,並非最有效率之法,因而在很多條等式的情況中沒有廣泛應用。不過,這一定理在理論性方面十分有效。

基本方程

一個線性方程組可以用矩陣向量的方程來表示:

Ax=c(1)

其中的A是一个n×n方塊矩陣,而向量 x=(x1,x2,xn)T 是一个长度为n行向量c=(c1,c2,cn)T 也一样。

克莱姆法则说明:如果A是一个可逆矩陣detA0 ),那么方程(1)有解 x=(x1,x2,xn)T,其中

xi=det(Ai)det(A) (1)

当中xi是列向量x的第i行(行向量与列向量不一样,解释默认列向量)

當中Ai是列向量c取代了A的第i列后得到的矩阵。為了方便,我們通常使用Δ來表示det(A),用Δi來表示det(Ai)。所以等式(1)可以寫成為:

xi=ΔiΔ

抽象方程

Template:FurtherR為一個環,A就是一個包含R的系數的n×n矩陣。所以:

adj(A)A=det(A)I

當中det(A)就是A的行列式,以及I就是單位矩陣

證明概要

对于n元线性方程组 Ax=c

把系数矩阵 Template:Smallmath 表示成行向量的形式

A=(u1,u2,,un)

由于系数矩阵可逆,故方程组一定有解x*=A1c.

x*=(x1,x2,,xn)T,即

Ax*=k=1nxkuk=c

考虑Δi的值,利用行列式線性和交替性質,有

Δi=det(,ui1,c,ui+1,)=det(,ui1,k=1nxkuk,ui+1,)=k=1nxkdet(,ui1,uk,ui+1,)=xidet(,ui1,ui,ui+1,)=xiΔ

于是

xi=ΔiΔ

例子

运用克萊姆法則可以很有效地解決以下方程组。

已知:

ax+by=e
cx+dy=f

使用矩陣來表示時就是:

[abcd][xy]=[ef]

当矩阵可逆时,x和y可以從克萊姆法則中得出:

x=|ebfd||abcd|=edbfadbc
以及
y=|aecf||abcd|=afecadbc

用3×3矩陣的情況亦差不多。

已知:

ax+by+cz=j
dx+ey+fz=k
gx+hy+iz=l

當中的矩陣表示為:

[abcdefghi][xyz]=[jkl]

当矩阵可逆时,可以求出x、y和z:

x=|jbckeflhi||abcdefghi|、   y=|ajcdkfgli||abcdefghi|   以及   z=|abjdekghl||abcdefghi|

微分幾何上的應用

克萊姆法則在解決微分幾何的问题时十分有用。

先考慮兩條等式F(x,y,u,v)=0G(x,y,u,v)=0。其中的u和v是需要考虑的变量,并且它们互不相关。我們可定義x=X(u,v)y=Y(u,v)

找出一條等式適合x/u是克萊姆法則的簡單應用。

首先,我們要計算FGxy的導數:

dF=Fxdx+Fydy+Fudu+Fvdv=0
dG=Gxdx+Gydy+Gudu+Gvdv=0
dx=Xudu+Xvdv
dy=Yudu+Yvdv

dxdy代入dFdG,可得出:

dF=(Fxxu+Fyyu+Fu)du+(Fxxv+Fyyv+Fv)dv=0
dG=(Gxxu+Gyyu+Gu)du+(Gxxv+Gyyv+Gv)dv=0

因為uv互不相关,所以dudv的系數都要等於0。所以等式中的系數可以被寫成:

Fxxu+Fyyu=Fu
Gxxu+Gyyu=Gu
Fxxv+Fyyv=Fv
Gxxv+Gyyv=Gv

現在用克萊姆法則就可得到:

xu=|FuFyGuGy||FxFyGxGy|

用兩個雅可比矩陣來表示的方程:

xu=((F,G)(y,u))((F,G)(x,y))

用類似的方法就可以找到xvyu以及yv

基本代數上的應用

克萊姆法則可以用來證明一些線性代數中的定理,當中的定理對環理論十分有用。

線性規劃上的應用

克萊姆法則可以用來證明一個線性規劃問題有一個基本整數的解。這樣使得線性規劃的問題更容易被解決。

缺点

克莱姆法则在电子计算机出现后,被认为是难以实际用于计算的。当使用克莱姆法则计算一个n阶线性方程组时,所需乘法次数为(n+1)! 次。例如求解25阶线性方程组时,总计乘法次数需要26!(即4.03×1026)次,若计算机每秒能计算100亿次,所需时间约12.79亿年。相比之下,高斯消元法只需3060次乘法,对计算机而言易如反掌。[1]

參考文獻

Template:Reflist

外部链接

Template:线性代数的相关概念