[具体数学]第三章·整值函数

第三章·整值函数分5节，包括底和顶的相关知识以及取模运算。底和顶（即取整函数）在许多问题以及编程中经常用到，很重要。

底和顶及其应用

$\lfloor x\rfloor ,\lceil x\rceil$ 定义不说了，就是向下/向上取整，书中翻译为“底”和“顶”。

性质： $$\lceil x\rceil -\lfloor x\rfloor =[x\mathrm{不}\mathrm{是}\mathrm{整}\mathrm{数}]$$

反射律： $$\lfloor -x\rfloor =-\lceil x\rceil \lceil -x\rceil =-\lfloor x\rfloor$$

互相转化：对 $\mathrm{\forall }n\in \mathbb{Z},m\in {\mathbb{N}}^{\ast }$，有： $$\lceil \frac{n}{m}\rceil =\lfloor \frac{n+m-1}{m}\rfloor$$ 证：两边同时减去 $\lfloor \frac{n}{m}\rfloor$ 有： $$\begin{array}{rl}\mathrm{左}\mathrm{式}& =\lceil \frac{n}{m}\rceil -\lfloor \frac{n}{m}\rfloor =[m\nmid n]\\ \mathrm{右}\mathrm{式}& =\lfloor \frac{n+m-1}{m}\rfloor -\lfloor \frac{n}{m}\rfloor =1-(\lfloor \frac{n}{m}\rfloor -\lfloor \frac{n-1}{m}\rfloor )=1-[m\mid n]\end{array}$$ 其中，右式最后一步基于：$\lfloor \frac{n}{m}\rfloor -\lfloor \frac{n-1}{m}\rfloor =[m\mid n]$，证一下：若 $m\mid n$，显然 $\lfloor \frac{n}{m}\rfloor -\lfloor \frac{n-1}{m}\rfloor =1$；否则，设 $n=km+r(1⩽r<m)$，则 $\lfloor \frac{n}{m}\rfloor =k$，$\lfloor \frac{n-1}{m}\rfloor =\lfloor k+\frac{r-1}{m}\rfloor =k$（注意 $0⩽\frac{r-1}{m}<1$），所以 $\lfloor \frac{n}{m}\rfloor -\lfloor \frac{n-1}{m}\rfloor =0$；综上，$\lfloor \frac{n}{m}\rfloor -\lfloor \frac{n-1}{m}\rfloor =[m\mid n]$.

显然，$\mathrm{左}\mathrm{式}=[m\nmid n]=1-[m\mid n]=\mathrm{右}\mathrm{式}$，证毕。

分数部分： $$\{x\}=x-\lfloor x\rfloor$$

常用法则

常用法则：取整函数等式与不等式之间的转化 $$\begin{array}{}\text{(1)}& \boxed{{\displaystyle \begin{array}{r}\lfloor x\rfloor =n⟺n⩽x<n+1⟺x-1<n⩽x\\ \lceil x\rceil =n⟺n-1<x⩽n⟺x⩽n<x+1\end{array}}}\end{array}$$

上述法则很简单很显然，但是也很重要，证明的时候可以用来把取整符号去掉。

常用法则：实数和整数之间的任何不等式都等价于整数之间的一个有关取整函数的不等式。 $$

上述法则很容易证明，也很重要。

一个非常有用的定理

设 $$ 是任意一个具有如下性质且在一个实数区间连续的单调递增函数： $$ 那么我们有： $$ 证明：只对底进行证明，顶的情况类似。若 $$ 是整数，显然成立；否则，$$，由于 $$ 单调递增，有：$$，于是 $$。假若 $$，由连续性知，介值定理成立：存在一个 $$，使得 $$。根据 $$ 的题设性质可知，$$ 是整数，然而我们无法在 $$ 中找到一个整数，故假设不成立。综上，$$. $$

为什么说这个定理很有用呢？它可以推导出： $$ 这是取 $$ 得到的结果。进一步特殊化，有： $$ 这一点在写代码的时候很有用啊。比如在推导一些数论函数的题的时候，就会经常遇到上述式子。

另外，如果我们取 $$，可以知道： $$

区间内整数个数

区间	整数个数	限制条件
$$	$$	$$
$$	$$	$$
$$	$$	$$
$$	$$	$$

来看一个例子

求： $$ 解： $$

常用法则$$ 中的不等式在上述证明中起到了关键的作用，否则我们无法很好地处理向下取整。

谱

定义实数 $$ 的谱（spectrum）是一个无限多重集合： $$ 性质：

• 没有两个实数的谱相等。

  证明：假设 $$，则必定存在 $$ 使得 $$，则 $$，故 $$，它们的谱在 $$ 处不相等。$$

