成分が実数の2次正方行列を考えるとき、

単位行列の実数倍でない対称行列Sが平方根(2乗するとSになる行列)が存在するのは
Sの固有値がすべて非負のとき、

といえるでしょうか。