等式的性质与解x+a=b的方程