解答题   设A为m×n实矩阵,n<m,且方程组Ax=b有唯一解.证明:ATA可逆.
 
【正确答案】
【答案解析】[证] 因为Ax=b有唯一解,所以Ax=0只有零解.设ATAx=0有非零解,即,使ATAx0=0,有