a是有理数判断a+a的绝对值的符号