若A、B为对称方阵且特征向量相同，二者是否可交换？如何证明？

嘿，这个问题其实可以通过对称矩阵的核心性质来推导，结论是肯定的——满足条件的A和B一定是可交换的。下面是严谨的证明过程：

证明步骤 #

1. 利用对称矩阵的正交对角化性质
   因为A和B都是n阶对称方阵，根据线性代数的基本结论：对称矩阵一定可以正交对角化。也就是说，存在一个n阶正交矩阵P（满足(P^T P = I)，I为单位矩阵），使得：
   [
   P^T A P = \Lambda_1
   ]
   其中(\Lambda_1)是对角矩阵，对角元素对应A的特征值，而P的列向量恰好是A的一组标准正交特征向量。

2. 用同一正交矩阵对角化B
   题目中说明A和B拥有相同的特征向量组，这意味着B的特征向量和A完全一致（包括重特征值对应的线性无关特征向量）。因此，同一个正交矩阵P也可以将B对角化：
   [
   P^T B P = \Lambda_2
   ]
   这里(\Lambda_2)是B的特征值构成的对角矩阵。

3. 对角矩阵的可交换性
   任意两个对角矩阵相乘都是可交换的，这是对角矩阵的基本性质：对于对角矩阵(\Lambda_1)和(\Lambda_2)，必然有(\Lambda_1 \Lambda_2 = \Lambda_2 \Lambda_1)。

4. 推导AB=BA
   我们可以把A和B用P与对角矩阵表示出来：
   [
   A = P \Lambda_1 P^T, \quad B = P \Lambda_2 P^T
   ]
   计算AB：
   [
   AB = (P \Lambda_1 P^T)(P \Lambda_2 P^T) = P \Lambda_1 (P^T P) \Lambda_2 P^T
   ]
   因为P是正交矩阵，(P^T P = I)，所以上式简化为：
   [
   AB = P \Lambda_1 \Lambda_2 P^T
   ]
   同理计算BA：
   [
   BA = (P \Lambda_2 P^T)(P \Lambda_1 P^T) = P \Lambda_2 \Lambda_1 P^T
   ]
   结合步骤3中(\Lambda_1 \Lambda_2 = \Lambda_2 \Lambda_1)，显然可得(AB = BA)，即A和B可交换。

补充说明 #

这里需要注意：题目中的“拥有相同的特征向量”指的是完整的特征向量组（即可以张成整个n维空间的一组特征向量），而不是单个特征向量——不过对称矩阵的特征向量本身就能构成空间的基，所以这个条件是自然满足的。

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