证明: 充分性因为 A = 0所以 A'A =0 ( A' = A^T )必要性:因为A'A=0, 所以对任意 n维列向量x 都有x'A'Ax = 0即有 (Ax)'Ax = 0.所以 Ax = 0取 ei = (0,...,0,1,0,...,0)', 第i个分量等于其余为0的n维向量.i=1,2,...,n则 Aei = 0.而 Aei 等于 A的第i列构成的列向量.i=1,2,...,n所以 A = 0.