（邱维声）高等代数课程笔记：行列式按k行（列）展开

行列式按 k 行（列）展开

k 阶子式与其余子式：对于 $n$ 级矩阵 $A=(a_{ij})$，任取其 $k$ 行：第 $i_1,i_2,\cdots ,i_k$ 行，其中 $i_1<i_2<\cdots <i_k$；再任取其 $k$ 列：第 $j_1,j_2,\cdots ,j_k$ 列，其中 $j_1<j_2<\cdots <j_k$. 则这 $k$ 行 $k$ 列元素按原来的排法可以构成一个 $k$ 阶行列式，称为 $A$ 的一个 $k$ 阶子式，记作：

$$A\left(\begin{array}{c}{i}_1,i_2,\cdots ,i_k\\ j_1,j_2,\cdots ,j_k\end{array}\right)\text{\hspace{1em}(1)}$$

\quad 若划去上述 $k$ 行 $k$ 列，则剩下元素按照原来的排法可以形成一个 $n-k$ 阶行列式，称为 $(1)$ 的余子式。

\quad 令
{ i 1 ′ , i 2 ′ , ⋯   , i n − k ′ } = { 1 , 2 , ⋯   , n } \ { i 1 , i 2 , ⋯   , i k } \{i_{1}',i_{2}',\cdots,i_{n-k}'\} = \{1,2,\cdots,n\} \backslash \{i_{1},i_{2},\cdots,i_{k}\} {i1′​,i2′​,⋯,in−k′​}={1,2,⋯,n}\{i1​,i2​,⋯,ik​}

{ j 1 ′ , j 2 ′ , ⋯   , j n − k ′ } = { 1 , 2 , ⋯   , n } \ { j 1 , j 2 , ⋯   , j k } \{j_{1}',j_{2}',\cdots,j_{n-k}'\} = \{1,2,\cdots,n\} \backslash \{j_{1},j_{2},\cdots,j_{k}\} {j1′​,j2′​,⋯,jn−k′​}={1,2,⋯,n}\{j1​,j2​,⋯,jk​}

并且约定：$i_1^{\prime }<i_2^{\prime }<\cdots <i_{n-k}^{\prime }$，$j_1^{\prime }<j_2^{\prime }<\cdots <j_{n-k}^{\prime }$. 则 $(1)$ 的余子式也是 $A$ 的一个 $n-k$ 阶子式，记作：

$$A\left(\begin{array}{c}{i}_1^{\prime },i_2^{\prime },\cdots ,i_{n-k}^{\prime }\\ j_1^{\prime },j_2^{\prime },\cdots ,j_{n-k}^{\prime }\end{array}\right)\text{\hspace{1em}(2)}$$

\quad 另外，称

$$(-1{)}^{(i_1+i_2+\cdots +i_k)+(j_1+j_2+\cdots +j_k)}\cdot A\left(\begin{array}{c}{i}_1^{\prime },i_2^{\prime },\cdots ,i_{n-k}^{\prime }\\ j_1^{\prime },j_2^{\prime },\cdots ,j_{n-k}^{\prime }\end{array}\right)$$

为子式 $(1)$ 的代数余子式。

---

\quad 类比 上一节 中 $n$ 阶行列式按一行（列）展开的理论，容易猜测 定理 1 成立。

定理 1. Laplace 定理：设 $A=(a_{ij})$ 是一个 $n$ 级矩阵，取其第 $i_1,i_2,\cdots ,i_k$ 行（$i_1<i_2<\cdots <i_k$），则 $|A|$ 等于这 $k$ 行形成的所有 $k$ 阶子式与其代数余子式的乘积之和。即

$$|A|=\sum _{1\le j_1<j_2<\cdots <j_k\le n}A\left(\begin{array}{c}{i}_1,i_2,\cdots ,i_k\\ j_1,j_2,\cdots ,j_k\end{array}\right)\cdot (-1{)}^{(i_1+i_2+\cdots +i_k)+(j_1+j_2+\cdots +j_k)}\cdot A\left(\begin{array}{c}{i}_1^{\prime },i_2^{\prime },\cdots ,i_{n-k}^{\prime }\\ j_1^{\prime },j_2^{\prime },\cdots ,j_{n-k}^{\prime }\end{array}\right)$$

证明：下面是课上邱老师给出的新证明。

\quad 对于指定的第 $i_1,i_2,\cdots ,i_k$ 行，按照 $j_1<j_2<\cdots <j_k$ 的要求任取列，从而得到 $k$ 阶子式。对 $k$ 阶子式可以进行“分组”：

a. 对于任取的第 $j_1,j_2,\cdots ,j_k$ 列，令 $u_1{u}_2\cdots u_k$ 是其一个 $k$ 元排列；

b. 对于剩下的第 $j_1^{\prime }<j_2^{\prime }<\cdots <j_{n-k}^{\prime }$ 列，令 $v_1{v}_2\cdots v_{n-k}$ 是其一个 $n-k$ 元排列。

\quad 于是，按照行列式的定义，

$$\begin{array}{rl}|A|& =\sum _{u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k}}(-1{)}^{\tau (i_1{i}_2\cdots i_k{i}_1^{\prime }{i}_2^{\prime }\cdots i_{n-k}^{\prime })+\tau (u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k})}{a}_{i_1{u}_1}{a}_{i_2{u}_2}\cdots a_{i_k{u}_k}{a}_{i_1^{\prime }{v}_1}{a}_{i_2^{\prime }{v}_2}\cdots a_{i_{n-k}^{\prime }{v}_{n-k}}\\ & =\sum _{1\le j_1<j_2<\cdots <j_k\le n}\sum _{u_1{u}_2\cdots u_k}\sum _{v_1{v}_2\cdots v_{n-k}}(-1{)}^{\tau (i_1{i}_2\cdots i_k{i}_1^{\prime }{i}_2^{\prime }\cdots i_{n-k}^{\prime })+\tau (u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k})}{a}_{i_1{u}_1}{a}_{i_2{u}_2}\cdots a_{i_k{u}_k}{a}_{i_1^{\prime }{v}_1}{a}_{i_2^{\prime }{v}_2}\cdots a_{i_{n-k}^{\prime }{v}_{n-k}}\end{array}$$

