ある行列Aを対角化するときに
P^(-1)APとしますが
このPには何か満たすべき条件があるのでしょうか?