在线英文翻译:矩阵A是m×n矩阵,齐次线性方程组AX=0只有零解的充要条件是A的n个列向量线性相关。