1-2+3-4+

在數學中，**1 − 2 + 3 − 4 + …**表示以由小到大的接續正整數，依次加後又減、減後又加，如此反覆所構成的無窮級數。它是交錯級數，若以 Σ 符號表示前 _m_ 項之和，可寫作：

　
: $\sum _{n=1}^{m}n(-1)^{n-1}$

此無窮級數發散，即其部分和的序列（1, −1, 2, −2, …）不會趨近於任一有窮極限。也就是說，單從極限的角度看的話，1 − 2 + 3 − 4 + …不存在和。不過，在 18 世紀中期，萊昂哈德・歐拉寫出了一個他承認為悖論的等式：

　
: $1-2+3-4+\cdots ={\frac {1}{4}}$

該等式的嚴謹解釋在很久以後才出現。自 1890 年起，恩納斯托・切薩羅、埃米爾・鮑萊耳與其他一些數學家就在研究有哪些定義良好的方法，可以給發散級數賦予廣義和 —— 其中包含了對歐拉結果的新解釋。這些求和法大部分可簡單地指定 1 − 2 + 3 − 4 + …的「和」為 1⁄4。切薩羅求和是少數幾種不能計算出 1 − 2 + 3 − 4 + …之和的方法，因為此級數求和需要某個略強的方法 —— 譬如阿貝耳求和。

級數 1 − 2 + 3 − 4 + …與格蘭迪級數 1 − 1 + 1 − 1 + …有緊密的聯繫。歐拉將這兩個級數當作 1 − 2n + 3n − 4n + …的特例（其中 n 為任意自然數），這個級數既直接擴展了他在巴塞爾問題上所做的工作，同時也引出了我們現在所知的狄利克雷 η 函數和黎曼 ζ 函數。

## 發散性

級數項（1, −2, 3, −4, …）不趨近於 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—— 因此它還說明了整數集 $\mathbb {Z} $ 是可數的。很明顯的，不可能讓變化的結果收斂到一個確定的數，因此 1 − 2 + 3 − 4 + …發散。

## 求和的啟發

### 穩定性與線性

由於各項 1, −2, 3, −4, 5, −6, … 以一種簡單模式排列，級數 1 − 2 + 3 − 4 + …可以透過移項以及逐項求和，再透過解方程式得出一數值。暫時假設 _s_ = 1 − 2 + 3 − 4 + …這樣的寫法有意義 —— 其中的 _s_ 為常數，那麼以下的計算將說明 _s_ = 1⁄4：

　
: : ${\begin{smallmatrix}4s&=&\!&(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )&+\ \ \;\;\,&(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )&+\ \ \;\;\,&(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )&+\ \ \;\;\,&(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )\quad \,\\\\\ &=&\!&({\color {Blue}\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots })&+\,1\,+&({\color {Red}\,-\,2\,+\,3\,-\,4\,+\,5\,\cdots })&+\,1\,+&({\color {Purple}\,-\,2\,+\,3\,-\,4\,+\,5\,\cdots })&-\,1\,+&({\color {OliveGreen}\,3\,-\,4\,+\,5\,-\,6\,+\,\cdots })\quad \,\\\\\ &=&\ 1\,+&[\,(\,{\color {Blue}1}\,{\color {Red}-\,2}\,{\color {Purple}-\,2}\,{\color {OliveGreen}+\,3}\,)\quad &+\ \ \;\;\,&(\,{-\,\color {Blue}2}\,{\color {Red}+\,3}\,{\color {Purple}+\,3}\,{\color {OliveGreen}-\,4}\,)\;\;\;\,&+\ \ \;\;\,&(\,{\color {Blue}3}\,{\color {Red}-\,4}\,{\color {Purple}-\,4}\,{\color {OliveGreen}+\,5}\,)\ \quad &+\ \ \;\;\,&(\,{\color {Blue}-\,4}\,{\color {Red}+\,5}\,{\color {Purple}+\,5}\,{\color {OliveGreen}-\,6}\,)\,+\,\cdots ]\\\\\ &=&\ 1\,+&[\,0\,+\,0\,+\,0\,+\,0\,\cdots ]\ \;\\4s\ &=&\ 1\ \,\;\end{smallmatrix}}$

因此，_s_ = 1⁄4，如右圖所示。

儘管 1 − 2 + 3 − 4 + … 沒有通常意義的和，等式 _s_ = 1 − 2 + 3 − 4 + … = 1⁄4 卻可被賦予另外一種意義。發散級數之「和」的一種普遍定義被稱為一種求和法或可和法 —— 通常是對於符合特定條件的一類級數可求和。求和法有許多種（部分將在下文中有所描述），這些方法跟普通求和也許有著一些共同的特性，例如：

