与えられた二つの行列ABが相似B=P^-1APの必要十分条件ってなんですか