a是一个有理数 a的绝对值一定是有理数