1. 由逆序数确定符号;对角线法则只适用到三阶,四阶必错★ 要懂
按定义 D=∑(−1)τ(j1⋯jn)a1j1⋯anjn,其中每一项都是从每行每列各取一个元素相乘所得,而它的符号由列标排列的逆序数 τ 的奇偶性确定:偶排列取 +,奇排列取 −。因此,判定一项的正负时,先把这一项按行标的自然顺序写成 a1j1a2j2⋯ 的形式,再数出列标 (j1,…,jn) 的逆序数即可。
如果把三阶的对角线法则搬用到四阶,就会得出错误的结果。事实上,n 阶行列式按定义共有 n! 项,而对角线法则至多只能给出 2n 项。二阶时 2!=2,三阶时 3!=6,恰好与相应的项数相等,所以法则在这两种情形下成立;但四阶时 4!=24,远大于 2×4=8,对角线法则将遗漏 16 项,结果必然出错。由此可见,对角线法则只在 n≤3 时成立;四阶及四阶以上一律改用行列式的性质化简,或者按行(列)展开。
证明 / 推导
先证对角线法则给出的项数 =2n,而按定义共有 n! 项。定义式取遍 1,…,n 的全部 n! 个排列,故恰有 n! 项。对角线法则中的正项沿平行于主对角线的方向(含循环)取乘积,共 n 条;负项沿副对角线的方向,也有 n 条,合计 2n 项。令 n!=2n,即 (n−1)!=2,则只有 n=3 满足(n=2 时的退化情形也成立)。当 n≥4 时 (n−1)!>2,即 n!>2n,于是对角线法则给出的 2n 项只是全部 n! 项的真子集。由于漏掉了一部分项,所得结果必然错误。■举例说明
判定 4 阶行列式的展开式中,项 a13a21a34a42 的符号。
解. 行标已按自然顺序排成 1,2,3,4,列标为 (3,1,4,2)。数它的逆序:3>1、3>2(共 2 个),1 之后没有比它小的数,4>2(共 1 个),因此 τ(3142)=3,是奇排列,符号为 (−1)3=−1,故该项应带负号。
对照. 这一项并不在主对角线与副对角线方向的那 8 项之中。由此可见,四阶行列式有大量项被对角线法则遗漏,只能用逆序数或按行(列)展开来处理。3. 处理抽象行列式的常用公式:∣kA∣,∣AB∣,∣A−1∣,∣A∗∣
若题目只给出矩阵之间的关系而不给出具体元素,要求 ∣A∣ 或与之有关的量,一般不能直接计算,而应在已知等式的两边同时取行列式,把矩阵的关系化为数的关系。为此必须记牢下面一组公式(设 A 为 n 阶方阵):
- ∣kA∣=kn∣A∣(数乘整个矩阵时,因子要提 n 次方,最常见的错误是写成 k∣A∣);
- ∣AB∣=∣A∣∣B∣,从而 ∣Am∣=∣A∣m;
- 当 A 可逆时 ∣A−1∣=∣A∣1(这是因为 ∣A∣∣A−1∣=∣E∣=1);
- ∣A∗∣=∣A∣n−1(式中出现的是伴随矩阵,证明见下);
- ∣AT∣=∣A∣。
还须注意 ∣A+B∣=∣A∣+∣B∣:行列式对矩阵的加法不能拆开。因此在抽象矩阵题中遇到和式时,通常要先作因式分解,把它化成乘积,然后再取行列式。
证明 / 推导
下面证明 ∣A∗∣=∣A∣n−1。由伴随矩阵的基本关系 AA∗=∣A∣E,在两边取行列式,得 ∣A∣∣A∗∣=∣A∣E=∣A∣n(这是因为 ∣A∣E 相当于把 n 阶单位阵的每一行都乘以 ∣A∣,而 ∣kE∣=kn)。
若 ∣A∣=0,则约去 ∣A∣ 即得 ∣A∗∣=∣A∣n−1。若 ∣A∣=0,则 A 不满秩,此时可以证明 A∗ 也不满秩,于是 ∣A∗∣=0=∣A∣n−1(这里 n≥2),公式仍然成立。■举例说明
设 A 为 3 阶方阵,∣A∣=2,求 ∣A∗∣、∣2A−1∣ 与 ∣−A2∣。
解. 这里 n=3。
- ∣A∗∣=∣A∣n−1=22=4;
- ∣2A−1∣=23∣A−1∣=8×∣A∣1=8×21=4;
- ∣−A2∣=(−1)3∣A2∣=−∣A∣2=−4。
以上每一步都是先用 ∣kA∣=kn∣A∣ 提出系数,再用 ∣AB∣=∣A∣∣B∣ 把乘积拆开,最后用 ∣A−1∣=1/∣A∣ 或 ∣A∗∣=∣A∣n−1 求出结果。这就是处理抽象行列式问题的一般方法。