上下取整函数的关系以及一些重要性质(附证明)

---

tags: DSA Combinatorics Mathematics

写在前面

今天(2022.12.7)的lc每日一题, 虽然是中等但也有很多需要注意的点, 看到了0x3f大佬的题解才发现自己知识点的太多不足, 比如下面这个式子:(出自具体数学练习3.12)
$$\lceil \frac{n}{m}\rceil =\lfloor \frac{n+m-1}{m}\rfloor =\lfloor \frac{n-1}{m}\rfloor +1.$$
本文主要给出取整函数的一些内容, 包括几个重要的取整函数以及上下取整函数之间的关系等.

参考了具体数学¹, Wikipedia²以及³.

基本概念

这里的一些定义, 记号等均参考了具体数学. 如无特殊说明, 均价定 $x$ 为正整数.

取整函数

1. 上取整(ceil): $\lceil x\rceil$, 表示大于等于$x$的最小整数;
2. 下取整(floor): $\lfloor x\rfloor$, 表示小于等于$x$的最大整数;
3. 取整(等价于下取整): $[x]$, 同下取整.

数的表示

设$x\in \mathbb{R}$, 则

1. $\lfloor x\rfloor$表示$x$的整数部分(integer part)

2. { x } \{x\} {x}表示$x$的分数部分(fractional part), (不与单元素集合混淆的情况下)

3. 关系:
   x = ⌊ x ⌋ + { x }    ⟺    { x } = x − ⌊ x ⌋ . x=\lfloor x\rfloor+\{x\}\iff\{x\}=x-\lfloor x\rfloor. x=⌊x⌋+{x}⟺{x}=x−⌊x⌋.

取余运算

(下取整表示)设$m,n\in {\mathbb{N}}^{\ast }$, 则
$$n=m\cdot \underset{\text{商}}{\underbrace{\lfloor n/m\rfloor }}+\underset{\text{余数}}{\underbrace{n\mathrm{mod}m}}\text{\hspace{1em}(1)}$$
其中, $n\mathrm{mod}m\in [0,m)$.

性质

取余运算

范围

