齐次线性方程组AX=0的解与A的列向量有什么关系?最好有证明