线性代数什么样的矩阵可对角化,必须满足什么条件?如何实现矩阵的对角化?谢谢了