# 前置知识

3.2 n 阶行列式的定义和性质

# 利用范德蒙德行列式

范德蒙德行列式长这样:

Vn=111a1a2ana12a22an2a1n1a2n1ann1=1j<in(aiaj)V_n = \begin {vmatrix} 1 & 1 & \cdots & 1 \\ a_1 & a_2 & \cdots & a_n \\ a_1^2 & a_2^2 & \cdots & a_n^2 \\ \vdots & \vdots & \ddots & \vdots \\ a_1^{n - 1} & a_2^{n - 1} & \cdots & a_n^{n - 1} \end {vmatrix} = \prod_{1 \le j < i \le n} (a_i - a_j)

1.1. 求下列行列式:

1112222n3323nnn2nn\begin {vmatrix} 1 & 1 & \cdots & 1 \\ 2 & 2^2 & \cdots & 2^n \\ 3 & 3^2 & \cdots & 3^n \\ \vdots & \vdots & \ddots & \vdots \\ n & n^2 & \cdots & n^n \end {vmatrix}

:注意到这个行列式的各行元素是一个数的不同方幂,方幂次数递升,让我们想到了范德蒙德行列式,但是是从 11 递升至 nn,而标准形式是从 00 递升至 nn,因此我们可以每行都提出一个公因数,转换成标准形式。

1112222n3323nnn2nn=n!111112222n113323n11nn2nn1=n!1j<in(aiaj)=n!(21)(31)(n1)(32)(42)(n2)[n(n1)]=n!(n1)!(n2)!2!1!\begin {aligned} & \begin {vmatrix} 1 & 1 & \cdots & 1 \\ 2 & 2^2 & \cdots & 2^n \\ 3 & 3^2 & \cdots & 3^n \\ \vdots & \vdots & \ddots & \vdots \\ n & n^2 & \cdots & n^n \end {vmatrix} \\ = & n! \begin {vmatrix} 1 & 1 & 1 & \cdots & 1 \\ 1 & 2 & 2^2 & \cdots & 2^{n - 1} \\ 1 & 3 & 3^2 & \cdots & 3^{n - 1} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 1 & n & n^2 & \cdots & n^{n - 1} \end {vmatrix} \\ = & n! \prod_{1 \le j < i \le n} (a_i - a_j) \\ = & n! (2 - 1) (3 - 1) \cdots (n - 1) (3 - 2) (4 - 2) \cdots (n - 2) \cdots [n - (n - 1)] \\ = & n! (n - 1)! (n - 2)! \cdots 2! 1! \end {aligned}

# 箭形(爪形)行列式

此类行列式的特征:两边加一条对角线上有元素,其余元素是 00

计算目标:将第一行或第一列除 a1,1a_{1, 1} 以外的元素全化为 00,转化为三角矩阵。

2.2. 求下列行列式:

Δ=a0b1b2bnc1a100c20a20cn00an\Delta = \begin {vmatrix} a_0 & b_1 & b_2 & \cdots & b_n \\ c_1 & a_1 & 0 & \cdots & 0 \\ c_2 & 0 & a_2 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ c_n & 0 & 0 & \cdots & a_n \end {vmatrix}

:当 aia_i 不等于 00,将行列式中第 i+1i + 1 列的 ciai- \dfrac {c_i} {a_i} 倍加到第一列,即可得到三角矩阵。

Δ=a0i=1ncibiaib1b2bn0a10000a20000an=j=1naj(a0i=1nbiciai)\Delta = \begin {vmatrix} a_0 - \sum\limits_{i = 1}^n \frac {c_i b_i} {a_i} & b_1 & b_2 & \cdots & b_n \\ 0 & a_1 & 0 & \cdots & 0 \\ 0 & 0 & a_2 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & a_n \end {vmatrix} = \prod_{j = 1}^n a_j \left( a_0 - \sum_{i = 1}^n \frac {b_i c_i} {a_i} \right)

# 加边法(升阶法)

顾名思义,在原行列式中增加一行一列,且保持原行列式不变。

适用于具有如下特征的行列式:每行或每列除对角线上元素外分别是某些数的同一倍元。

再经过一系列初等行变换之后会转化成爪形(箭头形)矩阵。

3.3. 求下列行列式:

Δ=x1b1a2b1anb2a1x2b2anbna1bna2xn\Delta = \begin {vmatrix} x_1 & b_1 a_2 & \cdots & b_1 a_n \\ b_2 a_1 & x_2 & \cdots & b_2 a_n \\ \vdots & \vdots & \ddots & \vdots \\ b_n a_1 & b_n a_2 & \cdots & x_n \end {vmatrix}

:使用升阶法解决这个行列式问题。

Δ=1a1a2an0x1b1a2b1an0b2a1x2b2an0bna1bna2xn=将第1行的bi倍加至第i+11a1a2anb1x1b1a100b20x2b2a20bn00xnbnan\begin {aligned} \Delta &= \begin {vmatrix} 1 & a_1 & a_2 & \cdots & a_n \\ 0 & x_1 & b_1 a_2 & \cdots & b_1 a_n \\ 0 & b_2 a_1 & x_2 & \cdots & b_2 a_n \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & b_n a_1 & b_n a_2 & \cdots & x_n \end {vmatrix} \\ & \xlongequal {将第 1 行的 -b_{i} 倍加至第 i + 1 行} \begin {vmatrix} 1 & a_1 & a_2 & \cdots & a_n \\ -b_1 & x_1 - b_1 a_1 & 0 & \cdots & 0 \\ -b_2 & 0 & x_2 - b_2 a_2 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ -b_n & 0 & 0 & \cdots & x_n - b_n a_n \end {vmatrix} \end {aligned}

