如何用定义证明A^TA的特征值一定大于或等于零?