数学において級数 + + + + … は数学史上初めて無限級数の和が計算されたものの1つの例である。紀元前250年200年頃、アルキメデスによって、使われたShawyer and Watson p. 3.。これは初項 、公比 の等比数列なので、その和は以下のようになる。
視覚的証明
級数 + + + + … は非常に単純な視覚的証明に適している。というのも正方形や三角形は、もとの図形と相似な4つの部分に分けて、各部分の面積がもとの になるようにできるからである。
左側の図形においてNelsen and Alsina p. 74.Ajose and Nelson.、大きい正方形の面積が 1 であるとすると、最も大きい黒い正方形の面積は () = である。同様に、2番目に大きい黒い正方形の面積は であり、3番目に大きい黒い正方形の面積は である。したがって、すべての黒い正方形を足し合わせた面積は + + + … であり、これはまたグレーの正方形や白の正方形を足し合わせた面積でもある。これらの3つの領域は単位正方形を覆っているので、図から次のことがわかる。
一番上に記載した、アルキメデス自身が描写した図形Heath p.250は、左の図形とは少し異なっていて、以下の方程式の方が近い。
アルキメデスの解釈の詳細については以下を見られたい。
同じ幾何学的戦略は、右側の図にあるように、三角形に対してもうまくいくStein p. 46.Mabry.。大きい三角形の面積が 1 であれば、最も大きい黒い三角形の面積は で、あとは同様。図は全体として、大きい三角形とその上部の三角形の間で自己相似である。角の部分の3つすべてに対して同様のことをして構成すると、シェルピンスキーのギャスケットになるNelson and Alsina p.56。
アルキメデスの理論
アルキメデスは、彼の著書『放物線の求積』(The Quadrature of the Parabola) の中で、この級数について言及している。彼は持久力を要する方法で、放物線の中に領域を見つけていき、三角形に関する級数を得ている。構成の各段階で直前の段階の面積の 倍の面積が加えられる。彼は全体の面積が、最初の段階の面積の になると予想した。これを得るために、彼は放物線を一旦おいて代数的な補題を用意した。
命題23: 面積の列 A, B, C, D, … , Z が与えられていて、A が最も大きく、各々は次のものの4倍に等しいとするとこれは Heath による英訳 (p.249) を和訳したものである。、
となる。
アルキメデスはこの命題を次のように証明する。最初に以下のように計算する。
一方で
である。この方程式から前の方程式を減じると、
となり、両辺に A を加えることで望んでいた結果が得られるこれは Heath p.250 のものを短くしたものである。。
今日では、アルキメデスの命題をより標準的に言うと次のようになる。級数 1 + + + … の部分和は
である。これは両辺に 1 − を掛けて、方程式の左辺の最初と最後以外の項が対になって消えることを見れば証明できる。任意の有限幾何級数に対して同様の証明ができる。
極限 アルキメデスの命題 24 は、命題 23 における有限の（しかし不定の）和を放物線の内側の領域に二重の背理法によって適用する。彼は完全にはアルキメデスが級数を計算したということがどの程度適切なのかということに関して、現代の著者は意見が分かれている。例えば、Shawyer and Watson (p.3) は単純に彼はしたと言っている。Swain and Dence は "Archimedes applied an indirect limiting process"（アルキメデスは間接的に極限をとった）と言っている。Stein (p.45) は有限和にとどまっている。上記の部分和の極限をとっていないが、現代の微分積分学において、この段階は十分容易である。
級数の和はその部分和の極限として定義されるので、
脚注
参考文献 Page images at HTML with figures and commentary at