4.3.2 相似矩阵的对角化