• $$ 和 $$ 给出了正整数的一个划分当且仅当 $$ 均是无理数且 $$. （例如 $$ 和 $$ 给出了正整数的一个划分）

  证：充分性：只需要证明对于任意的 $$，$$ 中 $$ 的元素个数 $$ 和 $$ 中 $$ 的元素个数 $$ 之和为 $$ 即可。$$ 可如下求得： $$ 于是 $$ （注：上面的证明多次用到了 $$ 和 $$ 必然是小数的条件。）

  必要性：若 $$ 是有理数，那么 $$ 也是有理数，把它们写成分数，设它们分子的最小公倍数为 $$，那么二者的谱中都会出现 $$ 这个数，不能构成一个划分，故 $$ 均为无理数。此时，$$，解得：$$. 证毕。

针对第二个性质，$$ 在他的论文 $$ 中指出，当 $$ 时（不要求无理数），$$ 和 $$ 总会构成一个划分。

底和顶的递归式

高德纳数

$$

证明或证伪： $$ 证：我们来证一个更强的结论： $$ 归纳法：首先，$$ 成立；其次，假设对 $$ 都成立，那么 $$，注意到 $$ 是整数，所以由常用法则$$可知： $$ 同理， $$ 所以， $$ 证毕。

一件很有趣的事情是，这个更强的结论容易归纳证明，但是原来更弱的结论却难以归纳证明。

如果我们尝试对原结论归纳，会有： $$ 然而，$$ 可以小到 $$（当 $$ 是奇数时），$$ 可以小到 $$（当 $$ 时），所以我们只能得到： $$ 不能归纳出结论。

这种现象在证明时还是比较常见的，即证明更强的结论反而更简单。数学之有趣大概于此。

再论约瑟夫问题

我们不从递归式，而是换一种角度思考约瑟夫问题。这里探究每隔 $$ 个人死一个的一般情形。我们不断地指定新的编号：刚开始是 $$，随后 $$ 号变成 $$ 号、……、$$ 号变成 $$ 号，$$ 号处死，$$ 号变成 $$ 号，$$ 号变成 $$ 号……，$$ 号处死，$$ 号变成 $$ 号，……，$$ 号变成 $$ 号，……，最后剩下 $$ 号。

上面一段话没人想看，举个例子好了：$$，$$ 时，编号是这样变化的： $$

如何理解上述编号过程？想象两个指针一前一后的扫，前一个指针从 $$ 开始递增地、遇到一个数就赋值；后一个指针遇到 $$ 的倍数就把它删掉（删掉的数不被第一个指针赋值）。于是乎，当一个数被赋值为 $$ 的倍数时，它就被敲响了丧钟。

对于编号 $$，我们考虑它的下一个编号是多少。$$ 意味着它被下一次赋值时，会有 $$ 个人死亡，所以它的下一个编号是 $$；反过来，编号 $$ 的上一个编号就是 $$。由于我们已经知道最后一个存活的人是 $$，所以可以据此逆推出幸存者的原号码： $$ 如果作变量代换：$$，上述代码可以简化： $$

$$：二元运算

定义

$$

注意上述定义中，$$.

特殊定义： $$

$$ 里，\bmod 能像其他二元运算符一样打出一个漂亮的 $$，而如果直接用 \mod 前后会有一大片空格。

另外，同余式中用 \pmod，它会自动在两边加上括号，例如：$$ 的代码是：x\equiv1\pmod m.

务必注意不同的编程语言中的模运算和数学语言的 $$ 可能会有差别。

例如： $$ 而在 $$ 下：

5 % 3 = 2
5 % (-3) = 2
(-5) % 3 = -2
(-5) % (-3) = -2
GCODE

但是 $$ 下与数学语言又是一致的：

>>> 5%3
2
>>> 5%(-3)
-1
>>> (-5)%3
1
>>> (-5)%(-3)
-2
PYTHON

分配律

对 $$，有： $$ 证明： $$ $$

一个例子

把 $$ 个物品分成 $$ 组，把组按照不增的次序排列，使分得尽可能均匀。

答案很简单：前 $$ 组分 $$ 个，后 $$ 组分 $$ 个。

如果问第 $$ 组有多少个物品，我们想找到一个式子，当 $$ 时值为 $$，当 $$ 时值为 $$. 可以验证，答案是： $$ 又根据 $$，我们可以得到一个恒等式： $$ 该式对 $$ 恒成立。

对应的，如果把原题改成不减，我们也可以得到一个恒等式： $$

底和顶的和式

我们不是很能直接处理取整函数，所以往往一个有效的技巧是引入变量来规避取整。

第一个例子

求 $$ 的封闭形式。

解： $$ 其中，第一个和式计算如下： $$ 第二个和式计算如下： $$ （注意到仅当 $$ 的时候才满足条件）

因此， $$

第二个例子

接下来两个大坑先留着。。。