线性代数证明题.设A为n阶矩阵,则AA^T=0当且仅当A=0