已知向量组a1 a2 a3 a4 是线性无关则