验证,你的结果是错的。通解有无穷多种写法,比如:x=(0,-1,0,0)'+k(1,1,1,1)'。令x2=-1,得到非齐次线性方程组的特解(0,-1,0,0)'。对于齐次线性方程组,令x2=1,得到基础解系(1,1,1,1)'。
应该是有问题的,(1 0 1 1)应该是特解。