數(shù)學(xué)家看到火災(zāi)卻轉(zhuǎn)身走人？這招“耍賴式解題法”還真管用

那天下午，一位數(shù)學(xué)家推開辦公室的門，發(fā)現(xiàn)房間里有一小簇火苗在噼啪作響。她沒有尖叫，沒有撥打緊急電話，甚至沒有沖上去踩兩腳。她只是環(huán)顧四周，看到角落里立著一個(gè)滅火器。“啊，解存在。”她點(diǎn)了點(diǎn)頭，然后輕輕關(guān)上門，繼續(xù)去喝她的下午茶了。

先別急著罵她不負(fù)責(zé)任——這其實(shí)是一個(gè)在數(shù)學(xué)圈流傳已久的經(jīng)典笑話。而它概括的，恰恰是現(xiàn)代數(shù)學(xué)里一種極其鬼精、又極其強(qiáng)大的解題思路：非構(gòu)造性證明。用一種更“耍賴”的說法就是：我只需要證明一個(gè)問題“能被解決”，至于具體怎么解決，對不起，不關(guān)我事。

你第一次聽見這種操作，可能會覺得這不就是偷懶嗎？但當(dāng)你真正拆開這個(gè)思路，會發(fā)現(xiàn)它比想像中聰明得多，也“賴皮”得多。今天就讓我們用一張“核心圖”的方式，把這套思維魔術(shù)一層層剝開來看。放心，沒有公式，只有鴿子、生日、旋轉(zhuǎn)方塊，以及一百多年前一位數(shù)學(xué)大神的“空手道”。

我們先來搭這張圖的中心。想象正中間寫著一個(gè)大大的命題：“只要證明解存在，不必真的把解找出來。”這個(gè)命題看起來有點(diǎn)反直覺，因?yàn)閺男〉酱笞鲱}，老師都要求我們“寫出具體答案”。但在某些領(lǐng)域，知道答案一定存在，本身就是一種終極答案。圍繞這個(gè)中心，有三條分支，分別對應(yīng)三個(gè)讓人“啊原來如此”的場景：笑話里的滅火器、鴿子洞里的生日詭計(jì)，以及大衛(wèi)·希爾伯特那場連對手都看傻眼的魔術(shù)。

第一支：滅火器笑話語錄里的邏輯硬核。回到開頭的場景。那位數(shù)學(xué)家為什么可以理直氣壯地轉(zhuǎn)身離開？因?yàn)樗瓿闪艘淮巍胺菢?gòu)造性證明”。她并不是拿起滅火器去滅火，而是確認(rèn)了房間里存在一個(gè)能滅火的工具——這件事本身就證明了“火災(zāi)有可能被撲滅”。至于后續(xù)是叫保安還是自己動手，那是執(zhí)行層面的事，與數(shù)學(xué)無關(guān)。

這個(gè)笑話之所以在數(shù)學(xué)系流傳，不是因?yàn)樗靶?shù)學(xué)家不懂生活，而是因?yàn)樗珳?zhǔn)復(fù)刻了一種證明策略：你不需要構(gòu)造出那個(gè)解，只需要邏輯上排除“沒有解”的可能性。比如，你可以通過某些條件推導(dǎo)出“一定有一個(gè)解在某個(gè)范圍里”，即使你沒法精確寫出那個(gè)解的數(shù)字。這就像你在密室里找鑰匙，你把所有抽屜都鎖死了，只剩一個(gè)抽屜沒鎖，那你就能肯定鑰匙在那個(gè)抽屜里——至于你打不打開它，并不影響“鑰匙在里頭”這個(gè)事實(shí)。

當(dāng)然，現(xiàn)實(shí)中的滅火還得動手，但數(shù)學(xué)命題不需要。一旦你證明了“解一定存在”，這個(gè)命題就已經(jīng)畫上句號。聽起來像個(gè)魔術(shù)嗎？別急著下結(jié)論，第二支例子會讓你立刻理解這套玩法的精髓。

第二支：鴿巢原理，又名“生日互撞事件”。這里有一個(gè)完全不需要數(shù)學(xué)訓(xùn)練也能秒懂的例子。假設(shè)一個(gè)房間里擠進(jìn)了367個(gè)人——比如一場跨年派對或者早高峰地鐵車廂——請問，至少有兩個(gè)人生日相同的概率是多少？答案是100%。你可能會想，這世界上有365天，偶爾還有個(gè)2月29日，總共366個(gè)可能的生日。367個(gè)人往里一塞，哪怕前366個(gè)人每個(gè)人都霸占了一個(gè)不同的日期，第367個(gè)人無論怎么挑日子，都必定會與其中一人撞車。

