正値定符号な二次形式 Q(x) = x^T Ax において、行列 A の固有値はすべてどうなっているか。

二次形式が常に正であるための必要十分条件は、対称行列 A の固有値がすべて正であることである。