如何检验一个数值是否是一元一次方程的解