已知矩阵A为n元行向量 证明(ATA)X=O有非零解 T为角标