凌晨三点五十分。
杨康睿在消防控制室里来回踱步。他今天状态不太好——下午在出租屋里睡觉时，肠胃又开始闹别扭，一阵一阵地绞痛，让他无法入睡。他吃了两片胃药，又用热水袋敷了半个小时，才勉强缓过来。现在虽然不那么疼了，但整个人还是有点发虚。
他走到窗边，看着外面的夜色。南沙的凌晨很安静，街灯在雾气中晕开一圈一圈的光晕。远处珠江口的货轮亮着灯，缓缓驶过。
他想起今天在手机上看的一条新闻——某地消防控制室值班员因为睡岗被处罚，罚款并通报批评。他叹了口气。这份工作虽然枯燥，但至少还能让他活着。他需要这份工资，需要社保，需要活下去的资本。
凌晨四点整。
杨康睿回到转椅上坐下，深吸一口气，闭上眼睛。
来吧。
意识开始下沉。穿过模糊的黑暗，落在熟悉的走廊上。
走廊两侧的石砖墙壁在壁灯下泛着温润的光。他迈开步子向前走去，走到尽头，推开了圆形拱门。
穹顶大厅里，四位数学家已经坐在石桌旁了。但今天的气氛与往常不同——阿基米德没有把玩鹅卵石，欧拉没有微笑，牛顿依然面无表情，高斯面前没有摊开笔记。
桌上放着一张纸，纸下压着一支羽毛笔。
“来了。”高斯说，语气比平时更简洁。
“今天，我们不做常规教学。”阿基米德开口，声音比平时低沉一些，“你来到这座宫殿已经有一段时间了。我们一直在教你基础知识——从穷竭法到微积分，从数论到分析。你学得很快，但我们需要确认一件事。”
“什么？”杨康睿问。
“你是否真的理解了数学，而不只是记住了公式。”牛顿说，目光锐利地看着他。
欧拉温和地补充道：“所以今天，我们给你出了一道题。不是书上的例题，不是别人做过的问题——而是一道你必须自己找到方法的问题。”
阿基米德把桌上的纸推到杨康睿面前。
纸上写着一行字：
求 1² + 2² + 3² + … + n² 的求和公式。
杨康睿愣了一下。这道题他见过——大学高数课讲过，数学归纳法可以证明。但他当时只是记住了结论，没有真正推导过。
“我知道答案，”杨康睿说，“n(n+1)(2n+1)/6。”
“知道答案不够，”高斯说，“我们需要你推导出它。并且，你需要理解——这个公式为什么是这样，它从哪里来。”
阿基米德靠在椅背上，双手交叉放在胸前：“我们四个人，每人用一种不同的方法推导这个公式。我们各自演示给你看，然后你选择一种方法，亲手推导一遍。”
“选哪种方法都可以，”欧拉微笑着说，“但你必须真正理解你选的那种方法。”
杨康睿点了点头，在石桌旁坐下。
阿基米德的方法：几何之眼
阿基米德先站起来，走到墙边。他伸出手指，在墙上画了一组方块——第1行1个，第2行2个，第3行3个，第4行4个……排成一个阶梯状。
“平方和，在几何上是什么？”阿基米德问，“1²是一个1×1的正方形，2²是一个2×2的正方形，3²是一个3×3的正方形……把n个这样的正方形叠在一起，就形成了一个金字塔形。”
他在墙上画出立体的示意图：“这是一个由n层组成的金字塔——底层是n×n的方块，第二层是(n-1)×(n-1)的方块，依次递减，顶层是1×1的方块。”
“求这个金字塔的体积，就能得到平方和。”
“但金字塔不是规则的锥体，”阿基米德说，“它是一个阶梯形的锥体。我们可以用一个外切的锥体和一个内接的锥体来夹住它，然后用穷竭法逼近。”
“外切锥体的体积是(1/3)n³·n——不，我需要更仔细地描述……”阿基米德在墙上画了几笔，又停下来，“用穷竭法可以证明，阶梯金字塔的体积与规则锥体体积之差，随着n增大而趋于零。最终结果是，平方和的主项是(1/3)n³。”
“但这只是主项，”阿基米德说，“完整的公式包含n²和n的项，需要用更精细的几何构造才能确定。说实话，这种方法能得到主项，但精确的系数需要借助代数。”
他转过身，看着杨康睿：“几何方法给了我们直觉——让你看到平方和大约等于n³的三分之一。但精确值，需要其他方法。”
牛顿的方法：差分之刃
牛顿站起身，拿起羽毛笔，在纸上画了一张差分表。
“我不用几何，”牛顿说，“我用变化率。”
“设S(n) = 1² + 2² + … + n²。考虑相邻两项的差：S(n+1) - S(n) = (n+1)²。”
“也就是说，S(n)的差分是一个二次函数(n+1)²。反过来——如果我们知道差分，就可以通过求和得到原函数。”
“连续世界的微积分说：∫x²dx = x³/3。离散世界的类比是：求和1²+2²+…+n² ≈ n³/3。但离散世界有修正项。”
牛顿在纸上写下：
S(n) = (1/3)n³ + (1/2)n² + (1/6)n
“这个结果是怎么来的？”杨康睿问。
“通过差分表反推，”牛顿说，“先猜测S(n)是一个三次多项式，然后用待定系数法解出系数。”
“设S(n) = an³ + bn² + cn + d。已知S(0)=0，S(1)=1，S(2)=5，S(3)=14。代入四个条件，解四元一次方程组，得到a=1/3，b=1/2，c=1/6，d=0。”
“然后，用数学归纳法验证它对所有n都成立。”
牛顿放下笔：“这种方法直接，但缺乏美感。它告诉你结果是什么，但不告诉你它为什么是那个样子。”
欧拉的方法：母函数之桥
欧拉虽然看不见，但他准确地拿起了笔，在纸上写下一行字：
\frac{1}{1-x} = 1 + x + x^2 + x^3 + \cdots
“我用的工具是级数。”欧拉说。
“考虑这个生成函数：F(x) = ΣS(n)xⁿ = 1²x + 2²x² + 3²x³ + …”
“一个巧妙的操作是：对几何级数求导、再乘以x、再求导、再乘以x，可以得到Σn²xⁿ。”
欧拉在纸上写下：
\sum_{n=1}^{\infty} n^2 x^n = \frac{x(1+x)}{(1-x)^3}
“然后，把右边的表达式展开成幂级数，各项系数就是S(n)——但这是无穷级数，我们需要的是有限和。”
“有限和可以从无穷级数的部分和中获得——通过分析这个有理函数的部分分式分解，可以得到S(n)的封闭表达式。”
欧拉在纸上写下了最后的结果：
S(n) = \frac{n(n+1)(2n+1)}{6}
“这个方法优雅，”欧拉说，“它把求和问题转化为函数分析问题，用一种统一的视角处理各种求和。”
高斯的方法：配对之智
高斯没有站起来，也没有拿笔。
他看着杨康睿，目光平静：“我十岁那年，老师出了一道题——从1加到100是多少。”
“我用了三秒钟。”
“怎么算的？”杨康睿问。
“配对，”高斯说，“1+100=101，2+99=101，3+98=101……一共有50对，所以总和是50×101=5050。”
“平方和也可以用配对来算，但需要更巧妙的观察。”
高斯在纸上画了一个由n行n列的方块组成的正方形：“1²+2²+…+n²的和，可以看作是一个三角形数阵的和——第i行有i²个点。”
“把这个三角形数阵复制三份，旋转后拼成一个矩形。你会发现，三倍的平方和等于n(n+1)(2n+1)/2。”
高斯在纸上画出了那个经典的拼接示意图——三组三角形排列组合成一个矩形，证明了：
3(1^2+2^2+\cdots+n^2) = \frac{n(n+1)(2n+1)}{2}
所以：
1^2+2^2+\cdots+n^2 = \frac{n(n+1)(2n+1)}{6}
“这是最简洁的证明，”高斯说，“一个图就能说明一切。”
杨康睿的选择
四种方法，四种视角。
几何、分析、级数、组合。
杨康睿沉默地看着桌上的四张纸。每一张纸上都写着同一个公式，但每一条路都截然不同。
“你可以选择任何一种方法，亲手推导一遍。”欧拉温和地说。
杨康睿拿起羽毛笔，在纸上写下了自己的推导。
他没有选择阿基米德的几何，没有选择牛顿的差分，没有选择欧拉的母函数，也没有直接照搬高斯的配对。
他选择了——差分加归纳。
他写下：
设 S(n) = 1² + 2² + … + n²，猜测 S(n) = an³ + bn² + cn + d。
由 S(0)=0, S(1)=1, S(2)=5, S(3)=14，解得 a=1/3, b=1/2, c=1/6, d=0。
然后，用数学归纳法验证：
假设 S(k) = k(k+1)(2k+1)/6，则 S(k+1) = S(k) + (k+1)² = k(k+1)(2k+1)/6 + (k+1)² = (k+1)[k(2k+1)/6 + (k+1)] = (k+1)(2k²+k+6k+6)/6 = (k+1)(2k²+7k+6)/6 = (k+1)(k+2)(2k+3)/6。
当n=k+1时，公式成立。
所以，公式对所有n都成立。
杨康睿放下笔，看着自己写下的推导过程。很朴素，没有阿基米德的几何直觉，没有牛顿的微积分技巧，没有欧拉的生成函数，没有高斯的配对巧思——但每一步，都是他自己想出来的。
“为什么选这种方法？”高斯问。
“因为其他方法我只能看懂，不一定能自己重现，”杨康睿说，“但差分和归纳，我能理解，也能自己完成。”
四位数学家互相看了一眼。
“诚实，”阿基米德说。
“务实，”欧拉说。
“基础，”牛顿说。
“过关。”高斯说。
杨康睿愣住了：“过关？”
“今天的测试，你通过了。”高斯说。
“测试的目的是确认你是否真的理解了数学的本质——不是记忆公式，不是模仿方法，而是建立自己的理解路径。”欧拉解释，“你选择了适合你当前水平的方法，并且正确地完成了推导。这比强行模仿我的配对法更重要。”
牛顿难得点了一下头：“知道自己能做什么，不能做什么，比什么都重要。”
阿基米德拍了拍手：“好了，测试结束。既然你通过了，那么——那扇门，你可以进去了。”
杨康睿顺着阿基米德的目光看去。
穹顶大厅的侧壁上，有一扇他从来没有注意过的门。门不大，木质的，没有装饰，但门缝中透出一道细细的光。
“那扇门……是什么时候出现的？”杨康睿问。
“一直都在，”欧拉说，“只是你没有资格进去。现在，你有资格了。”
杨康睿站起身，走向那扇门。他走到门前，伸出手，犹豫了一下。
“进去吧。”高斯说。
杨康睿推开了门。
门后不是房间。
是一条向下延伸的阶梯。
阶梯很宽，两侧的墙壁上刻满了公式——从最古老的巴比伦泥板上的楔形数字，到希腊的几何定理，到阿拉伯的代数学，到欧洲的微积分，到现代的抽象代数、拓扑学、范畴论……层层叠叠，无穷无尽。
阶梯向下延伸，看不到尽头。
深处传来一种声音——不是说话声，不是风声，而是一种非常低频的震动，像是无数数字在共振，像是数学本身在呼吸。
杨康睿站在阶梯口，感到一阵眩晕。他能感觉到，阶梯的深处有一种巨大的东西——一种比他遇到的所有数学家加起来还要庞大的存在。
“你看到的，是数学的深渊。”高斯的声音从身后传来，“也是数学的殿堂。你从它面前经过，但不能一下子跳进去。你需要一步一步走下去，每一步都要站稳。”
“今天，你只能下一级台阶。”阿基米德说。
杨康睿点了点头。
他迈出一步，踏上了第一级台阶。
脚下的石板亮了一下，然后恢复了平静。
没有更多的事情发生。
他转身，回到大厅。四位数学家依然坐在石桌旁，看着他。
“明天，我们继续上课。”牛顿说。
“好。”杨康睿说。
凌晨五点五十三分。
杨康睿睁开眼睛。
消防控制室的空调还在嗡嗡作响。监控屏幕上的绿色指示灯在均匀地闪烁。
他低头看着自己的手——没有墨水的痕迹，但掌心里似乎还残留着石阶的触感，冰凉、坚硬、真实。
他拿起手机，想记录今天学到的东西。但当他打开备忘录时，他愣住了。
屏幕上有一行字，不是他输入的：
“欢迎来到数学的深渊。”
杨康睿盯着那行字，心跳加速了。
他把手机翻过来扣在桌上，深呼吸了几次。空调的冷风吹在他脸上，让他稍微清醒了一些。
他重新拿起手机，那行字还在。
他删掉它，关上手机，放进兜里。
窗外的南沙，天还没有亮。街灯在雾气中朦胧地亮着，远处珠江口的货轮鸣了一声汽笛，低沉而悠长。
杨康睿靠在椅背上，闭上眼睛。
他知道，从今天起，事情开始变得不一样了。
