专题三、关于整值函数的探讨（1）—— 底和顶的性质与应用

在这个专题中，我们将探讨整值函数的底和顶，及其递归式与和式，学习将实数转换到整数的方法。

参考资料：《具体数学 第 $2$ 版》

一、底和顶的性质与应用

对所有实数 $x$，底函数（$\text{floor}$）和顶函数（$\text{ceiling}$）的定义如下：
$$\begin{array}{c}\begin{array}{r}\lfloor x\rfloor =小于或等于x的最大整数\\ \lceil x\rceil =大于或等于x的最小整数\end{array}\end{array}$$

1. 底和顶的基本性质

要熟悉底函数和顶函数，最好是了解它们的图形，其图形在直线 $f(x)=x$ 的上方和下方形成阶梯状的模式。

仔细审视这个图形，我们可以观察到关于底和顶的几个事实。

• 首先，由于底函数位于一次函数 $f(x)=x$ 上或者位于其下方，所以有 $\lfloor x\rfloor \le x$；类似地，有 $\lceil x\rceil \ge x$。这两个函数在整数点处的值正好相等，即：
  $$\lfloor x\rfloor =x⟺x是整数⟺\lceil x\rceil =x$$
• 此外，当它们不相等时，顶函数恰好比底函数大 $1$：
  $$\begin{array}{c}\lceil x\rceil -\lfloor x\rfloor =[x不是整数]\end{array}$$如果我们将 $f(x)=x$ 向下移动一个单位，它就完全位于底函数的下方，所以 $x-1<\lfloor x\rfloor$；类似地，有 $x+1>\lceil x\rceil$。把这些结果组合起来就有
  $$\begin{array}{c}x-1<\lfloor x\rfloor \le x\le \lceil x\rceil <x+1\end{array}$$
• 最后，这些函数关于两个坐标轴互为反射：
  $$\begin{array}{c}\lfloor -x\rfloor =-\lceil x\rceil ；\lceil -x\rceil =-\lfloor x\rfloor \end{array}$$从而每一个记号都可以用另一个记号来表示。

为了实实在在地证明底函数和顶函数的性质，而不只是从图形上来观察这样的事实，运用下面这四条法则会特别有用，我们假设 $n$ 是整数，$x$ 是实数：
$$\begin{array}{c}\begin{array}{r}\lfloor x\rfloor =n⟺n\le x<n+1，(a)\\ \lfloor x\rfloor =n⟺x-1<n\le x，(b)\\ \lceil x\rceil =n⟺n-1<x\le n，(c)\\ \lceil x\rceil =n⟺x\le n<x+1，(d)\end{array}\end{array}$$由法则 $(5a)$ 可以得到不等式 $\lfloor x\rfloor +n\le x+n<\lfloor x\rfloor +n+1$，也就是说我们有可能将一个整数项移进或者移出底：
$$\begin{array}{c}\lfloor x+n\rfloor =\lfloor x\rfloor +n，n为整数\end{array}$$类似地，可以得到 $\lceil x+n\rceil =\lceil x\rceil +n$，$n$ 为整数。可惜的是，我们并不能将一个常数因子移出去，这就意味着我们在运算中通常要避开比较死板的底和顶，或者在底和顶存在时能证明出一些结论。事实表明，底和顶在许多情况下是多余的，因而我们可以随意插入或者去掉它们。例如，实数与整数之间的任何不等式都等价于整数之间的一个关于底或者顶的不等式：
$$\begin{array}{c}\begin{array}{r}\lfloor x\rfloor <n⟺x<n，(a)\\ n<\lceil x\rceil ⟺n<x，(b)\\ \lceil x\rceil \le n⟺x\le n，(c)\\ n\le \lfloor x\rfloor ⟺n\le x，(d)\end{array}\end{array}$$$x$ 和 $\lfloor x\rfloor$ 之间的差称为 $x$ 的分数部分（$\text{fractional part}$）：
{ x } = x − ⌊ x ⌋ \begin{gather} \{x\} = x - \lfloor x \rfloor \end{gather} {x}=x−⌊x⌋​​我们有时称 $\lfloor x\rfloor$ 是 $x$ 的整数部分（$\text{integer part}$）。

