矩阵的对角化中可逆矩阵p是如何求得,不同的基础解系组成的p不一定满足P*A*^P=对角阵(我验证过),