我们相遇在图书馆的角落,准确地说,是数学区与文学区的交界处。你的指尖停在《泛函分析》的第173页,我的目光陷进《荒原》的第四行——“四月是最残忍的月份”。173是个质数,只能被1和它自己整除。像你。
你说:“数学是另一种诗。”
我问:“那质数是什么?”
你合上书:“是宇宙的孤独编码。在无限整数轴上的分布看似随机,却藏着最深的秩序。”
我在借书卡背面写:“那么质数相爱呢?”
你笑了,在下面写:“会形成不可分解的孪生质数对。比如(41,43),(71,73)。永远隔着最小的偶数距离,永远无法真正相邻,也因此永远无法被任何其他数分开。”
第一次约会,我们去了天文台。望远镜里,土星的光环像一道数学公式般精确。“看,”你指着目镜,“那颗是开普勒-452b,地球的表哥。它围绕母星公转385天,接近我们的365,但多出的20天像封未寄出的情书。”
我问:“如果那里有人,他们的爱情会怎样计算?”
你调整焦距:“也许用对数刻度。相爱时斜率陡增,分开时渐近线般永不抵达零。”
后来很多个夜晚,我们并排躺在宿舍楼顶。你教我辨认星座:“那是天鹅座β,距离我们420光年。我们现在看到的光,出发时明朝还未灭亡。”停顿,“如果此刻有颗星球爆炸,我们要等上百万年才会看见那场盛大的告别。”
我侧过脸:“那爱情呢?要多少光年才能确认?”
你沉默。直到一颗流星划过:“也许爱情是超距作用。不需要时间传递,就像量子纠缠——一旦发生,无论多远,瞬间感知。”
你的实验室在六楼,我的文学院在三楼。垂直距离15米,楼梯47级。你常带着草稿纸下来,上面写满我看不懂的符号。“这是描述量子隧穿的方程,”你说,“微观粒子可以穿越不可逾越的势垒。”然后翻到背面,是你抄的聂鲁达:“爱情太短,遗忘太长。”
我在你计算的边缘写:“那么,我们是在进行经典运动还是量子隧穿?”
你答非所问:“根据薛定谔方程,在观测之前,粒子处于所有可能性的叠加态。”
“所以呢?”
“所以在你说‘爱’之前,我的感情处在‘爱’与‘不爱’的叠加中。”
矛盾发生在春天。你要去普林斯顿交换一年。“365天,”你说,“地球公转一圈的时间。”
我在日历上圈出日期,发现那是第100天到第465天。中间隔着的,是我们相识的第99天。“质数,”我喃喃,“99不是质数。”
你纠正:“但100是平方数,465能被3和5整除。”
我们第一次争吵,关于“数学是否能够描述一切”。你说:“万物皆数。”我引用艾略特:“我们在知识中丢失的智慧在哪里?”
最后你让步,在便条纸上写:“我证明不了爱情,但可以证明‘我需要你’——根据哥德尔不完备定理,任何自洽的形式系统都存在不可证命题。你就是我的不可证。”
机场送别那天,你递给我一个信封。“上了飞机才能打开。”
起飞后,我拆开。不是情书,是一道数学题:
已知:
1. 地球半径 R = 6371 km
2. 普林斯顿纬度 φ₁ = 40.35°N
3. 我们纬度 φ₂ = 23.13°N
4. 经度差 Δλ = 你查
5. 想念的传播速度 v = 未知
求:当我在当地午夜仰望北极星(视星等2.0)时,你所在的时区是几点?我们的目光能否在银河系悬臂的同一角度交汇?
背面是你潦草的字迹:“根据球面三角学,我们之间的大圆距离正在随时间变化。但有些距离不以公里计。解出这道题,我就告诉你答案。”
我开始自学天文学和高等数学。在文图三楼的同一个位置,在《荒原》与《泛函分析》之间,我推导了一整个夏天的公式。终于在一个台风夜,我画出了函数图像——一条波动着趋于平稳的曲线。
视频通话时,我把镜头对准草稿纸。
“看,”我说,“我引入了一个新变量 ε(念作艾普西隆),代表‘不可量化因子’。当 ε → 0 时,距离 d → ∞;但当 ε 取某个特定值时,d 出现极小值——那个值,我命名为‘爱’。”
屏幕那头,你背后的黑板上写满算式。你擦掉一块,写上:“QED(证毕)。”
然后轻声说:“我昨天梦见你了。在梦里,我们发明了一种非欧几何——平行线不但相交,而且交于无穷多点。”
我问:“那是什么形状?”
“心形线。用极坐标方程 ρ = a(1 - cosθ)。旋转时,扫过的面积有限,周长却无限长。就像……”
“就像什么?”
“就像有限的相遇,无限的想念。”
论文提交截止前夜,我收到你的邮件。附件是一篇合作论文的初稿,标题是《论双星系统的轨道稳定性》。作者栏并排写着我们俩的名字。摘要最后一句:“本研究表明,即使是遵循开普勒定律的理性运动,也存在无法用初始条件完全预测的混沌区间——我们称之为‘爱的初始敏感’。”
我在回复中只粘贴了一句诗,来自佩索阿:“明月高悬夜空,眼下是春天。我想起了你,内心是完整的。”
你秒回:“根据广义相对论,大质量物体会弯曲时空。你就是我的质量中心。我的时间因你而弯曲——靠近时变慢,远离时膨胀。”
“说人话。”
“一天没有你,像一百年。”
真正理解那个公式,是在你回国后的第一个雪夜。我们站在初见的天文台,望远镜这次对准木星。“看那四颗伽利略卫星,”你说,“它们被潮汐锁定,永远以同一面朝向木星。就像……”
“就像我,”我接话,“永远有你的一面。”
你在雪地上写公式:
[
Psi = int_{t_1}^{t_2} frac{dt}{sqrt{1-frac{v^2}{c^2}}}
]
“这是狭义相对论的时间膨胀公式。当 v 接近光速 c,分母趋近于0,积分趋近无穷大。”你握住我冰凉的手,“所以理论上,如果我们以接近光速一起旅行,我们的‘共同时间’将是无限的。”
雪落在公式上,像宇宙在为我们验算。
如今,你的书房墙上贴满我们的“合作成果”:从证明“两人三足是最佳情侣步态”的微分方程,到计算“拥抱时手臂的最佳曲率”的变分法。中间是一张世界地图,用红色线条连接我们曾同时所在的坐标——那些线交错成网,网格的每个节点你都标注了日期和当地日出时间。
最后一个项目进行中:我们在编写一部《爱情数学手册》。第一章:如何用傅里叶级数分解吵架波形,提取基频(通常是我说“你不在乎我”)和高频谐波(通常是你沉默时的微表情)。第二章:用博弈论纳什均衡分析“今晚吃什么”这一永恒难题。第三章,也是最后一章,还在写作——
标题暂定:《关于永远的定义及其数学表述》。
昨夜,你熬夜到三点。我起床喝水时,看见书房灯还亮着。推开门,你趴在桌上睡着了,眼镜滑到鼻尖。草稿纸最上面一页写着:
猜想:
设 L 为爱的强度,t 为时间,则存在某个常数 Λ(念作拉姆达),使得:
[
frac{dL}{dt} = -Lambda L + f(t)
]
其中 f(t) 为随机扰动函数,包括:清晨的吻、深夜的对话、分享的苹果、沉默的陪伴等。
推论:当 t → ∞,若 ∫f(t)dt 发散,则 L 不收敛于零。
下面是你睡着前写的最后一笔:
“即:只要共同经历的微小美好总和是无穷大,爱就不会衰减至零。而我们知道,生活中的美好事件是可数无限的(阿列夫零个)。故得证:爱在数学意义上是永恒的。”
我轻轻抽出那张纸,在你证明结束的“∎”符号旁,用铅笔添了一个小心形。
然后关掉台灯,在黑暗中站了一会儿。窗外,猎户座正缓缓西沉。我想起你曾说,参宿四可能已经爆炸了,但它的光还要六百年才能抵达地球。
有些事确实需要时间。
但有些事——比如此刻我知道你爱我,比如我知道明天清晨你会迷迷糊糊地说“我梦到我们解开了黎曼猜想”——这些事不需要等待光年。
它们就像质数。
孤独,确定,不可分解。
在无尽的数列中,固执地保持着只能被1和自己整除的属性。
就像此刻。
就像我们。
就像所有在黑暗中依然相信方程有解、爱情可证、平行线终将相交的,固执的浪漫主义者。
而我会继续收集这些瞬间,像收集数学归纳法的基石。
从 n=1 开始(那天在图书馆,第173页)。
假设 n=k 时命题成立(我们已经相爱了k天)。
那么只要证明 n=k+1 时也成立——
明天清晨,当阳光再次照亮你睫毛上的灰尘,
当咖啡香气与微积分草稿再次混合,
当你说“早安”而我说“昨晚的猜想我有个新思路”,
我们就完成了又一次递归,又一次迭代,又一次对永恒的局部逼近。
直到某天,当我们的年龄之和达到某个更大的质数,
当银河系与仙女座星系开始它们缓慢的舞蹈,
当人类或许早已忘记如何手算开平方却依然渴望拥抱,
那个猜想将会自动得证:
爱,是唯一能够自我证明的定理。
而证明的过程,
就是我们一起度过,
每一个平凡而又奇异的,
数学的清晨,
与诗的夜晚。
精彩评论文明上网理性发言,请遵守评论服务协议
共0条评论