设A为实矩阵,证明A^TA的特征值都是非零负实数.