8 和 9 的“绝交”危机，以及一场持续 158 年的数学悬案

luyuanhong

8 和 9 的“绝交”危机，以及一场持续 158 年的数学悬案

原创  小鹿思考力  小鹿思考力  2026 年 5 月 1 日 20:00  福建  

一个让人忍不住瞎琢磨的算式

1844 年，比利时有个数学家，叫卡塔兰。

有一天，他盯着草稿纸发呆。

纸上写着一行特别简单的算式：

                9 - 8 = 1 。

也就是  3^2 - 2^3 = 1 。

一个是平方数，一个是立方数。

俩数刚好差 1  。

这有啥稀奇的呢？

说真的，小学生都能看出来。

但卡塔兰这人有个毛病——他开始瞎琢磨了。

“要是我接着往下找，还能不能找出另一对‘完美幂数’——就是那种 x^a 和 y^b ——它俩也差 1 ？”

于是他开始翻了。

4 和 3 ？3 不是幂。

16 和 15 ？15 不是。

25 和 26 ？26 不是。

27 和 28 ？28 不是。

32 和 33 ？33 也不是。

再往远看看：

125 和 126 ？没有。

128 和 127 ？没有。

216 和 217 ？没有。

他发现一件怪事：

8（2^3）和 9（3^2）像两个碰巧挨着的老朋友。

别的幂数，比如 4（2^2）旁边的 3 和 5 都不是幂数；27（3^3）旁边的 26 和 28 也不是。

翻来翻去，再也找不到第二对儿差 1 的幂数了。

于是他在纸上写下一个猜想，特别简单的那种：

方程  x^a - y^b = 1（ x、y、a、b 都比 1 大），唯一的一组解就是  3^2 - 2^3 = 1 。

这就是后来特别有名的卡塔兰猜想。

他自己也没能证明

但你想想：他怎么就这么确定呢？

他凭什么说，往后几亿个数里头绝对不会再冒出一对？

没有计算机，没有搜索引擎，全凭直觉。

问题是，卡塔兰自己也没能证明。

1894 年他去世了，这个“有点无聊的数字猜想”就留给了后人。

他根本想不到，这个看上去像课后习题的问题，后面会折磨数学家一百五十多年。

还牵扯进了一个中国人、一个罗马尼亚人。

整整横跨三个世纪。

全世界的聪明人都来“找幂”

之后的几十年、上百年，全世界最聪明的一帮人都在玩这个游戏。

1850 年，有个叫勒贝格的数学家（不是咱们都知道的那个搞积分的勒贝格，是同名远房亲戚）证明了：

如果指数 a 或者 b 里头有一个是 2 ，那就没有其他解。

嗯，算是个开头吧。

但离最终答案还差着十万八千里。

1976 年，一个叫蒂德曼的人用了一套特别高深的数学理论，证明了：

这个方程最多只有有限组解。

有限组？那可能是两组？一百组？

他算出来的上界夸张到什么程度呢——

如果真有第二组解，它的大小大到你的脑子完全装不下。

比那种“10 的 10 的 10 的……”折腾好多层还要大。

说白了：

就算真存在第二组解，你也甭想用计算机搜到它。因为压根搜不完。

看起来像是走进死胡同了。

中国数学家出手了

直到 20 世纪 60 年代，一位中国数学家出场了。

他叫柯召。

那时候条件很苦。没有互联网，没有国际期刊随便看，也没有啥像样的计算机。

但他盯住了一种特殊情况：x^2 - y^b = 1。

用人话说就是：平方数比某个幂数大 1 。

他用非常复杂的数论推导，证明了一个结果：

在平方数减对方幂数等于 1 的情况下，唯一解还是 8 和 9 。

换句话说，他把这个猜想的可能性范围大大压缩了。

这个工作后来被国际上叫做 “柯氏定理”，成了卡塔兰猜想证明路上最稳当的一块石头。

然而，这离最后全面证明还有很大的距离。

剩下的情况一个比一个难搞。

柯召推倒了第一块重要的多米诺骨牌。

但最后把全部骨牌推倒的那个人，来自罗马尼亚。

一个罗马尼亚人，闷声干大事

时间到了 2002 年。

有个罗马尼亚数学家叫米哈伊列斯库，在德国一所大学工作。

不怎么出名，属于那种“闷声干大事”的人。

但从 1999 年开始，他就在死磕卡塔兰猜想。

他用上了前人没用过的厉害工具。

名字听着像魔法——分圆域理论、伽罗瓦模。

其实就是数学里特别深的东西，好比你要拆一个精密仪器，必须上最细的螺丝刀。

2002 年 4 月，消息慢慢传出来了：米哈伊列斯库证明了。

他证明了：

真的不存在任何一组 a、b、x、y（都比 1 大），能让两个幂数挨在一起。

8 和 9 ，就是唯一的、永远的“幂邻居”。

一百多年来的怀疑、争论、那种“可能有个超级大解藏在哪儿”的幽灵——全被他赶跑了。

2003 年，这个证明经过顶尖专家严格审查，正式发表。

一个 1844 年出生的猜想，花了 158 年，终于变成了一条定理。

一个特别小声的“幽默”

据说证明完成之后，有个同行跟他开玩笑：

“这下好了，你证明了 8 和 9 是唯一的幂邻居。你们家小区门口是不是该立个牌子——‘注意，前方再无这样的友谊’？”

米哈伊列斯库没直接回嘴。

他用数学家的方式，在论文致谢里默默写了一句话：

“献给欧仁·卡塔兰。我们终于知道你说得对。”

这话说得特平淡，但就是特别动人。

一个人 1844 年扔下的一个看上去挺幼稚的猜想，另一个人 2002 年终于给它画上了句号。

中间隔了五代人，两次世界大战，计算机从无到有，无数数学家一辈子的努力。

那这故事跟我们有啥关系？

你肯定会问：这有啥用啊？

8 和 9 本来就在那儿，差 1 就差 1 呗，折腾一百多年图啥？

那我给你讲个故事里的故事。

两千多年前，古希腊人研究圆锥曲线——椭圆、抛物线、双曲线。

他们为啥研究？纯粹因为觉得几何很美。

没人觉得这东西将来能用上。

结果两千年后，开普勒拿它算行星轨道。

再后来，它成了火箭科学的基础。

没它，就没有登月，没有 GPS ，没有火星车。

纯粹数学的研究，就像在织一张大网。你不知道这张网将来会逮住什么。

卡塔兰猜想的证明，没直接让你手机更快、网速更高。

但它给数学造了一样新工具——那些深奥理论的高级用法，没准哪天就用在密码学或编码理论里。

但更重要的是，它让人一次又一次地相信：

有些特别简单又特别深刻的道理，就藏在最不起眼的数字缝里，等着一个足够倔的人把它挖出来。

最后

下次你瞅见 8 和 9 ，可以笑一下——

它们俩是彼此唯一的、再也找不到第二对的“幂邻居”。

连数字都在告诉你：

最简单的事情里，也可能藏着唯一的奇迹。

而这世界之所以值得折腾，就是因为总有人愿意花 158 年，去证明一个一开始看起来“没啥用”的事情。

小鹿思考力

ysr

0~10完美算式，各用1、2、3恰好一次:
0:1+2-3=0
1:3-2*1=1
2:3+1-2！=2
3:3*(2-1)=3
4:3+2-1=4
5:3+2*1=5
6:1*2*3=6
7:3*2+1=7
8:3！+2*1=8
9:1+2+3！=9
10:    (3！-1)*2=10