這件事妙就妙在，我們可以百分之百確信“生日相同”必然發(fā)生，卻完全不知道具體是哪兩個(gè)人共享了這一天。你不需要去翻所有人的身份證，不需要一個(gè)一個(gè)去核對，也壓根算不出到底是哪兩個(gè)人，甚至不能確定是唯一的一對還是多對——但你依然可以拍胸脯說：“我賭一根黃瓜，肯定有至少兩個(gè)人同一天生日。”這不是占卜，是數(shù)學(xué)上的鐵定事實(shí)。

數(shù)學(xué)家把這種推理叫做“鴿巢原理”，也叫“抽屜原理”。 367個(gè)人是鴿子，366個(gè)生日是鴿巢。你讓鴿子飛進(jìn)巢里，巢的數(shù)量比鴿子少一個(gè)，那就至少有一個(gè)巢得擠下兩只鴿子。這個(gè)原理簡單到令人發(fā)指，可它的威力卻大到可以拿下數(shù)論、組合數(shù)學(xué)里的眾多硬骨頭。而我們在這里看到的本質(zhì)，恰恰是非構(gòu)造性證明的經(jīng)典姿勢：知道存在，但不告訴你具體是誰。

如果把鴿巢原理和開頭的滅火器笑話擺在一起，你會發(fā)現(xiàn)它們共用同一個(gè)內(nèi)核：只要條件足夠強(qiáng)，解的存在性就變得不可避免。在火災(zāi)笑話里，條件是“房間里有滅火器”；在生日例子里，條件是“人數(shù)大于可能生日的總數(shù)”。至于到底哪個(gè)滅火器、哪個(gè)人，根本不重要。邏輯的結(jié)構(gòu)自己就把“存在”兩個(gè)字刻在了石板上。

這里有一個(gè)很有意思的心理轉(zhuǎn)折點(diǎn)。一般人聽到“367個(gè)人必有同生日”時(shí)，會覺得太簡單了、太取巧了，甚至覺得有點(diǎn)賴皮。但請反過來想一想：如果你一定要把具體那兩個(gè)人找出來，你翻遍在場所有人的生日，可能要核對好幾千對組合。可事實(shí)上，你根本不需要做任何核對，就已經(jīng)知道答案了。這就是非構(gòu)造性證明的魔法——它繞過了繁瑣的構(gòu)造過程，直指問題的確定性核心。

也許你會問，這招除了解決生日撞車這種派對話題，還能用在正經(jīng)數(shù)學(xué)里嗎？當(dāng)然能，而且它曾經(jīng)引起過一場思想地震。讓我們進(jìn)入第三支，也是最讓19世紀(jì)末的數(shù)學(xué)家們瞠目結(jié)舌的一個(gè)案例。

第三支：希爾伯特的“空手奪白刃”。故事要從一個(gè)看似毫無關(guān)系的幾何常識說起。拿出一張白紙，畫一個(gè)完美的正方形。你現(xiàn)在把它旋轉(zhuǎn)90度，它看起來和旋轉(zhuǎn)前一模一樣。這就是所謂的旋轉(zhuǎn)對稱，用專業(yè)點(diǎn)的詞叫“不變量”——正方形在90度旋轉(zhuǎn)這種操作下保持不變。你如果旋轉(zhuǎn)的是45度呢？那就不行了，正方形歪了，看起來不再是原來的位置。所以，90度旋轉(zhuǎn)是正方形的一個(gè)不變量。

這些關(guān)于正方形、三角形、圓形的幾何不變量，其實(shí)早就是數(shù)學(xué)家們熟悉的玩具。而19世紀(jì)末的人們開始想，那代數(shù)里的方程、多項(xiàng)式這類抽象對象，是不是也有自己的一套不變量？有的。對于某一類代數(shù)對象，數(shù)學(xué)家發(fā)現(xiàn)，它們的不變量居然有無限多個(gè)。這就像你發(fā)現(xiàn)一種魔術(shù)方塊有數(shù)不清的對稱方式，簡直是無窮無盡。

