证明：与对角矩阵A（a≠b）可交换的2×2矩阵B必为对角矩阵

先明确已知条件和目标：

• 给定对角矩阵 $A = \begin{bmatrix} a & 0 \ 0 & b \end{bmatrix}$，其中 $a \neq b$
• 要证：若2×2矩阵$B$满足$AB = BA$（与$A$可交换），则$B$必为对角矩阵

严谨证明步骤： #

1. 先设任意2×2矩阵$B$为一般形式：
   $B = \begin{bmatrix} c & d \ e & f \end{bmatrix}$，这里$c,d,e,f$是任意域内的元素（实数、复数都不影响结论）

2. 分别计算$AB$和$BA$：

   • 计算$AB$：
     $AB = \begin{bmatrix} a & 0 \ 0 & b \end{bmatrix} \begin{bmatrix} c & d \ e & f \end{bmatrix} = \begin{bmatrix} ac & ad \ be & bf \end{bmatrix}$
   • 计算$BA$：
     $BA = \begin{bmatrix} c & d \ e & f \end{bmatrix} \begin{bmatrix} a & 0 \ 0 & b \end{bmatrix} = \begin{bmatrix} ca & db \ ea & fb \end{bmatrix}$

3. 根据可交换条件$AB = BA$，对应位置元素必须相等：

   • 第一行第二列：$ad = db$ → $d(a - b) = 0$
   • 第二行第一列：$be = ea$ → $e(b - a) = 0$

4. 结合已知$a \neq b$（即$a-b \neq 0$、$b-a \neq 0$），可以直接推出：

   • $d = 0$，因为非零数乘$d$等于0，只能$d$为0
   • $e = 0$，同理可得

5. 代入$B$的表达式，此时$B = \begin{bmatrix} c & 0 \ 0 & f \end{bmatrix}$，显然是对角矩阵。

补充反证法思路（对应你最初的想法）： #

假设$B$不是对角矩阵，那么$d \neq 0$或$e \neq 0$。如果$d \neq 0$，由$ad = db$且$a \neq b$，会得到$d(a - b)=0$，但$a-b≠0$且$d≠0$，矛盾；同理$e≠0$也会导出矛盾，所以假设不成立，$B$必为对角矩阵。

两种方法都能得到结论，任选其一都可以~

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