如果a+x+1=a+y+1,那么 =y,这是根据等式的性质 ,将等式两边