q.e.d是什么意思

1法医拉上裹尸袋拉链的声音就像是刀刃划破纸张。

江临野蹲在爆炸焦黑的实验室地板上细细琢磨，他的食指抹在上面形成弧形灼痕，

他突然开口：死者被移动过。现场报告显示陈教授他是突然猝死，

因而仪器长时间运作而导致的爆炸。刑警队长张尧递过平板，上面赫然写着，心脏骤停，

无外伤。江临野的指尖停留在烧焦的电脑主机旁。你们看这里，这里有拖拽的痕迹。

而且在死者的右手食指指关节有静电灼伤——他死前很有可能在电脑面前做些什么。

在监控录像中，72 岁的数学泰斗陈瑾在爆炸前 12 分钟独自进入实验室。

画面中老人突然捂住胸口倒在地上，而撞翻了正在运算的计算机冷却剂。

江临野眉头紧紧皱起，他按下暂停键。指着陈瑾说道：人在心脏骤停时会本能的蜷缩，

但你们看他。他却是向前扑倒的。接着江临野放大了死者的左手，你们看这个手势，

是不是像是在抓住什么东西一样。张尧皱眉：你是怀疑这是谋杀？

江临野从废墟中捡起半张被烧焦的纸片，他饶有兴趣的笑了笑，我怀疑一切巧合。

在纸张上残留着一行复杂的公式：∀x∈V，∃y→⊥2在一所高中教室内。

黑板上掉落的粉笔灰在阳光的照耀下，像是漂浮在教室中的密码。

在教室的前方一个头发乱糟糟的男人说道：拓朴学告诉我们，

一个个麦比乌斯环的正面即是反面。陆沉舟在黑板上画下无限的符号，

因此某些错误……他故意将拿在手中的粉笔折断，一旦被循环证明，就会成为真理。

这时坐在中间的女生举起了手：老师你的意思是说谎言重复一千遍就会成为真理吗？

陆沉舟笑着摇摇头，他缓慢的将身后的黑板擦干净。当然不是。他擦掉黑板上的公式。

我说的是数学。下课铃声在片刻后响起，陆沉舟瞥见窗外经过的警车。他拍了拍手，

将粉笔灰从指缝拍落。好了，今天的课就上到这里。下课。

3死者陈谨的硬盘想要恢复数据还需要六小时。

江临野他在图书馆翻出二十年前的《数学专刊》，

在第 137 页刊登着陈瑾的成名作《非线性算子收敛定理》，而编辑部档案显示，

同一时期撤稿声明中却存在着一个被墨水涂去的名字。

管理员见来人是江临野主动提起道：我记得当年有人投诉剽窃来着，这事闹得好像挺大。

但之后又不知道为什么那年轻人自己撤诉了。你还记得他的名字吗？

好像是姓……路？不对，是陆。江临野的手机突然震动。

物证料那边发来了关于陈瑾最后一封邮件的截图，其主题是《关于证明的完整性》，

展现在他眼中只有一道题：当递归函数 f(x)在 x=0 时定义为 1，

在 x=n 时定义为 f(n-1)+2n-1，

求证 f(n)=n²这封邮件发送的时间正是陈瑾死亡前二十三分钟，

而发件人的地址却是一串乱码。江临野盯着电脑屏幕看了许久，他的瞳孔中发出清冷的白光。

线索还是不够。看来要去拜访一下受害者本人了。

陆沉舟在解剖室门口将正要离开的江临野拦住。听说您现在在调查陈教授的事？

陆沉舟递过手中的咖啡，在他的白大褂衣服口袋中别着教师证，我是他二十年前的学生。

江临野接过咖啡杯，他简单喝了一口对着面前的陆沉舟点点头。

咖啡杯底部在金属栏杆上磕碰出轻响声。

江临野简单观察了一下面前的男人——对方虎口的墨渍，

那是只有长期握笔的人才会有的印记。你知道一个叫陆沉舟的人吗？

陆沉舟笑了笑：真巧，那就是我。嗯，跟我说说你对于陈瑾的印象吧。

