a,b是两个任意的有理数,比较a+b与b的大小