1/4 + 1/16 + 1/64 + 1/256 + ⋯

無限級数の和とその視覚的証明

数学の世界では、さまざまな級数が考えられていますが、その中でも特に注目されるのがアルキメデスによって初めて計算された無限級数の一つで、形は次のようになります。

$$\frac{1}{4} + \frac{1}{16} + \frac{1}{64} + \frac{1}{256} + \cdots$$

この級数は、初項が $\frac{1}{4}$ であり、公比も $\frac{1}{4}$ という等比数列を形成しており、その和は次のように求まります。

$$\frac{\frac{1}{4}}{1 - \frac{1}{4}} = \frac{1}{3}$$

この数式は、アルキメデスの業績として評価されており、彼は紀元前250年から200年の間にこの級数について詳しく考察しました。

視覚的証明

この級数の和を示す際、視覚的に理解させる方法が非常に効果的です。正方形や三角形を用いて、元の図形が相似な4つの部分に分割され、それぞれの部分の面積が元の面積の $\frac{1}{4}$ になることを利用します。

例えば、大きな正方形の面積が1と仮定した場合、一番大きい黒い正方形の面積は $(\frac{1}{2})^2 = \frac{1}{4}$ です。この後、同様に、2番目の黒い正方形の面積は $\frac{1}{16}$、3番目は $\frac{1}{64}$ となります。こうした面積を全て合計することで、再び $\frac{1}{4} + \frac{1}{16} + \frac{1}{64} + \cdots$ という形になるのです。この計算は、グレーや白の正方形を加えたときの面積としても同じになります。これにより、以下の等式が成立することがわかります。

$$3\left(\frac{1}{4} + \frac{1}{4^2} + \frac{1}{4^3} + \cdots\right) = 1$$

アルキメデスの図形

アルキメデスはこの級数を別の視点で表現しました。同じ幾何学的手法を用いて、三角形に対しても同様の操作が可能です。例えば、大きな三角形の面積を1と設定すると、最も大きい黒い三角形の面積は $\frac{1}{4}$ になります。これを繰り返していくことで、最終的に自己相似な構造を持つ図形、すなわちシェルピンスキーのギャスケットが形成されることが分かります。

アルキメデスの理論

アルキメデスは彼の著作『放物線の求積』の中で、この級数に言及しています。彼は放物線の領域を求める過程で、三角形に関する級数を導出し、その一部の面積が前の段階の $\frac{1}{4}$ 倍になる様子を示しました。彼の理論によって、全体の面積は最初の面積の $\frac{4}{3}$ に達することが予測されます。

彼は次の命題を定義しました。

$$A + B + C + D + \cdots + Z + \frac{1}{3} Z = \frac{4}{3}A$$

ここで、$A$ が最大の面積であり、それ以外は前の項の $\frac{1}{4}$ 倍であることを示しました。アルキメデスはこの命題を示すために、各段階の計算を詳細に進めていきます。

最後に、アルキメデスの命題26では、有限級数の和が放物線内部での領域に適用されることが説明されています。踏み込んだ数学研究において、彼の発見は小さな数に対して様々な形での反復に寄与しました。

限界と証明

級数の和は、その部分和の極限として定義されます。アルキメデスの考え方を現代の数学に応用すれば、次のような形に表現できます。

$$lim_{n\to \infty}\frac{1 - \left(\frac{1}{4}\right)^{n+1}}{1 - \frac{1}{4}} = \frac{4}{3}$$

これにより、最終的に以下が成り立ちます。

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

この証明により、任意の有限幾何級数にも同様の計算手法が適用できることが示されました。アルキメデスの素晴らしい理論は、現代数学へと受け継がれる重要な基盤となっています。

• ---

参考文献

• - アルキメデス著『放物線の求積』
• - その他文献

もう一度検索