狐狸小说

第47章 园林的终章（第1页）

1971年的巴黎，春日的气息已彻底浸润了塞纳河畔。在哲也与晴子公寓那间朝东的小书房里，清晨的阳光透过百叶窗，在铺满草稿的书桌上投下温暖而清晰的光带。空气中弥漫着旧纸张、墨水和淡淡紫丁香的气息，宁静得只能听见笔尖划过纸张的沙沙声，以及远处偶尔传来的鸽哨。中森晴子

坐在书桌前，身姿依旧挺拔，神情是经年累月专注修炼后特有的、混合着沉静与锐利的安详。与六年前那个因丈夫崩溃而给予温柔慰藉的妻子不同，此刻的她，正独自进行着一场漫长攀登的最后冲刺。

书桌上，早已不是1965年那堆探索性的、充满分情形讨论的草稿。取而代之的，是一套近乎完美的、逻辑链条最终闭合的证明手稿。稿纸的边缘因反复翻阅而微微卷曲，上面布满了精心绘制的图表、层层递进的引理编号，以及用不同颜色墨水标注的关键步骤。这摞手稿的标题页上，工整地写着：《论埃尔德什-施特劳斯猜想的有限性证明（终稿）》。

晴子的突破，并非石破天惊的顿悟，而是六年如一日、滴水穿石般的精耕细作的必然结果。1965年，她取得了决定性的进展——通过模m的同余分类和构造性公式，她将问题归结为处理有限个“顽固”的同余类，并证明了存在一个可计算常数n，当n

>

n时，猜想成立。这是一个辉煌的胜利，将无穷的挑战锁进了有限的牢笼。然而，那最后的堡垒——那些无法用统一公式解决的特殊同余类——依然如同坚硬的果核，需要最精巧的工具和极大的耐心才能敲开。

在过去六年里，当丈夫哲也跟随格罗腾迪克和德利涅，在概形、平展上同调、朗兰兹纲领这些数学的“星际空间”中遨游时，晴子始终心无旁骛地深耕着她那片组合数论的“微观宇宙”。她的战场，没有无穷维空间，没有抽象范畴，只有具体的整数、分式、同余式、连分数展开。她的武器，是极致巧妙的构造、无懈可击的归纳和近乎苛刻的缜密逻辑。

她对剩余顽固同余类的攻坚，体现了她“微雕大师”

的本色。她没有寻求一种“一剑封喉”的通用方法——那或许存在于更抽象的领域，但非她所愿。她采取的是“逐个击破，分类围剿”

的策略，为每一类“顽固”的n，量身定制破解方案。

其中最具代表性的，是她对某一类与素数分布中的某种特殊间隙相关的n的处理。这类n使得方程4n

=

1x

+

1y

+

1z的解，无法用简单的线性公式表示。晴子经过大量的数值实验和模式识别，发现这类n的解，其结构与某个特定数的连分数展开的渐进分数序列有着惊人的密切联系！

这需要极高的数值洞察力和耐心。她会选取一个代表性的顽固n，计算4n的连分数展开：[0；

a1，

a2，

a3，

。。。]。然后，她仔细研究其渐进分数p_k