对任何非0的n维实向量X,由于rank(A)=n,则AX!=0,从而有X^T(A^TA)X=(AX)^T(AX)=|AX|^2>0
故A^T A是正定阵