Ａ,ＢをＣ係数のｎ次正方行列として、ＡＢ=ＢＡが成り立つとする。今,Ａ,Ｂがともに対角化可能であるとしてＢの固有値はすべて異なる値であると仮定すり。このとき,ある正則行列ＰでＰ-1*Ａ*Ｐ,Ｐ-1*Ｂ*Ｐが同時に対角行列となるものが存在することを示してください。