证: 对任一n维向量x≠0
因为 r(A)=n, 所以 Ax≠0-- 这是由于AX=0 只有零解
所以 (Ax)'(Ax) > 0.
即有x'A'Ax > 0
所以 A'A 为正定矩阵.
注:A' 即 A^T