A是m×n矩阵,m<n,且A的行向量线性无关,B是n×(n-m)矩阵,B的列向量线性无关,且AB=0