证明/反驳：n重特征值且有n个线性无关特征向量的n阶矩阵为$A = kI$

嘿，你的推测完全正确！这个结论是成立的，咱们用线性代数里的相似对角化知识就能轻松证明：

• 首先，回忆一下相似对角化的充要条件：一个n阶矩阵A能相似对角化，当且仅当它拥有n个线性无关的特征向量。题目里已经满足这个条件，所以存在可逆矩阵P，使得：
  P⁻¹AP = Λ
  这里的$\Lambda$是对角矩阵，对角线上的元素就是A的所有特征值。

• 题目说A有n重特征值，假设这个特征值是k，那$\Lambda$的对角线上所有元素都是k，也就是$\Lambda = kI$（I是n阶单位矩阵）。

• 把$\Lambda = kI$代入相似对角化的式子，得到：
  P⁻¹AP = kI
  我们给等式两边左乘P，右乘P⁻¹，就有：
  A = P(kI)P⁻¹
  而标量矩阵kI和任何矩阵都可交换，所以可以把k提出来：
  A = k(P P⁻¹)
  因为P是可逆矩阵，$P P⁻¹ = I$，所以最终得到：
  A = kI

反过来也成立：如果A是单位矩阵的标量倍数（A=kI），那它的特征值全是n重的k，而且任何非零向量都是它的特征向量，显然能找到n个线性无关的特征向量。

至于你说在微分方程组里这种情况罕见，确实是这样——当A=kI时，微分方程组$\dot{x}=Ax$的解是非常“平凡”的形式$x(t)=e^{kt}x_0$，大部分实际遇到的微分方程组对应的矩阵要么特征值不同，要么有重特征值但特征向量不足（需要用Jordan标准形来处理解的形式）。

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