\quad 值得注意的是，

a. 对于 $n$ 元排列 $i_1{i}_2\cdots i_k{i}_1^{\prime }{i}_2^{\prime }\cdots i_{n-k}^{\prime }$，由于比 $i_1$ 小的数有 $i_1-1$ 个，比 $i_2$ 小的数有 $i_2-1$ 个，再除去 $i_1$，有 $i_2-2$ 个 ……，比 $i_k$ 小的数有 $i_k-k$ 个，于是

$$(-1{)}^{i_1{i}_2\cdots i_k{i}_1^{\prime }{i}_2^{\prime }\cdots i_{n-k}^{\prime }}=(-1{)}^{i_1+i_2+\cdots +i_k-\frac{k(k+1)}{2}}$$

b. 假设经过 $S$ 次对换，排列 $u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k}$ 化为排列 $j_1{j}_2\cdots j_k{v}_1{v}_2\cdots v_{n-k}$. 因为 $j_1<j_2<\cdots <j_k$，因此 $\tau (j_1\cdots j_k)=0$（成自然序），从而

$$(-1{)}^{\tau (u_1{u}_2\cdots u_k)}=(-1{)}^S$$

\quad 于是

$$\begin{array}{rl}(-1{)}^{\tau (u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k})}& =(-1{)}^S\cdot (-1{)}^{\tau (j_1{j}_2\cdots j_k{v}_1{v}_2\cdots v_{n-k})}\\ & =(-1{)}^{\tau (u_1{u}_2\cdots u_k)}\cdot (-1{)}^{\tau (j_1{j}_2\cdots j_k{v}_1{v}_2\cdots v_{n-k})}\\ & =(-1{)}^{\tau (u_1{u}_2\cdots u_k)}\cdot (-1{)}^{(j_1-1)+(j_2-2)+\cdots +(j_k-k)+\tau (v_1{v}_2\cdots v_{n-k})}\\ & =(-1{)}^{j_1+j_2+\cdots +j_k-\frac{k(k+1)}{2}}\cdot (-1{)}^{\tau (u_1{u}_2\cdots u_k)+\tau (v_1{v}_2\cdots v_{n-k})}\end{array}$$