這時(shí)候，一個(gè)非常自然的問題就跳出來了：既然有無限多個(gè)不變量，那么我們最少需要拿住哪幾個(gè)“基本款”，就可以像搭積木一樣，把其他所有不變量都拼出來？這組基本款，就叫“生成集”。如果你能找到它，就等于拿到了整個(gè)不變量宇宙的說明書。德國數(shù)學(xué)家保羅·戈?duì)柕缀醢颜麄€(gè)職業(yè)生涯都撲在了這上面。他確實(shí)在一些特定的代數(shù)對象里找到了有限的生成集，但他每找到一個(gè)，過程都又臟又累，證明像一團(tuán)亂麻，全靠硬碰硬的構(gòu)造。換句話說，戈?duì)柕な悄欠N必須親手把每個(gè)零件都造出來才肯說“這事能成”的人。

然后，1888年，一個(gè)叫大衛(wèi)·希爾伯特的年輕人出現(xiàn)了。他不按套路出牌。他研究的那類代數(shù)對象比戈?duì)柕さ膶挿旱枚啵宜o出的結(jié)論也更炸裂：生成集不僅存在，而且是有限的。整個(gè)數(shù)學(xué)界都等著看他怎么把這些生成集一一擺出來，結(jié)果希爾伯特兩手一攤：我沒構(gòu)造出來，但我證明它們一定存在。

這就是后來被稱為“希爾伯特基定理”的事件核心。他沒有去實(shí)際找出任何一個(gè)生成集，而是通過推導(dǎo)排除了“無限生成集必須一直擴(kuò)大下去”的可能性。他用了一種非構(gòu)造性的推理，從邏輯上堵死了所有“不存在有限生成集”的退路。這等于是說：雖然我拿不出具體物品，但我能向你保證倉庫里絕對有這些東西，而且數(shù)量有限，不可能無限多。

戈?duì)柕ぎ?dāng)時(shí)的心情，簡直就像看到一個(gè)魔術(shù)師空手變出鴿子，卻聲稱自己根本沒用手。據(jù)說他最初的反應(yīng)是：“這不是數(shù)學(xué)，這是神學(xué)。”因?yàn)樵谒艿挠?xùn)練里，證明一件事存在，就必須通過構(gòu)造它來展示。希爾伯特的做法，等于宣告了一種新的數(shù)學(xué)合法性：只要邏輯上不自相矛盾，就可以斷言存在，哪怕你永遠(yuǎn)碰不到那個(gè)東西。

這個(gè)轉(zhuǎn)變意義重大。我們不妨再用一個(gè)生活化的比喻來消化一下。假設(shè)你要證明某棟大樓里一定有一個(gè)紅色的消防栓，傳統(tǒng)的構(gòu)造性證明會怎么做？你會一層樓一層樓地搜，直到親手摸到那個(gè)紅色消防栓，然后拍照為證。但希爾伯特的非構(gòu)造性證明會說：整棟大樓的消防設(shè)備配置規(guī)范要求每層至少一個(gè)消防栓，而且總共只有三層樓沒有安裝，第一層和第二層我們已經(jīng)確認(rèn)裝的是藍(lán)色設(shè)備，所以第三層必須有一個(gè)紅色的，否則就不滿足規(guī)范。你看，他連第三層的門都沒推開，就已經(jīng)知道紅色消防栓一定在那兒。

回到正方形的不變量類比上，我們能更清晰地看見這種思路的根。你知道正方形旋轉(zhuǎn)90度保持不變，但你不需要真的把所有旋轉(zhuǎn)角度都試一遍，也能從對稱性的定義中推導(dǎo)出這個(gè)結(jié)論。希爾伯特所做的，就是把這種幾何直覺搬運(yùn)到了抽象的代數(shù)方程世界里，并用一套嚴(yán)密的推理證明了“不變量生成集”必定存在且有限，而不必一件一件地造出來。

不過要注意，非構(gòu)造性證明不是萬能鑰匙。有時(shí)候它只能告訴你某物存在，卻不能告訴你它長什么樣，這就讓一些數(shù)學(xué)家感到不安。比如，在某些密碼學(xué)或計(jì)算問題里，僅僅知道解存在是遠(yuǎn)遠(yuǎn)不夠的，你需要那個(gè)解本身。但話說回來，在純粹理論的地盤上，這種證明方式足以解決大量“存在性問題”，而且常常比構(gòu)造性證明簡潔得多。

現(xiàn)在我們回頭把三