设A为n阶实矩阵,证明若A非退化,则A'A是正定矩阵.