1+2+3+4+…

自然数すべての総和  は、その -次の部分和
: \sum_{k=1}^n k=\frac{n(n+1)}{2}
が三角数によって与えられる無限級数。これは  を無限大に飛ばすとき際限なく増加するため、この級数は（正の無限大に）発散し、通常の意味での「和」を持たない。

一見するとこの級数が意味のある値を持つことは全くないように思われるが、これに数学的に意味のある値を結びつける方法があり、そうして得られた値は複素解析や、物理学における場の量子論、特に弦理論などの分野において応用がある。様々な総和法を用いることで、上記のごとき発散級数にさえ有限な数値を**割り当てる**ことができ、特にゼータ関数正規化やラマヌジャン総和法では件の級数に  を値として割り当てる。この事実をよく知られた公式
:1+2+3+4+\dotsb =-\frac{1}{12}
として式に表す。モンスター群のムーンシャイン現象に関するモノグラフではこの等式を「自然科学において最も注目すべき公式の一つ」と評した。

## 部分和について

級数  の部分和は順に  と続き、第  部分和は簡単な公式
:\sum_{k=1}^n k=\frac{n(n+1)}{2}
によって与えられる。この等式はピタゴラス学派によって紀元前6世紀ごろには早くも知られていた。この形で与えられる数は、各項を点を三角形状に並べることで数えられることから、三角数と呼ばれる数である。

三角数からなる無限数列は  に発散するから、定義により無限級数  もまた  に発散する。これが発散することは「項が  に収束しないならば級数は発散する」というの単純な帰結でもある。

### ゼータ関数の部分和
リーマンゼータ関数を部分和にした

P_s(n)=\sum_{k=1}^nk^{-s}=2^s\pi^{s-1}(\sin\frac{\pi s}2)\Gamma(1-s)\zeta(1-s)

を複素平面上にプロットした時、sの虚部に対してnが十分大きくなると対数螺旋のような軌跡を描く。その軌跡の中心は元となったゼータ関数の値に近似していることが観測されており、sの実部を-1として虚部を十分小さくした時にこの方法でP_s(n)を観測するとに近似する(函数等式)。

## 総和可能性について
様々知られた古典的な発散級数の中でも  は有限値へ持ち込むことが比較的難しい。発散級数に有限な数値を割り当てる総和法は多数存在するが、それらの中には総和法としての強さが比較可能なものがある。例えば、チェザロ総和法は緩やかに発散するグランディ級数  を  に総和することはよく知られているが、アーベル総和法はグランディ級数を  に総和するのみならず、より扱いの難しい級数  までも  に総和することができる。

これらの級数と異なり、 はチェザロ総和可能でもアーベル総和可能でもない。これらの総和法が適用できるのは収束級数と振動級数に対してのみであり、 に発散する級数については有限な値を生み出すことはできないのである。そこでより発展的な総和法が必要になるのであるが、それは例えばゼータ関数正規化やラマヌジャン総和法である。だいたいそういった方法による経験論を用いて、この級数の値が  であると論ずることができる。

### ヒューリスティックな説明

ラマヌジャンは彼のノートブックの8章において "" の導出を二種類の方法で与えている。厳密さをさておいて簡単に述べれば以下のようなことになる。

考察の第一の鍵は、正項級数  が交項級数  にきわめてよく似ていることである。後者の級数もまた発散するのであるが、扱いは極めて容易で、これに値を割り当てる古典的な総和法がいくつか存在し、それは18世紀にはすでに発見されていた。

さて級数  を級数  に変形するのに、第二項から  を引き、第四項から  を引き、第六項から  を引き……、という具合にやって行けば、引かれる総量は  でこれはもとの級数の  倍である。これを少し代数学的に書いてみよう。この級数の「和」となるべきものがあるとしてそれを  と呼ぶことにすると、これを  倍してもとの式から引けば
:\begin{alignat}{7}
c &{}={} &1+2 & &{}+3+4 & &{}+5+6+\cdots \\
4c &{}={} &4& &{}+8 & &{}+12+\cdots \\
-3c &{}={} &1-2 & &{}+3-4 & &{}+5-6+\cdots \\	
\end{alignat}
を得る。

考察の第二の鍵は、交項級数  が  の形式冪級数展開に  と代入したものになっていることである。ラマヌジャンのノートに従えば
:-3c=1-2+3-4+\cdots=\frac{1}{(1+1)^2}=\frac{1}{4}
の両辺を  で割って、 を得る。

