行列Aが「正定値行列」であるための必要十分条件は、その固有値についてどのような性質を持つことか。

正定値行列は、任意の非ゼロベクトルxに対してx^TAx > 0となる行列で、すべての固有値が正であることが条件となる。