陈远舟把写满公式的那张纸从笔记本上撕下来的时候，是凌晨两点。
纸的边缘撕得不太齐，有一道斜斜的毛边。他把纸对折了一下，塞进外套内侧口袋，从实验室出来，刷工牌，下楼梯，穿过那条种满法国梧桐的校内主干道。路灯把他的影子从身后移到身前，经过最后一盏坏了一半的灯柱时，影子忽然停了一下。不是他停，是影子的脚后跟被什么勾住了似的，在原地多留了半秒。然后那半秒的滞后被弹回他的脚跟，带着一种微凉的、像有什么东西刚从影子里挣脱出去的触感。他没有回头。他口袋里有更重要的东西。
回到出租屋的时候，门缝下面没有光。他把手伸进口袋，摸到那张纸，纸面被体温焐得有点潮。他把它展开，放在书桌上，用一本书压住边角。窗帘没有拉，外面是凌晨两点半的小区，所有窗户都暗着，只有对面那栋楼顶层有一盏灯在闪，明灭的节奏很规律，像是有人用手掌一下一下地捂住灯管又松开。他没有开灯。他把手机的手电筒打开，光柱打在纸上。
十七行公式。每一行都推导得极其严密，符号之间有某种不容商榷的必然性，像是推导者不是“发明”了这些符号，而是“认出”了它们——像在黑暗里摸到一扇门，门把手上刻着盲文，手指一碰就知道这是自己一直在找的那扇。最后一行只有一个等号，等号右边空着。他把笔从笔筒里抽出来，在那行空白的右边写下了女友的名字。不是英文缩写，不是化名。是全名，三个汉字，工工整整地填在等号右边的空白处，墨水在纸面上停了一瞬，然后沿着纸的纤维往四周洇开了极细的一丝，像是被等号吸进去了一点。写完最后一笔的瞬间，桌上的水杯里水面震了一下，不是地震，不是楼上有东西掉在地上，是那种你对着杯子说了一句话之后水面被声波推开的细密颤动，一圈一圈从杯壁往中心收敛，然后在正中央聚成一个微凸的水珠，停了几秒，又缓缓散开。他盯着那杯水看了很久。然后他听到了。
有人在敲门。
不是前门，不是后门，不是卫生间的门。是衣柜的门。那扇老式衣柜就立在床尾，两扇柜门之间有一道大约半厘米的缝，缝里是黑的，但黑得不均匀，像是有什么东西站在柜门后面，挡住了衣柜背板的反光。他盯着那道缝，听到了一声比刚才更轻的敲击。不是敲门那种手指叩击，是指甲在木头表面轻轻刮了一下。然后柜门自己打开了一条缝，比他刚才看到的更宽了大约两指。里面没有衣服，没有衣架，没有他上周塞进去的换季被褥。里面站着一个人。他认出了那条裙子，是她最后一天穿的那条碎花长裙，领口有一点洗不掉的咖啡渍，左肩的缝线歪了一针，因为那是她自己补的，补的时候她笑着说这条裙子太旧了该扔了但还是在穿。她站在衣柜里，头发遮住了半张脸，露出来的那只眼睛看着他，嘴唇动了一下。那个口型他认了很久才认出来，不是“救我”，不是“我好冷”，不是“为什么”。是“别站太近。”
他往后退了一步，膝盖撞在床沿上，整个人坐在床上，手撑着床垫，指尖死死地抠进被子里。柜门没有继续开，她没有往外走。只是站在柜子里，站在那层被她自己缝过的碎花裙子和黑暗之间，像一个人站在月台上看着最后一班列车开走，没有招手，没有喊，只是站着。然后他听到了第二个声音。不是衣柜里的。是床底下。像有人翻身，压到了床板下面的储物抽屉，抽屉里那些半年没碰过的东西被一只脚踝轻轻碰了一下。他低头去看床沿和地板之间的那一条暗影，那条暗影本来应该是空的，但现在不是空的。暗影里有一只手，五指张开，掌心朝上，放在木地板上，离他的脚踝只有不到一掌的距离。那只手的无名指上戴着一枚银戒指。和他左手无名指上那枚是一对。
他不敢弯腰去看手的主人是谁。他不敢动。他保持着一个僵硬的坐姿，膝弯抵着床沿，脚趾抓在拖鞋里，两只手撑着床垫，脖子往上抬，盯着天花板。天花板上有一块水渍，是去年夏天楼上空调漏水留下的，形状像一个侧脸。他以前从来没觉得那块水渍像什么东西，但现在那块水渍正在看着他。水渍的边缘在扩散，像一滴墨水滴在宣纸上，沿着天花板表面的那层乳胶漆缓慢地往外渗，不是往下流，是逆着重力往天花板的另一头爬。爬过灯座，爬过窗帘盒，爬到他头顶正上方，停住了。然后从水渍里垂下来一缕头发。
不是影子。是头发。湿的，很细，粘成一绺一绺的，发梢从天花板上垂下来，垂到他鼻尖前面不到十厘米的位置。水滴顺着发丝往下淌，滴在他的手背上。不是冷水。是温的，和他自己的体温一样。他没有擦掉那滴水。他盯着天花板上的水渍，水渍正在变深。不是变暗，是那种从内往外扩散的红。不是血，不是颜料，是那种你把花瓣揉碎之后指尖残留的颜色。一朵一朵碎花在水渍里绽开，沿着裙摆的轮廓依次排布，和柜子里那件长裙的印花一模一样，和她最后一天出门时穿的那件也一模一样。她那天出门前在镜子前转了半圈，问他好不好看。他说好看。她笑了一下，用左手比了一个OK的手势，无名指上的银戒指在镜子里闪了一下，然后转身推开了门。那是他最后一次看到她的脸。不是最后一次看到她的脸。是最后一次看到她用左手比OK。她不喜欢说再见。
他把手伸过去，放在那只手的无名指上，两只银戒指碰到一起，发出一声很轻的金属触碰。那只手的手指动了一下，不是握住，是手指慢慢合拢，把他的手指包在掌心里，无名指的关节轻轻压在他的指节上。戒指磕在一起的时候，他感觉到自己手上那枚的内圈刻字正抵在她的指骨上，而那枚戒指的内圈刻的是她名字的最后一个字。她手心的温度比平时低了一点，但没有低到陌生，像是冬天她从外面回来，把手伸进他口袋里取暖之前的温度。然后那只手开始往上伸。不是手腕，不是小臂，是更深处的，关节与关节之间的那种均匀而迟缓的舒展。像是柜门和床沿之间的黑暗中，整个身体正在缓慢地、不发出任何声响地，从地板上升起。裙子下摆擦过木地板，很轻，像是她在家里光着脚走来走去时裙边拖在地板上的那种沙沙声。然后是她的肩膀，从衣柜的门缝里侧着挤出来，碎花布面擦过木质柜门边缘，发出极其细微的纤维与木纹之间的摩擦。然后是她的锁骨，然后是她的下巴，然后是她的眼睛。她在黑暗里看着我，我的鼻尖快要碰到她的额头了，湿的头发从天花板上垂下来，落在她的肩膀上，和我手里的戒指上那一圈刻字正好组成一个完整的圆。
我在床上醒来，被子被踢到了床尾，枕头横过来压在我的胸口上，压出了一个长方形的凹痕。窗帘透进来的光是灰白色的，天还没完全亮，手机屏幕上显示的日期和前一天一样。不是第二天。是今天。时间是凌晨两点四十三。窗外的路灯还没灭，橙色的光打在对面的楼面上，将那栋楼分割成规则的明暗格子。有一个格子里的灯还在闪，就是那盏亮了一整夜的灯。现在它不闪了，它安静地亮着，像一只终于合上的眼睛。我下了床，走到书桌前。那张纸还在，十七行公式，最后一行等号右边，我写下的三个字还在。但字迹变了。不是墨水洇开，不是纸张潮湿，是那三个字的笔画被重新写过了一遍。不是我的字迹。是她的。是她用左手歪歪扭扭的那种小学生字体，和她每次在便利贴上写“饭在锅里”的笔迹一模一样。她的名字，她的字迹，填在我留给她的那个等号后面。
等号下面多了一行新的字，更小，更挤，像是写的人写到一半手指开始发抖，但还是坚持写完了最后一个字。
“公式是对的。但你不能把我全部带回来。你只能带回我的一部分。我带回来的这部分，是我的名字、你的戒指、和你写公式的时候手心出的汗。你没有写在公式里但等号知道的东西，我都没有。我不知道我今天穿的是什么。我不知道我们昨天说过什么话。我不知道你有没有吃饭。我不知道你在实验室熬夜的时候有没有披上我挂在椅背上的那件外套。我不知道你现在站在床边，左手捏着戒指，转了两圈，停了。我不知道你没有在哭，你只是在转戒指。我不知道今晚过后你还会不会一个人对着纸写字。我不知道你把公式撕掉之后放在哪件外套的口袋里。我不知道你等会儿下楼的时候路灯会不会把影子还给你。我不知道。因为我只是公式解开之后等号那边的括号里没有被你写出来的所有东西。我是你的补偿解。我是余项。我是你把她全部带回来之后剩在纸上的那个空白的等于。我是你把等号写完之后手指离开纸面的那一秒。你把纸折起来的时候，我会在折缝里。你把纸展开的时候，我就在折缝里。你不折也不展的时候，我就只是你一个人站在窗前，看到对面那栋楼顶层那盏灯不闪了。”
我低头看着自己的左手，无名指上那枚银戒指还在，内圈的刻字还在。我把戒指转了两圈，停了。然后我把桌上那张纸对折了一下，塞进外套内侧口袋，推开门，走廊里的感应灯亮了一下。我在门口站了一会儿，走廊里的声控灯等了三十秒没有等到声音，自己灭了。我没有发出任何声音。但我口袋里的那张纸在黑暗中发出了一丝几乎听不到的脆响，像有人用指尖在纸面上轻轻弹了一下。灯又亮了。我回头看了一眼房间。衣柜的门是关着的，床底下的储物抽屉也是关着的，窗帘拉着，书桌上的水杯平静得像一面镜子。但她站过的地方，那片碎花裙摆拖过木地板的位置，有一小片地板比周围的颜色深了一点。不是湿，不是灰，是那种被阳光晒了很多年之后，突然有一天被什么东西挡住了光照，还没来得及褪回原来的颜色。
我从外套口袋里摸出那张纸，展开最后一道折痕。等号下面多了一行新的字。不是余项那种歪歪扭扭的小学生字体，是公式本身——那些符号、那些推导，在等号最末端的空白处自动续写了一行。推导过程和前面十七行一样严密，符号与符号之间连一个多余的停顿都没有，像是公式一直在等他自己发现这一步。不是写给她的。是写给我的。是我推导复活公式的时候漏掉的最后一项。那行字安静地躺在等号下方，笔迹和我自己的手写体一模一样。
“推导完成。本公式为自反公式。求解者自动成为被求解项。你在等号左边写下了她的名字，等号自动将你的名字补在右边。你第一次推导时将我的系数设为正无穷，导致右侧余项无法收敛。修正方法：将你的观测位置从等号左侧移至右侧括号内部。公式不是用来复活死者的。公式是用来让活着的人知道自己还活着。你推导了十七行，用了她去世之后的所有时间。现在你把公式折起来放进外套口袋。你推开门，走廊里的感应灯亮了。你在门口站了一会儿，然后往楼下走。路灯把你的影子从身前移到身后。影子没有停。她站在你身后，穿着那件碎花长裙，左手无名指上戴着你的戒指。她用左手对你比了一个OK的手势。她没有说再见。她从来不说再见。”
