全體自然數的和等於 -1/12 | 混亂博物館

2021-02-15 大象公會

「全體自然數的和是-1/12」這個驚人的結論已經在網際網路上傳播了許多年,也有許多討論它的文章,往期節目也觸及過這個問題,本期節目集中展示了另一種常人或許可以接受的解釋。

這類悖謬常理的數學結論最容易讓公眾產生「科學家關起門來胡鬧」的錯誤印象,但事實並非如此,在量子物理揭示的無窮現象中,這樣的結論真的能排上實際的用場。

限於表達的形式,我們無法在這期節目裡充分流露出這樣一種觀點:數學並不僅僅是形式的演繹,不僅僅是「大腦分泌物」而已,在嚴格的意義上,數學更接近經驗科學,它同樣以模型和觀察的方式,探索著客觀世界面貌。

-文字稿-

我們曾在往期節目中討論過調和級數發散的問題——在此基礎上,我們不妨關心一個流傳多年的新奇問題:全體自然數的和是-1/12,這是怎麼來的?

一個最通俗,所以也最引人爭議的做法,是一種看上去很簡單的算術算法:

首先令S0=1-2+3-4+5-6……

我們已經在往期節目裡看到過令它收斂到1/4的方法。

再令全體自然數的和為S,減去這個S0,則有:

S-S0=0+4+0+8+0+12+0+16……

也就等於4個S,也就是說-S0等於3個S,所以S等於負十二分之一。

所以雖然往期節目裡一般的收斂法不能直接求出全體自然數的和,但仍然間接暗示了這個怪異的結論。

事實上,不論用什麼方法計算全體自然數的和,只要不是無窮大,就是-1/12。除了上期的拉馬努金和之外,我們再考慮這樣一個更簡單的對象:階乘。

中學課本就講過,某個自然數的階乘是指把不大於這個數的自然數逐個連乘起來,寫作一個感嘆號。比如5!=1×2×3×4×5。1!當然是1,另外根據n!=n(n-1)!取n=1,就有0!也=1。

到此為止,一切都很簡單,很可以理解——但現在如果告訴你(1/2)!= 根號π/2;(-1/2)!= 根號π;(-2)!=∞,你恐怕就會感到困惑了,因為這些「非自然數」的階乘看起來根本沒有意義——如果將這種困惑用數學語言表述出來,就是1/2、-1/2、-2……之類的數字,並不在階乘這種一元函數的定義域上。

正如同如果我們定義了函數f(x)=x+1,其中x∈[1,2],那麼f(0)就沒有意義一樣。

但與階乘不同的是,這個f(x)未免太簡單了,即便f(0)即便不在定義域內,我們也會不由自主地將它拓展,得到f(0)=1。然後自責到:這個函數既然沒有延伸到x=0,我們又有什麼理由認為它會這樣延伸呢?

然而我們的確有一個極好的理由認為f(0)就=1,這個理由就是「光滑」。

乍看起來,將這一小截線段光滑地延伸出去有無窮多種方案,新加入的曲線只要能在端點處與線段相切,哪怕是兒童一筆畫都沒有問題。

其實並沒有這麼簡單:我們知道,函數某一點的導數就是這一點的切線斜率,那麼對於切點來說,左右兩邊不僅函數值相同,而且導數值也相同,因此看起來很光溜。我們可以稱它為一階可導。

但觀察導數的導數,就會發現切點兩側並不相同,因此這個切點附近二階不可導。

而數學意義上的「光滑」是指「無窮多階都可導」,這樣無窮嚴格的條件排除了所有單純的相切,以至於產生了一個驚人的結論:光滑函數任取其中一小段,就能唯一確定整個函數。

所以要在數學意義上光滑地延長f(x),唯一的結果就是f(0)=1,這種滿足強迫症的操作就叫「解析延拓」——這就有趣了。

階乘是一個定義在全體自然數上的離散函數,畫在平面上就是一串散點,我們會本能地心生不滿,想要將它們光滑地連接起來——在這裡,那些散點就相當於「一小段函數」,而那個連接延伸出來的函數,就是階乘的解析延拓,Γ函數。

但與案例中的f(x)不同,Γ函數在形式上與階乘毫無共通,是一個積分形式的超越函數。

我們不必對此過於介懷,畢竟是哥德巴赫在1722年向伯努利提出了這個問題,並且直到1729年才由更強大的歐拉最終解決,所以有心無力的同學只需觀察這個結論即可:

對於任何自然數,可見Γ函數果然是階乘的延拓。所以對Γ函數取負數和分數的值,就是拓展的階乘運算了。

而要用同樣的理念解決全體自然數的和就精妙得多:無窮大不是一個具體的數,我們先要設法將「全體自然數的和」濃縮在某個函數上才能嘗試延拓——這個函數倒不複雜,就是這個ζ函數。「全體自然數的和」就是它在s=-1時的值。

