133章 逻辑（2/4）

欧叶：“你神经病吧。”

沈奇皮笑肉不笑：“呵。”

“呵呵。”欧叶被沈奇逗乐了，她露出一个明显的笑容，对她来说已算非常明显。

“看，你笑起来很迷人，甚至还有两个浅浅的酒窝，欧叶，你为什么总是面无表情呢？长期不哭不笑不激动，容易导致面瘫。今后要多露出笑容，听见没有？”沈奇提出了中肯的建议。

欧叶皮笑肉不笑：“哦。”

“欧神，我水土都不服，就服你，你原创版的‘哦’富有神韵，我一辈子也学不会。”沈奇起身，笑着摇摇头，回寝室取了第26题的手写稿复印件交给欧叶。

手写稿记录了沈奇最初的逻辑思路和解答过程，对欧叶有一定的参考意义。

之后几天沈奇进入闭关模式，他早上6点离开寝室，晚上12点回来，室友们也不清楚他去了哪里，干了些什么。

在整理第23题的求证过程中，沈奇遇到了新课题，他需要一种新方法，以解决线性不等式约束的广义非线性互补问题。

这个问题沈奇考虑三天三夜，无果，没有思路。

孙二雄出的第23题原题不难，无非就是求证一个雅可比行列式。

在48小时的疯狂刷题中，沈奇经历了第一次思想飞越，他突发奇想假设了一种新证法，证明这种新证法成立后，再去求证题设的雅可比行列式。

最近三天三夜，沈奇经历了第二次思想飞越，他认为之前自创的新证法还需进一步完善，解题是OK的，写成论文值得推敲的地方有不少。

不断的推翻、重建，否定、肯定，沈奇在燕大某个角落一坐就是一天，连坐三天三夜，除了吃饭睡觉上厕所。

困扰沈奇最大的课题是，基于广义互补问题构成的半光滑方程组的广义雅可比矩阵，是否存在一种算法，从而形成一个带椭球约束的线性化二次模型？

原本不难的一道高代题，被沈奇越整越复杂，越思考越深刻，深刻到他自己都没有办法解答。

数学以及一切自然科学，正是在不断的推翻与重新论证中向前发展。