线性方程组 X1-X2=a X2-X3=2a X3-X1=1 有解的充分必要条件是