给出定义:一个实数的整数部分是不大于这个数的最大数,这个实数的小数部分为这个数与它的整数部分的差的绝对值.例如:2.4的整数部分为2,小数部分为;的整数部分为1,小数部分可用表示;再如,-2.6的整数部分为-3,小数部分为 . 由此我们得到一个真命题:如果 , 其中x是整数,且 , 那么 , .