对线性方程组的增广矩阵作初等行变换可得,要使原线性方程组有无穷多解,则有r(A,b)=r(A)<4,所以有1-a4=0,且-a-a2=0,解得a=-1。
当a=-1时,,可知导出组的基础解系为(1,1,1,1)T,非齐次方程组的一个特解为(0,-1,0,0)T,故其通解为(0,-1,0,0)T+k(1,1,1,1)T,其中k为任意常数。