>>506
＞Ｙはなぜ対角行列なのですか？
Xが対角化できるから。だからＹはなぜ対角行列なのかというより，Yを対角行列
にできるPが存在するのでそのPで対角化した，が正しい。P'じゃなくてP^(-1)な。