向上取整和向下取整的性质

转自：http://blog.csdn.net/hanchengxi/article/details/8454589

————————————————————————————————————————————————————————————————

 a)    

                      ，

 

 ，

等号成立当且仅当x为整数。

 b)     下取整函数为等幂运算: .

  c)     对任意的整数 k 和任意实数 x，

 d)     一般的数值修约规则可以表述为将x映射到 floor(x + 0.5).

  e)     .

  f)     对于整数k有：

    g)           ，     比如：

———————————————————————————————————————————————————————————————————

证明：