验证两个分块矩阵的特征多项式是否相等

阿华AIGC实验室

2026-5-19

验证分块矩阵特征多项式相等的实用思路

嘿，我来帮你梳理下怎么搞定这个问题～首先得拎清楚特征多项式的本质：对于任意矩阵$\mathbf{M}$，它的特征多项式就是$p_{\mathbf{M}}(\lambda) = \det(\lambda \mathbf{I} - \mathbf{M})$，所以要证明两个分块矩阵的特征多项式相等，说白了就是要证$\det(\lambda \mathbf{I} - \mathbf{A}) = \det(\lambda \mathbf{I} - \mathbf{B})$（这里用$\mathbf{A}$和$\mathbf{B}$指代你说的两个分块矩阵）。

虽然你只给出了$\mathbf{A}$的开头部分，但基于这类问题的常见场景，我整理了几个通用的验证方法：

方法1：利用相似变换的性质

如果两个矩阵相似，那它们的特征多项式肯定完全一样（相似矩阵共享所有特征值，特征多项式自然也相同）。对于分块矩阵，我们可以构造分块置换矩阵来实现相似变换：
比如，假设你的两个分块矩阵只是交换了某些分块的位置（比如$\mathbf{A}$里的$\mathbf{F}_1$块和$\mathbf{F}_2$块位置互换得到$\mathbf{B}$），那我们可以做一个分块置换矩阵$\mathbf{P}$——就是把单位矩阵按分块重新排列得到的矩阵，这类矩阵的逆矩阵等于它的转置（因为是正交矩阵）。用$\mathbf{P}$对$\mathbf{A}$做相似变换：$\mathbf{B} = \mathbf{P}^{-1}\mathbf{A}\mathbf{P}$，这样一来，$\mathbf{A}$和$\mathbf{B}$相似，特征多项式必然相等。

举个具体例子：如果$\mathbf{A} = \begin{bmatrix} \mathbf{X} & \mathbf{0} \ \mathbf{0} & \mathbf{Y} \end{bmatrix}$，$\mathbf{B} = \begin{bmatrix} \mathbf{Y} & \mathbf{0} \ \mathbf{0} & \mathbf{X} \end{bmatrix}$，那取$\mathbf{P} = \begin{bmatrix} \mathbf{0} & \mathbf{I}_n \ \mathbf{I}_n & \mathbf{0} \end{bmatrix}$，就能得到$\mathbf{P}^{-1}\mathbf{A}\mathbf{P} = \mathbf{B}$，特征多项式自然相等。

方法2：直接计算特征多项式的行列式

如果不想绕相似变换，也可以直接对着$\lambda \mathbf{I} - \mathbf{A}$和$\lambda \mathbf{I} - \mathbf{B}$算行列式。分块矩阵的行列式有专门的计算规则，比如：
假设$\mathbf{A}$是3n×3n的分块矩阵：
$\lambda \mathbf{I} - \mathbf{A} = \begin{bmatrix} \lambda \mathbf{I}_n - \mathbf{F}_1 & \mathbf{0} & -\mathbf{G}_1 \ \mathbf{0} & \lambda \mathbf{I}_n - \mathbf{F}_2 & \mathbf{0} \ -\mathbf{C}_1 & \mathbf{0} & \lambda \mathbf{I}_n - \mathbf{D}_1 \end{bmatrix}$

对于这种结构，我们可以用分块初等变换（这类变换不会改变行列式的取值），或者交换分块行/列：交换两个分块行的话，行列式会乘以$(-1)^{n2}$，但如果同时交换对应的分块列，符号变化就抵消了，行列式值不变。比如交换$\lambda \mathbf{I} - \mathbf{A}$的第一和第二分块行，再交换第一和第二分块列，得到的矩阵就是$\lambda \mathbf{I} - \mathbf{B}$，这样两者的行列式自然相等，特征多项式也就一样了。

方法3：利用分块直和的特征多项式性质

如果你的两个分块矩阵是分块直和的变形（比如$\mathbf{A}$是$\begin{bmatrix} \mathbf{F}_1 & \mathbf{G}_1 \ \mathbf{C}_1 & \mathbf{D}_1 \end{bmatrix}$和$\mathbf{F}_2$的直和，$\mathbf{B}$是$\mathbf{F}_2$和$\begin{bmatrix} \mathbf{F}_1 & \mathbf{G}_1 \ \mathbf{C}1 & \mathbf{D}1 \end{bmatrix}$的直和），那特征多项式是子矩阵特征多项式的乘积，乘法有交换律，所以$p{\mathbf{A}}(\lambda) = p{\begin{bmatrix} \mathbf{F}_1 & \mathbf{G}_1 \ \mathbf{C}1 & \mathbf{D}1 \end{bmatrix}}(\lambda) \cdot p{\mathbf{F}2}(\lambda)$，$p{\mathbf{B}}(\lambda) = p{\mathbf{F}2}(\lambda) \cdot p{\begin{bmatrix} \mathbf{F}_1 & \mathbf{G}_1 \ \mathbf{C}_1 & \mathbf{D}_1 \end{bmatrix}}(\lambda)$，显然两者相等。