对任一非零实列向量x,总有
x^T(A^TA)x = (Ax)^T(Ax)>=0
而实对称矩阵的特征值都是实数
所以实对称矩阵 A^TA 的特征值都是非负实数