如果 $n$ 是任意实数，那么恒等式 $(6)$ 并不成立，但是我们可以推出，对于 $\lfloor x+y\rfloor$，一般来说只有两种可能性：如果我们记 x = ⌊ x ⌋ + { x } x = \lfloor x \rfloor + \{x\} x=⌊x⌋+{x} 以及 y = ⌊ y ⌋ + { y } y = \lfloor y \rfloor + \{y\} y=⌊y⌋+{y}，就有 ⌊ x + y ⌋ = ⌊ x ⌋ + ⌊ y ⌋ + ⌊ { x } + { y } ⌋ \lfloor x + y \rfloor = \lfloor x \rfloor + \lfloor y \rfloor + \lfloor\{x\} + \{y\}\rfloor ⌊x+y⌋=⌊x⌋+⌊y⌋+⌊{x}+{y}⌋，又由于 0 ≤ { x } + { y } < 2 0 \le \{x\} + \{y\} < 2 0≤{x}+{y}<2，于是 $\lfloor x+y\rfloor =\lfloor x\rfloor +\lfloor y\rfloor$ 或者 $\lfloor x+y\rfloor =\lfloor x\rfloor +\lfloor y\rfloor +1$。

2. 底和顶的简单应用

• 让我们从一个容易解决的问题开始：$\lceil \lg 35\rceil$ 等于什么？其中 $\lg$ 表示以 $2$ 为底的对数。由于 $2^5<35\le 2^6$，我们可以取对数得到 $5<\lg 35\le 6$，由关系式 $(5c)$ 可以得到 $\lceil \lg 35\rceil =6$。
  我们注意到，$35$ 写成二进制时有 $6$ 位：$35=(100011{)}_2$，所以 $\lceil \lg n\rceil$ 是否表示了 $n$ 写成二进制时的长度呢？并不见得，比如我们需要 $6$ 位来表示 $32=(100000{)}_2$，然而 $\lceil \lg 32\rceil =5$，因此当 $n$ 是 $2$ 的幂时上述结论会失效。
  意识到写出每一个满足 $2^{m-1}\le n<2^m$ 的数 $n$ 要用 $m$ 位，由 $(5a)$ 知，$m-1=\lfloor \lg n\rfloor$，因此 $m=\lfloor \lg n\rfloor +1$。也就是说，对所有 $n>0$，需要 $\lfloor \lg n\rfloor +1$ 位将 $n$ 表示成二进制数。同理我们也可以由 $2^{m-1}<n+1\le 2^m$ 推导得到答案 $\lceil \lg (n+1)\rceil$。

• 接下来我们研究用多个底或者顶的表达式。比如 $\lceil \lfloor x\rfloor \rceil$ 是什么？由于 $\lfloor x\rfloor$ 是整数，因此 $\lceil \lfloor x\rfloor \rceil$ 就是 $\lfloor x\rfloor$。对于最内层是 $\lfloor x\rfloor$ 而外面包围有任意多个底或者顶的任何其他表达式也有同样结论。不过我们要做的是，证实或者证伪断言：
  $$\begin{array}{c}\lfloor \sqrt{\lfloor x\rfloor }\rfloor =\lfloor \sqrt{x}\rfloor ，实数x\ge 0\end{array}$$当 $x$ 为整数时等号显然成立，因为 $x=\lfloor x\rfloor$。并且可以验证等式在 $\pi =3.14159\cdots ，e=2.71828\cdots$ 以及 $\varphi =(1+\sqrt{5})/2=1.61803\cdots$ 这些特殊情形下均成立。我们未能发现一个反例，这表明在一般情形下上述断言可能是成立的，故而我们尝试来证明它。
  当面对证实或者证伪的时候，通常先尝试用一个反例来推翻它更好一些，有两点原因：否定可能更容易一些，因为只需要一个反例；挑毛病会激发我们的创造精神，即便给定的结论为真，如果我们能看出为什么不可能存在反例，那么搜寻反例的过程也往往能将我们引向证明。
  对于上述断言，一种可能的做法是：用某种方法去掉左式外层的底和平方根，然后去掉内层的底，再将外层的符号加回去以得到右式。设 $m=\lfloor \sqrt{\lfloor x\rfloor }\rfloor$ 并利用 $(5a)$ 得到 $m\le \sqrt{\lfloor x\rfloor }<m+1$，这就去掉了外层的底，并且没有丢失信息。由于三个表达式都是非负的，于是平方后得到 $m^2\le \lfloor x\rfloor <(m+1{)}^2$，去掉了平方根。对左边的不等式利用 $(7d)$，对右边的不等式利用 $(7a)$：$m^2\le x<(m+1{)}^2$，去掉了内层的底。然后取平方根得到 $m\le \sqrt{x}<m+1$，利用 $(5a)$ 得到 $m=\lfloor \sqrt{x}\rfloor$。从而 $\lfloor \sqrt{\lfloor x\rfloor }\rfloor =m=\lfloor \sqrt{x}\rfloor$，结论为真。类似地，我们可以证明 $\lceil \sqrt{\lceil x\rceil }\rceil =\lceil \sqrt{x}\rceil ，实数x\ge 0$。

