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