下一章 上一章 目录 设置
81、交锋 ...
-
周日下午，三点差五分。水光背着书包，里面装着那份写有证明的稿纸，还有李老师新给的几道题，以及沈教授那本《复变函数引论》。她再次站在三中门口那棵老槐树下。光秃的枝桠在初春午后淡金色的阳光下，投下疏朗、静止的影子。空气里有泥土解冻的微腥，远处工地间歇的轰鸣，和周日午后特有的、带着倦意的寂静。
她提前到了五分钟。这是她的习惯。她不习惯让人等，更不习惯在李牧那样的人面前显出任何仓促或不安。她把手插在旧棉袄口袋里，手指无意识地摩挲着稿纸的边缘。纸张很薄，上面简洁的证明步骤像一组排列整齐的、等待检阅的士兵。她的心跳很平稳，是暗红色的、沉缓的搏动，带着一种近乎清明的专注。没有紧张，没有期待，只有一种即将完成某个既定程序的平静。
三点整，一个瘦削的身影准时出现在街角。李牧还是那身洗得发白的市一中校服，背着那个旧帆布书包，双手插在口袋里，迈着那标志性的、笔直而迅速的步伐走过来。阳光在他身后，给他周身轮廓镀上了一层淡淡的、青灰色的光晕。他走到水光面前，停下，青灰色的目光像两枚冰冷的探针，没有任何寒暄，直接落在水光脸上。
“题。”他吐出一个字，是陈述语气，不是询问。
水光从口袋里拿出那张折叠整齐的稿纸，展开，递给他。动作平稳，没有迟疑。
李牧接过，目光立刻垂到纸上。他看得很仔细，很快。眉头先是几不可察地蹙了一下，然后迅速舒展开，嘴角似乎扯动了一下，像是掠过一丝极淡的、难以捉摸的情绪——是惊讶？是赞许？还是……失望？水光“看见”他眼神里那青灰色的锐利光芒，似乎因为纸上的内容而微微波动了一下，颜色更深了些，但并没有变得更冷或更热。
大约一分钟后，他看完了。抬起头，目光重新锁定水光。
他声音平淡，听不出情绪，“你怎么想到的？”
“先考虑让 a_i 有公共因子 M，条件转化为 (i+j) 整除 M。要让这对所有 i
“自然。”李牧重复这个词，嘴角那丝极淡的弧度似乎明显了一点点，但依然难以定义是笑还是别的什么，“很多人会试图从数论恒等式或者递推构造入手，绕很多弯子。你直接抓住了最根本的充分条件，而且验证了 i+j 的取值区间。简洁。”
这是夸赞吗？水光不确定。李牧的语气听起来更像是在评估一个解题策略的优劣。
“不过，”他话锋一转，青灰色的目光带上了一丝审视，“这个构造给出的数非常大。L_n 增长很快。当 n 稍大时，a_i 会是天文数字。在竞赛中，这样的答案可能因为‘不实际’或‘缺乏美感’被扣分，尽管它逻辑正确。”
水光心里微微一沉，但脸上没什么表情。“题目只要求‘找到’，并没有要求‘最小’或‘优美’。存在性证明，这个构造足够。”
“足够。”李牧点点头，将稿纸对折，塞进自己校服口袋，“但数学不仅仅关于‘足够’。好的解答应该在‘正确’的基础上，追求‘简洁’、‘优美’、‘深刻’。你这个解答，简洁有余，优美不足，深刻……谈不上。它更像是一个聪明的‘技巧’，而不是揭示问题本质的‘洞察’。”
他的话很直接，甚至有些苛刻。水光感到脸颊有些发热，但并非因为羞愧，而是一种被挑战、被评判时本能的不服。她迎上李牧的目光：“那在你看来，什么是更‘优美’或‘深刻’的解答？”
李牧似乎就在等她这个问题。他放下书包，从里面拿出那个皮质笔记本，翻到某一页，撕下另一张纸，递给水光。“这是我的解法。你看看。”
水光接过。纸上同样是手写的解答，字迹小而锋利，排版紧凑。
证明：取 a_i = i(i+1)/2，即第 i 个三角形数。
对任意 1 ≤ i < j ≤ n，有
a_i + a_j = i(i+1)/2 + j(j+1)/2 = (i² + i + j² + j)/2 = (i² + j² + i + j)/2。
a_i a_j = [i(i+1)j(j+1)] / 4。
注意到 (i² + j² + i + j) = (i+j)(i+j+1) - 2ij。
但更直接地，我们验证：
2(a_i + a_j) = i² + i + j² + j = (i+j)² + (i+j) - 2ij。
而 4a_i a_j = i(i+1)j(j+1) = (ij)(i+1)(j+1)。
经过计算（略），可以发现 (a_i + a_j) 整除 a_i a_j 等价于 (i+j+1) 整除 ij(i+1)(j+1)，而这可以由组合恒等式 C(i+j, i) 是整数来保证，因为 C(i+j, i) = (i+j)!/(i!j!) 包含因子 (i+j)/(i+j) … 实际上，更优雅的观察是：
注意到 a_i = C(i+1, 2)。而组合数具有性质：C(m,2) + C(n,2) = C(m+n, 2) - mn。利用帕斯卡恒等式和整除性质，可以证明 C(i+1,2) + C(j+1,2) 整除 C(i+1,2) * C(j+1,2)，这源于组合数之间的某种二次同余关系。具体地，有恒等式：
C(i+1,2) * C(j+1,2) = (i+j+1) * C(i+j, 2) / 2 - 某个整数。
从而 (C(i+1,2) + C(j+1,2)) | (C(i+1,2) * C(j+1,2)) 当且仅当 (i+j+1) | (某个表达式)，而后者成立是因为组合数的整数性。
因此，取 a_i = C(i+1, 2) = i(i+1)/2 即满足要求。
水光快速浏览着。李牧的解答涉及组合数及其恒等式，推导显然更精巧，也更“内行”。他利用三角形数（组合数 C(i+1,2)）的已知性质，通过一系列恒等变形和整除论证，给出了一个显式公式 a_i = i(i+1)/2。这个构造给出的数比她的 L_n 构造小得多，也更有规律——就是前 n 个三角形数。确实更“优美”，也更“深刻”，因为它揭示了问题与组合数这一基本数学对象之间的内在联系。
“三角形数……”水光低声说，心里那口井因为看到这个优雅的联系而泛起涟漪。她想起自己曾尝试过等差数列、平方数，却没想到三角形数。组合数的性质她了解一些，但远没有李牧这样信手拈来，能将其与整除问题自然结合。这就是市一中系统训练和更深厚知识储备的差距。
“看懂了？”李牧问，目光锐利。
“大致懂了。利用组合数 C(i+1,2) 的性质，通过恒等式证明整除。”水光抬起头，看着李牧，“你的方法更巧妙，给出的解也更小。我没想到三角形数。”
“因为你不熟悉组合恒等式，或者没有有意识地将问题与已知的数列联系起来。”李牧的语气是分析性的，没有炫耀，也没有贬低，“你的思路是代数的、直接的，从条件推导充分条件，然后构造。这是一种很扎实的思维方式，尤其适合解决存在性证明。但数学竞赛，尤其是高层次的竞赛，往往欣赏那种能连接不同领域、揭示隐藏结构的‘洞察’。三角形数这个联系，让这个问题从一个孤立的数论谜题，变成了组合数基本性质的一个有趣推论。”
水光沉默着。李牧的评价是中肯的，甚至可以说是“专业”的。他指出了她思维的优点和目前的局限。这比单纯的褒贬更有价值。
“不过，”李牧话锋又是一转，青灰色的目光里似乎闪过一丝极淡的、类似兴致的东西，“你的解法有一个优点：它更‘初等’，几乎不需要超出中学范围的预备知识。只需要理解最小公倍数和整除的基本概念。而我的解法，需要熟悉组合数恒等式，以及一些不太显然的整除论证。在考试环境下，如果你的解法能写清楚（包括证明 i+j 取遍 3 到 2n-1），应该也能得到满分，尽管可能因为数值巨大而让阅卷人皱眉。”
他收起那张纸，看着水光：“所以，这局算平手。你的解法正确，思路清晰，但不够优雅。我的解法更优美，但依赖更多背景知识。你用了四天？”
“六天。最后一天才想到。”水光如实说。
“嗯。比我第一次做类似题目时快一点。”李牧说，这大概算是他某种形式的认可，“这类问题，关键是要跳出局部尝试，看到整体约束。你做到了。”
水光心里微微一动。李牧的话，似乎不仅仅是在评价这道题。
“你之前说，省队选拔，全国决赛，还会碰到。”水光忽然问，“你参加过国赛？”
“去年。银牌。”李牧简短地说，语气平淡，但水光“听”出了一丝极淡的、近乎锐利的不甘。银牌，离金牌一步之遥，离国家集训队、IMO 更近，但也意味着还有差距。
“今年目标金牌？”水光问。
“国家集训队。”李牧的回答没有任何犹豫，青灰色的目光直视水光，带着一种不容置疑的笃定，“你也是目标吧？既然拿了冬令营第六。”
水光没有立刻回答。国家集训队……那是全国最顶尖的六十人，通往国际数学奥林匹克（IMO）的最后阶梯。对她来说，冬令营第六已经是意外之喜，国家集训队听起来遥远得像天上的星辰。但她心里那口井，井底那点绿光，似乎因为李牧这句话，而微微摇曳了一下，倒映出一片更广阔、也更璀璨的星空。
“试试看。”水光说，声音不大，但清晰。
“光试试不够。”李牧从书包里又拿出一个薄薄的、用订书机钉起来的卷子，递给水光，“这是我们学校集训用的每周测试题，过去两个月的。难度在省赛和国赛之间。你拿去做。做完自己对答案，有问题……”他顿了顿，“下周日，同样的时间地点，可以讨论。或者，写信给我。”他报了一个邮箱地址，是数字和字母的组合，很简单。
水光接过卷子，大概十几页的样子，纸是复印的，有些模糊。她点点头：“谢谢。”
“不用谢。对手太弱，赢了也没意思。”李牧说完，背起书包，转身就走。走了两步，又停下来，没有回头，声音传来，“电视台那节目，我看了。拍得挺像那么回事。不过，记住，镜头里的东西，当不得真。数学是真的。题是真的。分数是真的。其他的，都是噪声。”
说完，他不再停留，迈着那瘦长而笔直的腿，很快消失在周日午后稀疏的人流中。
水光站在原地，手里拿着那叠厚厚的卷子，和已经被放进口袋的、写着自己解答的稿纸。老槐树的影子在她脚下移动了一点点。午后的阳光温暖，风里有淡淡的、属于早春的、微醺的气息。
李牧的话还在耳边回响。“镜头里的东西，当不得真。数学是真的。题是真的。分数是真的。其他的，都是噪声。”
他说得对。电视台的报道，周围的关注，旧友的探望，苏老师哀伤的眼神，周晓梅的警告，报社的邀约……所有这些，都是外界投射到她生活中的、或明或暗的“颜色”和“杂音”。它们带来压力，带来困扰，带来温暖，也带来恐惧。但它们不是她世界的核心。
她的核心，是心里那口需要不断测绘的井，是井底那点关于“看见”和“理解”的、不肯熄灭的绿光，是数学世界里那些等待被解开的结构和谜题，是她手中这叠沉甸甸的、代表更高挑战的试卷，是她刚刚与一个强劲对手进行了一场无声交锋、并得到某种程度认可的、此刻清晰而冷静的自我认知。
数学是真的。题是真的。在这片由逻辑和结构构成的、冰冷而清晰的领域里，她可以暂时远离那些令人窒息的“噪声”，专注于“解决”和“理解”。在这里，她有明确的对手（李牧），有清晰的路径（学习、解题、竞赛），有可以衡量的进步（对错、分数、名次）。这比应对复杂的人际关系、媒体的窥探、内心的恐惧和对天赋阴影的忧虑，要简单得多，也纯粹得多。
但这并不意味着她要完全摒弃“噪声”。母亲的温暖是真的，方小雅的友谊是真的，刘浩他们朴素的关心是真的，陈响的平常心是真的，甚至苏老师的痛苦和周晓梅的孤独，也是某种真实的、需要被理解（即使无法解决）的存在。她的“井”之所以复杂，正因为倒映了所有这些真实的光与影。完全隔绝“噪声”，也许意味着井水会变成一潭与世隔绝的死水，失去鲜活和深度。
她需要在“数学的真”与“生活的真”之间，在“纯粹的思考”与“复杂的情感”之间，找到一种平衡。用数学的清晰和结构，来帮助她理解和测绘内心的混乱与外界的喧嚣；同时，也用那些来自生活的、温暖的、痛苦的、真实的连接和体验，来滋养她的感知和创造，让她在数学世界中的“看见”，不至于变成一种干枯的、脱离生命温度的智力游戏。
这很难。但这是她的路。
水光将卷子小心地放进书包，和沈教授的资料、李老师给的习题放在一起。然后她背起书包，推着自行车，离开了老槐树下。
车轮碾过开始变得柔软的土地，发出轻微的沙沙声。阳光很好，天空是淡淡的、水洗般的蓝色。远处工地的塔吊在阳光下闪烁着金属的光泽。
她骑上车，朝着家的方向驶去。心里那口井，井水平静，清晰地倒映着刚才与李牧交锋的每一个细节，倒映着那道题两种解法的结构，倒映着“数学的真”与“噪声”的边界，也倒映着前方那条依然漫长、但此刻因为有了更清晰的对手和路径，而显得更加具体、也更具挑战性的、属于她的道路。
她知道，下周，她将开始啃李牧给的这叠卷子。她会遇到更多难题，更多她从未见过的题型和技巧。她会继续在沈教授的资料和李老师的指导下，搭建更系统的数学知识结构。她会继续应对学校的课程，期末的压力，以及可能还会出现的、来自外界的“噪声”。
但她不再感到那么茫然，那么孤立无援。
因为她刚刚证明，她可以用自己的方式，解出李牧出的难题。她刚刚获得了一个来自强劲对手的、有限的认可和更进一步的挑战。她刚刚更清晰地“看见”了自己所处的位置，和需要前进的方向。
这就够了。