• 我们可以推广上述讨论的方式并用来证明更多的东西：设 $f(x)$ 是任意一个具有如下性质且在一个实数区间连续的单调递增函数：$f(x)=$ 整数 $⟹x=$ 整数。于是，只要 $f(x)$、$f(\lfloor x\rfloor )$ 和 $f(\lceil x\rceil )$ 都有定义，则有
  $$\begin{array}{c}\lfloor f(x)\rfloor =\lfloor f(\lfloor x\rfloor )\rfloor 和\lceil f(x)\rceil =\lceil f(\lceil x\rceil )\rceil \end{array}$$我们对顶来证明这个一般的性质。如果 $x=\lceil x\rceil$，则上述性质显然成立。否则，就有 $x<\lceil x\rceil$，于是有 $f(x)<f(\lceil x\rceil )$，从而 $\lceil f(x)\rceil \le \lceil f(\lceil x\rceil )\rceil$。如果 $\lceil f(x)\rceil <\lceil f(\lceil x\rceil )\rceil$，则必定存在一个数 $y$，使得 $x\le y<\lceil x\rceil$ 且 $f(y)=f(\lceil x\rceil )$，因为 $f$ 是连续的。鉴于 $f$ 的单调性，$y$ 必然是一个整数，但是不可能有一个整数严格位于 $\lfloor x\rfloor$ 和 $\lceil x\rceil$ 之间，于是必定有 $\lceil f(x)\rceil =\lceil f(\lceil x\rceil )\rceil$。
  这个定理有一个重要特例：如果 $m$ 和 $n$ 是整数且分母 $n$ 为正，则
  $$\begin{array}{c}\lfloor \frac{x+m}{n}\rfloor =\lfloor \frac{\lfloor x\rfloor +m}{n}\rfloor 和\lceil \frac{x+m}{n}\rceil =\lceil \frac{\lceil x\rceil +m}{n}\rceil \end{array}$$例如，令 $m=0$，则有 $\lfloor \lfloor \lfloor x/10\rfloor /10\rfloor /10\rfloor =\lfloor x/1000\rfloor$，即三次用 $10$ 来除并抛弃个位数，与用 $1000$ 来除并去掉余数，结果是一样的。

• 接下来我们尝试证实或者证伪另一个命题：$\lceil \sqrt{\lfloor x\rfloor }\rceil =\lceil \sqrt{x}\rceil ，实数x\ge 0$。它对 $x=\pi$ 和 $x=e$ 成立，对 $x=\varphi$ 不成立，因此该命题一般不为真。
  进一步探讨之前，我们先讨论一下数学书中可能会出现的不同水平的问题。

  • 【水平 $1$】给定一个显式对象 $x$ 和一个显式性质 $P(x)$，证明 $P(x)$ 为真。即对于所宣称的某个事实寻求一个证明。
  • 【水平 $2$】给定一个显式集合 $X$ 和一个显式性质 $P(x)$，证明 $P(x)$ 对所有 $x\in X$ 为真。问题仍然在于寻求一个证明，但是这里的证明必须具有一般性，也就是要从做算术转变为做代数。
  • 【水平 $3$】给定一个显式集合 $X$ 和一个显式性质 $P(x)$，证明或推翻 $P(x)$ 对所有 $x\in X$ 为真。这里附加了一个不确定性水平，更接近于数学家们通常面对的真实情形：写进书中的结论都倾向于是正确的，但是新的事物必须以挑剔怀疑的眼光来审视。
  • 【水平 $4$】给定一个显式集合 $X$ 和一个显式性质 $P(x)$，寻求一个使 $P(x)$ 为真的充要条件 $Q(x)$。当然我们可以取 $Q(x)=P(x)$，但是问题所隐含的要求是寻求一个尽可能简单的条件，并且必须给出证明：$P(x)$ 为真当且仅当 $Q(x)$ 为真。
  • 【水平 $5$】给定一个显式集合 $X$，寻求其元素的一个有趣的性质 $P(x)$。这是一个非常恐怖的纯粹研究领域。