一般論で言えば、無限級数を（特に発散級数を）有限和と同様のものであるかのように扱うことは危険である。例えば発散級数に対してその任意の位置に無数の  を挿入することでさえ、自己矛盾した結果を導き得る（まして他と整合する結果であることをあらかじめ望むべくもない）。特に、 とした手順は、単に加法単位元の基本性質のみで正当化することができるものではないのである。さらに極端な例として、級数の先頭にたった一つ  を付け加えるだけで矛盾した結果を導くことができることさえある。

この状況を改善して  の挿入可能な場所を制限する一つの方法は、適当な関数に従って配置することによって各項のつながり方を保つことである。級数  における各項  は単なる数であるが、ここで項  を複素変数  に関する関数  へ昇華するならば、項が足し合わされるというようなことだけについては保証することができるようになる。そうして得られた級数はより厳密な取扱いができるようになるし、そのあとで変数  を  に特殊化することもできる。こういった手法を形にしたものがゼータ関数正規化である（後述）。

### ゼータ関数正規化

**ゼータ関数正規化**  において、級数 \scriptstyle \sum_{n=1}^\infty n は級数 \scriptstyle \sum_{n=1}^\infty n^{-s} に置き換えられる。後者の級数はディリクレ級数の一例である。複素変数  の実部が  より大きいときこのディリクレ級数は収束し、その和はリーマンゼータ関数  に等しい。一方、実部が  以下のときこのディリクレ級数は発散し、特に級数  は  と置いたものだから、 は発散する。リーマンゼータ関数を導入するメリットは、そうすれば  に関する解析接続によって級数の収束領域の外側まで矛盾なく定義することができることにある。そうして、級数  のゼータ関数正規化された「和」を  と定義するのである。

ところで、 を証明する方法はいくつか知られている。一つの方法はオイラーの論法に沿ったもので、リーマンゼータ関数と  との間の関係を用いる。このイータ関数は交代ディリクレ級数によって定義されるもので、故にこの方法は古き経験論的方法をなぞるものである。両ディリクレ級数が収束する領域において、等式
:
\begin{alignat}{8}
\zeta(s) &{}={} &1^{-s}+2^{-s} & &{}+3^{-s}+4^{-s} & &{}+5^{-s}+6^{-s}+\cdots & \\
2\cdot2^{-s}\zeta(s) &{}={} &2\cdot2^{-s} & &{}+2\cdot4^{-s} & &{} +2\cdot6^{-s}+\cdots & \\
\left( 1-2^{1-s} \right) \zeta (s) &{}={} &1^{-s} -2^{-s} & &{}+3^{-s}-4^{-s} & &{}+5^{-s}-6^{-s}+\cdots &=\eta(s) \\	
\end{alignat}
が成り立ち、この等式 (1-2^{1-s} )\zeta (s)=\eta(s) は、上記の級数が発散する領域の *s* に対しても、解析接続によって延長すれば保たれる。故に  を代入して  を得るが、このイータ関数はこの級数を定義するアーベル和に等しいから  は容易に計算できる。つまり、片側極限
:-3\zeta (-1)=\eta (-1)=\lim_{x\nearrow 1} \left( 1-2x+3x^2 -4x^3 +\cdots \right) =\lim_{x\nearrow 1} \frac{1}{(1+x)^2} =\frac14
が求まって、両辺を  で割れば、 を得る。

### 平滑化漸近線

テレンス・タオは級数の平滑化によって  が得られることを指摘している。平滑化はゼータ関数正規化（複素解析を背景とする）とラマヌジャン総和法（オイラー＝マクローリンの公式の便法）とを概念的に橋渡しするものである。これは、保守的な級数変化法を直接操作する代わりに、実解析の方法論を用いるのである。

この考えは、素性の悪い  離散的級数 \scriptstyle \sum_{n=0}^N n を、よい性質  のカットオフ関数  を用いて、その滑らかな変形版 \scriptstyle \sum_{n=0}^\infty nf(n/N) で置き換える。このカットオフ関数は  に正規化されていなければならない。カットオフ関数は級数の悪い点を滑らかにするために充分に有界な導関数を持ち、級数の増加よりも早く  に減少する必要がある。便宜のため、 は滑らかで有界かつ台がコンパクトであるものと仮定する。このとき、この平滑化された和が  に漸近することが示される（ただし  は  に依存して決まる定数）。この漸近展開の定数項は  の選び方に依らないが、これが必ずしも解析接続によって得られる値  と同じであると決まっているわけではない。

### ラマヌジャン総和法
 のも  になる。ハーディへ宛てたラマヌジャンの二通目の書簡 (1913年2月27日付け) には 

 と書かれている。

