已知a是三阶矩阵,a1,a2,a3是线性无关的列向量