• 接下来我们将最后那个问题从水平 $3$ 变成水平 $4$：使得 $\lceil \sqrt{\lfloor x\rfloor }\rceil =\lceil \sqrt{x}\rceil$ 成立的充要条件是什么？我们已经知道，当 $x=\pi$ 时等式成立，当 $x=\varphi$ 时等式不成立。进一步探究可以发现当 $m^2<x<m^2+1$ 时，$\lceil \sqrt{\lfloor x\rfloor }\rceil =m$，而 $\lceil \sqrt{x}\rceil =m+1$，即等式不成立，此外所有情况等式均成立。因此，使得 $\lceil \sqrt{\lfloor x\rfloor }\rceil =\lceil \sqrt{x}\rceil$ 成立的充要条件是：$x$ 是整数，或者 $\sqrt{\lfloor x\rfloor }$ 不是整数。

• 下一个问题是：对于区间（$\text{interval}$） $[\alpha ..\beta ],[\alpha ..\beta ),(\alpha ..\beta ],(\alpha ..\beta )$，它们分别包含了多少个整数？其中 $\alpha ,\beta$ 均为实数。 由于半开区间是可加的，故而我们从半开区间开始探究。如果 $\alpha$ 和 $\beta$ 是整数，在 $\alpha \le \beta$ 的情况下，$[\alpha ..\beta )$ 包含 $\beta -\alpha$ 个整数 $\alpha ,\alpha +1,\cdots ,\beta -1$。类似地，$(\alpha ..\beta ]$ 也包含 $\beta -\alpha$ 个整数。根据公式 $(7)$，当 $n$ 是整数时，有
  $$\begin{array}{r}\alpha \le n<\beta ⟺\lceil \alpha \rceil \le n<\lceil \beta \rceil \\ \alpha <n\le \beta ⟺\lfloor \alpha \rfloor <n\le \lfloor \beta \rfloor \end{array}$$于是区间 $[\alpha ..\beta )$ 恰好包含 $\lceil \beta \rceil -\lceil \alpha \rceil$ 个整数，而 $(\alpha ..\beta ]$ 则包含 $\lfloor \beta \rfloor -\lfloor \alpha \rfloor$ 个整数。这是一个我们希望引入底括号和顶括号的例子。
  在底和顶的选择上有一种方法，左闭右开区间比左开右闭区间略微常用一些，底也比顶更常用，根据墨菲定律，正确的法则与我们希望的恰好相反 —— 顶用于 $[\alpha ..\beta )$，而底用于 $(\alpha ..\beta ]$。
  类似的分析表明，闭区间 $[\alpha ..\beta ]$ 包含 $\lfloor \beta \rfloor -\lceil \alpha \rceil +1$ 个整数，而开区间 $(\alpha ..\beta )$ 包含 $\lceil \beta \rceil -\lfloor \alpha \rfloor -1$ 个整数。不过对于开区间我们要限制 $\alpha \ne \beta$，以此来避免出现空的区间 $(\alpha ..\alpha )$ 包含 $-1$ 个整数这种违背常理的断言。

3. 轮盘赌问题

现在我们来到了具体数学俱乐部的赌场之中，在我们面前的是一个巨大的轮盘赌轮，它有一千个投币口，标号 $1$ 到 $1000$。如果在一次旋转中出现的数 $n$ 能被它的立方根的底整除，即 $\lfloor \sqrt[3]{n}\rfloor |n$，那么它就是一个赢点，庄家赔付给我们 $5$ 美元；否则它就是一个输点，我们就需要赔付 $1$ 美元。如果玩这个游戏，我们能指望赢钱吗？

我们可以计算平均赢率，也就是每玩一次我们将会赢（输）的量，首先计算赢点的个数 $W$ 以及输点的个数 $L=1000-W$。如果在 $1000$ 次游戏中每个数都出现一次，我们就赢得 $5W$ 美元而损失 $L$ 美元，故而平均赢率将是
$$\frac{5W-L}{1000}=\frac{5W-(1000-W)}{1000}=\frac{6W-1000}{1000}$$如果有 $167$ 个或者更多的赢点，我们就占优，反之庄家占优。