随后在利用爪形行列式的计算方法计算。

# 拆项递推法

适用该方法的行列式具有的特征:主对角线上方和下方元素分别全部相同。

计算目标:通过拆项,将其中一列元素拆成一个除了顶角元素以外,全部为 00 的行列式(方便降阶产生形状类似的更小的行列式),和一个其中一列完全相同的行列式(方便提公因数,然后用列相消得到三角矩阵)

4.4. 计算下列行列式:

Δn=x1aaabx2aabbx3abbbxn\Delta_n = \begin {vmatrix} x_1 & a & a & \cdots & a \\ b & x_2 & a & \cdots & a \\ b & b & x_3 & \cdots & a \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b & b & b & \cdots & x_n \end {vmatrix}

Δn=x1aa0bx2a0bbx30bbbxna+x1aaabx2aabbx3abbba=(xna)Δn1+ax1aa1bx2a1bbx31bbb1=每一列减去最后一列的b(xna)Δn1+ax1babab10x2bab100x3b10001=(xna)Δn1+ai=1n1(xib)\begin {aligned} \Delta_n & = \begin {vmatrix} x_1 & a & a & \cdots & 0 \\ b & x_2 & a & \cdots & 0 \\ b & b & x_3 & \cdots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b & b & b & \cdots & x_n - a \end {vmatrix} + \begin {vmatrix} x_1 & a & a & \cdots & a \\ b & x_2 & a & \cdots & a \\ b & b & x_3 & \cdots & a \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b & b & b & \cdots & a \end {vmatrix} \\ & = (x_n - a) \Delta_{n - 1} + a \begin {vmatrix} x_1 & a & a & \cdots & 1 \\ b & x_2 & a & \cdots & 1 \\ b & b & x_3 & \cdots & 1 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b & b & b & \cdots & 1 \end {vmatrix} \\ & \xlongequal {每一列减去最后一列的 b 倍} (x_n - a) \Delta_{n - 1} + a \begin {vmatrix} x_1 - b & a - b & a - b & \cdots & 1 \\ 0 & x_2 - b & a - b & \cdots & 1 \\ 0 & 0 & x_3 - b & \cdots & 1 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & 1 \end {vmatrix} \\ & = (x_n - a) \Delta_{n - 1} + a \prod_{i = 1}^{n - 1} (x_i - b) \end {aligned}

考虑到转置不会改变行列式的值,于是 a,ba, b 互换位置后有:

Δn=(xnb)Δn1+bi=1n1(xia)\Delta_n = (x_n - b) \Delta_{n - 1} + b \prod_{i = 1}^{n - 1} (x_i - a)

联立两式可解得:

Δn=ai=1n(xib)bi=1n(xia)ab\Delta_n = \frac {a \prod\limits_{i = 1}^n (x_i - b) - b \prod\limits_{i = 1}^n (x_i - a)} {a - b}

注意:上述方法仅在 aba \not = b 时成立,若 a=ba = b,则符合升阶法所适用的行列式的特点。

# 三对角线形行列式

特点:主对角线与上下两条对角线上有元素,其余为 00

计算目标:将对角线上下两条线中的某一条的元素全化为 00,或使用递推法。

5.5. 求下列行列式:

Δ=21000121000121000210012\Delta = \begin {vmatrix} 2 & 1 & 0 & 0 & \cdots & 0 \\ 1 & 2 & 1 & 0 & \cdots & 0 \\ 0 & 1 & 2 & 1 & \cdots & 0 \\ \vdots & \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & 0 & \cdots & \ddots & 2 & 1 \\ 0 & 0 & \cdots & \cdots & 1 & 2 \end {vmatrix}

思路:用下面一行乘以第一行的倍数相加,使最下面对角线元素均为零。最终会得到:

2100003210000431000n1n1000n+1n\begin {vmatrix} 2 & 1 & 0 & 0 & \cdots & 0 \\ 0 & \frac 3 2 & 1 & 0 & \cdots & 0 \\ 0 & 0 & \frac 4 3 & 1 & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & \cdots & \frac {n - 1} n & 1 \\ 0 & 0 & \cdots & \cdots & 0 & \frac {n + 1} n \end {vmatrix}

易知 Δ=n+1\Delta = n + 1

# 证明行列式可以被某一整数整除

6.6. 不计算行列式的值,证明行列式:

Δ=1221913899908640\Delta = \begin {vmatrix} 1 & 2 & 2 & 1 \\ 9 & 1 & 3 & 8 \\ 9 & 9 & 9 & 0 \\ 8 & 6 & 4 & 0 \end {vmatrix}

能被 1818 整除。

证法 11:已知 18=2×918 = 2 \times 9,而第 3,43, 4 行分别能被 9922 整除。

证法 22:容易验证 1998,2196,2394,18001998, 2196, 2394, 1800 都能被 1818 整除,将 Δ\Delta 的第 1,2,31, 2, 3 行分别乘以 1000,100,101000, 100, 10 加到第 44 行,得到上面 44 个数,这意味着第 44 行可被 1818 整除,进而获证。