我的智商逐年递增 第582节

　　他把杯子放回原处。

　　目光从那份体育报纸上移开，重新落回那面巨大的黑板上。

　　满黑板的白色算式。

　　陈拙走到黑板前，重新拿起一根粉笔。

　　看了看刚才推导到一半的那个矩阵。

　　一行新的代数约束条件，出现在了那个奇点的旁边。

　　皮埃尔转过头，看着陈拙新写出来的那一行式子。

　　“这个约束加得有点生硬。”

　　皮埃尔指了指黑板。

　　陈拙停下笔。

　　“还好。”

　　陈拙看着黑板上的式子。

　　“我们要的只是把它框住，不需要考虑它在连续状态下好不好看。”

　　皮埃尔走近了两步。

　　他盯着那行式子看了一会。

　　“如果按照这个条件往下走，下一步的同调群映射就会变得非常庞大。”皮埃尔说。

　　“你打算怎么处理那些多出来的冗余项？”

　　陈拙没有说话。

　　他拿着粉笔，在黑板的另一边找了一块空白的地方。

　　粉笔在黑板上划过。

　　他写下了两个新的矩阵。

　　然后用一个箭头把它们连起来。

　　“直接抵消。”陈拙说。

　　皮埃尔看着那两个新矩阵。

　　“这是一种很危险的做法。”

　　皮埃尔的语气变得严肃起来。

　　“如果这两个矩阵在某些特定参数下不完全对称，你就会丢掉一部分信息，那整个证明就毁了。”

　　“它们是对称的。”陈拙的语气很平静。

　　“你怎么保证？”

　　陈拙转过身，看着皮埃尔。

　　“因为我们在截断的时候，就已经把不对称的部分切掉了。”

　　陈拙用粉笔在刚才画的那个方框上点了一下。

　　“留在框里的东西，从代数结构上来说，必须是对称的。”

　　皮埃尔没有立刻反驳。

　　他在脑子里快速验算着陈拙的说法。

　　几分钟后。

　　皮埃尔吐出一口气。

　　“理论上说得通。”

　　皮埃尔点了点头。

　　“但你得把这个必须对称的证明过程写出来，这又是一个不小的工作量。”

　　“我知道。”

　　陈拙转回身，面向黑板。

　　从早上到中午。

　　办公室里的光线慢慢变化。

　　陈拙写累了，就停下来喝口水。

　　皮埃尔坐在办公桌后面，看着期刊，时不时抬头看一眼黑板。

　　两人之间的交流不多。

　　都是短句。

　　“这里少了个负号。”

　　“嗯，看到了。”

　　“那个矩阵可以再降一维。”

　　“降维之后容易丢失边界信息，先留着。”

　　这种干巴巴的对话，在办公室里时不时响起。

　　到了中午十二点半。

　　门外又传来了敲门声。

　　这次不是伍利。

　　是范恩楼餐厅的一名工作人员。

　　他推着一个小餐车停在门外。

　　“皮埃尔教授，陈先生，你们的午餐送来了。”工作人员说。

　　皮埃尔合上手里的期刊。

　　“放桌上吧。”皮埃尔说。

　　工作人员把两个餐盘拿到办公桌上，然后推着餐车离开了。

　　陈拙停下手里的粉笔。

　　他看了一眼黑板，三分之二的地方都写满了。

　　他走到洗手池边，把手洗干净。

　　擦干手后，他走到办公桌旁。

　　餐盘里是烤鸡胸肉，沙拉和几片面包。

　　很简单的食物。

　　陈拙拉开椅子坐下，皮埃尔已经拿起了叉子。

　　“吃完休息一会。”

　　皮埃尔一边切鸡肉一边说。

　　“下午不用一直待在黑板前。脑子绷得太紧容易出错。”

　　“好。”

　　陈拙拿起一块面包咬了一口。

　　两人安静地吃着午饭。

　　办公室里只有刀叉碰到盘子的声音。

　　吃完饭后，陈拙把餐盘收拾好，放在门外的走廊上。

　　他回到办公室，走到沙发旁坐下。

　　沙发很软。

　　陈拙靠在靠背上，闭上眼睛。

　　脑子里那些密密麻麻的矩阵慢慢退去。

　　他没有去想接下来的推导步骤。

　　皮埃尔说得对，绷得太紧没好处。

　　陈拙在沙发上安静地坐了半个小时。

　　下午一点半。

　　他睁开眼睛。

　　皮埃尔正在办公桌后面打盹。

　　陈拙没有吵醒他。

　　他站起身，走到办公桌前，拿起自己的水杯。

　　桌子边缘，那份体育报纸还放在那里。