[证明题,20分] 设A为mn实矩阵,ATA为正定矩阵.证明:线性方程组A=0只有零解.
出自:河南城建学院-道路桥梁与渡河工程-线性代数