由$(1)$, 得
$$n\mathrm{mod}m=n-m\lfloor n/m\rfloor$$
推广:(设$x,y\in \mathbb{R}$)
$$x\mathrm{mod}y=x-y\lfloor x/y\rfloor ,y\ne 0.$$
于是:
$$\{\begin{array}{ll}x\mathrm{mod}y\in [0,y),& y>0\\ x\mathrm{mod}y\in (y,0],& y<0\end{array}$$

另外, 定义
$$x\mathrm{mod}0=x.\text{\hspace{1em}(2)}$$

类似, 定义一个新的运算$\mathrm{mumble}$, 用上取整表示数:
$$x=y\cdot \lceil x/y\rceil -x\mathrm{mumble}\mathrm{y},\mathrm{y}\ne 0.$$

分配律

$\forall c,x,y\in \mathbb{R}$,
$$c(x\mathrm{mod}y)=(cx)\mathrm{mod}(cy).$$

证明:

$\forall cy\ne 0$,
$$\begin{array}{rl}c(x\mathrm{mod}y)& =c(x-y\lfloor x/y\rfloor )\\ & =cx-cy\lfloor cx/cy\rfloor \\ & =(cx)\mathrm{mod}(cy).\end{array}$$
当$y=0$时, 根据定义$(2)$, 分配律依然成立.

数的表示

用取余重写数的表示(整数部分, 分数部分)
$$x=\lfloor x\rfloor +x\mathrm{mod}1.$$

关系

幂等性

⌊ ⌊ x ⌋ ⌋ = ⌊ x ⌋ , ⌈ ⌈ x ⌉ ⌉ = ⌈ x ⌉ , { { x } } = { x } . \begin{aligned} \Big\lfloor \lfloor x \rfloor \Big\rfloor &= \lfloor x \rfloor, \\ \Big\lceil \lceil x \rceil \Big\rceil &= \lceil x \rceil, \\ \Big\{ \{ x \} \Big\} &= \{ x \}. \end{aligned} ⌊⌊x⌋⌋⌈⌈x⌉⌉{{x}}​=⌊x⌋,=⌈x⌉,={x}.​

并有:(只关注内层作用)
$$\begin{array}{rl}\lfloor \lceil x\rceil \rfloor & =\lceil x\rceil ,\\ \lceil \lfloor x\rfloor \rceil & =\lfloor x\rfloor ,\end{array}$$

互反律

$$\begin{array}{rl}\lfloor x\rfloor +\lceil -x\rceil & =0,\\ -\lfloor x\rfloor & =\lceil -x\rceil ,\\ -\lceil x\rceil & =\lfloor -x\rfloor .\end{array}$$

并且:
$$\begin{gathered} \lfloor x\rfloor +\lfloor -x\rfloor =\{\begin{array}{ll}0,& \text{ 若 }x\in \mathbb{Z},\\ -1,& \text{ 若 }x\notin \mathbb{Z},\end{array} \\ \lceil x\rceil +\lceil -x\rceil =\{\begin{array}{ll}0,& \text{ 若 }x\in \mathbb{Z},\\ 1,& \text{ 若 }x\notin \mathbb{Z}.\end{array} \end{gathered}$$
针对小数部分( { x } = x − ⌊ x ⌋ \{x \} = x - \lfloor x \rfloor {x}=x−⌊x⌋):
{ x } + { − x } = { 0 ,  若   x ∈ Z , 1 ,  若   x ∉ Z . \{ x \} + \{ -x \} = \begin{cases} 0,&\text{ 若 }\ x\in \mathbb{Z},\\ 1,&\text{ 若 }\ x\not\in \mathbb{Z}. \end{cases} {x}+{−x}={0,1,​ 若  x∈Z, 若  x∈Z.​

与整数的关系

1. $\lceil x\rceil ⩾x$; $\lfloor x\rfloor ⩽x$; $\lfloor x\rfloor ⩽\lceil x\rceil$.

2. $\lfloor x\rfloor =x⟺x\in \mathbb{Z}⟺\lceil x\rceil =x$;

3. If $x\notin \mathbb{Z}$, then $\lceil x\rceil -\lfloor x\rfloor =[x\text{not an integer}]=1$.
   另一种表述:
   $$\lceil x\rceil -\lfloor x\rfloor =[x\text{是否为整数}]=\{\begin{array}{ll}0,& \text{ 若 }x\in \mathbb{Z},\\ 1,& \text{ 若 }x\notin \mathbb{Z}.\end{array}$$

4. $x-1<\lfloor x\rfloor$, $x+1>\lceil x\rceil$, so we have:
   $$x-1<\lfloor x\rfloor ⩽x⩽\lceil x\rceil <x+1.$$

---

设$n\in \mathbb{Z},x\in \mathbb{R}$, 则有:
$$\{\begin{array}{l}\lfloor x\rfloor =n⟺n⩽x<n+1\\ \lfloor x\rfloor =n⟺x-1<n⩽x\\ \lceil x\rceil =n⟺n-1<x⩽n\\ \lceil x\rceil =n⟺x⩽n<x+1\end{array}$$
并有, 整数项移出取整号:
$$\{\begin{array}{l}\lfloor x+n\rfloor =\lfloor x\rfloor +n,\\ \lceil x+n\rceil =\lceil x\rceil +n,\end{array}\text{\hspace{1em}(*)}$$
不等式的转换:
$$\{\begin{array}{l}\lfloor x\rfloor <n⟺x<n\\ \lfloor x\rfloor ⩾n⟺x⩾n\\ \lceil x\rceil >n⟺x>n\\ \lceil x\rceil ⩽n⟺x⩽n\end{array}$$

与函数的关系

设$f(x)$是任意一个具有如下性质且在一个实数区间内连续的单调递增函数, 即:
$$f(x)=\text{integer}⟹x=\text{integer}.$$
则有(若函数$f(x),f(\lfloor x\rfloor ),f(\lceil x\rceil )$有定义)
$$\lfloor f(x)\rfloor =\lfloor f(\lfloor x\rfloor )\rfloor ,\lceil f(x)\rceil =\lceil f(\lceil x\rceil )\rceil .$$

证明:(反证)

• 当$x=\lceil x\rceil$, 显然成立.

• 当$x<\lceil x\rceil$时, 根据函数$f(x)$单调性得到:
  $$f(x)<f(\lceil x\rceil ),$$
  根据上取整函数非降性质, 又可得到:
  $$\lceil f(x)\rceil ⩽\lceil f(\lceil x\rceil )\rceil ,$$

  • 若$\lceil f(x)\rceil <\lceil f(\lceil x\rceil )\rceil$, 由$f$连续性, 必定存在数$y$, 使得$x⩽y<\lceil x\rceil$, 以及$f(y)=\lceil f(x)\rceil$. 由于$f$定义, $y\in \mathbb{Z}$, 但是不存在介于$\lfloor x\rfloor$和$\lceil x\rceil$之间的整数, 矛盾, 由此得证.

由此得到一个特例:

$\forall m\in \mathbb{Z}$, $n\in {\mathbb{N}}^{\ast }$, 有
$$\lceil \frac{x+m}{n}\rceil =\lceil \frac{\lceil x\rceil +m}{n}\rceil ,\lfloor \frac{x+m}{n}\rfloor =\lfloor \frac{\lfloor x\rfloor +m}{n}\rfloor .\text{\hspace{1em}(**)}$$

恒等式

每组近似分配(埃尔米特恒等式的特例)

将$n$个物品分成$m$组, 按照非增次序排列且尽可能相等的部分的划分:
$$n=\lceil \frac{n}{m}\rceil +\lceil \frac{n-1}{m}\rceil +\cdots +\lceil \frac{n-m+1}{m}\rceil .\text{\hspace{1em}(3)}$$

证明: (构造)

设$n=qm+r$, 其中$q=\lfloor n/m\rfloor$, $r=n\mathrm{mod}m,0⩽r<m$, 则:

• 当$r=0$, 此时将$q=\lfloor n/m\rfloor$件物品放入第一组, 并且用$n^{\prime }=n-q$替换$n$, 让$n^{\prime }=q{m}^{\prime }$件物品放入剩下的$m^{\prime }=m-1$组中, 重复这个操作直到物品都被分组.

• 当$r>0$, 将$\lceil n/m\rceil =\lfloor n/m\rfloor +1=q+1$件物品放进第一组, 用$n^{\prime }=n-q-1$替换$n$,

  $$n^{\prime }=n-q-1=qm+r-q-1=q(\underset{m^{\prime }}{\underbrace{m-1}})+\underset{r^{\prime }}{\underbrace{r-1}}$$

  即$n^{\prime }=q{m}^{\prime }+r-1$件物品留给后面的分组. 此时新的余数为$r^{\prime }=r-1$, 但$q$保持不变.
  当余数$r$减到$0$时, 此时情况同上, 所以有
  $$n件商品:\{\begin{array}{l}r个组:q+1件物品\\ m-r个组:q件物品\end{array}$$

那么在第$k$组($1⩽k⩽m$)中有多少物品?

应该是:
$$\lceil \frac{n-k+1}{m}\rceil$$

证明:

将$n=qm+r$代入上式, 得到:
$$\lceil \frac{n-k+1}{m}\rceil =\lceil \frac{qm+r-k+1}{m}\rceil \stackrel{(\ast )}{=}q+\lceil \frac{r-k+1}{m}\rceil$$
应用边界条件: $1⩽k⩽m,0⩽r<m$, 得到
$$\lceil \frac{r-k+1}{m}\rceil =[k⩽r]$$
上面的$[k⩽r]$表示当满足$k⩽r$时, 取$1$, 否则取$0$, 这正好满足我们上面给出的构造分组的方法.

将其写成累加形式, 则有:
$$\begin{array}{rl}n& =\lceil \frac{n}{m}\rceil +\lceil \frac{n-1}{m}\rceil +\cdots +\lceil \frac{n-m+1}{m}\rceil \\ & =\sum _{i=0}^{m-1}\lceil \frac{n-i}{m}\rceil =qm+\sum _{i=0}^{m-1}\lceil \frac{r-i}{m}\rceil \\ & =qm+\sum _{i=0}^{r-1}\lceil \frac{r-i}{m}\rceil =qm+r\end{array}$$

同理, 根据各个部分按照非减的次序排列, 小的组放在前面, ($\lfloor n/m\rfloor$在第一组)就得到:
$$n=\lfloor \frac{n}{m}\rfloor +\lfloor \frac{n+1}{m}\rfloor +\cdots +\lfloor \frac{n+m-1}{m}\rfloor .\text{\hspace{1em}(3’)}$$
针对上面得到的结论, 还可以进行推广:

利用$\lfloor mx\rfloor$替换$(3^{\prime })$式中的$n$, 并用$(\ast \ast )$式去掉下取整函数中的下取整函数可以得到:
$$\lfloor mx\rfloor =\lfloor x\rfloor +\lfloor x+\frac{1}{m}\rfloor +\cdots +\lfloor x+\frac{m-1}{m}\rfloor .$$
上式就是埃尔米特恒等式.

$★$上下取整转换

下面介绍前言部分提到的一个重要的关系, 利用这个式子可以方便的转换上取整和下取整, 因为计算机编程语言中常用下取整.
$$\lceil \frac{n}{m}\rceil =\lfloor \frac{n+m-1}{m}\rfloor =\lfloor \frac{n-1}{m}\rfloor +1.\text{\hspace{1em}(***)}$$
以及:
$$\lfloor \frac{n}{m}\rfloor =\lceil \frac{n-m+1}{m}\rceil =\lceil \frac{n+1}{m}\rceil -1.$$

证明:(方法1)

直接由埃尔米特恒等式的特例$(3)$的第一项等于$(3^{\prime })$式的第二项, 即为本结论, 需要从组合意义角度出发. (分组方法)

证明:(方法2)

对$(\ast \ast \ast )$两端同时减去$\lfloor \frac{n}{m}\rfloor$, 得到:

• 左边:(利用与整数的关系之3)
  $$\lceil \frac{n}{m}\rceil -\lfloor \frac{n}{m}\rfloor =\lceil \frac{n\mathrm{mod}m}{m}\rceil =\{\begin{array}{ll}0,& \text{ 若 }n\mathrm{mod}m=0,\\ 1,& \text{ 若 }n\mathrm{mod}m>0.\end{array}$$

• 右边:
  可设$n=mq+r$, 并有$q=\lfloor n/m\rfloor ,0⩽r=n\mathrm{mod}m<m$, 则
  $$\begin{array}{rl}\lfloor \frac{n+m-1}{m}\rfloor -\lfloor \frac{n}{m}\rfloor & =\lfloor \frac{mq+m+r-1}{m}\rfloor -\lfloor \frac{mq+r}{m}\rfloor \\ & =\lfloor \frac{r+m-1}{m}\rfloor -\lfloor \frac{r}{m}\rfloor \\ & =\lfloor \frac{r+m-1}{m}\rfloor \\ & =\lfloor \frac{n\mathrm{mod}m+m-1}{m}\rfloor \\ & =\{\begin{array}{ll}0,& \text{ 若 }n\mathrm{mod}m=0,\\ 1,& \text{ 若 }n\mathrm{mod}m>0.\end{array}\end{array}$$

即得结论.

当然, 还有通过广义Ramsey定理证明的方法(鸽巢原理的推广), 可以参见³.

总的来看, 这个结论通过上面的近似分组问题就可以解释了.

ref

---

1. 具体数学; ↩︎

2. 取整函数 - 维基百科，自由的百科全书 (wikipedia.org); ↩︎

3. 上取整与下取整的转换 - flyor - 博客园 (cnblogs.com); ↩︎ ↩︎