不等式性质3
性质3 如果a>b,那么a+c>b+c(加法法则)