行列式：体积缩放因子与可逆性测试
本文基于模型知识整理（生成时未联网核对），关键结论建议对照 Axler 第 6 章（行列式的几何处理）与 3Blue1Brown 第 6 集复核。
一句话定义
方阵行列式 $\det A$ 是该线性变换对体积的缩放因子（带符号：负号表示翻转定向）——单位立方体被变换后的有向体积；$\det A=0$ ⟺ 体积被压扁 ⟺ 降秩不可逆，这使行列式成为最便宜的可逆性测试。
为什么重要
行列式是"压缩检测器"与"特征值钱包"：$\det A=0$ 即降秩（kp-010 的判据之一）、$\det A = \prod\lambda_i$（特征值全乘，kp-012）、特征多项式的定义就靠它。同时它是被"公式化教学"伤害最深的对象——死记展开式而不懂体积意义，是用好它的最大障碍。
前置知识
核心概念
- 几何定义：$\det A$ = 变换后单位立方体的有向体积（2D：平行四边形有向面积；1D：缩放系数）。
- 关键性质（全部可由几何读出）：
- $\det I = 1$（不动）、$\det(AB) = \det A \cdot \det B$（缩放率相乘）； - 交换两行变号（定向翻转）；某行乘 c 则 det 乘 c（体积线性于每条边）； - 一行是另一行的倍数 ⟹ det=0（体积压扁）； - $\det A^\top = \det A$、$\det A^{-1} = 1/\det A$。
- 可逆判据：$\det A \ne 0 \Leftrightarrow$ 满秩可逆。
- 特征多项式：$p(\lambda) = \det(A - \lambda I)$，其零点即特征值（kp-012）。
- 2×2 与 3×3 公式：$ad-bc$；三阶对角线法则（仅适用于三阶）。
原理与机制
为什么乘法性 $\det(AB)=\det A\det B$ 如此有用：体积缩放率连续施放当然相乘——一行推论即得 $\det A^k = (\det A)^k$、$\det A^{-1} = 1/\det A$（撤销动作撤销缩放）、相似矩阵同行列式（换基不改变体积缩放——它是变换的内在属性，kp-017）。
行线性性与符号：行列式对每一行"单独线性"（固定其余行），几何上对应"平行六面体体积对各边线性"；交换两行翻转定向（左手系↔右手系）故变号——镜像变换的 det 为负即此。
det=0 的多重身份（一张等价表）：体积压扁 = 降秩 = 有非零零空间 = 不可逆 = 0 是特征值 = 特征多项式常数项为零。这张表把前几讲全部串起——行列式是各概念的公共测试点。
大矩阵的现实：按定义计算是 O(n!) 灾难；实际用 LU 分解（kp-032）算 $\det A = \prod(\text{对角元}) \times (-1)^{\text{换行次数}}$，O(n³) 完成。
图示
2D: det = 平行四边形有向面积
A=[a b; c d] → |det| = |ad − bc|
性质(几何读法):
det(AB)=detA·detB 缩放率连乘
换行变号 定向翻转
一行为他行倍数→0 压扁
detA = ∏λᵢ (kp-012)直观类比
行列式是变换机器的"体积铭牌"：|2| 表示一切图案被放大两倍面积；|−1| 表示大小不变但左右镜像（定向翻转）；|0| 表示压成一张纸——它把"这个动作有多暴力、有没有把世界压扁"浓缩成一个数。
实例或案例
- 雅可比行列式：多元积分换元时 $dx\,dy = |\det J|\,du\,dv$——局部体积缩放率（kp-021 的 Jacobian）。
- 线性方程组 Cramer 法则：解由行列式比值表达（教学价值 > 工程价值，数值上被消元取代）。
- 判三点共线/四点共面：向量差拼矩阵 det=0 即共线/共面（计算几何的日常）。
常见误区
- 误区一："行列式是矩阵的'大小'"。它可以是负数（定向）也可以巨大/极小；它度量的是"缩放率"而非元素总量。
- 误区二："det 大 = 稳定/好"。数值稳定性看条件数（kp-023）而非行列式（可被行缩放任意操纵）。
- 误区三："对角线法则适用于所有阶"。展开法则只对三阶以内实用；高阶用消元/性质化简。
与其他知识点的关系
- kp-010：det≠0 是可逆的代数判据。
- kp-012：特征多项式的载体；$\det A = \prod\lambda$。
- kp-017：相似不变性（换基不改缩放率）。
- kp-021/032：雅可比与 LU 计算的应用。
自测题
- 求 $\begin{bmatrix}2&1\\4&3\end{bmatrix}$ 的行列式，判断可逆性。
答：det=6−4=2≠0，可逆；体积缩放 2 倍且保持定向。
- 解释为什么 $\det(A^{-1}) = 1/\det(A)$。
答：$AA^{-1}=I$ 两边取行列式：$\det A\cdot\det A^{-1} = 1$——撤销缩放即缩放倒数。
- 若 A 有零特征值，detA 是多少？A 可逆吗？
答：$\det A=\prod\lambda_i=0$；不可逆（有方向被压没，零空间非零）。
延伸阅读
- 3Blue1Brown《Essence of LA》第 6 集（行列式的最佳几何讲解）。
- Axler《Linear Algebra Done Right》第 6 章（行列式的现代处理）。
- Strang《Introduction to Linear Algebra》§5.1–5.2。