伴随矩阵与分块行列式恒等式

🏠 第10章概念导航

核心问题

的定义(代数余子式转置)看起来很笨重,为什么它在考题里出现频率极高?因为它是唯一一个对不可逆矩阵也成立的”广义逆”: 不需要 。凡是题目不肯告诉你 是否可逆,却又要谈”逆”的场合,伴随就登场了。

核心定义 / 定理 / 结论

定义:,即第 元是 。注意是转置。

源头恒等式:

由它派生( 为 阶,):

结论备注
$A^{*}=A
$A^{*}
指数是 ,不是
$(A^{})^{}=A
顺序反转,同逆矩阵

秩的三段式:

实战首要动作:表达式里同时出现 与 时,一律用 统一成 ,整个式子会塌缩成 的形状,再用 收尾。

分块行列式(各块 阶):

口诀:零块在角上是三角形,直接相乘;零块在对角上要换行,带 。

符号来源:两组各 行整体对调需 次相邻对换,符号 。若两块阶数分别为 ,符号是 。

注意:零块在对角上时,另一个非零对角块完全不参与行列式。

关于 型条件(高频):标准三步——

  1. 逐元素读出 ;
  2. 按第 行展开得 ,顺带说明 ;
  3. 整体取行列式得 ,解出 。

典型题型

  • 、 之类的混合表达式
  • 含 、 的分块矩阵求行列式
  • 给定某些元素,求元素值或
  • 由 判断 、

图示 / 直觉

说明:伴随 = 逆 × 体积缩放因子。

逆矩阵把每个方向按 压回去,分母上的小数会”炸”。乘上 恰好把所有分母清干净—— 的第 个特征值是 ,是个多项式而非分式。这就是伴随对奇异矩阵仍有定义的原因:它是把逆矩阵”通分”之后的产物。

秩的三段式也随之透明: 时只有一个 ,那么只有 这一个非零,故 ;掉两个及以上时每个 都含零因子,。

关于伴随的几何含义(面积向量),另见 伴随矩阵:体积补偿的逆与面积向量。

常见误用

  • 。正确指数是 。连带 。
  • 。是 。这两条一起构成本节最密集的失分区。
  • 忘记 是转置。求具体矩阵的 时把 直接填在 位置就错了(不过 和 不受影响)。
  • 分块公式漏 ,或误以为对角上的非零块要乘进去。
  • 用在 。一阶伴随约定为 ,公式不适用。

与旧知识的连接

  • 是 按行展开定理 + 异行展开为零 的矩阵形式:对角元来自同行展开(),非对角元来自异行展开()。
  • 分块行列式的符号来自置换的奇偶性,与行列式定义式一脉相承。
  • 的特征值 会在第 14 章用来做”已知 的特征值求 的特征值”的题。

题型训练

链接