13.1 元素已知矩阵的相似与可对角化的判定和计算