大一线性代数问题4x7的矩阵A的航向量组线性无关,则r(A)=4,齐次线性方程组AX=0必有非零解,且一个基础解系有3个