设阿尔法1,阿尔法2,阿尔法3是四元线性方程组AX=b的三个解向量,