1. **線性**：設 **A**Σ 為一種級數求和法。如果對於 **A**Σ 可定義其上的那些序列，**A**Σ 是個線性泛函的話，則簡單地稱 **A**Σ 是線性的。也就是說，對於序列 _r_, _s_ 和純量 _k_，有 **A**Σ(_k r_+_s_)=_k_ **A**Σ(_r_)+**A**Σ(_s_)。
2. **穩定性**：如果 _a_ 是一個初項為 _a_0 的序列，設 _a_\* 為 _a_ 去掉初項後的序列，即對於一切 n 有 _a_\*n=an+1，那麼 **A**Σ(_a_) 有定義若且唯若 **A**Σ(_a_\*) 有定義。而且，**A**Σ(_a_)=_a_0 + **A**Σ(_a_\*)。

因此，以上的計算實際上證明的是下面的內容：給出任意的線性且穩定的可和法，並能對級數 1 − 2 + 3 − 4 + …求和，則結果必為 1⁄4。此外，由於：

　
: : ${\begin{smallmatrix}2s&=&\!&(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )\;\;\;&+\quad \quad \ &(\,1\,-\,2\,+\,3\,-\,4\,+\,\cdots )\quad \;\;\;\;\;\\\\\ &=&1\,+&(\,-\,2\,+\,3\,-\,4\,+\,\cdots )\quad \,&+\,1\,-\,2\,+&(\,3\,-\,4\,+\,5\,-\,\cdots )\qquad \ \;\;\;\;\,\\\\\ &=&0\,+&(\,(\,-\,2\,+\,3\,)\,+\,(\,3\,-\,4\,)&+\quad \quad \ &(\,-\,4\,+\,5\,)\,+\,(\,5\,-\,6\,)\,+\,\cdots )\\\\{\frac {1}{2}}&=&\!&\ \ \ 1\,\quad -\quad 1&+\quad \quad \ &\ \;1\quad -\quad 1\quad \cdots \end{smallmatrix}}$

故此方法也一定能對格蘭迪級數求和，並得結果為 $1-1+1-1+\cdots ={\begin{matrix}{\frac {1}{2}}\end{matrix}}$

### 柯西乘積

1891 年，恩納斯托・切薩羅在他的一篇論文中指出有可能將發散級數嚴謹地納入微積分學，並寫道：

> 已可寫出
> 
> 　
> : $(1-1+1-1+\cdots )^{2}=1-2+3-4+\cdots $
> 
> 並斷定兩邊均等於 1⁄4。
> 
> 

對切薩羅而言，這個等式是他前一年發表的一個定理的應用，該定理可說是在歷史上關於可求和發散級數的第一個定理。關於此求和法的詳細內容請見下文；其中心思想是：1 − 2 + 3 − 4 + …是 1 − 1 + 1 − 1 + …對 1 − 1 + 1 − 1 + …的柯西乘積。

兩個無窮級數的柯西乘積可被定義，即使在它們都發散的時候。例如，若 Σ_a_n= Σ_b_n= Σ(−1)n，柯西乘積的項由有窮對角線求和的方式給出：

　
: ${\begin{array}{rcl}c_{n}&=&\displaystyle \sum _{k=0}^{n}a_{k}b_{n-k}=\sum _{k=0}^{n}(-1)^{k}(-1)^{n-k}\\[1em]&=&\displaystyle \sum _{k=0}^{n}(-1)^{n}=(-1)^{n}(n+1)\end{array}}$

積級數為：

　
: $\sum _{n=0}^{\infty }(-1)^{n}(n+1)=1-2+3-4+\cdots $

所以，如果有一種求和法可以保持兩個級數的柯西乘積，並能得出 $1-1+1-1+\cdots ={\tfrac {1}{2}}$ 的結果，那麼它也能夠求出 $1-2+3-4+\cdots ={\tfrac {1}{4}}$ 。由前一節的結果可知，當方法是線性、穩定並保持柯西乘積的時候，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_| < 1 時，有許多方式去驗證歐拉的下列等式正確：

　
: $1-2x+3x^{2}-4x^{3}+\cdots ={\frac {1}{(1+x)^{2}}}$

可以對右邊作泰勒展開，或使用正規的多項式長除。從左方開始，可採用上文的一般啟發式，並嘗試乘以兩次 (1+_x_)，或對幾何級數 1 − _x_ + _x_2 − …求平方。歐拉似乎也提出可以對後者級數的每項求導。

以現代的觀點看，級數 1 − 2_x_ + 3_x_2 − 4_x_3 + … 並沒有定義一個在 _x_ = 1 時的函數，因此不能簡單地把值代入到其相應的表達式。不過由於此級數在 |_x_| < 1 時定義了一個函數，所以仍可取 _x_ 趨近於 1 時的極限，而這就是阿貝耳和的定義：

　
: $\lim _{x\rightarrow 1^{-}}\sum _{n=1}^{\infty }n(-x)^{n-1}=\lim _{x\rightarrow 1^{-}}{\frac {1}{(1+x)^{2}}}={\frac {1}{4}}$

