ab是有理数,a+b