$\text{中文}$\ce{}$\frac{}{}$克莱姆法则,又译克拉默法则(Cramer's Rule)是线性代数中一个关于求解线性方程组的定理
概念
其中A是线性方程组的系数矩阵,X是由未知数组成的列向量,β是由常数项组成的列向量。线性方程组⑴的矩阵形式为AX=β
当常数项全为零时,线性方程组⑵称为齐次线性方程组,即:
系数构成的行列式称为该方程组的系数行列式D,即

定理
证明
充分性:设A可逆,那么显然X0=A-1β是AX=β的一个解。又设X1是AX=β其他不为X0的解,即AX1=β。两边同时左乘A-1得
上面两式矛盾,因为不存在其他不为X0的解,故X0=A-1β是唯一的一个解。
必要性:设AX=β的唯一解X0。如A不可逆,齐次线性组AX=O就有非零解Y0,
X0+Y0也是AX=β的一个解,矛盾,故可逆,证毕。
具体例子
克莱姆法则在线计算器
使用下方的在线计算器,输入线性方程组的系数即可快速求解。支持二元一次方程组(2×2)和三元一次方程组(3×3)。
🧮 克莱姆法则计算器
Cramer's Rule · 支持 2~10 元线性方程组求解
📐 设置方程个数 — 2~10 元线性方程组
✏️ 输入系数和常数项 — 填入方程各系数,加载即显示结果
克莱姆法则数学公式
二元一次方程组
对于方程组:
$\begin{cases} a_{11}x_1 + a_{12}x_2 = b_1 \\ a_{21}x_1 + a_{22}x_2 = b_2 \end{cases}$
系数行列式:
$D = \begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix} = a_{11}a_{22} - a_{12}a_{21}$
若 $D \neq 0$,方程组有唯一解:
$x_1 = \frac{D_1}{D}, \quad x_2 = \frac{D_2}{D}$
其中 $D_1 = \begin{vmatrix} b_1 & a_{12} \\ b_2 & a_{22} \end{vmatrix}$,$D_2 = \begin{vmatrix} a_{11} & b_1 \\ a_{21} & b_2 \end{vmatrix}$
三元一次方程组
对于方程组:
$\begin{cases} a_{11}x_1 + a_{12}x_2 + a_{13}x_3 = b_1 \\ a_{21}x_1 + a_{22}x_2 + a_{23}x_3 = b_2 \\ a_{31}x_1 + a_{32}x_2 + a_{33}x_3 = b_3 \end{cases}$
系数行列式:
$D = \begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{vmatrix}$
若 $D \neq 0$,有唯一解 $x_j = \frac{D_j}{D} \ (j = 1,2,3)$,其中 $D_j$ 是将 $D$ 的第 $j$ 列替换为常数项列 $(b_1, b_2, b_3)^T$ 后得到的行列式。
克莱姆法则的一般形式
对于 $n$ 元线性方程组 $A\mathbf{X} = \mathbf{b}$,若系数行列式 $D = \det(A) \neq 0$,则有唯一解:
$x_j = \frac{D_j}{D} = \frac{\det(A_j)}{\det(A)} \quad (j = 1, 2, \dots, n)$
其中 $A_j$ 是将矩阵 $A$ 的第 $j$ 列替换为常数向量 $\mathbf{b}$ 后得到的矩阵。克莱姆法则由瑞士数学家加布里埃尔·克莱姆(Gabriel Cramer,1704-1752)于1750年发表。







