不一定,b不等于0时可能会无解
具体要看A的增广矩阵的秩是不是4,如果是则有无穷解,如果不是无解；如果b=0则有无穷解