糟糕的是,自古以來,我們就不知道這個函數的任何數值結果:當s小於1的時候它顯然發散,趨於無窮,而s=1的時候它就是調和級數,我們在往期節目中證明了它不收斂——除此之外就一無所知了。

終於在1735年,歐拉證明了自然數的平方倒數和收斂於π2/6,並在此後數年研究了它的許多性質,同時計算出了全體自然數的和是-1/12這個驚人的結論,以及全體自然數的平方和是0、立方和是1/120這些同樣瘋狂的結論。

最終使這些結論確立起來的是黎曼,他在1859年找到了ζ函數的解析延拓:

這同樣是個積分形式的超越方程,其中的Γ就是階乘延拓後的Γ函數,將s=-1帶入其中,就能輕易得出全體自然數的和是-1/12這個結論。

到此為止,我們至少用四種方法得出了全體自然數的和是-1/12,但是直到今天,我們都不知道這意味著什麼,只知道在量子力學中如果遇到全體自然數和,-1/12代替無窮就總能得到最符合實驗結果的數值。

仔細想一想也的確如此,無窮大從來都是人類想像出來的概念,從來都不是任何觀察到的結果。

於是最有可能的情況是,正如在數軸另一頭發現負數,在數軸兩側發現虛數,這一切都暗示著數軸無窮遠處並非混沌一片,那裡蘊藏著嶄新的數學體系等待我們建立。

本文系網易新聞·網易號「各有態度」特色內容


▼ 點擊閱讀原文,觀看混亂博物館更多視頻