还有当年你为什么要突然取消控诉的事情。江临野的目光锐利如鹰，

他一直在盯着陆沉舟的眼睛。嗯……我的老师他呀很顽固也很执着，

他总是为了研究而忘记吃饭。在我们这些学生眼中，他就是一个学术疯子。但我不明白，

老师他怎么也不至于犯那样的低级错误。江大侦探我也赞同您的观点，

老师他绝对不是因为意外而死的。陆沉舟也同样看着江临野，他的目光透着火焰。

江临野将目光移开，随后将自己的名片放入陆沉舟衣服的口袋。这是我的名片，

有任何想法随时联系我。他再一次品了一口咖啡。咖啡不错。

说完他便头也不回的离开了。4江临野离开解剖室回到办案所，

等到张尧回来后他静静听着张尧的汇报。陈瑾电脑里找到的公式是逻辑学里的矛盾导出

符号，这一般通常来表示……自我指涉的悖论。陆沉舟站在教室在心中默默说道。

此时的他正在黑板上写着班会通知，粉笔在注意安全的安字上重重一顿，

留下个凹陷的圆点。窗外开始下雨，细细簌簌的雨滴打在窗户上。他想起二十年前那个深夜，

陈瑾将他叫到办公室中，指着他的手稿说：你这个证明有问题。老人将咖啡放到稿纸上，

褐色的咖啡在纸面上染污了他三个月的心血。老师我不明白您的意思。

我是说这里三个字不太好，我认为两个字更合适，让这篇文章更加趋于完美。

凌晨三点侦探所内，江临野破解了那道数学题。他将快要断墨的笔扔到一旁，

当 n=0 时 f(0)=1≠0²，这个命题根本就是错的！

他突然意识到陈谨之前收到的根本不是什么谜题，而是一封战书。

江临野抓起外套冲进雨夜。他破解的答案正是当年剽窃事件的核心引理。

当年一定发生了什么。深夜的雨夜里只有警局物证里还亮着灯。

张尧指着检测报告：爆炸残留中存在着二甲基汞，

这玩意只要仅仅的 0.1 毫升就可以……真是有意思，

究竟什么都行才能让一个数学家犯这样的错误呢。江林野盯着玻璃后的证物袋，

里面装着的正是从陈瑾指甲缝中提取出来的黑色粉末。这不是灰尘，

是石墨烯——最新型的量子计算机散热片材料。半夜陆沉舟收到了江临野发来的照片。

陆沉舟静静的看着屏幕上被江临野放大的证据，他面无表情，轻轻按下了删除键。

二十年前被咖啡杯污染的手稿影像从这一刻在服务器上永久消失，

而代之的是一行新生成的日志：用户 _ChenJ_ 于 03:14 访问加密文件

。凌晨数学办公室内，陆沉舟打开抽屉，在三个几乎一模一样的咖啡杯中选出一个来泡咖啡。

此时他的耳机里传来声音：江侦探，陈教授生前最后的通话记录查到了，

他打给了一个叫做周维的出版社编辑。陆沉舟轻笑，

随后撕下便签纸在上面写下一行公式：¬∃x(P(x)∧¬Q(x))。

这是数理逻辑中的全称推广规则，意思是不存在满足 P 却不满足 Q 的 x。

他将纸条塞进匿名信封之中，并在收件人栏下写下江临野。5信封被江临野拿着，

在他的掌心发出纸张摩擦的细响声。

物料科的小吴一口将能量棒咬破嘴里不断嘟囔着:这信件还真是有意思，邮戳是本市的，

指纹被漂白剂处理过，

甚至就连纸张都是超市最常见的晨光牌子——江临野用镊子夹起便签纸，

但字迹是用 Pilot V5 水性笔写的。在紫外灯光的照射下显示出淡淡的荧光。

这种笔的墨水很有辨识度，在墨水干燥后会形成独特的结晶。他忽然凑近纸面，

看这个'∃'符号的收笔，书写者有数学背景。江临野将便签上的公式输入进电脑，

