实数的绝对值都是非负实数 判断