定理已证明
通过行列式判断可逆性
命题陈述
方阵 A 可逆的充要条件是 det(A)=0;当它可逆时,A−1=det(A)1adj(A),其中 adj(A) 是伴随矩阵(余子式矩阵的转置)。
为什么成立?
一个线性映射能被"撤销",恰好发生在它没有把空间压缩到更低维度的时候——由于行列式正好衡量的就是"它是否把体积压缩为零"这个问题,所以可逆性与 det=0 其实是同一个论断从两个角度看到的结果:一个是代数角度(是否存在逆矩阵),一个是几何角度(体积缩放系数是否非零)。
证明思路
(⇒)假设 A 可逆,于是存在矩阵 A−1 使 AA−1=I。应用上面已证明的乘性定理,得 det(A)det(A−1)=det(AA−1)=det(I)=1。由于 det(A) 与 det(A−1) 这两个数的乘积等于 1,它们都不能为 0——所以 det(A)=0。
(⇐)以 2×2 情形具体验证:设 A=(acbd) 满足 det(A)=ad−bc=0。定义 adj(A)=(d−c−ba)。直接相乘,A⋅adj(A)=(acbd)(d−c−ba)=(ad−bccd−cd−ab+ab−cb+ad)=(ad−bc00ad−bc)=det(A)I,这恰好就是等式 A⋅adj(A)=det(A)I。按相反顺序做同样的计算,同样得到 adj(A)⋅A=det(A)I。
因为 det(A)=0,把 A⋅adj(A)=det(A)I 两边同除以标量 det(A),得到 A⋅det(A)adj(A)=I,同样按相反顺序也得到 det(A)adj(A)⋅A=I。这就给出了一个显式的双侧逆矩阵 A−1=det(A)1adj(A),所以 A 可逆。
对于一般的 n(以 n=3 为例说明),同样的论证依然有效,因为拉普拉斯余子式展开给出 ∑jaijCij=det(A)(沿第 i 行展开),而当 i=k 时 ∑jaijCkj=0(这个和是把第 i 行复制到第 k 行所得矩阵的余子式展开,该矩阵有两行相等,由上表知其行列式为 0)。把这些逐行的等式组合成矩阵形式,对任意 n 都恰好给出 A⋅adj(A)=det(A)I,所以只要 det(A)=0,就可以像 2×2 情形那样通过除法得到 A−1=adj(A)/det(A);反之,若 det(A)=0,第一段的逆否命题就完全排除了可逆性,因为 det(A)det(A−1)=1 会强行要求 det(A)=0。这样就从两个方向证明了这个判据。