x1 x2 x3 x4=0的基础解系