\quad 从而，

$$\begin{array}{rl}|A|& =\sum _{1\le j_1<j_2<\cdots <j_n\le n}\sum _{u_1{u}_2\cdots u_k}\sum _{v_1{v}_2\cdots v_{n-k}}(-1{)}^{\tau (i_1{i}_2\cdots i_k{i}_1^{\prime }{i}_2^{\prime }\cdots i_{n-k}^{\prime })+\tau (u_1{u}_2\cdots u_k{v}_1{v}_2\cdots v_{n-k})}{a}_{i_1{u}_1}{a}_{i_2{u}_2}\cdots a_{i_k{u}_k}{a}_{i_1^{\prime }{v}_1}{a}_{i_2^{\prime }{v}_2}\cdots a_{i_{n-k}^{\prime }{v}_{n-k}}\\ & =\sum _{1\le j_1<j_2<\cdots <j_n\le n}(-1{)}^{\tau (i_1+i_2+\cdots +i_k)+\tau (j_1+j_2+\cdots +j_k)}\sum _{u_1{u}_2\cdots u_k}(-1{)}^{\tau (u_1{u}_2\cdots u_k)}{a}_{i_1{u}_1}{a}_{i_2{u}_2}\cdots a_{i_k{u}_k}\sum _{v_1{v}_2\cdots v_{n-k}}(-1{)}^{\tau (v_1{v}_2\cdots v_{n-k})}{a}_{i_1^{\prime }{v}_1}{a}_{i_2^{\prime }{v}_2}\cdots a_{i_{n-k}^{\prime }{v}_{n-k}}\\ & =\sum _{1\le j_1<j_2<\cdots <j_k\le n}(-1{)}^{(i_1+i_2+\cdots +i_k)+(j_1+j_2+\cdots +j_k)}\cdot A\left(\begin{array}{c}{i}_1,i_2,\cdots ,i_k\\ j_1,j_2,\cdots ,j_k\end{array}\right)\cdot A\left(\begin{array}{c}{i}_1^{\prime },i_2^{\prime },\cdots ,i_{n-k}^{\prime }\\ j_1^{\prime },j_2^{\prime },\cdots ,j_{n-k}^{\prime }\end{array}\right)\end{array}$$

#

\quad 由行列式的行与列的对称性，不难将结论推广到列的情形。

---

\quad 最后，介绍 Laplace 定理 的一个重要应用。

例题 1：求解下面的行列式。

$$|A|=\left|\begin{array}{cccccc}{a}_{11}& \cdots & a_{1k}& 0& \cdots & 0\\ ⋮& & ⋮& ⋮& & ⋮\\ a_{k1}& \cdots & a_{kk}& 0& \cdots & 0\\ c_{11}& \cdots & c_{1k}& b_{11}& \cdots & b_{1t}\\ ⋮& & ⋮& ⋮& & ⋮\\ c_{t1}& \cdots & c_{tk}& b_{t1}& \cdots & b_{tt}\end{array}\right|$$

解：

\quad 由 Laplace 定理，按前 $k$ 行展开，则有：

$$|A|=\left|\begin{array}{ccc}{a}_{11}& \cdots & a_{1k}\\ ⋮& & ⋮\\ a_{k1}& \cdots & a_{kk}\end{array}\right|\cdot \left|\begin{array}{ccc}{b}_{11}& \cdots & b_{1t}\\ ⋮& & ⋮\\ b_{t1}& \cdots & b_{tt}\end{array}\right|$$

#

---

参考：

• 邱维声. 高等代数课程.