1 − 2 + 3 − 4 + …

在數學中，1 − 2 + 3 − 4 + …表示以由小到大的接續正整數，依次加後又減、減後又加，如此反覆所構成的無窮級數。它是交錯級數，若以Σ符號表示前"m"項之和，可寫作：formula_1此無窮級數發散，即其部分和的序列不會趨近於任一有窮極限。也就是說，單從極限的角度看的話，1 − 2 + 3 − 4 + …不存在和。不過，在18世紀中期，萊昂哈德·尤拉寫出了一個他承認為悖論的等式：formula_2該等式的嚴謹解釋在很久以後才出現。自1890年起，恩納斯托·切薩羅、埃米爾·博雷爾與其他一些數學家就在研究有哪些定義良好的方法，可以給發散級數賦予廣義和——其中包含了對尤拉結果的新解釋。這些求和法大部分可簡單地指定1 − 2 + 3 − 4 + …的“和”為1⁄4。切薩羅求和是少數幾種不能計算出1 − 2 + 3 − 4 + …之和的方法，因為此級數求和需要某個略強的方法——譬如阿貝耳求和。級數1 − 2 + 3 − 4 + …與格蘭迪級數1 − 1 + 1 − 1 + …有緊密的聯絡。尤拉將這兩個級數當作1 − 2"n" + 3"n" − 4"n" + …的特例，這個級數既直接擴充套件了他在巴塞爾問題上所做的工作，同時也引出了我們現在所知的狄利克雷η函式和黎曼ζ函式。發散性.級數項不趨近於0，因此透過項測試便可確定1 − 2 + 3 − 4 + …發散。不過作為後文的參考，此處也以基礎的方法去證明此級數發散。首先，從定義可知，無窮級數的斂散性是由其部分和的斂散性所確定的，1 − 2 + 3 − 4 + …的部分和為：1 = 1,1 − 2 = −1,1 − 2 + 3 = 2,1 − 2 + 3 − 4 = −2,1 − 2 + 3 − 4 + 5 = 3,1 − 2 + 3 − 4 + 5 − 6 = −3,此部分和序列的一個顯著特點是每個整數都恰好出現一次——如果將空部分和計入還包括0——因此它還說明瞭整數集formula_3是可數的。很明顯的，不可能讓變化的結果收斂到一個確定的數，因此1 − 2 + 3 − 4 + …發散。求和的啟發.穩定性與線性.由於各項 1, −2, 3, −4, 5, −6, … 以一種簡單模式排列，級數1 − 2 + 3 − 4 + …可以透過移項以及逐項求和，再透過解方程得出一數值。暫時假設"s" = 1 − 2 + 3 − 4 + …這樣的寫法有意義——其中的"s"為常數，那麼以下的計算將說明"s" = 1⁄4：formula_4因此，"s" = 1⁄4，如右圖所示。儘管1 − 2 + 3 − 4 + …沒有通常意義的和，等式"s" = 1 − 2 + 3 − 4 + … = 1⁄4卻可被賦予另外一種意義。發散級數之“和”的一種普遍定義被稱為一種求和法或可和法——通常是對於符合特定條件的一類級數可求和。求和法有許多種，這些方法跟普通求和也許有著一些共同的特性，例如：因此，以上的計算實際上證明的是下面的內容：給出任意的線性且穩定的可和法，並能對級數1 − 2 + 3 − 4 + …求和，則結果必為1⁄4。此外，由於：formula_5故此方法也一定能對格蘭迪級數求和，並得結果為formula_6柯西乘積.1891年，恩納斯托·切薩羅在他的一篇論文中指出有可能將發散級數嚴謹地納入微積分學，並寫道：對切薩羅而言，這個等式是他前一年發表的一個定理的應用，該定理可說是在歷史上關於可求和發散級數的第一個定理。關於此求和法的詳細內容請見下文；其中心思想是：1 − 2 + 3 − 4 + …是1 − 1 + 1 − 1 + …對1 − 1 + 1 − 1 + …的柯西乘積。兩個無窮級數的柯西乘積可被定義，即使在它們都發散的時候。例如，若Σ"a""n"= Σ"b""n"= Σ(−1)"n"，柯西乘積的項由有窮對角線求和的方式給出：formula_7積級數為：formula_8所以，如果有一種求和法可以保持兩個級數的柯西乘積，並能得出formula_9的結果，那麼它也能夠求出formula_10。由前一節的結果可知，當方法是線性、穩定並保持柯西乘積的時候，1 − 1 + 1 − 1 + …與1 − 2 + 3 − 4 + …的可求和之間是等價的。切薩羅的定理是一個微妙的例子。級數1 − 1 + 1 − 1 + …在最弱的意義上是切薩羅可求和，稱作(C, 1)-可求和，然而1 − 2 + 3 − 4 + …則需要切薩羅的定理的一個更強的形式，它是(C, 2)-可求和的。由於切薩羅的定理的所有形式均為線性且穩定的，所得的值正是此前計算所得的。特殊方法.切薩羅與赫爾德.若1 − 2 + 3 − 4 + …的(C, 1)切薩羅和存在，要找到其數值就需要計算該級數部分和的算術平均值。部分和為：1, −1, 2, −2, 3, −3, …,這些部分和的算術平均值為：1, 0,2⁄3, 0,3⁄5, 0,4⁄7, ….此平均值序列不收斂，因此1 − 2 + 3 − 4 + …不是切薩羅可求和。切薩羅求和有兩種有名的廣義化：讓這些在概念上更簡單的是(H, "n")法的序列，其中"n"為自然數。(H, 1)和為切薩羅求和，更高的方法則重複平均值的計算。在上文中，偶數項平均值趨近於1⁄2，奇數項平均值則全部等於0，所以平均值"的"平均值趨近於 0 與1⁄2的平均數，即1⁄4。因此，1 − 2 + 3 − 4 + …是(H, 2)-可求和，其值為1⁄4。符號“H”代表奧圖·赫爾德。1882年，他第一次證明了被現在數學家們所看作的在阿貝耳求和與(H, "n")求和之間的關係；-1 + 2 − 3 + 4 − …是他給的第一個例子。1⁄4是1 − 2 + 3 − 4 + …的(H, 2)和這個事實也保證了它是阿貝耳和；這些都將在下文直接予以證明。另外一個常用的切薩羅求和的廣義化，是(C, "n")法的序列。已經證明了(C, "n")求和與(H, "n")求和均能給出相同的結果，但是它們卻有不同的歷史背景。在1887年，切薩羅已經接近於陳述出(C, "n")求和的定義了，但是他只給出了少量的例子。特別的，他在計算1 − 2 + 3 − 4 + …為1⁄4時所採用的方法可能是(C, "n")的另一種描述，但是在當時並沒有對其進行證明。他在1890年正式定義了(C, "n")法，以陳述他的定理：一個(C, "n")-可求和級數與一個(C, "m")-可求和級數的柯西乘積是(C, "m" + "n" + 1)-可求和。阿貝耳求和.在一份1749年的報告中，萊昂哈德·尤拉承認級數1 − 2 + 3 − 4 + …是發散的，但還是決定要對其求和：尤拉曾幾次提議將“和”這個詞廣義化。在1 − 2 + 3 − 4 + …的情況下，他的設想與現在所知的阿貝耳求和相似：至少在當絕對值 |"x"| &lt; 1 時，有許多方式去驗證尤拉的下列等式正確：formula_11可以對右邊作泰勒展開，或使用正規的多項式長除。從左方開始，可採用上文的一般啟發式，並嘗試乘以兩次(1+"x")，或對幾何級數1 − "x" + "x"2 − …求平方。尤拉似乎也提出可以對後者級數的每項求導。以現代的觀點看，級數 1 − 2"x" + 3"x"2 − 4"x"3 + … 並沒有定義一個在"x" = 1時的函式，因此不能簡單地把值代入到其相應的表示式。不過由於此級數在|"x"| &lt; 1時定義了一個函式，所以仍可取"x"趨近於1時的極限，而這就是阿貝耳和的定義：formula_12尤拉與波萊爾.尤拉對該級數還使用了另外一種技巧：尤拉變換，這是他自己的發明。要計算尤拉變換，首先要有可形成交錯級數的正項序列——在此情況下為1, 2, 3, 4, …。將此序列中的首項標示為 "a"0。下一步需要1, 2, 3, 4, …的前向差分序列；這恰好是1, 1, 1, 1, …。將該序列的首項標示為 Δ"a"0。尤拉變換也基於差分的差分，以及更高的迭代，但是在1, 1, 1, 1, …各項之間的前向差分均為0。1 − 2 + 3 − 4 + …的尤拉變換便可定義為：formula_13用現代術語來說，1 − 2 + 3 − 4 + …是尤拉可求和且其值為1⁄4。尤拉可求和也蘊涵了另一種可求和性。將1 − 2 + 3 − 4 + …表示為：formula_14就有了相關的處處收斂級數：formula_15因此 1 − 2 + 3 − 4 + … 的波萊爾和為：formula_16尺度分離.賽切夫與Woyczyński只通過兩個物理原理便得出了1 − 2 + 3 − 4 + … =1⁄4，這兩個原理分別是：無窮小松弛。為求表達準確，這些原理促使了他們去定義一系列的“"φ"-求和法”，所有這些方法都可以將級數求和得1⁄4：formula_17該結果推廣了阿貝耳求和，當取"φ"("x") = exp(−"x")時可得到先前的等式。此一般陳述可透過將關於"m"的級數中的項配對，並將表示式變換為黎曼積分的形式予以證明。在後一步中，對1 − 1 + 1 − 1 + …的運用了中值定理，但在這裡需要泰勒公式中更強的拉格朗日形式。廣義化.1 − 1 + 1 − 1 + …的三重柯西乘積為1 − 3 + 6 − 10 + …，為三角形數的交錯級數；其阿貝耳與尤拉和為1⁄8。1 − 1 + 1 − 1 + …的四重柯西乘積為1 − 4 + 10 − 20 + …，為四面體數的交錯級數，其阿貝耳和為1⁄16。另一個1 − 2 + 3 − 4 + …在略微不同的方向的廣義化是一般級數1 − 2"n" + 3"n" − 4"n" + …。對正整數"n"來說，此級數有下列的阿貝耳和：formula_18其中"B""n"是伯努利數。對大於0的偶數"n"，則化約為：formula_19後一個和成為尼爾斯·亨利克·阿貝爾特別嘲笑的物件，在1826年時他說：“發散級數純粹是魔鬼的工作，膽敢去找到任何證明它們的行為都是羞恥的。如果用到它們，可以從中獲得想要的東西；同時也是它們，製造瞭如此多的不愉快與如此多的悖論。試問能想到比下面內容更令人驚恐的東西嗎：0 = 1 − 2"n" + 3"n" − 4"n" + etc.其中，"n"為正數。這是一個笑料，朋友。”切薩羅的老師歐仁·查理·卡塔蘭也輕視發散級數。在卡塔蘭的影響下，切薩羅早期提出1 − 2"n" + 3"n" − 4"n" + …的“習用式”是“荒謬的等式”；而在1883年，切薩羅表明了當時的一個典型看法：這些公式是錯的，不過在某些場合在形式上是有用的。最後，在他1890年的書《"Sur la multiplication des séries"》中，切薩羅從定義開始採用了一個現代的做法。此級數在"n"為非整數值的情況亦有所研究；這產生了狄利克雷η函式。尤拉研究1 − 2 + 3 − 4 + …相關級數的部分動機是η函式的函式方程，這直接導向了黎曼ζ函式的函式方程。尤拉在正偶數時的值，但這個問題直到今天仍是難以解決的。η函式透過尤拉的方法解決會比較簡單，因為它的狄利克雷級數是處處阿貝耳可求和；而ζ函式的狄利克雷級數則非常難以對發散的部分求和。例如，1 − 2 + 3 − 4 + …在η函式中的相似級數是非交錯級數1 + 2 + 3 + 4 + …，該級數在現代物理學上有很深的應用，不過需要非常強的方法才能求和。