>>497
ある多項式f(x)が存在してf(A)が対角行列になる
⇒A自身最初から対角行列
という主張なら成立しないんじゃね？
A=[[0,1],[1,0]]、f(x)=x^2が反例になるとおもふ。