1−2+3−4+…
表示
1−2+3−4+… は、無限級数の一つで、項番号と同じ自然数が各項に現れる交項級数として以下の式で表される。
その部分和は 1, −1, 2, −2, 3, −3, … と一定の値に近づくことはないので、この級数は発散するというのが一般的な解釈である。しかし計算方法によってはこの級数が収束すると考えることもでき、その場合の収束値は 1/4 である。これは18世紀にレオンハルト・オイラーによって発見された。その後エミール・ボレルらによって厳密な研究が行われ、その他の部分和が収束しない級数︵1−1+1−1+… など︶の収束値についても考察がなされた。
白丸をプラス、赤丸をマイナスとしたとき4つの級数の和が1になるこ との説明。線で結ばれた白と赤の丸が相殺しあい、緑丸1つが残っている
以下の議論は単なるヒューリスティクスであり、現代的な観点からは厳密な証明とは認められない。
S = 1 − 2 + 3 − 4 + 5 − … とおき、4S を計算する。
4S = (1−2+3−4+5−…)+(1−2+3−4+5−…)+(1−2+3−4+5−…)+(1−2+3−4+5−6+…)
= (1−2+3−4+…)+1+(−2+3−4+5−…)+1+(−2+3−4+5−…)+1−2+(+3−4+5−6+…)
= 1+(1−2−2+3)+(+3−4−4+5)+(−2+3+3−4)+(−4+5+5−6)+…
= 1
よって、S = 1/4 である。
なお
2S = (1−2+3−4+5−…)+(1−2+3−4+5−6+…)
= 1+(−2+3−4+5−…)+1−2+(+3−4+5−6+…)
= 0+(−2+3)+(+3−4)+(−4+5)+(+5−6)+…
= 1−1+1−1+…
S = 1/2 なので、1−1+1−1+… = 1/2 となる。
(1−1+1−1+…)2 = 1−2+3−4+…, 1−1+1−1+… = 1/2 であることを利用して 1−2+3−4+… = 1/4 を証明する方法がある。 1−1+1−1+… は公式 ︵右辺のマクローリン展開とも考えられる︶ に形式的に x= 1 を代入したものと考えることにする︵ただし本来この式は −1 < x<1の範囲でしか成り立たない︶。 またこの式の両辺を xで微分して −1 をかけると となる。ここで形式的に x= 1 を代入すると 1−2+3−4+… = 1/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 以外の全ての整数を取りうる。したがって 1 − 2 + 3 − 4 + … は、部分和が一定の値に近づかず、発散する。︵正または負の無限大への発散ではなく、振動である。︶収束すると考えた場合の計算[編集]
(1−1+1−1+…)2 = 1−2+3−4+…, 1−1+1−1+… = 1/2 であることを利用して 1−2+3−4+… = 1/4 を証明する方法がある。 1−1+1−1+… は公式 ︵右辺のマクローリン展開とも考えられる︶ に形式的に x= 1 を代入したものと考えることにする︵ただし本来この式は −1 < x<1の範囲でしか成り立たない︶。 またこの式の両辺を xで微分して −1 をかけると となる。ここで形式的に x= 1 を代入すると 1−2+3−4+… = 1/4 を得る。これらの他にも収束値を求める方法はいくつか知られている。