北京
你见过这种人吗？办公室起火了，他看了一眼灭火器，说“好，有解”，然后关门走了。这不是段子，这是现代数学最犀利的操作——非构造性证明。今天我们聊点反常识的：为什么有些证明根本不给你答案，却比那些老老实实给出答案的更让数学家兴奋。
先拆开这个笑话里的逻辑。数学家发现小火，看到灭火器，立即判定“火灾可解”。她不需要真的拿起灭火器喷一遍，只要确认灭火器存在、理论可行，就算完成了一次“存在性证明”。火还烧着，但她已经心满意足地回到日常工作中。这听起来荒诞，但如果你混过数学圈，你就知道这个笑话精准地概括了一种被称作“非构造性证明”的诡计。它不告诉你具体怎么解，只证明解一定存在。对，就是这样任性。
要理解这招有多“鸡贼”，我们可以从一件百分百确定却永远无法点名道姓的事说起：生日重合。假设一个房间里有367个人，问至少有两个人生日相同的概率是多少。答案是百分之百。因为即便算上闰年，一年最多也只有366个不同的生日。367个人往366个槽里塞，必然至少有一个槽要挤进两人。这就是鸽巢原理——人是鸽子，生日是巢。你知道一定有两人同一天过生日，但你根本不知道是哪两个人。你不用一个一个去翻日历核对，也可以断言这个事实。这就是非构造性证明的第一张面孔：我确定存在，但我不告诉你是谁。
在数学家看来，这种“我知道但我不知道”的姿态，起初是一种耻辱。传统上，证明必须构造出具体的对象，亮出来让所有人看得见摸得着。你声称存在一个数满足某种性质，你就得把这个数找出来，或者给出明确的构造步骤。但从19世纪开始，局面变了，非构造性证明从一个见不得人的小聪明，逐渐变成数学家武器库里最锋利也最招骂的利器。而把这个偷懒技巧推到聚光灯下的，正是大卫·希尔伯特，那个时代最伟大的数学家之一，以及某些人眼中的麻烦制造者。
这里要铺垫一点背景。说起对称性，你可能马上想到正方形转90度还能和原来一模一样，这叫旋转对称，也可以说正方形在90度旋转下是“不变的”。希尔伯特盯上的不是这些几何物体的不变性，而是代数对象的不变性——比如方程。对于某一类代数对象，数学家早就意识到，它们的不变量本质上无穷无尽。那么问题来了：你到底需要几个基本的不变量？能不能先抓住几个关键的，然后用它们像搭积木一样搭建出所有其他的不变量？这就是寻找“生成集”的问题。
希尔伯特不是第一个挑战这个问题的。另一位数学家保罗·戈尔丹几乎把整个学术生涯都砸了进去。戈尔丹已经针对少数几类对象找到了有限的生成集，但他的证明又脏又复杂，堆满了冗长的构造细节。换作一般人，可能会沿着这条路继续死磕。可1888年，希尔伯特跳了出来，用一种让戈尔丹目瞪口呆的方式证明了：对于范围大得多的代数对象类，有限的生成集同样存在。关键是，希尔伯特的证明从头到尾都没有具体指出这些生成集长什么样。他只是先假设有一个无法用有限生成集表示的不变量，然后通过逻辑推导引出矛盾，从而反证出生成集一定是有限的。这是纯粹的存在性证明。
戈尔丹看到这篇论文时的反应，据传是一句著名的吐槽：“这不是数学，这是神学。”确实，在构造派眼里，这种只宣告“存在”却不把手弄脏的做法，约等于空手套白狼。你可以想象一个建筑设计师拍胸脯保证“这栋楼能盖起来”，却连一张施工图都不画，哪个施工队会乐意？可希尔伯特的非构造性证明偏偏就站住了脚，并且后来以摧枯拉朽之势重塑了整个数学的面貌。
我们不妨从中提炼出几条让人又爱又恨的吐槽点。第一，它彻底改变了“证明”的定义。过去证明意味着“展示”，现在证明可以只意味着“保证”。这就像你告诉朋友“你掉的那枚硬币一定在你家客厅”，但你不帮他找，因为鸽巢原理已经替你下了结论。朋友除了骂你一句，也不得不承认你说得对。第二，它允许数学家跳过繁琐的构造步骤，直接进入更高层次的抽象推理，把精力省下来去攻克更棘手的问题。第三，它同时也种下了一个哲学裂缝：如果一个东西被证明存在，却永远无法构造出来，那它真的“存在”吗？这个问题争了一百多年，至今没完全消停。
所以下一次当有人笃定地告诉你“办法总比困难多”，却不给任何具体方案时，别急着翻白眼。他可能只是在实践非构造性证明的朴素精神。唯一的问题是，现实世界里的火，不会因为你看见了灭火器就自动熄灭。数学可以潇洒地关门走人，生活却必须伸手拿起那个罐子。这个反常识的偷懒大招，留给我们普通人的终极启示或许就是：知道路径存在和真正走过去，中间隔着整个执行力的鸿沟。而数学家，早已把这一段外包给了“存在性定理”本身。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
