MathLabs
定理已证明

通过行列式判断可逆性

命题陈述

方阵 AA 可逆的充要条件是 det⁡(A)≠0\det(A)\neq 0;当它可逆时,A−1=1det⁡(A)adj⁡(A)A^{-1}=\dfrac{1}{\det(A)}\operatorname{adj}(A),其中 adj⁡(A)\operatorname{adj}(A) 是伴随矩阵(余子式矩阵的转置)。

为什么成立?

一个线性映射能被"撤销",恰好发生在它没有把空间压缩到更低维度的时候——由于行列式正好衡量的就是"它是否把体积压缩为零"这个问题,所以可逆性与 det⁡≠0\det\neq 0 其实是同一个论断从两个角度看到的结果:一个是代数角度(是否存在逆矩阵),一个是几何角度(体积缩放系数是否非零)。

证明思路

(⇒\Rightarrow)假设 AA 可逆,于是存在矩阵 A−1A^{-1} 使 AA−1=IAA^{-1}=I。应用上面已证明的乘性定理,得 det⁡(A)det⁡(A−1)=det⁡(AA−1)=det⁡(I)=1\det(A)\det(A^{-1})=\det(AA^{-1})=\det(I)=1。由于 det⁡(A)\det(A) 与 det⁡(A−1)\det(A^{-1}) 这两个数的乘积等于 11,它们都不能为 00——所以 det⁡(A)≠0\det(A)\neq 0。

(⇐\Leftarrow)以 2×22\times 2 情形具体验证:设 A=(abcd)A=\begin{pmatrix}a&b\\ c&d\end{pmatrix} 满足 det⁡(A)=ad−bc≠0\det(A)=ad-bc\neq 0。定义 adj⁡(A)=(d−b−ca)\operatorname{adj}(A)=\begin{pmatrix}d&-b\\ -c&a\end{pmatrix}。直接相乘,A⋅adj⁡(A)=(abcd)(d−b−ca)=(ad−bc−ab+abcd−cd−cb+ad)=(ad−bc00ad−bc)=det⁡(A) IA\cdot\operatorname{adj}(A)=\begin{pmatrix}a&b\\ c&d\end{pmatrix}\begin{pmatrix}d&-b\\ -c&a\end{pmatrix}=\begin{pmatrix}ad-bc&-ab+ab\\ cd-cd&-cb+ad\end{pmatrix}=\begin{pmatrix}ad-bc&0\\ 0&ad-bc\end{pmatrix}=\det(A)\,I,这恰好就是等式 A⋅adj⁡(A)=det⁡(A) IA\cdot\operatorname{adj}(A)=\det(A)\,I。按相反顺序做同样的计算,同样得到 adj⁡(A)⋅A=det⁡(A) I\operatorname{adj}(A)\cdot A=\det(A)\,I。

因为 det⁡(A)≠0\det(A)\neq 0,把 A⋅adj⁡(A)=det⁡(A)IA\cdot\operatorname{adj}(A)=\det(A)I 两边同除以标量 det⁡(A)\det(A),得到 A⋅adj⁡(A)det⁡(A)=IA\cdot\dfrac{\operatorname{adj}(A)}{\det(A)}=I,同样按相反顺序也得到 adj⁡(A)det⁡(A)⋅A=I\dfrac{\operatorname{adj}(A)}{\det(A)}\cdot A=I。这就给出了一个显式的双侧逆矩阵 A−1=1det⁡(A)adj⁡(A)A^{-1}=\dfrac{1}{\det(A)}\operatorname{adj}(A),所以 AA 可逆。

对于一般的 nn(以 n=3n=3 为例说明),同样的论证依然有效,因为拉普拉斯余子式展开给出 ∑jaijCij=det⁡(A)\sum_j a_{ij}C_{ij}=\det(A)(沿第 ii 行展开),而当 i≠ki\neq k 时 ∑jaijCkj=0\sum_j a_{ij}C_{kj}=0(这个和是把第 ii 行复制到第 kk 行所得矩阵的余子式展开,该矩阵有两行相等,由上表知其行列式为 00)。把这些逐行的等式组合成矩阵形式,对任意 nn 都恰好给出 A⋅adj⁡(A)=det⁡(A)IA\cdot\operatorname{adj}(A)=\det(A)I,所以只要 det⁡(A)≠0\det(A)\neq 0,就可以像 2×22\times 2 情形那样通过除法得到 A−1=adj⁡(A)/det⁡(A)A^{-1}=\operatorname{adj}(A)/\det(A);反之,若 det⁡(A)=0\det(A)=0,第一段的逆否命题就完全排除了可逆性,因为 det⁡(A)det⁡(A−1)=1\det(A)\det(A^{-1})=1 会强行要求 det⁡(A)≠0\det(A)\neq 0。这样就从两个方向证明了这个判据。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Eric W. Weisstein (MathWorld) (2024). Determinant
  2. Gilbert Strang (2016). Introduction to Linear Algebra