Another inequality inspired by Erdős

想象你是一名侦探，正工作在数论这一宏大而静谧的图书馆中。数论是数学的一个分支，致力于研究整数中隐藏的秘密。在这个世界里，数字不仅仅是用来数苹果的工具；它们是拥有各自性格、关系和严格规则的角色。这个图书馆中最著名的规则之一是“贝尔特兰假设”（Bertrand Postulate），它是一个有着数百年历史的观察结果，指出如果你挑选一个大于 6 的数字，在紧邻其下方的特定区域内，总会隐藏着至少一个质数（即只能被 1 和它本身整除的数）。长期以来，像保罗·埃尔德什（Paul Erdős）这样的数学家利用巧妙的二项式系数技巧（这些系数就像是你计算物品组合方式时得到的数字）来证明这些规则。但有时，最有趣的谜题并非那些宏大、响亮的定理，而是当你在尝试简化这些证明时，偶然出现的那些细微、奇特的不等式。这些“怪异现象”让数学家们挠头不已，并思考：“这是否始终成立，还是在数字中隐藏着某个狡猾的例外？”

这篇题为《受埃尔德什启发的另一个不等式》的论文，深入探讨了其中一个如此狡猾的不等式。作者 Barora Batíková、Tomáš J. Kepka 和 Petr C. Němec 正在调查一个涉及正整数的特定数学关系。他们为每个数字 $n$ 定义了几个特殊的“角色”：一个与 $2n$ 中 3 的个数相关的数值 $z(n)$，一个与 $2n$ 的平方根相关的数值 $m(n)$，以及一个与 2 的幂次相关的数值 $r(n)$。接着，他们将这些组合成一个复杂的表达式 $y(n)$，并提出了一个简单的问题：这个表达式始终是负的、始终是正的，还是会反复跳变？该论文证明了该表达式永远不会恰好等于零（它从未完美地落在零线上），并且它描绘出了哪些数字使它为负，哪些数字使它为正。这有点像是在检查一条非常长的街道上每一栋房屋的灯光是亮着还是灭着，发现虽然大多数房子都遵循某种模式，但也有一些特定的地址，其灯光的表现方式与众不同。

伟大的数字猎寻

故事从回顾过去开始。在 1845 年，一位名叫 J. Bertrand 的数学家提出了一个大胆的猜想：对于任何大于 6 的数字 $n$，在 $n-2$ 和 $n^2$ 之间总存在一个质数。后来，以优雅且简洁的证明而闻名的天才保罗·埃尔德什，提出了一种证明这个想法的稍有不同的版本的新方法。在进行这项工作时，他偶然发现了一些不寻常的不等式。其中一个涉及数值 $x(n)$ 的不等式，已被这几位作者在之前的论文中研究过。他们发现 $x(n)$ 通常是负数，但在极少数数字处恰好等于零，这些数字分别是 436, 451, 529, 545 和 546。

现在，作者们将注意力转向了一个与第一个不等式具有“亲缘关系”的兄弟级不等式，他们称之为 $y(n)$。这个新的表达式更加复杂，混合了 2 的幂次和 $n$ 的幂次。这项工作的目标是解决一个谜题：对于哪些正整数 $n$，$y(n)$ 小于零？而且，至关重要的是，$y(n)$ 是否曾经恰好等于零？

双管齐下的攻击

为了解决这个问题，作者使用了两种不同的策略，就像侦探同时使用放大镜和高科技扫描仪一样。

策略 1：纯算术方法
首先，他们使用“纯算术”，这意味着他们严格遵循整数的规则，而不使用微积分中平滑的曲线。他们将无限的数轴划分为易于处理的块。他们意识到，对于某些数值范围， $m(n)$ 和 $r(n)$ 的值保持不变。这使得他们能够将数字分组为区间。

他们创建了一张巨大的区间地图。例如，他们观察从 1 到 403 的数字，并在每个区块中检查 $y(n)$ 的符号。他们发现，对于较小的数字（如 1, 2, 3, 4），$y(n)$ 是正的。但从 $n=5$ 开始，它转为负值。它在很长一段距离内保持为负，但随后，就像过山车一样，它在特定区间内起伏波动。

通过仔细的计算和对幂次的比较（例如检查 $2^{20}$ 是否大于 $3^{15}$），他们证明了 $y(n)$ 在特定的数值范围内为负：

• 从 5 到 335。
• 从 338 到 350。
• 从 365 到 368。

他们还证明了 $y(n)$ 绝不等于零。这是一个严格的“非此即彼”的情况；这个数字要么是正的，要么是负的，绝不会正好停留在中点。对于所有其他数字（1 到 4，以及 336, 337, 351 到 364，以及 369 及以上的数字），该值都是正的。

策略 2：微积分方法
为了复核他们的工作，并展示即使通过连续数学的视角来看，这些结果依然成立，作者使用了初等微积分。他们发明了一个平滑的、波浪状的函数 $F(x)$，用以模拟他们离散整数问题的行为。

他们分析了这条曲线的形状。他们展示了这条曲线最终会一直向上攀升。通过寻找曲线与“零线”（x 轴）相交的位置，他们可以预测整数值 $y(n)$ 必然为正或为负。

• 他们证明了如果 $n$ 非常大（具体而言当 $n \ge 404$ 时），该值一定是正的。
• 他们利用这条曲线缩小了搜索范围，确认任何“负值”行为都必须发生在特定的窗口内（大约在 5 到 379 之间）。
• 通过检查该窗口内的特定整数点，他们确认了在第一种策略中找到的精确边界。

最终裁决

论文得出了一个明确的领地地图。不等式 $y(n) < 0$（即表达式为负）成立，当且仅当 $n$ 属于以下三组之一：

1. $5 \le n \le 335$
2. $338 \le n \le 350$
3. $365 \le n \le 368$

反之，$y(n) > 0$（即表达式为正）的情况是：$n$ 在 1 到 4 之间，或者在负值区域之间的间隙中，或者 $n$ 大于或等于 369。

最重要的是，作者们以绝对的确定性证明了，对于任何正整数，$y(n)$ 永远不会等于零。不存在任何让表达式完美消失的“魔术数字”。这是一个严格的二元世界，只有正与负，没有中立地带。

这项工作是对结合传统数字计算与现代分析工具之力量的证明。虽然对于门外汉来说，这个结果看起来可能只是一个细分的谜题，但它代表了那种严谨、循序渐进的验证过程，正是这种过程维持了数学基础的稳固。它表明，即使在抽象数字的世界里，每一个案例都至关重要，并且有时，最有趣的发现是明确知道例外情况并不存在于哪里。