齐次方程组AX=O(A为m*n矩阵)有非零解的充分必要条件是什么?最好再写上证明过程,谢谢各位老师了。