### 歐拉與波萊爾

歐拉對該級數還使用了另外一種技巧：歐拉轉換，這是他自己的發明。要計算歐拉轉換，首先要有可形成交錯級數的正項序列 —— 在此情況下為 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 + …的歐拉轉換便可定義為：

　
: ${\frac {1}{2}}a_{0}-{\frac {1}{4}}\Delta a_{0}+{\frac {1}{8}}\Delta ^{2}a_{0}-\cdots ={\frac {1}{2}}-{\frac {1}{4}}$

用現代術語來說，1 − 2 + 3 − 4 + …是歐拉可求和且其值為 1⁄4。

歐拉可求和也蘊涵了另一種可求和性。將 1 − 2 + 3 − 4 + …表示為：

　
: $\sum _{k=0}^{\infty }a_{k}=\sum _{k=0}^{\infty }(-1)^{k}(k+1)$

就有了相關的處處收斂級數：

　
: $a(x)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}(k+1)x^{k}}{k!}}=e^{-x}(1-x)$

因此 1 − 2 + 3 − 4 + … 的波萊爾和為：

　
: $\int _{0}^{\infty }e^{-x}a(x)\,dx=\int _{0}^{\infty }e^{-2x}(1-x)\,dx={\frac {1}{2}}-{\frac {1}{4}}$

### 尺度分離

賽切夫與 Woyczyński 只通過兩個物理原理便得出了 1 − 2 + 3 − 4 + … =1⁄4，這兩個原理分別是：無窮小鬆弛（_infinitesimal relaxation_）與尺度分離（_separation of scales_）。為求表達準確，這些原理促使了他們去定義一系列的「_φ_- 求和法」，所有這些方法都可以將級數求和得 1⁄4：

* 如果 φ(_x_) 是一個函數，其一、二階導數在 (0, ∞) 上是連續且可積的，有 φ(0) = 1 ，並且 φ(_x_) 與 _x_φ(_x_) 在 +∞時的極限均為 0，則：

　
: : $\lim _{\delta \downarrow 0}\sum _{m=0}^{\infty }(-1)^{m}(m+1)\varphi (\delta m)={\frac {1}{4}}$

該結果推廣了阿貝耳求和，當取 _φ_(_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 − 2n + 3n − 4n + …。對正整數 _n_ 來說，此級數有下列的阿貝耳和：

　
: $1-2^{n}+3^{n}-\cdots ={\frac {2^{n+1}-1}{n+1}}B_{n+1}$

其中 _B_n 是伯努利數。對大於 0 的偶數 _n_，則化約為：

　
: $1-2^{2k}+3^{2k}-\cdots =0$

後一個和成為尼爾斯・亨利克・阿貝爾特別嘲笑的物件，在 1826 年時他說：

　
: 「發散級數純粹是魔鬼的工作，膽敢去找到任何證明它們的行為都是羞恥的。如果用到它們，可以從中獲得想要的東西；同時也是它們，製造了如此多的不愉快與如此多的悖論。試問能想到比下面內容更令人驚恐的東西嗎：

　
: 0 = 1 − 2n + 3n − 4n + etc.

　
: 其中，_n_ 為正數。這是一個笑料，朋友。」

切薩羅的老師歐仁・查理・卡塔蘭也輕視發散級數。在卡塔蘭的影響下，切薩羅早期提出 1 − 2n + 3n − 4n + …的「習用式」是「荒謬的等式」；而在 1883 年，切薩羅表明了當時的一個典型看法：這些公式是錯的，不過在某些場合在形式上是有用的。最後，在他 1890 年的書《_Sur la multiplication des séries_》中，切薩羅從定義開始採用了一個現代的做法。

此級數在 _n_ 為非整數值的情況亦有所研究；這產生了狄利克雷 η 函數。歐拉研究 1 − 2 + 3 − 4 + …相關級數的部分動機是 η 函數的函數方程式，這直接導向了黎曼 ζ 函數的函數方程式。歐拉在正偶數（包括在巴塞爾問題中）時找到這些函數值的建樹已讓他聞名，他也試圖找到正奇數（包括在阿培里常數中）時的值，但這個問題直到今天仍是難以解決的。η 函數通過歐拉的方法解決會比較簡單，因為它的狄利克雷級數是處處阿貝耳可求和；而 ζ 函數的狄利克雷級數則非常難以對發散的部分求和。例如，1 − 2 + 3 − 4 + …在 η 函數中的相似級數是非交錯級數 1 + 2 + 3 + 4 + …，該級數在現代物理學上有很深的應用，不過需要非常強的方法才能求和。

## 參見

* 伯努利數
* 黎曼 ζ 函數
* 泰勒級數
* 泛函方程式

## 註釋

## 參考來源

### 書目