这是一个在计算机科学和离散数学中非常经典的恒等式。为了让证明过程严谨，我们需要明确该公式成立的前提条件： 1. $k$ 必须是正整数（即 $k \ge 1, k \in \mathbb{Z}$）。 2. 对数的底数 $b$ 必须是大于等于 2 的整数（即 $b \ge 2, b \in \mathbb{Z}$，例如常用于计算机科学中的二进制底数 $b=2$ 或十进制底数 $b=10$）。如果底数不是整数（如自然对数的底数 $e \approx 2.718$），该等式不一定成立。

以下是该恒等式 $\lfloor \log_b k \rfloor + 1 = \lceil \log_b(k+1) \rceil$ 的详细数学证明。

证明： $\lfloor \log_b k \rfloor + 1 = \lceil \log_b(k+1) \rceil$

第一步：引入变量

设 $n = \lfloor \log_b k \rfloor$。因为 $k \ge 1$ 且底数 $b \ge 2$，所以 $n$ 是一个非负整数（即 $n \in \mathbb{Z}$ 且 $n \ge 0$）。

第二步：根据下取整的定义展开

根据下取整（Floor）函数的定义，若 $n = \lfloor \log_b k \rfloor$，则有以下不等式成立： $$n \le \log_b k < n + 1$$

第三步：去掉对数符号

由于底数 $b \ge 2 > 1$，指数函数 $b^x$ 是严格单调递增的。我们将上述不等式各部分作为 $b$ 的指数，不等号方向不变： $$b^n \le k < b^{n+1}$$

第四步：利用整数的离散性质进行转化

因为 $b$ 是一个整数且 $n \ge 0$，所以 $b^{n+1}$ 必然也是一个整数。 已知 $k$ 同样是整数，因此在整数集里，严格小于 $b^{n+1}$ 相当于小于或等于 $b^{n+1} - 1$。 于是，我们可以将上式写成闭区间形式： $$b^n \le k \le b^{n+1} - 1$$

第五步：引入 $k+1$ 变量

为了向右边公式中的 $k+1$ 靠拢，我们将不等式的每一项都加上 $1$： $$b^n + 1 \le k + 1 \le b^{n+1}$$

第六步：放宽左侧边界

因为 $n \ge 0$ 且 $b \ge 2$，所以有 $b^n \ge 1$，从而必然有 $b^n < b^n + 1$。 由此，我们可以将不等式左侧放宽，得到： $$b^n < k + 1 \le b^{n+1}$$

第七步：重新引入对数

再次利用 $b > 1$ 时对数函数的单调递增性，对不等式各部分取以 $b$ 为底的对数： $$\log_b(b^n) < \log_b(k+1) \le \log_b(b^{n+1})$$ 化简后得到： $$n < \log_b(k+1) \le n + 1$$

第八步：应用上取整定义

根据上取整（Ceiling）函数的定义，如果一个实数位于开闭区间 $(n, n+1]$ 内，那么它的上取整结果必然等于该区间右端点的整数，即： $$\lceil \log_b(k+1) \rceil = n + 1$$

第九步：代回变量完成证明

将最开始设立的 $n = \lfloor \log_b k \rfloor$ 代入上式中： $$\lceil \log_b(k+1) \rceil = \lfloor \log_b k \rfloor + 1$$

整理顺序，即可得到： $$\lfloor \log_b k \rfloor + 1 = \lceil \log_b(k+1) \rceil$$

证毕。

—— 本文来自火龙信奥（义乌睿码科技）：义乌青少年信息学奥赛与编程教育平台，专注 CSP-J/S、NOIP、GESP 竞赛培训，线上线下融合教学，助力编程升学。网址：hlcoding.com