1−2+4−8+…

From Wikipedia, the free encyclopedia

数学において、1 2 + 4 8 + ...は項が連続する2の冪で符号が交互に繰りかえす無限級数である。等比数列としては、初項 1 と公比 -2 で特徴付けられる。

これは実数の級数として発散するので、普通の意味では和を持たない。もっと広く解釈すると、この級数は一般化された和 1/3 をもつ。

ゴットフリート・ライプニッツは、早くも1673年に、発散する交代級数である1 2 + 4 8 + 16 ...を考察した。左または右で減算することによって、正または負の無限大が得られるので、どちらの答えも誤りであり、全体としては有限であるべきだ、と彼は主張した。

「さて、もしその2つのどちらも不可能であるか、またはむしろその2つのどちらが可能であるかを決めることができないならば、普通に考えて中間を選ぶ。そして、全体は有限の量に等しい。」

ライプニッツは、この級数がを持つことを完全には断言しなかったが、メルカトルの手法を用いることにより、⅓ に収束するという仮説を確かに推測した[1] 。ある級数が、和として実際に足し合わせることなしに、何らかの有限量と等しくなるという姿勢は、18世紀にはよくあることだったが、現代数学においては全く注目されていない[2]

クリスティアン・ヴォルフが、1712年半ばにライプニッツのグランディ級数に対する扱いを読んだ後[3]、ヴォルフはその解法にとても喜び、算術平均の手法を 1 2 + 4 8 + 16 ... のような他の級数にも拡張しようとした。手短に言うと、この級数の部分和を最後から2番目の項の関数として表現すると、 (4m + 1)/3 または (4n + 1)/3 を得る。これらの値の平均は (2m 2n + 1)/3 であり、無限大において m = n であると仮定すれば、級数の値として 1/3 が得られる。ライプニッツは自分の解法をこのように拡張することはできないだろうと直感し、ヴォルフの考えは面白いがいくつかの理由で無効であると返事を書いた。となりあった部分和の算術平均はどんな値にも収束せず、すべての有限の場合に対して n = 2m であって n = m ではない。一般に、和をもつ級数の項は0に減少しなければならない。1 1 + 1 1 + ... でさえそのような級数の極限として表現できるのだ。ライプニッツはヴォルフに、考え直して「科学と彼自身にとって価値あるものを生み出す」("might produce something worthy of science and himself"[4])ように助言した。

現代的手法

脚注

参考文献

Related Articles

Wikiwand AI