令人深思的分球悖論：巴拿赫 塔斯基悖論 #分球悖論 #科普

有人把一塊巧克力切了幾刀 切完之後多出了一塊 沒有人動過它 沒有任何東西被添加進去 但它就是憑空多出來了 你說這是把戲 那是因爲你還不知道 數學家已經嚴格證明了 一個球切五刀之後 可以變成兩個一模一樣的球 體積翻倍 密度不變 什麼都沒加 這不是魔術 這是1924年 兩個波蘭數學家用紙和筆 一行一行算出來的鐵證 而且一百年來 全世界沒有任何人能挑出一個漏洞 理論上 你可以把一顆豌豆 變成一個和太陽一樣大的球 沒有任何材料被添加 只是切開再拼起來 物理學家看到這個證明 直接選擇了集體沉沒 因爲如果數學是對的 我們引以爲傲的物理定律 可能從根子上就是個笑話 這個讓全人類破防的定理 叫做巴拿赫塔斯基悖論 想搞懂它 你得先搞懂一件更瘋的是 無限不止一種 要搞懂無限 你得先接受一個顛覆認知的事實 無限不是一個數字 而是一種大小 數學家把無限分成兩種 一種叫可數無窮 就是1 2 3 這樣能數下去的整數 雖然永遠數不完 但至少你知道從哪裏開始 另一種叫不可數無窮 光是0到1之間的實數 就比所有整數加起來還要多得多 根本不在一個量級 你永遠無法從0數到第二個數 因爲你甚至不知道第二個數是什麼 0.00001 不對 中間還有無數個數在等着你 這個無限大倒 讓數學家自己都快崩潰了 德國數學家康托爾爲了證明這件事 想出了一個絕妙的方法 叫做對角線論證 把0到1之間所有的數 隨機排成一個無限長的列表 然後沿着對角線斜着取 每個數的每一位 統統加1 你就能造出一個新數 這個新數和列表裏每一個數 在至少一個位置上都不一樣 所以它根本不在你的列表裏 換句話說 你用盡了所有整數 把整個無窮大全部耗光 卻仍然能找出一個列表裏沒有的數 康托爾就這樣證明了 實數的無限 遠比整數的無限大得多 它們根本不是同一種無限 但無限還有一個更瘋的特性 希爾伯特用一家酒店 把它說清楚了 想象一家有無數個房間的酒店 每一間都住滿了人 滿圓了 對吧 但這時來了一個新客人 酒店經理不慌不忙 把一號房的客人挪到二號 二號挪到三號 依此類推 無限的房間永遠挪不完 於是新客人直接住進了一號房 無限減一還是無限 無限加一也還是無限 這套完全反常識的邏輯 正是理解巴拿赫塔斯基悖論的底層密碼 數學家斯托爾特用一本詞典 把這個邏輯推到了極致 他設想了一本叫超韋伯斯特的詞典 把26個英文字母 能組成的所有可能單詞全部收錄 從AAAAA 一直到無限長的Z 這本書裝着人類能寫出的所有故事 所有謊言 所有真相 甚至你還沒想到的每一個念頭 重點來了 如果出版商把所有以A開頭的詞放進A卷 只去掉開頭那個A 剩下的內容竟然等於整本詞典 一卷書變成了整套書 什麼都沒加 只是換了一種排列 這就是巴拿赫塔斯基悖論最核心的邏輯骨架 現在把這個邏輯搬到一個三維球體上 數學家給球面上每一個點起名字 名字就是從某個起點出發 經過哪些旋轉能到達這個點 上下左右四個方向 生成無數種旋轉序列 每個序列對應球面上一個唯一的點 並用顏色分類標註 然後只需把其中一組碎片往某方向旋轉一下 由於旋轉的抵消效應 這一小塊就會自動擴展成接近整個球的範圍 什麼都沒有被添加 純粹是無限的數學結構在重新排列 把所有碎片以這種方式重新拼合 你手裏就有了兩個完整的球 和原來那個一模一樣 1加1等於1 這個結論現實中能實現嗎 目前還不能 切出來的五塊不是普通形狀 而是無限複雜的結構 現實裏任何刀都做不到這種精度 但已經有多篇物理學論文指出 粒子加速器裏兩個粒子在高能碰撞後 產生的粒子數量可以多於碰撞之前 而這個現象的數學結構 與巴拿赫塔斯基悖論高度吻合 這個看起來荒謬絕倫的定理 可能正在宇宙最深處悄悄運行着 只是我們的眼睛還沒進化到能看見它的程度 歷史上這種事發生過太多次了 虛數被髮明時所有人都說在胡說八道 結果今天的量子力學離開虛數根本無法運作 非歐幾何被嘲笑了兩百年 最終成了廣義相對論的數學基礎 所以今天嘲笑巴拿赫塔斯基的人 可能正在重蹈歷史的覆轍 宇宙從來都不奇怪 奇怪的只是我們以爲自己已經看懂了它 這絕對是人類歷史上最變態的數學遊戲 古羅馬競技場上站着41個人 他們手裏握着刀 但要殺的不是野獸 而是站在自己旁邊的戰友 遊戲規則簡單到殘忍 沒數到第三個人就必須自我了斷 直到只剩最後一個 一個猶太將軍用一道數學題 在這場死亡輪盤裏 精準算出了唯一的活命位置 站對了你能活下來 站錯了你的腦袋三輪之內就會落地 更離譜的是 這道用命換來的題 後來被寫進了計算機教科書 全世界的程序員都得學它 因爲破解這個算法 直接決定了你手機APP的運行速度 一個2000年前的死亡遊戲 竟然藏着現代科技的底層密碼 它叫約瑟夫環 一個用人命驗證出來的數學神蹟 故事要從公元70年說起 羅馬大軍圍困了一座猶太城堡 城裏有個將軍叫約瑟夫 他和40個戰友被逼進了一個山洞 外面是羅馬軍團的重重包圍 裏面只有一條路 集體自殺以保全尊嚴 但約瑟夫不想死 他的求生欲讓他想出了一個辦法 他提議41個人圍成一圈 從第一個人開始報數 沒數到第三個人就自我了斷 這樣一圈一圈轉下去 直到剩下最後一個人再做決定 聽起來很公平是吧 大錯特錯 這個遊戲從提出的那一刻起 就是個局 約瑟夫在腦子裏瘋狂演算 他發現只要站對位置 就能把自己變成那個最後的倖存者 他不動聲色的站到了19號位 然後眼睜睜看着身邊的戰友 一個接一個倒下 圈子越轉越小 40個人變成20個 20個變成10個 當只剩下他和另一個倒黴蛋的時候 約瑟夫毫不猶豫的解決了對方 然後大搖大擺走出山洞 向羅馬人投降 保住了性命 這個故事傳開後 全世界的數學家都炸了鍋 他們拼命想破解 約瑟夫到底用了什麼算法 因爲這不只是個死亡遊戲 它背後藏着一個驚人的數學規律 如果人數少還好辦 比如8個人的話 站一號位就能活命 但如果是41個人 100個人 甚至1000個人呢 你怎麼能在幾秒鐘內 算出那個救命的位置 經過幾百年的研究 科學家們終於發現了破解的祕密 當總人數剛好是2的n次方時 比如2 4 8 16這些數字 站在一號位就是絕對安全的 但如果多出幾個人怎麼辦 比如41個人可以寫成32加9 也就是2的5次方加9 這時候套用公式 用9乘以2再加1 答案就是19號位 正是約瑟夫當年站的那個位置 這個公式可以推廣成通用版本 當總人數等於2的n次方加上a時 倖存者的位置就等於2a加1 但最恐怖的還不是這個公式有多精準 而是它在現代科技中無處不在的應用 今天你用的每一個手機APP背後 都藏着約瑟夫環的影子 當你的手機同時運行十幾個程序時 CPU要決定先處理哪個任務 用的就是這套算法 當你在網上搶演唱會門票 服務器要給成千上萬人分配請求順序 用的還是這套邏輯 甚至現在最火的區塊鏈技術裏的共識機制 本質上都是約瑟夫環的變種應用 一個2000年前爲了活命 臨時想出的破解方法 竟然成了現代計算機科學的重要基石 約瑟夫當年拼命演算 只是爲了保住自己的命 他做夢都想不到 這道題會被後世的程序員奉爲經典