高等代数(二)-行列式08：拉普拉斯( Laplace) 定理 - 行列式的乘法规则

§ 8 拉普拉斯( Laplace) 定理 - 行列式的乘法规则
这一节介绍行列式的拉普拉斯定理,
这个定理可以看成是行列式按一行展开公式的推广.
首先我们把余子式和代数余子式的概念加以推广.
定义 9 在 $n$ 阶行列式 $D$ 中任意选定 $k$ 行 $k$ 列 $(k⩽n)$,
位于这些行和列的交点上的 $k^2$ 个元素按原来的次序组成的 $k$ 阶行列式
$M$, 称为行列式 $D$ 的 $k$ 阶子式. 当 $k<n$ 时,在 $D$ 中划去这 $k$ 行
$k$ 列后余下的元素按照原来的次序组成的 $n-k$ 阶行列式 $M^{\prime }$ 称为
$k$阶子式 $M$ 的余子式.
从定义立刻看出, $M$ 也是 $M^{\prime }$ 的余子式, 所以 $M$ 和 $M^{\prime }$
可以称为 $D$ 的一对互余的子式.
例 1 在 4 阶行列式
$$D=\left|\begin{array}{rrrr}1& 2& 1& 4\\ 0& -1& 2& 1\\ 0& 0& 2& 1\\ 0& 0& 1& 3\end{array}\right|$$
中选定第 1.3 行,第 2.4 列得到一个二阶子式
$$M=\left|\begin{array}{ll}2& 4\\ 0& 1\end{array}\right|,$$
$M$ 的余子式为
$$M^{\prime }=\left|\begin{array}{ll}0& 2\\ 0& 1\end{array}\right|.$$
例 2 在 5 阶行列式
$$D=\left|\begin{array}{ccccc}{a}_{11}& a_{12}& a_{13}& a_{14}& a_{15}\\ a_{21}& a_{22}& a_{23}& a_{24}& a_{25}\\ ⋮& ⋮& ⋮& ⋮& ⋮\\ a_{51}& a_{52}& a_{53}& a_{54}& a_{55}\end{array}\right|$$
中
$$M=\left|\begin{array}{lll}{a}_{12}& a_{13}& a_{15}\\ a_{22}& a_{23}& a_{25}\\ a_{42}& a_{43}& a_{45}\end{array}\right|$$
和
$$M^{\prime }=\left|\begin{array}{ll}{a}_{31}& a_{34}\\ a_{51}& a_{54}\end{array}\right|$$
是一对互余的子式.
定义 10 设 $D$ 的 $k$ 阶子式 $M$ 在 $D$ 中所在的行、列指标分别是
$i_1,i_2,\cdots ,i_k;j_1$, $j_2,\cdots ,j_k$. 则 $M$
的余子式 $M^{\prime }$ 前面加上符号
$(-1{)}^{\left(i_1+i_2+\cdots +i_k\right)+\left(j_1+j_2+\cdots +j_k\right)}$
后称为 $M$ 的代数余子式.
例如, 上述例 1 中 $M$ 的代数余子式是
$$(-1{)}^{(1+3)+(2+4)}{M}^{\prime }=M^{\prime },$$
上面例 2 中 $M$ 的代数余子式为
$$(-1{)}^{(1+2+4)+(2+3+5)}{M}^{\prime }=-M^{\prime }.$$
因为 $M$ 与 $M^{\prime }$ 位于行列式 $D$ 中不同的行和不同的列,
所以我们有下述
引理 行列式 $D$ 的任一个子式 $M$ 与它的代数余子式 $A$
的乘积中的每一项都是行列式 $D$ 的展开式中的一项, 而且符号也一致.
证明 我们首先讨论 $M$ 位于行列式 $D$ 的左上方的情形:
$$D=\left|\begin{array}{ccccccc}{a}_{11}& a_{12}& \cdots & a_{1k}& a_{1,k+1}& \cdots & a_{1n}\\ ⋮& ⋮& M& ⋮& ⋮& & ⋮\\ a_{k1}& a_{k2}& \cdots & a_{kk}& a_{k,k+1}& \cdots & a_{kn}\\ a_{k+1,1}& a_{k+1,2}& \cdots & a_{k+1,k}& a_{k+1,k+1}& \cdots & a_{k+1,n}\\ ⋮& ⋮& & ⋮& ⋮& M^{\prime }& ⋮\\ a_{n1}& a_{n2}& \cdots & a_{nk}& a_{n,k+1}& \cdots & a_{nn}\end{array}\right|.$$
此时 $M$ 的代数余子式
A = ( − 1 ) ( 1 + 2 + ⋯ + k ) + ( 1 + 2 + ⋯ + k ) M ′ = M ′ . A=(-1)^{(1+2+\cdots+k)+(1+2+\cdots+k)} M^{\prime}=M^{\prime} . A=(−1)(1+2+⋯+k)+(1+2+⋯+k)M′=M′</