设n阶矩阵A的n个特征根互异,证明:凡具有AB=BA的矩阵B必与对角矩阵相似.