在 $1$ 到 $1000$ 中，我们如何来计算赢点的个数呢？从 $1$ 一直到 $2^3-1=7$ 全都是赢点，因为对其中每一个数都有 $\lfloor \sqrt[3]{n}\rfloor =1$。从数 $2^3=8$ 一直到 $3^3-1=26$ 中仅有偶数是赢点。在数 $3^3=27$ 一直到 $4^3-1=63$ 中，仅有那些被 $3$ 整除的数是赢点。如此等等。整个模式结构可以系统地加以分析：
$$\begin{array}{rlr}W& =\sum _{n=1}^{1000}[n是赢点]& \\ & =\sum _{1\le n\le 1000}[\lfloor \sqrt[3]{n}\rfloor |n]& \\ & =\sum _{k,n}[k=\lfloor \sqrt[3]{n}\rfloor ][k|n][1\le n\le 1000]& \\ & =\sum _{k,m,n}[k^3\le n<(k+1{)}^3][n=km][1\le n\le 1000]& \\ & =1+\sum _{k,m}[k^3\le km<(k+1{)}^3][1\le k<10]& (把n=1000的情况单独拿了出来)\\ & =1+\sum _{k,m}[m\in [k^2..(k+1{)}^3/k)][1\le k<10]& \\ & =1+\sum _{1\le k<10}(\lceil k^2+3k+3+1/k\rceil -\lceil k^2\rceil )& (区间[k^2..(k+1{)}^3/k)包含的整数个数)\\ & =1+\sum _{1\le k<10}(3k+4)=1+\frac{7+31}{2}\times 9=172& \end{array}$$因此每次游戏的平均赢率的公式化简为 $(6\times 172-1000)/1000=0.032$ 美元，于是我们可以指望在做了 $100$ 次每次 $1$ 美元的赌博之后能挣到大约 $3.2$ 美元。

我们假设将 $1000$ 改为 $10^6$，或者换成一个更大的数 $N$，现在有多少个赢点呢？同样的推理方法仍然适用，不过我们要更仔细地处理 $k$ 的最大值，为方便起见将它记为 $K$：$K=\lfloor \sqrt[3]{N}\rfloor$。对于一般的 $N$，赢点的总数是
$$\begin{array}{rl}W& =\sum _{1\le k<K}(3k+4)+\sum _m[K^3\le Km\le N]\\ & =\frac{1}{2}(7+3K+1)(K-1)+\sum _m[m\in [K^2..N/K]]\\ & =\frac{3}{2}{K}^2+\frac{5}{2}K-4+\sum _m[m\in [K^2..N/K]]\end{array}$$剩下的那个和式是 $\lfloor N/K\rfloor -\lceil K^2\rceil +1=\lfloor N/K\rfloor -K^2+1$，故而公式
$$\begin{array}{cc}W=\lfloor N/K\rfloor +\frac{1}{2}{K}^2+\frac{5}{2}K-3,& K=\lfloor \sqrt[3]{N}\rfloor \end{array}$$给出了轮盘大小为 $N$ 的一般答案。这个公式的前两项近似等于 $N^{2/3}+\frac{1}{2}{N}^{2/3}=\frac{3}{2}{N}^{2/3}$，当 $N$ 很大时，其他项相比要小得多。

4. 谱

我们定义，一个实数 $\alpha$ 的谱（$\text{spectrum}$）是整数组成的一个无限多重集合：
$$\text{Spec}(\alpha )=\{\lfloor \alpha \rfloor ,\lfloor 2\alpha \rfloor ,\lfloor 3\alpha \rfloor ,\cdots \}$$例如，$1/2$ 的谱的开头部分是 { 0 , 1 , 1 , 2 , 2 , 3 , 3 , ⋯   } \{ 0, 1, 1, 2, 2, 3, 3, \cdots \} {0,1,1,2,2,3,3,⋯}。

容易证明，没有两个谱是相等的，也就是说，$\alpha \ne \beta$ 就意味着 $\text{Spec}(\alpha )\ne \text{Spec}(\beta )$。不失一般性，假设 $\alpha <\beta$，就存在一个正整数 $m$ 使得 $m(\beta -\alpha )\ge 1$。（事实上，任何一个 $m\ge \lceil 1/(\beta -\alpha )\rceil$ 都行）从而 $m\beta -m\alpha \ge 1$，且 $\lfloor m\beta \rfloor >\lfloor m\alpha \rfloor$。于是谱 $\text{Spec}(\beta )$ 有少于 $m$ 个元素 $\le \lfloor m\alpha \rfloor$，而 $\text{Spec}(\alpha )$ 至少有 $m$ 个这样的元素。

