抛物线的求积

**對拋物線的求積**（希臘語：Τετραγωνισμὸς παραβολῆς）是古希臘數學家阿基米德的一篇幾何學論文，成文於公元前三世紀。此論文源自阿基米德寄往他的朋友多西修斯的信中（其中包括有關拋物線的 24 個命題），最終證明了拋物線與直線之間的面積是其內切三角形的面積的 $4/3$ 倍。

論文中陳述使用的是窮竭法。阿基米德將所求區域分割成無限個三角形，三角形的面積則形成了一個等比數列。阿基米德計算了這個等比數列的加和，然後證明了這個加和是拋物線圓缺的面積。此為古代數學窮竭法中最精妙的用法，直到 17 世紀積分學的發展，卡瓦列里的求積公式取代它之前，它一直是無與倫比的。

## 理論概述

此處的**弓形**是指由拋物線和直線結合的區域。為了求得弓形的面積，阿基米德考慮了一個內接確定的三角形，這個三角形的底是拋物線的弦，除弦上兩點之外的三角形第三點在拋物線上的切線平行於弦，根據命題 1（拋物線的求積），如果從第三個頂點畫一條平行於軸線的線能將弦分成相等的兩條線段，則拋物線弓形的面積是該內接三角形面積的 4/3。

## 論文結構

阿基米德給出了主定理的兩個證明。 第一種使用力學，阿基米德認為，當放置在適當的槓桿上的一個位置上時，線段的「重量」將能夠平衡三角形的「重量」。 第二個更著名的證明是使用純幾何，特別是窮竭法。

在這二十四個命題中，前三個命題都未經歐幾里得的《圓錐曲線要點》（歐幾里得在圓錐曲線研究中丟的一部著作）所引用。 命題四和命題五確定了拋物線的基本性質； 命題 6 至 17 給出了主定理的機械證明； 命題 18 至 24 給出了幾何證明。

## 幾何證明

### 分割拋物線

證明的主要思想是將拋物線與線段之間的面積分割為無數個三角形。如右圖所示，每一個三角形都以同樣的方式內接於一個拋物線弓形，比如藍色三角形被整個弓形面積所內接，綠色三角形則內接於藍色三角形占據後剩下面積的弓形中。

### 三角形的面積

在第 18 至 21 個命題中，阿基米德證明了每個綠色三角形的面積是藍色三角形面積的八分之一。 從現代數學的角度來看，這是因為綠色三角形的寬度為一半，高度的四分之一。

通過擴展，每個黃色三角形的面積是綠色三角形的八分之一，每個紅色三角形的面積是黃色三角形的八分之一，依此類推。 使用窮竭法，可以得出拋物線段的總面積為

　
: ${\text{S}}\;=\;T\,+\,2\left({\frac {T}{8}}\right)\,+\,4\left({\frac {T}{8^{2}}}\right)\,+\,8\left({\frac {T}{8^{3}}}\right)\,+\,\cdots .$

這裡的 _T_ 代表大藍色三角形的面積，第二項代表兩個綠色三角形的總面積，第三項代表四個黃色三角形的總面積，依此類推。 可以很容易的得出

　
: ${\text{S}}\;=\;\left(1\,+\,{\frac {1}{4}}\,+\,{\frac {1}{16}}\,+\,{\frac {1}{64}}\,+\,\cdots \right)T.$

### 級數求和

為了完成證明，阿基米德證明了

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

上面的式子是等比數列 — 每個連續項是前一項的四分之一。在現代數學中，該公式是等比數列的求和公式的特例。

這裡阿基米德使用純粹的幾何的方法求和。如圖所示。 此圖片顯示了一個單位正方形，該正方形已被分解為多個較小的正方形。 每個連續的紫色方塊的面積為前一個方塊的四分之一，紫色的總面積為總和。

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

但是，每個紫色正方形和與之對應的一組黃色正方形中的任何一個都全等，因此紫色正方形的面積覆蓋了單位正方形面積的 1/3。 因此，上述序列之和為 4/3。

## 其他

* 無窮小演算
* 1/4 + 1/16 + 1/64 + 1/256 + …

## 註解

## 延展閱讀

* Ajose, Sunday and Roger Nelsen. Proof without Words: Geometric Series. Mathematics Magazine. June 1994, **67** (3): 230. JSTOR 2690617. doi:10.2307/2690617.
* Ancora, Luciano. Quadrature of the parabola with the square pyramidal number. Archimede. 2014, **66** (3) [2020-07-27]. （原始內容存檔於 2018-07-25）.
* Bressoud, David M. A Radical Approach to Real Analysis 2nd. Mathematical Association of America. 2006. ISBN 0-88385-747-2. .
* Dijksterhuis, E.J. (1987) "Archimedes", Princeton U. Press ISBN 0-691-08421-1
* Edwards Jr., C. H. The Historical Development of the Calculus 3rd. Springer. 1994. ISBN 0-387-94313-7. .
* Heath, Thomas L. The Works of Archimedes 2nd. CreateSpace. 2011. ISBN 978-1-4637-4473-1.
* Simmons, George F. Calculus Gems. Mathematical Association of America. 2007. ISBN 978-0-88385-561-4. .
* Stein, Sherman K. Archimedes: What Did He Do Besides Cry Eureka?. Mathematical Association of America. 1999. ISBN 0-88385-718-9.
* Stillwell, John. Mathematics and its History 2nd. Springer. 2004. ISBN 0-387-95336-1. .
* Swain, Gordon and Thomas Dence. Archimedes' Quadrature of the Parabola Revisited. Mathematics Magazine. April 1998, **71** (2): 123–30. JSTOR 2691014. doi:10.2307/2691014.
* Wilson, Alistair Macintosh. The Infinite in the Finite. Oxford University Press. 1995. ISBN 0-19-853950-9. .

## 外部連結

* Casselman, Bill. Archimedes' quadrature of the parabola. [2020-07-27]. （原始內容存檔於 2006-12-17）.  Full text, as translated by T.L. Heath.
* Xavier University Department of Mathematics and Computer Science. Archimedes of Syracuse. [2020-07-27]. （原始內容存檔於 2007-03-07）.  Text of propositions 1–3 and 20–24, with commentary.
* http://planetmath.org/ArchimedesCalculus （頁面存檔備份，存於網際網路檔案館）