ラマヌジャン総和法は、級数の部分和に対するオイラー＝マクローリンの公式の定数項だけを分離する方法である。関数  に対して、級数 \scriptstyle \sum_{k=1}^\infty f(k) の**古典ラマヌジャン和**  は
: c=-\frac{1}{2}f(0)-\sum_{k=1}^{\infty}\frac{B_{2k}}{(2k)!}f^{(2k-1)}(0)
で定義される。ここで  は  の -階導関数で  は -番目のベルヌーイ数である (, , ……)。
 とすれば *f* の一階導関数が  で残りはすべて消えるから、
:c=-\frac16 \cdot \frac{1}{2!} =-\frac{1}{12}
を得る。

矛盾が起きるのを避けるため、ラマヌジャン総和法の現代的理論では、 の高階導関数が「オイラー＝マクローリンの公式の剰余項が  に収束するのに充分な速さで減少する」という意味の「正則性」を持つことを要求する。ラマヌジャンはこの性質を暗に仮定している。この正則性を課すことによって、そのような正則な関数をとることができない  のような病的な級数にラマヌジャン総和法が適用されることは防げる。そのような級数について、ラマヌジャン和の代わりにゼータ関数正規化によって解釈されるべきである。この理由を以ってハーディは、既知の級数のラマヌジャン和を関連する級数の和を求めるのに用いるときには「厳重な注意」 を要すると述べた。

## 物理学での応用
では、弦の取り得るエネルギー準位、とくに最低エネルギー準位を計算することが試みられる。砕けた言い方をすると、時空の次元を  とするとき、弦の振動は  個の独立な量子調和振動子（各々は横波）の集まりと見ることができて、基本振動数、すなわち弦の振動数の中で最も小さいものを  とすると振動子のエネルギーにおける  番目の振動子の寄与は  と表せるので、件の級数を用いれば全ての振動数に亘る和を計算すると  が得られる。最終的には、この事実にを合わせて、ボゾン弦理論が 26 次元でないと無矛盾にならないことが導かれる。また、これに超対称性を取り入れた超弦理論は９次元（+時間1次元で計10次元）において無矛盾であることが示される。

級数  の計算は一次元のスカラー場に対するカシミール力の計算にも関わってくる。指数的カットオフ関数は級数を滑らかにするのに充分で、これは高エネルギー状態が導電性板によってブロックされないという事実を表している。この問題の空間対称性はこの展開の二次の項がキャンセルされることの原因である。残るのは定数項  であるが、この負符号はカシミール力が吸引力であるという事実を反映している。

同様の計算は 3 次元でも存在し、リーマンゼータの代わりにエプスタインゼータが用いられる。

## メディアでの扱い
の小説 *The Indian Clerk* には、ハーディとリトルウッドがこの級数について議論するシーンが出てくる。サイモン・マクバーニーの2007年の作品 *[[:en:A Disappearing Number|A Disappearing Number]]* では舞台の冒頭でこの級数が取り上げられている。

2014年1月9日、YouTube の番組 Numberphile でこの級数に関する動画が投稿され、公開から1ヶ月間で 150 万以上の再生数を獲得した。動画は 8 分間でノッティンガム大学の物理学者、が解説をしている。パディーヤは  と  から始め、最後に  を、ラマヌジャンの議論と同様に項別の引き算を用いてそれらの級数の関連性を述べている。Numberphile はノッティンガム大学の物理学者、エド・コープランドを招いた 21 分の動画も制作しており、アーベル和として  となること、 として  となることについて、より詳細に解説している 。
後日、最初の動画が厳密性に欠けているという批判があり、パディーヤは彼のウェブページで、動画の中で行った操作と実際に行われている  なディリクレ級数に対する解析接続との関係についての解説を書いている。
ニューヨーク・タイムズの Numberphile の動画に関する記事で、数学者のエドワード・フレンケルは次のようにコメントしている。「*この計算は数学界における最高の秘密の一つだろう。外部の人間は誰もそれについて知らないのだ* 」。

## 脚注

### 注釈

### 出典

## 参考文献
;数学関連
*
*
*
*
*
*
*
*
*
**翻訳：
*
*
*
;物理学関連
*
*
;一般書・小説
*
*

## 関連文献
*
* See p.&nbsp;293.
*
*
*

## 外部リンク
*This Week's Finds in Mathematical Physics (Week 124), (Week 126), (Week 147), (Week 213)
**Euler’s Proof That 1 + 2 + 3 + · · · = −1/12 - By John Baez
**
*The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation by Terence Tao
*A recursive evaluation of zeta of negative integers by Luboš Motl
**Sum of Natural Numbers (second proof and extra footage) オイラーの方法の解説がある。
**What do we get if we sum all the natural numbers? response to comments about video by Tony Padilla
**Related article from New York TImes
*Divergent Series: why 1 + 2 + 3 + · · · = −1/12 アリゾナ大学の Brydon Cais による