The Quadrature of the Parabola

"The Quadrature of the Parabola" is a treatise on geometry, written by Archimedes in the 3rd century B.C. Written as a letter to his friend Dositheus, the work presents 24 propositions regarding parabolas, culminating in a proof that the area of a parabolic segment (the region enclosed by a parabola and a line) is 4/3 that of a certain inscribed triangle.

The proof uses the method of exhaustion. Archimedes dissects the area into infinitely many triangles whose areas form a geometric progression. He computes the sum of the resulting geometric series, and proves that this is the area of the segment. This represents the most sophisticated use of the method of exhaustion in ancient mathematics, and remained unsurpassed until the development of integral calculus in the 17th century.

Main theorem

A parabolic segment is the region bounded by a parabola and line. To find the area of a parabolic segment, Archimedes considers a certain inscribed triangle. The base of this triangle is the given chord of the parabola, and the third vertex is chosen so that the three vertical lines (parallel to the axis of the parabola) are equally spaced. The theorem is that the area of the parabolic segment is 4/3 that of the inscribed triangle.

tructure of the text

Archimedes gives two proofs of the main theorem. The first uses abstract mechanics, with Archimedes arguing that the weight of the segment will balance the weight of the triangle when placed on an appropriate lever. The second, more famous proof uses pure geometry, specifically the method of exhaustion.

Of the twenty-four propositions, the first three are quoted without proof from Euclid's "Elements of Conics" (a lost work by Euclid on conic sections). Propositions four and five establish elementary properties of the parabola; propositions six through seventeen give the mechanical proof of the main theorem; and propositions eighteen through twenty-four present the geometric proof.

Geometric proof

Dissection of the parabolic segment

The main idea of the proof is the dissection of the parabolic segment into infinitely many triangles, as shown in the figure to the right. Each of these triangles in inscribed in its own parabolic segment in the same way that the blue triangle is inscribed in the large segment.

Areas of the triangles

In propositions eighteen through twenty-one, Archimedes proves that the area of each green triangle is one eighth of the area of the blue triangle. From a modern point of view, this is because the green triangle has half the width and a fourth of the height [The green triangle has half of the width of blue triangle by construction. The statement about the height follows from the geometric properties of a parabola, and is easy to prove using modern analytic geometry.] :

By extension, each of the yellow triangles has one eighth the area of a green triangle, each of the red triangles has one eighth the area of a yellow triangle, and so on. Using the method of exhaustion, it follows that the total area of the parabolic segment is given by

:$mbox\{Area\};=;T\; ,+,\; 2left(frac\{T\}\{8\}\; ight)\; ,+,\; 4left(frac\{T\}\{8^2\}\; ight)\; ,+,\; 8\; left(frac\{T\}\{8^3\}\; ight)\; ,+,\; cdots.$

Here "T" represents the area of the large blue triangle, the second term represents the total area of the two green triangles, the third term represents the total area of the four yellow triangles, and so forth. This simplifies to give

:$mbox\{Area\};=;left(1\; ,+,\; frac\{1\}\{4\}\; ,+,\; frac\{1\}\{16\}\; ,+,\; frac\{1\}\{64\}\; ,+,\; cdots\; ight)T.$

um of the series

To complete the proof, Archimedes shows that

:$1\; ,+,\; frac\{1\}\{4\}\; ,+,\; frac\{1\}\{16\}\; ,+,\; frac\{1\}\{64\}\; ,+,\; cdots;=;\; frac\{4\}\{3\}.$

The expression on the left is a geometric series—each successive term is one fourth of the previous term. In modern mathematics, the formula above is a special case of the sum formula for a geometric series.

Archimedes evaluates the sum using an entirely geometric method [Strictly speaking, Archimedes evaluates the partial sums of this series, and uses the Archimedean property to argue that the partial sums become arbitrarily close to 4/3. This is logically equivalent to the modern idea of summing an infinite series.] , illustrated in the picture to the right. This picture shows a unit square which has been dissected into an infinity of smaller squares. Each successive purple square has one fourth the area of the previous square, with the total purple area being the sum

:$frac\{1\}\{4\}\; ,+,\; frac\{1\}\{16\}\; ,+,\; frac\{1\}\{64\}\; ,+,\; cdots.$

However, the purple squares are congruent to either set of yellow squares, and so cover 1/3 of the area of the unit square. It follows that the series above sums to 1/3.

Notes

ee also

*Archimedes
*History of calculus
*Method of exhaustion
*Geometric series

References

*cite journal |title=Proof without Words: Geometric Series |author=Ajose, Sunday and Roger Nelsen |journal=Mathematics Magazine |volume=67 |issue=3 |month=June |year=1994 |pages=230 |url=http://links.jstor.org/sici?sici=0025-570X%28199406%2967%3A3%3C230%3APWWGS%3E2.0.CO%3B2-A
*Citation | first=David M. | last=Bressoud | title=A Radical Approach to Real Analysis | edition = 2nd | publisher=Mathematical Association of America | year=2006 | isbn=0883857472.
*Citation | first=C. H. | last=Edwards Jr. | title=The Historical Development of the Calculus | edtition=3rd | publisher=Springer | year=1994 | isbn=0387943137.
*cite book | last=Heath | first=Thomas L. | title=The Works of Archimedes |year=2005 | publisher=Adamant Media Corporation | id=ISBN 1402171314
*Citation | first=George F. | last=Simmons | title=Calculus Gems | publisher=Mathematical Association of America | year=2007 | isbn=0883855615.
*cite book | first=Sherman K. |last=Stein |title=Archimedes: What Did He Do Besides Cry Eureka? |publisher=Mathematical Association of America |year=1999 |id=ISBN 0883857189
*Citation | first=John | last=Stillwell | title=Mathematics and its History | year=2004 | publisher=Springer | edition=2nd | isbn=0387953361.
*cite journal |author=Swain, Gordon and Thomas Dence |title=Archimedes' Quadrature of the Parabola Revisited |journal=Mathematics Magazine |volume=71 |issue=2 |month=April |year=1998 |pages=123–30 |url=http://links.jstor.org/sici?sici=0025-570X%28199804%2971%3A2%3C123%3AAQOTPR%3E2.0.CO%3B2-Q
*Citation | first=Alistair Macintosh | last=Wilson | title=The Infinite in the Finite | publisher=Oxford University Press | year=1995 | isbn=0198539509.

External links

*cite web | last=Casselman | first=Bill | title=Archimedes' quadrature of the parabola | url=http://www.math.ubc.ca/~cass/archimedes/parabola.html Full text, as translated by T.L. Heath.
*cite web | last=Xavier University Department of Mathematics and Computer Science | title=Archimedes of Syracuse | url=http://www.cs.xu.edu/math/math147/02f/archimedes/archpartext.html Text of propositions 1–3 and 20–24, with commentary.