证明:若AX1=0, 则 A^TAX1 = 0即 AX=0 的解都是 A^TAX=0 的解 若 A^TAX2 = 0则 X2^T A^TAX2 = 0所以 (AX2)^T(AX2) = 0所以 AX2 = 0 -- 这里要求A是实矩阵-- 提示: AX2 是一个列向量所以 A^TAX=0 的解也是 AX=0 的解 所以 齐次线性方程组Ax=0与A^TAx=0同解