Can infinitely many pieces have a finite total area? The Greeks approached this question through geometric exhaustion. Archimedes proved that a parabolic segment has four-thirds the area of its largest inscribed triangle. Here we explain the geometry with modern notation, clearly distinguishing ancient arguments from modern illustrations.
1. Zeno and infinitely many steps
Travel half a unit, then a quarter, then an eighth, and so on. The infinite subdivision raises Zeno’s famous question: can infinitely many stages have a finite total?
After n steps the distance left is 1/2n. It tends to zero, although no finite step reaches the endpoint.
2. A square proves a geometric series
Partition a unit square into vertical strips of widths 1/2, 1/4, 1/8, … . The strip areas have exactly these values.
Since the unfilled strip has area 1/2n, its area approaches zero. The same argument gives the general geometric sum when 0 < q < 1:
The colored-square construction and modern series notation are teaching devices, not a reconstruction of a particular surviving ancient proof.
3. Archimedes’ quadrature of the parabola
Consider the region between y = 1 − x² and the chord from (−1,0) to (1,0). Its largest inscribed triangle has vertices (−1,0), (0,1), (1,0), and area T = 1.
Why does every generation shrink by a factor of four?
The next triangle on the left has vertices (−1,0), (0,1), and (−1/2,3/4). The determinant formula gives area 1/8. The symmetric right triangle also has area 1/8, so their combined area is T/4.
For any two points of the parabola with x-coordinates a and b, the tangent parallel to their chord occurs at x = (a+b)/2. A determinant calculation gives the inscribed triangle area:
Halving the interval [a,b] produces two child triangles, each with 1/8 of its parent’s area. Thus their combined area is 1/4 of the parent’s area. This repeats at every stage.
Since T = 1 in our example, the curved segment has area 4/3. Modern integration confirms that the integral of 1 − x² from −1 to 1 equals 4/3.
4. Why exhaustion proves the result
Archimedes needed more than an attractive pattern: he had to show that the remaining curved slivers could have arbitrarily small total area. Let Sn denote the first n+1 generations. The finite geometric sum is
Each remaining parabolic segment fits inside a parallelogram of twice the area of its largest inscribed triangle. Thus, after n generations, the total leftover area Rn obeys:
The right side tends to zero, proving that the triangles exhaust the parabolic segment. This is a modern remainder-bound presentation of the geometric reasoning.
5. Another area series: thirds
A rectangle of area 1/2 can be partitioned into strips with areas 1/3, 1/9, 1/27, … by taking two-thirds of what remains at each step. Hence
6. Why the harmonic series behaves differently
Not every infinite collection of positive areas has a finite sum. Group the harmonic series as 1; 1/2; (1/3 + 1/4); (1/5 + ⋯ + 1/8); and so on. Every group after the first totals at least 1/2. Thus the partial sums grow without bound. Rectangles of width 1 and heights 1, 1/2, 1/3, … have unbounded combined area.
7. From Greek geometry to calculus
The method of exhaustion anticipates integration: approximate a curved region with simple shapes, then control the error. The Greeks did not write modern limit or integral notation, but their finite geometric comparisons could establish exact areas.
Discovery problems
1. Give a geometric proof that 1/3 + 1/9 + 1/27 + ⋯ = 1/2.
2. For a starting triangle of area T, find the sum of the first n+1 Archimedean generations and bound the remainder.
3. For the segment under y = 9 − x² above the x-axis, find the largest inscribed triangle area and then the curved area. Check by integration.
4. Show geometrically by grouping that the harmonic series diverges, and explain why this does not contradict the square partition.
Solutions (click to reveal)
Solution 1
Begin with a rectangle of area 1/2. Take two-thirds of its area, then two-thirds of the remainder, repeatedly. The removed areas are 1/3, 1/9, 1/27, … . The remainder after n steps is (1/2)(1/3)n, which tends to zero.
Solution 2
Sn = (4T/3)(1 − 4−(n+1)). The unfilled area is at most 2T/4n+1, by the enclosing-parallelogram bound. It tends to zero.
Solution 3
The endpoints are (−3,0), (3,0) and the apex is (0,9). The triangle area is T = (1/2)(6)(9) = 27. Archimedes gives 4T/3 = 36. Integrating 9 − x² from −3 to 3 also gives 36.
Solution 4
Group 1/2; (1/3+1/4); (1/5+⋯+1/8); and so on. Every group contains twice as many terms as the previous, each at least half the preceding minimum, so each group totals at least 1/2. The area grows without bound, unlike the square partition whose total is at most 1.
Historical sources
- Archimedes, Quadrature of the Parabola, especially Propositions 21–24.
- Euclid, Elements, Book XII.
- Thomas L. Heath, The Works of Archimedes (1897 translation and commentary).
Historical note: The modern algebra, colored diagrams, and integration checks are explanatory additions, not verbatim ancient arguments.
Archimedes used geometry to evaluate infinite sums long before the development of calculus. Centuries later, mathematicians discovered remarkable geometric and analytic methods for evaluating more complicated series. Explore one such example in our article on the Basel problem and its solution using a double integral .
The relationship between infinity and geometry continues to produce surprising results. For example, a surface can have infinite area while enclosing a finite volume. Discover this phenomenon in Gabriel’s Horn .
Leave a Reply