実数を成分にもつ2次の正方行列Aで，
　A^2 + aA + bE = O
を満たすものが無数にあるための，aとbについての必要十分条件を求めよ．ただしEは単位行列，Oは零行列とする．