在电脑的检索中公式¬∃x(P(x)∧¬Q(x))是《数学逻辑学》教材范例。

张尧有些许不明白：这是什么意思？

意思就是所有满足 P 的对象都必然满足 Q。

江临野抓起外套并接着对张尧说道：我需要陈瑾他带过的所有研究生的名单。

走廊的监控显示，在过去的七十二小时里只有清洁工进入过他的侦探所。

但江临野却在门把手的内侧摸到一丝粘稠触感——这是蜂蜜柚子茶，

昨天某中学教室休息室提供的饮品。

6陆沉舟顺手拿起讲台上的粉笔砸向正在打瞌睡的男生：周明，回答这个问题！

到老师喊自己的名字被吓得一哆嗦连忙站起身：对、对不起老师……教室后排响起窃笑。

设函数 f 在闭区间[a，b]上连续，在开区间(a，b)内可导，

且 f(a)=f(b)，那么？存在...存在ξ∈(a，b)使 f'(ξ)=0？

罗尔定理。陆沉舟敲敲黑板，但如果你把条件改成 f(a)≠f(b)呢？

陆沉舟拿起粉笔在黑板上飞快的写着，他知道周明回答不出来，

目的就是为了提醒所有学生接下来是重点。在学生们还在消化黑板上的内容时，

陆沉舟透过窗户瞥见一个身穿深蓝色风衣的人。陆沉舟等待许久却迟迟没有见到那人的到来，

再一看去那人的车早已离开了原地。7江临野扭曲的倒影映在出版社的玻璃门上。

他找到出版社的管理者周维。陈教授他确实委托过我们出版《非欧几何史话》。

周维一边说着一边推了推金丝眼镜，但就在三个月前他突然要求撤稿，

还支付了超额的违约金。他接着打开电脑指着说道，理由是发现重大的数学错误。

电脑屏幕上的文件修改记录里，最后的编辑者账号赫然就是 ChenJ-Admin。

的瞬间江临野的瞳孔微缩——这个名称和当时警局服务器被入侵时出现的用户名称完全一致。

陈教授他有没有什么特别关注的章节？

嗯……奇怪的地方还真有周维手指在键盘上飞快敲打，他调出备用文件，

他只删除了第十二章的参考文献，其中一篇是二十年前还未发表的会议论文。

打印机嗡嗡声在房间里回响，缓缓地吐出纸张，

它的作者好像是姓陆……江临野的手机突然在裤袋中震动。

是张尧发来的消息——关于陈瑾研究生的背景调查。在2003 级博士生名单里，

陆沉舟的名字上被人用红笔画了一个大大的圈，在旁边还标注着证明引理 3.2 有误。

江临野的眼睛微微眯起，或许我因该换个思路。

8陆沉舟将冷冻的鲑鱼放进自己的购物车时，突然听到超市广播的声音。

超市广播循环播放着请周维到服务台，请周维到服务台。陆沉舟抬起头看了一眼监控，

笑笑捏了捏购物袋中的柠檬，汁水缓慢流入他的指缝中。

收银台的大屏幕上正播放着午间新闻：……著名数学家陈瑾实验室爆炸案出现新的进展，

警方怀疑……先生一共一百八十七元。收银员扫码时，

她手上的扫描枪红光在陆沉舟教师证上短暂停留。陆沉舟微笑着接过塑料袋，

在里面装着足够制作五杯蜂蜜柚子茶的材料。9侦探所中，

江临野将出版社收集过来的资料铺满整张会议桌。陈瑾删除的参考文献中，

这篇《拓扑空间中的递归映射》便是当年出现争议的核心。江临野指向手稿复印件，

他的学生陆沉舟证明了某个算子方程的全局稳定性，直接奠定了结果。

在三个月后发表的论文……竟然用了相同的方法只是改了个参数张尧对比着两份文件，

所以是这个陆沉舟杀死了陈瑾，他是来复仇的。不。

江临野拿起丢在一旁的红笔圈出陈瑾论文中的关键公式。