矩阵A不等于零,所以至少有一个非零的列向量,为什么?