相關焦點

  • 理解黎曼猜想(三)你真的相信全體自然數的和等於-1/12嗎? | 袁嵐峰
    好吧,我們就借這個機會,向大家講清楚這個所謂「全體自然數的和等於-1/12」是怎麼回事。還有許多跟它類似的說法,例如所謂「無窮多個1加起來等於-1/2」,「全體自然數的平方和等於0」,都是同樣的道理,我們順便可以一網打盡。首先,來告訴大家基本的答案:你的常識是正確的,這些說法都是錯誤的,數學並沒有推翻常識。
  • 走近黎曼猜想(一):全體自然數的和是-1/12嗎?
    今天我們來研究一個很神奇的問題:全體自然數的和是多少?出大事了!數學界出大事了!愛好數學的小朋友也許聽到過這樣一種說法:全體自然數的和是-1/12,也就是說:類似這種結論的式子還有好多,例如:歐拉用類似的辦法計算了全體自然數的平方和為零,全體自然數的立方和為1/120。
  • 歐拉常數:如何快速得到非常精確的連續自然數的倒數之和
    連續自然數倒數之和是無窮級數的一類,也是一個非常有趣的級數,柯西,歐拉,伯努利都是處理無窮級數的高手,所以無窮級數的許多重要發現都與它們有關,對於自然數的倒數之和問題歐拉對此進行了研究,並得出了重要的歐拉常數γ,我們都知道連續自然數的倒數之和是一個無窮髮散的級數,前面的文章已經給出了詳細的證明,對這樣的一個級數問題,
  • 任意的連續自然數倒數之和永遠不可能是一個整數
    如下是自然數倒數之和的表示方式,也許許多人都已經知道了它是一個無窮髮散級數,但這個簡單有趣的級數裡面卻包含著非常有趣的數學原理如下我們來看,第一項是1,前兩項之和是3/2前三項之和等於11/6,前四項之和等於
  • 小學數學:0到底是不是自然數?家長們不懂就別亂教了
    最近有老同學輔導讀小學的小孩做數學作業時遇到了問題,就是0是不是自然數?他自己堅持0不是自然數,因為自己讀小學的時候老師就是這麼講的,自然數是從1開始數的,0隻能算是整數。他一問完,我就馬上教育了他一番,現在的知識跟我們以前讀書的時候很多都改變了,不要用自己經驗的那一套來教小孩。
  • 一道題看出你的年齡:「0」是自然數嗎?
    但00後的小朋友們不服氣了:「錯了,0是自然數。」    70後、80後認為「0不是自然數」,00後堅稱「是」    「跑男找密碼開門」那期節目匯總,紅隊拿到最後一個密碼的提示:不是自然數的最小的整數是什麼?最後,正確答案是「0」,這讓不少網友表示不能接受。    「0不是自然數啊。
  • 市城北幼兒園黨支部組織全體黨員參觀贛西抗戰博物館
    為增強黨支部凝聚力,培養鬥爭精神,12月18日下午,新餘市城北幼兒園黨支部組織全體黨員參觀贛西抗戰博物館,開展愛國主義及革命傳統教育。贛西抗戰博物館坐落在抱石公園內,由新餘電大2013級工商管理班宋子楓創辦,是一家非國有博物館,館內藏品都是館長自費和愛心人士捐贈而來。館內有贛西地區抗戰實物、照片、文獻等,藏品總計676件,設四個展廳,分別是:國土淪喪抗戰在新餘、人民動員抗戰在新餘、上海勞動婦女戰地服務團在新餘、贛西抗戰豐碑。
  • 重新定義自然數:一個外行理解黎曼猜想的嘗試
    …也就是說,自然數0,1,2,3…是表示對數「」和數學運算決定的。素數是自然數的一部分,所以素數分布規律也是由數「以往的自然數定義方法有很多種,但是都需要2個以上的假設。其中,通用的方法是2種:集合論的方法和皮亞諾的方法。先來看集合論的方法。集合論的方法,是從假設存在「空集」開始的,但是它的定義是自相矛盾的。「空集」是不包含任何元素的「集合」,而「集合」是由一個或多個確定的元素所構成的整體。
  • Python編程案例:計算自然數n的階乘
    阿萌又接到一個新的編程任務,要求用Python編寫一個計算自然數n階乘的程序,用於學生利用計算機來計算n的階乘。阿萌梳理了一下編程要求,他認為程序需要實現下面這些功能:程序啟動後,程序在Shell窗口輸出提示信息「請輸入一個自然數,輸入quit可退出程序:」,學生輸入一個自然數,程序計算自然數的階乘,並將計算結果輸出到Shell窗口。程序再次輸出「請輸入一個自然數:」,等待學生的下次輸入。
  • 黎曼猜想呼喚真正的自然數定義:一個外行的理解
    現在通用的自然數定義,至少需要2個假設。例如皮亞諾定義,就是從假設存在一個數「0(或1)」和一種運算「增長」出發來構造(或定義)自然數的。 據奧卡姆剃刀定律,如果只用1個假設,既可以表達一個數,又可以表達一種運算,就不應該用2個假設。 分數既可以表示一個具體的數,又可以表示一種數的運算。
  • 長方形的周長是固定的,怎麼調整長和寬,才能讓它的面積最大
    把10拆成兩個自然數相加的形式,那麼這兩個自然數積最大是多少?積最小是多少?相信最大值,大家都會想到,5×5=25。最小值是多少呢?可能有網友會說是9,估計也有人會說是0。到底是9還是0?其實這個最小值是0。我們如果把10拆成兩個自然數相加,能拆成哪幾種情況?按照有序枚舉的方法,可以拆成:10=0+10=1+9=2+8=3+7=4+6=5+5。
  • 1日元等於多少人民幣2020-12-11
    1日元等於多少人民幣2020-12-11 文/Lisa2020-12-11 09:45:42來源:FX168 FX168財經網提供了最新的日元匯率以及日元對人民幣匯率2020-12-11:日元對人民幣匯率今日最新價格:6.2737日元兌換人民幣匯率今日現匯買入價:6.2702日元兌換人民幣匯率今日現匯賣出價:6.3163日元兌換人民幣匯率今日現鈔買入價:6.0753
  • 1林吉特等於多少人民幣2020-12-01
    FX168財經網>about>正文 1林吉特等於多少人民幣
  • 1新臺幣等於多少人民幣2020-12-01
    FX168財經網>about>正文 1新臺幣等於多少人民幣
  • 1韓元等於多少人民幣2020-12-08
    FX168財經網>about>正文 1韓元等於多少人民幣
  • 1加元等於多少人民幣2020-12-25
    FX168財經網>about>正文 1加元等於多少人民幣
  • 角度為自然數度數的sin值是否都能算出精確值?比如sin1°等
    問題的提出:  角度為自然數度數的sin值是否都能算出精確值?比如sin1°,sin2°,sin3°等等。  .  那麼問題來了,還有哪些角度為自然數度數的sin值能算出精確值?  根據三角函數的特性,我們只需要考慮n=1~90自然數時,sin(n°)是否能計算就可以了。  .  我們學習三角函數時,老師告訴我們0°、30°、45°、60°、90°都是特殊角。它們的值如下表:
  • 【權遊相關】瓦雷利亞語的真實與虛幻|混亂博物館
    美劇《權力的遊戲》最終季開播,混亂博物館為此推出了系列溫故節目:本期是用高等瓦雷利亞語介紹瓦雷利亞語。
  • 歐元兌人民幣匯率K線圖 1歐元等於多少人民幣(12/1)
    貨幣兌換  1歐元=7.8587人民幣  1人民幣 ≈ 0.1272歐元  2020年12月1日銀行間外匯市場人民幣匯率中間價為:1歐元=7.8587人民幣,1人民幣 ≈ 0.1272歐元。  數據僅供參考,交易時以銀行櫃檯成交價為準。