因为非齐次任意两个解的差是对应齐次方程组的解