>>290
t^2-(a+d)A+(ad-bc)=0の解をα、β (行列Aの固有値)とすれば
A^2-(a+d)A+(ad-bc)E=(A-αE)(A-βE)=O
となるわけだが、ここでA=αE、A=βE、A-αEとA-βEが零因子
という3つの場合があるわけ、3つ目がCH