求证3阶实矩阵等式：A³-tr(A)A²+tr(adj(A))A-det(A)I₃=0

嘿，我来帮你搞定这个3阶实矩阵的等式证明！你目前推导到第三步的时候犯了个小错误——把标量和矩阵的运算混淆了，那个括号里的合并是不成立的，咱们换个清晰的思路来推导，两种方法任你选：

方法一：用特征多项式 + Cayley-Hamilton定理（最直接） #

这其实就是3阶矩阵的Cayley-Hamilton定理的具体形式，咱们一步步理清楚：

1. 首先，3阶矩阵$A$的特征多项式定义为：
   $$p(\lambda) = \det(\lambda I_3 - A)$$
2. 手动展开这个3阶行列式：
   $$
   \det(\lambda I_3 - A) = \begin{vmatrix}
   \lambda - a_{11} & -a_{12} & -a_{13} \
   -a_{21} & \lambda - a_{22} & -a_{23} \
   -a_{31} & -a_{32} & \lambda - a_{33}
   \end{vmatrix}
   $$
   展开后会得到：
   $$p(\lambda) = \lambda^3 - (a_{11}+a_{22}+a_{33})\lambda^2 + (M_{11}+M_{22}+M_{33})\lambda - \det(A)$$
   这里的$M_{ii}$是$A$中(i,i)位置的余子式，而伴随矩阵$\text{adj}(A)$的对角元正好就是这些余子式，所以$\text{tr}(\text{adj}(A)) = M_{11}+M_{22}+M_{33}$；同时$\text{tr}(A)=a_{11}+a_{22}+a_{33}$，代入后特征多项式就变成：
   $$p(\lambda) = \lambda^3 - \text{tr}(A)\lambda^2 + \text{tr}(\text{adj}(A))\lambda - \det(A)$$
3. 根据Cayley-Hamilton定理：任何方阵都满足它自己的特征多项式，也就是把$\lambda$换成矩阵$A$，同时常数项要乘单位矩阵$I_3$，就有：
   $$p(A) = A^3 - \text{tr}(A)A^2 + \text{tr}(\text{adj}(A))A - \det(A)I_3 = 0$$
   这就直接证明了目标等式。

方法二：不用定理，手动用伴随矩阵性质推导 #

如果不想直接用Cayley-Hamilton，咱们用伴随矩阵的基本性质来推：

1. 先回忆伴随矩阵的核心性质：对于任意n阶矩阵$A$，都有
   $$A \cdot \text{adj}(A) = \det(A)I_n$$
2. 对于3阶矩阵，我们可以先证明一个中间等式：
   $$A^2 - \text{tr}(A)A + \text{tr}(\text{adj}(A))I_3 = \text{adj}(A)$$
   验证这个等式的话，你可以分别计算两边的元素：
   • 左边对角元：$A^{2$的(i,i)元是$\sum_{k=1}}3 a_{ik}a_{ki}$，减去$\text{tr}(A)a_{ii}$，再加上$\text{tr}(\text{adj}(A))$，结果正好等于$\text{adj}(A)$的(i,i)元（也就是余子式$M_{ii}$）；
   • 左边非对角元：$A^{2$的(i,j)元是$\sum_{k=1}}3 a_{ik}a_{kj}$，减去$\text{tr}(A)a_{ij}$，结果正好等于$\text{adj}(A)$的(i,j)元（也就是$(-1)^{i+j}M_{ji}$）。
3. 现在把这个中间等式两边左乘$A$：
   $$A(A^2 - \text{tr}(A)A + \text{tr}(\text{adj}(A))I_3) = A \cdot \text{adj}(A)$$
   左边展开就是：
   $$A^3 - \text{tr}(A)A^2 + \text{tr}(\text{adj}(A))A$$
   右边根据伴随矩阵的性质等于$\det(A)I_3$，移项后就得到：
   $$A^3 - \text{tr}(A)A^2 + \text{tr}(\text{adj}(A))A - \det(A)I_3 = 0$$

对你之前推导的小纠正 #

你第三步的变形：
$$A^{3-\left(\sum_{i=1}}n a_{ii}A+\sum_{i=1}^n b_{ii}\right)A=\det(A)I_3$$
是错误的——$\sum_{i=1}^n b_{ii}A$是标量$\text{tr}(\text{adj}(A))$乘矩阵$A$，而$\sum_{i=1}^n a_{ii}A^{2$是**标量$\text{tr}(A)$乘矩阵$A}2$**，这两者不能合并成括号里的$(\text{tr}(A)A + \text{tr}(\text{adj}(A)))A$，因为矩阵乘法不支持这种错误的分配组合，这就是你卡住的原因哦～

内容的提问来源于stack exchange，提问作者Orlian Prato