设a1,a2,a3是四元非其次线性方程组AX=b的三个解向量,且秩(A)=3,a1