设A为n阶实矩阵,A^TA为正定矩阵,证明线性方程组AX=0只有零解