假设A1,A2,A3,A4,是四元线性非齐次方程组X=1的三个解向量