数与式_有理数_绝对值的非负性