5[证明题,20分] 设A为mn实矩阵,ATA为正定矩阵.证明:线性方程组A=0只有零解.
出自:河南大学-线性代数