>>925
対角化可能　⇔　最小多項式が重根を持たない
ことより明らか。