>>801
すまん。一般のn 次だった。
x^5 - 5x +1 は最小多項式で割り切れる。
最小多項式が重根を持たないのは明らかなので対角化可能。