怎样证明n阶实矩阵退化则A乘以A的转置是半正定矩阵