Cramer 法则适用于计算含有 n 个未知数、 n 个方程式的线性方程组.
1.1.3.1. 线性方程组
线性方程组的一般形式为
⎩⎨⎧a11x1+a12x2+⋯+a1nxn=b1,a21x1+a22x2+⋯+a2nxn=b2,⋯⋯⋯⋯an1x1+an2x2+⋯+annxn=bn,(1.8)
其中
- x1,x2,⋯,xn 是未知数.
- aij(i=1,⋯,n;j=1,⋯,n) 是常数,称为各未知数的系数.
- b1,b2,⋯,bn 也是常数,称为常数项.
- (1.8) 式称为 n 个未知数、 n 个方程式的线性方程组的标准式.
1.1.3.2. Cramer 法则
现设有如 (1.8) 式的线性方程组, (1.8) 式中诸未知数的系数按式中的顺序排列组成一个 n 阶行列式,记为 ∣A∣ :
∣A∣=a11a21⋮an1a12a22⋮an2⋯⋯⋯a1na2n⋮ann
∣A∣ 称为线性方程组 (1.8) 的系数行列式.
将常数项 b1,b2,⋯,bn 依次置换 ∣A∣ 的第一列元素,便得到行列式 ∣A1∣ :
∣A1∣=b1b2⋮bna12a22⋮an2⋯⋯⋯a1na2n⋮ann
再将 b1,b2,⋯,bn 依次置换 ∣A∣ 的第二列元素,得到行列式 ∣A2∣ :
∣A2∣=a11a21⋮an1b1b2⋮bn⋯⋯⋯a1na2n⋮ann.
不断这样做下去,即用 b1,b2,⋯,bn 依次置换 ∣A∣ 的第三列,第四列, ⋯ ,第 n 列,便得到 ∣A3∣,∣A4∣,⋯,∣An∣ .
1.1.3.3. 定理 (Cramer 法则)
设有 n 个未知数、 n 个方程式的线性方程组如 (1.8) 式所示,若它的系数行列式 ∣A∣ 的值不等于零,则该方程组有且只有一组解:
x1=∣A∣∣A1∣,x2=∣A∣∣A2∣,⋯,xn=∣A∣∣An∣.