高等代数(二)-行列式07：克拉默 (C ramer) 法则

§ 7 克拉默 (C ramer) 法则
现在我们来应用行列式解决线性方程组的问题.
在这里只考虑方程个数与未知量的个数相等的情形. 以后会看到,
这是一个重要的情形.
至于更一般的情形留到下一章讨论.下面我们将得出与二元和三元线性方程组相仿的公式.
本节的主要结果是
定理 4 如果线性方程组
$$\{\begin{array}{c}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=b_1,\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=b_2,\\ \cdots \cdots \cdots \cdots \\ a_{n1}{x}_1+a_{n2}{x}_2+\cdots +a_{nn}{x}_n=b_n\end{array}$$
的系数矩阵
$$A=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& & ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nn}\end{array}\right)$$
的行列式, 即系数行列式
$$d=|\mathbf{A}|\ne 0,$$
那么线性方程组 (1) 有解, 并且解是唯一的, 解可以通过系数表为
$$x_1=\frac{d_1}{d},x_2=\frac{d_2}{d},\cdots ,x_n=\frac{d_n}{d},$$
其中 $d_j$ 是把矩阵 $\mathbf{A}$ 中第 $j$ 列换成方程组的常数项
$b_1,b_2,\cdots ,b_n$ 所成的矩阵的行列式, 即
$$d_j=|\begin{array}{ccccc}{a}_{11}& \cdots & a_{1,j-1}& b_1& a_{1,j+1}\\ a_{21}& \cdots & a_{2,j-1}& b_2& a_{2,j+1}\\ ⋮& & ⋮& ⋮& ⋮\\ a_{n1}& \cdots & a_{n,j-1}& b_n& \end{array}$$