考虑两个多重集合
Spec ( 2 ) = { 1 , 2 , 4 , 5 , 7 , 8 , 9 , 11 , 12 , 14 , 15 , 16 , 18 , 19 , 21 , 22 , 24 , ⋯   } Spec ( 2 + 2 ) = { 3 , 6 , 10 , 13 , 17 , 20 , 23 , 27 , 30 , 34 , 37 , 40 , 44 , 47 , 51 , ⋯   } \text{Spec} (\sqrt{2}) = \{ 1, 2, 4, 5, 7, 8, 9, 11, 12, 14, 15, 16, 18, 19, 21, 22, 24, \cdots \} \\ \text{Spec} (2 + \sqrt{2}) = \{ 3, 6, 10, 13, 17, 20, 23, 27, 30, 34, 37, 40, 44, 47, 51, \cdots \} Spec(2 ​)={1,2,4,5,7,8,9,11,12,14,15,16,18,19,21,22,24,⋯}Spec(2+2 ​)={3,6,10,13,17,20,23,27,30,34,37,40,44,47,51,⋯}根据公式 $(6)$，$\text{Spec}(2+\sqrt{2})$ 的第 $n$ 个元素恰好比 $\text{Spec}(\sqrt{2})$ 的第 $n$ 个元素多 $2n$。仔细观察还可以发现：似乎从一个谱中消失的数都会在另一个谱中出现，但是没有任何一个数在两个谱中都出现！ 也就是说，正整数是 $\text{Spec}(\sqrt{2})$ 和 $\text{Spec}(2+\sqrt{2})$ 的不相交并集。我们说这些谱构成正整数的一个划分（$\text{partition}$）。

为了证明上述结论，我们要分别计算两个谱中有多少个元素是 $\le n$ 的。如果对于每个 $n$，这样的数的总和是 $n$，这两个谱就的确给出了整数的划分。
设 $\alpha$ 为正数。$\text{Spec}(\alpha )$ 中 $\le n$ 的元素的个数是
$$\begin{array}{rl}N(\alpha ,n)& =\sum _{k>0}[\lfloor k\alpha \rfloor \le n]\\ & =\sum _{k>0}[\lfloor k\alpha \rfloor <n+1]\\ & =\sum _{k>0}[k\alpha <n+1]\\ & =\sum _k[0<k<(n+1)/\alpha ]\\ & =\lceil (n+1)/\alpha \rceil -1\end{array}$$利用上述 $N(\alpha ,n)$ 的公式，我们就可以通过检验是否对所有整数 $n>0$ 都有 $N(\sqrt{2},n)+N(2+\sqrt{2},n)=n$ 来检测 $\text{Spec}(\sqrt{2})$ 和 $\text{Spec}(2+\sqrt{2})$ 是否给出正整数的划分：
⌈ n + 1 2 ⌉ − 1 + ⌈ n + 1 2 + 2 ⌉ − 1 = n    ⟺    ⌊ n + 1 2 ⌋ + ⌊ n + 1 2 + 2 ⌋ = n    ⟺    n + 1 2 − { n + 1 2 } + n + 1 2 + 2 − { n + 1 2 + 2 } = n \begin{split} \lceil \frac{n + 1}{\sqrt{2}} \rceil - 1 + \lceil \frac{n + 1}{2 + \sqrt{2}} \rceil - 1 = n \\ \iff \lfloor \frac{n + 1}{\sqrt{2}} \rfloor + \lfloor \frac{n + 1}{2 + \sqrt{2}} \rfloor = n \\ \iff \frac{n + 1}{\sqrt{2}} - \{ \frac{n + 1}{\sqrt{2}} \} + \frac{n + 1}{2 + \sqrt{2}} - \{ \frac{n + 1}{2 + \sqrt{2}} \} = n \end{split} ⌈2 ​n+1​⌉−1+⌈2+2 ​n+1​⌉−1=n⟺⌊2 ​n+1​⌋+⌊2+2 ​n+1​⌋=n⟺2 ​n+1​−{2 ​n+1​}+2+2 ​n+1​−{2+2 ​n+1​}=n​由于 $\frac{1}{\sqrt{2}}+\frac{1}{2+\sqrt{2}}=1$，于是我们的条件就转化为检测是否对所有 $n>0$ 有 { n + 1 2 } + { n + 1 2 + 2 } = 1 \{ \frac{n + 1}{\sqrt{2}} \} + \{ \frac{n + 1}{2 + \sqrt{2}} \} = 1 {2 ​n+1​}+{2+2 ​n+1​}=1，而这是和等于整数 $n+1$ 的两个非整数的数的分数部分，显然该等式对所有的 $n\ge 0$ 恒成立，至此，证明完毕。