考研数学里线性代数最容易让人“背了公式却用不对”的知识点伴随矩阵绝对排得上号。定义一句话就能说完——“代数余子式矩阵的转置”可一旦把九大公式铺开行列式、逆矩阵、转置、幂次全搅在一起很多人就开始乱了。尤其是乘法公式为什么反序、数乘为什么带指数、二次伴随公式为什么多出一个|A|的幂次……这些细节在考场上错一次可能就拉开好几分。这篇文章把伴随矩阵最核心的九条公式一次性理清每条都讲清楚“怎么来的、怎么用、哪里容易踩坑”适合考研党、期末复习线代的学生以及所有想系统再过一遍线代基础的人。1. 伴随矩阵到底在算什么别把定义记成“余子式矩阵”1.1 余子式与代数余子式先分清这两个概念伴随矩阵的本质是“代数余子式矩阵的转置”所以第一步得先分清余子式和代数余子式。设 A 是 n 阶方阵元素记作 a_ij。把第 i 行和第 j 列同时划掉剩下一个 (n-1) 阶行列式这个行列式叫作元素 a_ij 的余子式记作 M_ij。代数余子式则是在余子式基础上加上符号因子A_ij (-1)^(ij) · M_ij这个 (-1)^(ij) 的符号规律像棋盘一样“ - -”交替出现。以三阶矩阵为例第一行的代数余子式符号分别是 、-、第二行是 -、、-第三行又是 、-、。很多同学在计算时容易漏掉这个符号尤其是一三行或者二四列位置一错就是全错。1.2 定义公式转置这一步为什么不能省有了代数余子式的概念伴随矩阵的定义如下把每个位置的代数余子式 A_ij 算出来排成一个同型矩阵然后取转置得到的矩阵就叫伴随矩阵记作 A^*A^* (A_ij)^T注意这里有个极其容易忽略的细节先排代数余子式矩阵再转置。很多初学者直接把代数余子式按原位置填进去省略了转置这一步导致后续所有公式全部出错。为什么定义里非要转置用一个二阶矩阵就能看出原因。设 A [[a, b], [c, d]]如果不转置直接把代数余子式放进去得到的是一个类似 [[d, -c], [-b, a]] 的矩阵拿它去乘 A对角线以外不会变成零根本得不到“对角阵”的效果。而转置之后矩阵变成 [[d, -b], [-c, a]]再和 A 相乘结果正好是 (ad - bc)E也就是 |A|E。所以转置这一步本质是为了让伴随矩阵具备“和原矩阵相乘得到 |A|E”的对称性质。2. 两条命脉公式核心恒等式与行列式公式2.1 核心恒等式所有伴随矩阵公式的“发动机”伴随矩阵最核心的公式只有一条就是AA^* A^*A |A|E这条恒等式对任意 n 阶方阵都成立不管 A 是否可逆、是否奇异都成立。它是伴随矩阵所有其他性质的源头后面九条公式里有大半都能从它推出来。为什么成立关键在行列式按行展开定理。以 AA^* 为例它的 (i, j) 位置是第 i 行元素依次乘以伴随矩阵第 j 列对应位置的元素而伴随矩阵经过转置后这一列恰好是第 j 行元素的代数余子式序列。当 i j 时就是“第 i 行元素乘以自身代数余子式再求和”结果正好等于 |A|当 i ≠ j 时相当于“用第 i 行的元素去乘第 j 行的代数余子式”这在行列式展开中相当于把两行元素混在一起展开结果为零。所以最终只剩下主对角线且每个对角元都是 |A|于是得到 |A|E。A^*A |A|E 的证明同理只是换成列展开。这条公式的价值在于它把“伴随矩阵”和“原矩阵”绑在了同一根绳上。可逆时两边同时除以 |A|立刻得到 A 的逆矩阵表达式不可逆时它照样能用来推秩、推零矩阵之类的结论。以后遇到任何伴随矩阵的题想不明白第一反应都应该回到这一条。2.2 行列式公式|A^*| |A|^(n-1)对核心恒等式两边同时取行列式可以得到第二个命脉公式|A^*| |A|^(n-1)推导过程很直接由 AA^* |A|E两边取行列式得 |A| · |A^| |A|^n。当 |A| ≠ 0 时两边约去 |A|就得到 |A^| |A|^(n-1)。这里有个细节要提醒当 |A| 0 时不能直接约去。但这条公式对奇异矩阵也成立可以通过秩的角度说明如果 A 的秩 ≤ n-2则所有 n-1 阶子式全为零A^* 为零矩阵两边都等于 0如果 A 的秩 n-1可以证明 A^* 的秩为 1而 n ≥ 2 时秩 1 矩阵的行列式为 0右边 0^(n-1) 也是 0。所以公式依然成立。不过考试中绝大多数题目给的是可逆矩阵不用太纠结这个边界情况只要知道结论对任意 n ≥ 2 阶方阵都成立即可。这条公式在计算中非常实用。比如题目告诉你“A 是 3 阶矩阵|A| 2求 |A^*|”直接套公式就是 2^(3-1) 4一步到位。3. 九大公式逐条拆解从定义到二次伴随现在把伴随矩阵最常用的九条公式逐条过一遍。前两条定义公式、核心恒等式前面已经讲过了从第三条开始看。3.1 二阶矩阵口诀主对调、副变号二阶矩阵的伴随矩阵不需要按部就班算余子式再转置直接用口诀主对角线元素互换位置副对角线元素变号。设 A [[a, b], [c, d]]则A^* [[d, -b], [-c, a]]这个口诀也叫“主调换、副变号”。比如 A [[1, 2], [3, 4]]伴随矩阵就是 [[4, -2], [-3, 1]]。验证一下AA^* [[1, 2], [3, 4]] · [[4, -2], [-3, 1]] [[-2, 0], [0, -2]] |A|E因为 |A| -2完全正确。这条公式是九条公式里最简单也最容易被忽略的。很多同学算二阶伴随时要么忘了变号要么把主对角元素写反最后一步求逆矩阵时跟着出错。二阶矩阵的逆矩阵公式是 A^(-1) (1/|A|) · A^*所以二阶伴随算对了逆矩阵基本就稳了。3.2 逆矩阵的亲密关系A^* |A|A^(-1)仅当A可逆如果 A 可逆由核心恒等式 AA^* |A|E 两边同时右乘 A^(-1)立刻得到A^* |A|A^(-1)这条公式把伴随矩阵和逆矩阵直接联系起来。它的价值在于遇到 A^* 的问题时可以全部转化成 A 和 A^(-1) 的问题来处理。比如求 A^* 的逆(A^*)^(-1) (|A|A^(-1))^(-1) (1/|A|)A求 A 的逆的伴随(A^(-1))^* |A^(-1)| · (A^(-1))^(-1) (1/|A|)A两者结果相同也就是 (A^(-1))^* (A^*)^(-1)这是一个常考的等价关系。注意这条公式的前提是 A 可逆。如果题目只说 A 是 n 阶矩阵没有说明行列式不为零千万不能直接用 A^* |A|A^(-1) 去推导否则后面结论全都建立在沙滩上。3.3 数乘、转置与幂次三个“搬运工”接下来这三条公式可以放在一起记因为它们都是“把某个操作从外面搬运到伴随符号里面”但搬运的时候各有各的代价。第一条是数乘公式(kA)^* k^(n-1) · A^*为什么是 n-1 次方而不是 n 次方因为伴随矩阵的每个元素都是 (n-1) 阶子式的代数余子式数乘 A 相当于每一行都乘以 k取余子式时划掉一行一列剩下 (n-1) 行所以每个代数余子式能从余子式行列式中提出 k^(n-1)。这是最喜欢挖坑的地方很多人想当然写成 kA^*漏了指数。第二条是转置公式(A^T)^* (A^*)^T这个比较好理解转置不改变行列式的大小原来的代数余子式只是位置跟着矩阵一起转置了所以转置和伴随这两个操作可以交换顺序。第三条是幂次公式。由乘积公式后面讲可以推出(A^k)^* (A^*)^k这个公式对所有正整数 k 成立不需要额外条件。如果 A 可逆还可以推广到负整数幂由 (A^(-1))^* (A^*)^(-1)两边再取 k 次方即可。这里要提醒一句幂次公式是乘积公式的推论不是独立的公理所以记住乘积公式更重要。3.4 乘积公式的反序陷阱(AB)^* B^A^伴随矩阵的乘法公式和转置非常像都要反序(AB)^* B^A^为什么反序因为伴随矩阵和逆矩阵差一个标量因子。当 A、B 可逆时可以很快验证(AB)^* |AB| · (AB)^(-1) |A||B| · B^(-1)A^(-1) (|B|B^(-1))(|A|A^(-1)) B^A^。不可逆时的严格证明可以用“可逆矩阵在全体矩阵中是稠密的”这个数学分析工具或者对 A、B 同时加上微小扰动 εI 再取极限结论依然成立。考研阶段记住结论就行。这个“反序”规律和转置公式形成一组很好的记忆锚点遇到转置反序遇到乘法反序。所以遇到 (A^T B)^* 这种复合运算操作顺序就是(B^T A) 的伴随 A^* (B^T)^* A^* (B^*)^T。熟练之后这就是一条口算题。特别注意A B 没有类似的伴随分配律(AB)^* 不能拆成 A^* B^*。这是考试中陷阱题的常见来源遇到加法只能老老实实按定义算。3.5 二次伴随公式(A^)^ |A|^(n-2)A最后一条公式是“伴随的伴随”(A^)^ |A|^(n-2) · A推导思路很清晰当 A 可逆时(A^)^ |A^| · (A^)^(-1) |A|^(n-1) · (1/|A|)A |A|^(n-2)A。这里用到了前面两节的行列式公式和逆矩阵关系一条公式串起三条结论所以我把这条放在最后讲因为它是对前面内容的综合检验。这条公式有几个容易踩的坑。第一个是 n 2 的特殊情况此时 |A|^(0) 1公式退化为 (A^)^ A也就是说二阶矩阵的伴随的伴随等于它自己。第二个容易混淆的地方是不要把它和 A^* |A|A^(-1) 搞混前者是“对 A^* 再取一次伴随”后者是“A 的伴随的另一种表达方式”。第三个容易错的是有人会把指数写成 n-1正确的是 n-2多一个少一个都不对。到这里九大公式就齐了定义公式、核心恒等式、二阶口诀、行列式公式、逆矩阵关系、数乘公式、转置公式、乘积公式、二次伴随公式。再加上幂次公式作为推论基本覆盖了考研和期末考的全部考点。4. 进阶隐藏结论秩、特征值与分块矩阵4.1 秩公式A^* 的秩只有三种可能伴随矩阵的秩结构规律性很强直接给结论A 的秩A^* 的秩rank(A) nrank(A^*) nrank(A) n-1rank(A^*) 1rank(A) ≤ n-2rank(A^*) 0零矩阵这个结论怎么来的满秩情况最简单由 |A^| |A|^(n-1) ≠ 0 直接得到 rank(A^) n。第三种情况也简单所有 n-1 阶子式全为零每个代数余子式都是 0A^* 自然是零矩阵。重点是第二种情况rank(A) n-1 时|A| 0核心恒等式变成 AA^* 0这说明 A^* 的每一列都是齐次方程组 Ax 0 的解。因为 rank(A) n-1解空间维数是 1所以 rank(A^) ≤ 1。另一方面rank(A) n-1 意味着至少存在一个 n-1 阶子式非零即 A^至少有一个元素非零所以 rank(A^*) 恰好等于 1。这个结论非常实用。比如选择题问“设 A 为 4 阶矩阵rank(A) 3则 rank(A^) 为多少”答案就是 1。再比如判断题“若 n ≥ 2 且 A^ 0能否推出 A 0”答案是推不出只能推出 rank(A) ≤ n-2A 可能非零。4.2 特征值视角A^* 的特征值长什么样当 A 可逆时借助 A^* |A|A^(-1)特征值的计算非常直观。设 A 的特征值为 λ_1, λ_2, ..., λ_n考虑到 A^(-1) 的特征值为 1/λ_1, 1/λ_2, ..., 1/λ_n那么 A^* 的特征值就是|A|/λ_1, |A|/λ_2, ..., |A|/λ_n也可以改写成乘积形式因为 |A| λ_1 λ_2 ... λ_n所以 A^* 的第 i 个特征值等于去掉 λ_i 后剩余所有特征值的乘积即 ∏_{j≠i} λ_j。特征向量方面A^* 的特征向量和 A 的特征向量一致因为 A^(-1) 与 A 有相同的特征向量。这个视角在选择题里很有用。比如已知三阶矩阵 A 的特征值为 1、2、3求 A^* 的特征值直接用 |A|/λ_i 6/1、6/2、6/3得到 6、3、2。如果 A 不可逆情况会复杂一些但非零特征值部分依然满足“去掉对应零特征值后剩余特征值之积”的关系所以遇到具体题目时可以先判断秩再用秩的结构去推。4.3 分块对角矩阵的伴随一个容易被省略的补充考研和竞赛题里偶尔会出现分块对角矩阵的伴随问题。如果 A 是分块对角矩阵形如A diag(B, C)其中 B 是 m 阶方阵C 是 k 阶方阵m k n那么A^* [[|C|B^, 0], [0, |B|C^]]这个公式的记忆点在于“交叉配因子”左上角是右下分块的行列式乘以 B^右下角是左上分块的行列式乘以 C^。推导只需要在 A 可逆时展开 |A|A^(-1)不可逆时用连续性说明即可。比如 A 是三阶矩阵B 是一阶矩阵 [2]C 是二阶矩阵且 |C| 3那么 A^* 左上角就是 3 · B^* [3]右下角是 2 · C^*。注意这里 B 是一阶矩阵它的伴随矩阵是 [1]。这种题目看起来唬人其实只要记住“分块对角的伴随 交叉乘行列式的分块对角”就能一步写出答案属于性价比很高的进阶知识点。5. 实战典型题目、常见错误与九大公式速查表5.1 典型题目拆解一道题用遍半本线代来看一道经典的综合题。设 A 为 3 阶矩阵|A| 2求 |A^|、|(2A)^|、|(A^)^|、|(A^(-1))^*|。一步一步来。第一问 |A^|直接用行列式公式|A^| |A|^(3-1) 2^2 4。第二问 |(2A)^|最容易错。先由数乘公式得 (2A)^ 2^(3-1) · A^* 4A^再取行列式|4A^| 4^3 · |A^| 64 × 4 256。另一种做法是直接套行列式公式|(2A)^| |2A|^(3-1) (2^3 × 2)^2 16^2 256两种算法互相印证。第三问 |(A^)^|这是二次伴随公式的应用。由 (A^)^ |A|^(3-2) · A |A|A 2A取行列式得 |2A| 2^3 × |A| 8 × 2 16。第四问 |(A^(-1))^|用逆矩阵关系或行列式公式都行(A^(-1))^ |A^(-1)| · (A^(-1))^(-1) (1/2) · A取行列式得 (1/2)^3 × |A| (1/8) × 2 1/4。也可以直接套行列式公式|(A^(-1))^*| |A^(-1)|^(3-1) (1/2)^2 1/4。这道题把九条公式里最常用的几条全部过了一遍做完应该对公式的指数和系数有很深的印象。5.2 常见错误速查表这几个坑我亲眼见过无数人踩错误写法正确写法错误原因(AB)^* A^B^(AB)^* B^A^乘法必须反序和转置同理(kA)^* kA^*(kA)^* k^(n-1)A^*伴随元素是 n-1 阶行列式提因子次数是 n-1A^* AA^(-1) 用在不保证可逆的 A 上(A^)^ A(A^)^A忘记转置把代数余子式矩阵直接当伴随伴随是代数余子式矩阵的转置定义没吃透还有一个隐蔽的错误在计算 |(2A)^| 时有人会先算 |2A| 2^n|A|再套行列式公式得到 (2^n|A|)^(n-1)结果是对的但有人会错写成 2^(n-1)|A^|。关键要看清楚题目问的是“伴随矩阵的行列式”还是“数乘伴随矩阵的行列式”这两者差着一个 3 次方的矩阵阶数因子。5.3 九大公式总表建议截图收藏编号公式成立条件易错点1A^* (A_ij)^T任意方阵别漏转置2AA^* A^*A AE3二阶矩阵口诀[[d, -b], [-c, a]]二阶方阵主对调、副变号4A^*5A^* AA^(-1)6(kA)^* k^(n-1)A^*任意方阵指数是 n-17(A^T)^* (A^*)^T任意方阵转置可交换8(AB)^* B^A^A、B 同型方阵乘法反序9(A^)^A^(n-2)A最后分享一个我自己的习惯每次用完伴随矩阵公式我都会下意识回代验证——随便拿一个二阶例子把算出来的 A^* 乘回 A看看能不能得到 |A|E。这个习惯帮我挡掉过很多低级错误。九条公式看着多真正推不动的时候回到 AA^* |A|E 这一条往往就能把思路续上。