>>596
固有ベクトルが３個取れれば文句なしに対角化可能。
実は
対角化可能　⇔　最小多項式が重根を持たない
という定理がある。証明は忘れたけど感覚的にほとんど自明。