已知3阶矩阵A满足三类方程有非平凡解，如何证明A可对角化？

嘿，这个问题其实可以从特征值与特征向量的线性无关性入手拆解，咱们一步步来理清楚：

先把题目里的三个方程对应到特征值的定义上：

• 方程 $Ax=0$ 有非平凡解，等价于 $Ax=0\cdot x$ 存在非零解，这说明0是矩阵A的一个特征值，而且对应的特征子空间维度至少为1（存在非零特征向量）。
• 方程 $Ax=x$ 可以变形为 $(A-I)x=0$（这里的I是3阶单位矩阵），它有非平凡解意味着矩阵 $A-I$ 不可逆，行列式为0，也就是1是A的一个特征值，同样存在对应的非零特征向量。
• 方程 $Ax=-x$ 同理可改写为 $(A+I)x=0$，有非平凡解说明**-1是A的一个特征值**，也有对应的非零特征向量。

线性代数里有个关键结论：不同特征值对应的特征向量是线性无关的。

这里我们得到了三个互不相同的特征值：0、1、-1，每个特征值都能找到至少一个线性无关的特征向量，那这三个特征向量就构成了一个包含3个向量的线性无关组。

而A是3阶矩阵，恰好拥有3个线性无关的特征向量——这正是矩阵可对角化的充要条件！所以A一定是可对角化的。

如果想把逻辑补得更扎实，可以从特征子空间的直和角度看：不同特征值的特征子空间是直和关系，每个特征子空间维度至少为1，三个直和的子空间维度之和至少是3，而整个3维空间的维度就是3，所以每个特征子空间的维度恰好是1，这三个特征向量刚好能构成3维空间的一组基，自然可以通过相似变换将A对角化。

内容的提问来源于stack exchange，提问作者UFC Insider