对角化没有好的方法
只能求特征值, 求对应的线性无关的特征向量
基础解系就是解的一个极大无关组
与答案不一样没关系, 它不是唯一的
只要1是解,2线性无关,3个数是n-r 就没问题
对应的对角矩阵也不是唯一的
但要保证可逆矩阵P的第i列向量 是对角矩阵第i列的元素对应的特征向量