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

Visual demonstrations

The series + + + + ⋯ lends itself to some particularly simple visual demonstrations because a square and a triangle both divide into four similar pieces, each of which contains the area of the original.

In the figure on the left,{{sfnm 3\left(\frac14+\frac{1}{4^2}+\frac{1}{4^3}+\frac{1}{4^4}+\cdots\right) = 1.

Archimedes' own illustration, adapted at top, was slightly different, being closer to the equation

\sum_{n=1}^\infty \frac{3}{4^n}=\frac34+\frac{3}{4^2}+\frac{3}{4^3}+\frac{3}{4^4}+\cdots = 1. See below for details on Archimedes' interpretation.

The same geometric strategy also works for triangles, as in the figure on the right:{{sfnm

Proof by Archimedes

Archimedes encounters the series in his work Quadrature of the Parabola. He finds the area inside a parabola by the method of exhaustion, and he gets a series of triangles; each stage of the construction adds an area times the area of the previous stage. His desired result is that the total area is times the area of the first stage. To get there, he takes a break from parabolas to introduce an algebraic lemma:

Archimedes proves the proposition by first calculating \begin{array}{rcl} \displaystyle B+C+\cdots+Z+\frac{B}{3}+\frac{C}{3}+\cdots+\frac{Z}{3} & = &\displaystyle \frac{4B}{3}+\frac{4C}{3}+\cdots+\frac{4Z}{3} \[1em] & = &\displaystyle \frac13(A+B+\cdots+Y). \end{array} On the other hand, \frac{B}{3}+\frac{C}{3}+\cdots+\frac{Y}{3} = \frac13(B+C+\cdots+Y).

Subtracting this equation from the previous equation yields B+C+\cdots+Z+\frac{Z}{3} = \frac13 A and adding A to both sides gives the desired result.

Today, a more standard phrasing of Archimedes' proposition is that the partial sums of the series 1 + + + ⋯ are: 1+\frac{1}{4}+\frac{1}{4^2}+\cdots+\frac{1}{4^n}=\frac{1-\left(\frac14\right)^{n+1}}{1-\frac14}.

This form can be proved by multiplying both sides by 1 − and observing that all but the first and the last of the terms on the left-hand side of the equation cancel in pairs. The same strategy works for any finite geometric series.

The limit

Archimedes' Proposition 24 applies the finite (but indeterminate) sum in Proposition 23 to the area inside a parabola by a double reductio ad absurdum. He does not quite take the limit of the above partial sums, but in modern calculus this step is easy enough: \lim_{n\to\infty} \frac{1-\left(\frac14\right)^{n+1}}{1-\frac14} = \frac{1}{1-\frac14} = \frac43.

Since the sum of an infinite series is defined as the limit of its partial sums, 1+\frac14+\frac{1}{4^2}+\frac{1}{4^3}+\cdots = \frac43.

Notes

References

• {{cite journal
• {{cite book | orig-year = 1897 | access-date = 2007-03-22 | archive-date = 2012-03-20 | archive-url = https://web.archive.org/web/20120320124529/http://www.math.ubc.ca/~cass/archimedes/parabola.html | url-status = dead | access-date = 2007-03-22 | archive-url = https://web.archive.org/web/20070307141104/http://www.cs.xu.edu/math/math147/02f/archimedes/archpartext.html | archive-date = 7 March 2007
• {{cite journal
• {{cite book
• {{cite book
• {{cite book | url-access = registration
• {{cite journal

References

1. This is a quotation from the English translation of {{harvnb. Heath. 1953
2. This presentation is a shortened version of {{harvnb. Heath. 1953
3. Modern authors differ on how appropriate it is to say that Archimedes summed the infinite series. For example, {{harvnb. Shawyer. Watson. 1994. Stein. 1999