设线性方程组AX=有解,其中A是m乘n介矩阵.证明:AX=B有唯一解的充要条件是A转置与A的乘积是正定的.