# 圆的面积[编辑]

一个半径为 *r* 的**圆的面积**为 WIKINIUM\_MATH\_PH\_0 。这里的希腊字母π，和通常一样代表圆周长和直径的比值，即為圆周率。

现代数学家可以用微积分或更高深的后继理论实分析得到这个面积。但是，在古希腊，数学家阿基米德在《圆的测量》中使用欧几里得几何证明了一个圆周内部的面积等於一個以其圓周長及半徑作為兩個直角邊的直角三角形面積。周长为 WIKINIUM\_MATH\_PH\_2 ，直角三角形的面积為兩直角邊乘積的一半，得出圆的面积为 **WIKINIUM\_MATH\_PH\_4** 。中國古代流傳之《九章算術·方田》章中的圓田術對圓面積計算的敘述為“半周半徑相乘得積步”。魏晉時代的劉徽注解《九章算術》時，則以“窮盡”割圓術提供了相同結果的證明。

除了这上述古老和现代的方法，我们也考察一些具有历史和实际兴趣的不同方法。

## 算术证明

按照阿基米德（Archimedes & 260 BCE）的方法，比较一个圆与底为圆周长高为半径的直角三角形。如果圆与三角形的面积不相等，那么必为大于或小于。我们用反证法排除这两种情形，剩下惟一可能就是等于。证明的关键是利用正多边形。

### 不大于

正方形和正八边形内接于圆，显示了面积差
假设圆面积 WIKINIUM\_MATH\_PH\_6 大于三角形 WIKINIUM\_MATH\_PH\_8 。记 WIKINIUM\_MATH\_PH\_10 为超过的部分。取一正方形内接于圆周，所有四个角在圆周上。在正方形和圆周之间是四个小弓形。如果这四个弓形的总面积 WIKINIUM\_MATH\_PH\_12 大于 WIKINIUM\_MATH\_PH\_14 ，将每条弧平分。这样内接正方形变成了内接正八边形，产生了的 8 个弓形，总面积 WIKINIUM\_MATH\_PH\_16 更小。继续分割，直到总面积差 WIKINIUM\_MATH\_PH\_18 小于 WIKINIUM\_MATH\_PH\_20 。现在内接正多边形的面积 WIKINIUM\_MATH\_PH\_22 ，一定比三角形的面积大。

 WIKINIUM\_MATH\_PH\_24
但这产生了矛盾：从圆心向正多边形的每一边作垂线，垂线的长度 WIKINIUM\_MATH\_PH\_26 一定比圆半径小。而且每条多边形的边长 WIKINIUM\_MATH\_PH\_28 小于弓形弧长，这样边长 WIKINIUM\_MATH\_PH\_30 总和小于圆周长。多边形区域和 WIKINIUM\_MATH\_PH\_32 个底为 WIKINIUM\_MATH\_PH\_34 高 WIKINIUM\_MATH\_PH\_36 的三角形面积，即等于 WIKINIUM\_MATH\_PH\_38 。但是由于 WIKINIUM\_MATH\_PH\_40 和 WIKINIUM\_MATH\_PH\_42 ，多边形面积一定小于三角形面积 WIKINIUM\_MATH\_PH\_44 ，矛盾。从而我们的假设 WIKINIUM\_MATH\_PH\_46 比 WIKINIUM\_MATH\_PH\_48 大一定是错误的。

### 不小于

圆外切正方形和正八边形，显示了面积差
假设圆面积小于三角形的面积。记 WIKINIUM\_MATH\_PH\_50 为不足的部分。取一个圆外切正方形，所以每条边的中点在圆周上。如果正方形和圆周的面积差 WIKINIUM\_MATH\_PH\_52 ，大于 WIKINIUM\_MATH\_PH\_54 ，将所有角用圆的切线裁去得到了一个圆外切正八边形，继续这样的过程直到面积差小于 WIKINIUM\_MATH\_PH\_56 。正多边形的面积 WIKINIUM\_MATH\_PH\_58 一定小于 WIKINIUM\_MATH\_PH\_60 。

 WIKINIUM\_MATH\_PH\_62
这样同样得到了矛盾：因为圆心到多边形各边的垂线是半径，长为 WIKINIUM\_MATH\_PH\_64 。而边长总和大于圆周长，多边形由 *n* 个全等的三角形组成，总面积大于 WIKINIUM\_MATH\_PH\_66 。又一次我们得到了矛盾，从而假设 WIKINIUM\_MATH\_PH\_68 大于 WIKINIUM\_MATH\_PH\_70 一定也是错的。

所以圆的面积一定恰好和三角形的面积相等。这样便证明了结论。

## 重排证明

圆面积重排
按照 Satō Moshun (佐藤茂春《算法天元指南》) (Smith & Mikami 1914，pp. 130–132)和列奥纳多·达芬奇(Beckmann 1976，p. 19)的方法，我们可用另一方式使用圆内接正多边形。假设我们有一个内接正六边形。将其从圆心剪开为 6 个三角形。相对的两个三角形和两条相同的直径相接；沿着一条滑动，这样辐射状的边变为相邻。它们现在组成了一个平行四边形，六边形的边组成了一组相对底边 WIKINIUM\_MATH\_PH\_72 。两条辐射状边组成了斜边，高为 WIKINIUM\_MATH\_PH\_74 （和阿基米德里证明中的相同）。事实上，我们可以把所有的三角形连续排列起来，可组成一个大平行四边形。如果我们把边数增加为 8 条以及更多，同样成立。对一个正 WIKINIUM\_MATH\_PH\_76 多边形，平行四边形的底边长为 WIKINIUM\_MATH\_PH\_78 ，高为 WIKINIUM\_MATH\_PH\_80 。当边数增加时，平行四边形的边长趋近于周长一半，高趋近于圆半径。取极限，平行四边形变为一个宽 WIKINIUM\_MATH\_PH\_82 高 WIKINIUM\_MATH\_PH\_84 的长方形。

**重排正** WIKINIUM\_MATH\_PH\_86 **边形求单位圆面积**
| 多边形 | 平行四边形
 |
| --- | --- |
|  *WIKINIUM\_MATH\_PH\_88*  |  | 边 |  | 底 |  | 高 |  | 面积
 |
| 4 |  | 1.4142136 |  | 2.8284271 |  | 0.7071068 |  | 2.0000000
 |
| 6 |  | 1.0000000 |  | 3.0000000 |  | 0.8660254 |  | 2.5980762
 |
| 8 |  | 0.7653669 |  | 3.0614675 |  | 0.9238795 |  | 2.8284271
 |
| 10 |  | 0.6180340 |  | 3.0901699 |  | 0.9510565 |  | 2.9389263
 |
| 12 |  | 0.5176381 |  | 3.1058285 |  | 0.9659258 |  | 3.0000000
 |
| 14 |  | 0.4450419 |  | 3.1152931 |  | 0.9749279 |  | 3.0371862
 |
| 16 |  | 0.3901806 |  | 3.1214452 |  | 0.9807853 |  | 3.0614675
 |
| 96 |  | 0.0654382 |  | 3.1410320 |  | 0.9994646 |  | 3.1393502
 |
|  WIKINIUM\_MATH\_PH\_90  |  |  WIKINIUM\_MATH\_PH\_92  |  |  WIKINIUM\_MATH\_PH\_94  |  | 1 |  |  WIKINIUM\_MATH\_PH\_96
 |

## 洋葱证明

通过环形积分求圆的面积
使用微积分，我们将圆像洋葱一样分为薄圆环，递增地求出面积。这是二维微积分学。对“洋葱”以 *t* 为半径的无穷薄圆环，贡献的面积是 WIKINIUM\_MATH\_PH\_98 ，周长的长度乘以其无穷小宽度。这样对半径为 WIKINIUM\_MATH\_PH\_100 的圆给出了一个初等积分：

 WIKINIUM\_MATH\_PH\_102
## 半圆证明

半径为*r*的半圆
利用三角换元法，我们代换 WIKINIUM\_MATH\_PH\_104 ：

 WIKINIUM\_MATH\_PH\_106
 WIKINIUM\_MATH\_PH\_108
圆面积 WIKINIUM\_MATH\_PH\_110

 WIKINIUM\_MATH\_PH\_112
 WIKINIUM\_MATH\_PH\_114
 WIKINIUM\_MATH\_PH\_116
利用三角恒等式 WIKINIUM\_MATH\_PH\_118 ，

 WIKINIUM\_MATH\_PH\_120
 WIKINIUM\_MATH\_PH\_122
 WIKINIUM\_MATH\_PH\_124
## 快速逼近

阿基米德算法逼近圆的面积数值非常费力，他算到96边形就停下了。日後出現一个更快的方法，由威理博·斯涅尔提出（*Cyclometricus*，1962年），惠更斯步其后尘（*De Circuli Magnitudine Inventa*，1654年），
Gerretsen & Verdenduin (1983，pp. 243–250) 记载这种方法。

给定一个圆周，设 WIKINIUM\_MATH\_PH\_126 为内接正 WIKINIUM\_MATH\_PH\_128 边形的周长，设 WIKINIUM\_MATH\_PH\_130 为外切正 WIKINIUM\_MATH\_PH\_132 边形的面积。那么我们用如下两个公式：

 WIKINIUM\_MATH\_PH\_134    （几何平均）
 WIKINIUM\_MATH\_PH\_136    （调和平均）
阿基米德将一个六边形翻倍4次得到了96边形。对一个单位圆，一个内接正六边形有 WIKINIUM\_MATH\_PH\_138 ，一个外切正六边形有 WIKINIUM\_MATH\_PH\_140 。很幸运地我们有十进制小数记法和上面两个公式，所以可以快速算完七次：

**斯涅尔翻倍法算七次** WIKINIUM\_MATH\_PH\_142 **.**
|  WIKINIUM\_MATH\_PH\_144  |  |  WIKINIUM\_MATH\_PH\_146  |  |  WIKINIUM\_MATH\_PH\_148  |  |  WIKINIUM\_MATH\_PH\_150  |  |  WIKINIUM\_MATH\_PH\_152
 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 0 |  | 6 |  | 6.0000000 |  | 6.9282032 |  | 3.2320508
 |
| 1 |  | 12 |  | 6.2116571 |  | 6.4307806 |  | 3.1606094
 |
| 2 |  | 24 |  | 6.2652572 |  | 6.3193199 |  | 3.1461443
 |
| 3 |  | 48 |  | 6.2787004 |  | 6.2921724 |  | 3.1427182
 |
| 4 |  | 96 |  | 6.2820639 |  | 6.2854292 |  | 3.1418733
 |
| 5 |  | 192 |  | 6.2829049 |  | 6.2837461 |  | 3.1416628
 |
| 6 |  | 384 |  | 6.2831152 |  | 6.2833255 |  | 3.1416102
 |
| 7 |  | 768 |  | 6.2831678 |  | 6.2832204 |  | 3.1415970
 |

最后一个数值的一个最佳有理逼近是 WIKINIUM\_MATH\_PH\_154 ，这是 WIKINIUM\_MATH\_PH\_156 非常好的一个近似。但是斯涅尔提出（惠更斯证明）了一个比阿基米德方法更佳的界。

 WIKINIUM\_MATH\_PH\_158
从而我们能得到同样的逼近，从 48 边形算得十进制值约为 3.14159292。

### 推导

圆和相似三角形：外切边、内接边及其补、内接割线及其补
让我们考虑边长为 WIKINIUM\_MATH\_PH\_160 的圆内接正 WIKINIUM\_MATH\_PH\_162 边形，其中一条边为 WIKINIUM\_MATH\_PH\_164 是圆的一条弦。设 WIKINIUM\_MATH\_PH\_166 为圆周上 WIKINIUM\_MATH\_PH\_168 的对径点，从而 WIKINIUM\_MATH\_PH\_170 是一条直径， WIKINIUM\_MATH\_PH\_172 是直径上的一个圆内接三角形。由泰勒斯定理，这是一个直角三角形，角 WIKINIUM\_MATH\_PH\_174 是直角。设 WIKINIUM\_MATH\_PH\_176 长 WIKINIUM\_MATH\_PH\_178 ，我们称为 WIKINIUM\_MATH\_PH\_180 的补；从而 WIKINIUM\_MATH\_PH\_182 。
设 WIKINIUM\_MATH\_PH\_184 平分弧 WIKINIUM\_MATH\_PH\_186 ，设 WIKINIUM\_MATH\_PH\_188 为 WIKINIUM\_MATH\_PH\_190 的对径点。从而 WIKINIUM\_MATH\_PH\_192 的长度为 WIKINIUM\_MATH\_PH\_194 ， WIKINIUM\_MATH\_PH\_196 的长度为 WIKINIUM\_MATH\_PH\_198 ， WIKINIUM\_MATH\_PH\_200 是直径 WIKINIUM\_MATH\_PH\_202 上的直角三角形。因为 WIKINIUM\_MATH\_PH\_204 平分弧 WIKINIUM\_MATH\_PH\_206 ， WIKINIUM\_MATH\_PH\_208 垂直于弦 WIKINIUM\_MATH\_PH\_210 ，垂足设为 WIKINIUM\_MATH\_PH\_212 。三角形 WIKINIUM\_MATH\_PH\_214 也是一个直角三角形，相似于 WIKINIUM\_MATH\_PH\_216 ，因为它们在 WIKINIUM\_MATH\_PH\_218 有公共角。从而所有三条对应的边有相同的比例，特别地我们有
 WIKINIUM\_MATH\_PH\_220 以及 WIKINIUM\_MATH\_PH\_222 。圆心 WIKINIUM\_MATH\_PH\_224 ，平分 WIKINIUM\_MATH\_PH\_226 ，所以三角形 WIKINIUM\_MATH\_PH\_228 也相似于 WIKINIUM\_MATH\_PH\_230 ， WIKINIUM\_MATH\_PH\_232 的长度是 WIKINIUM\_MATH\_PH\_234 的一半。就边长而言，我们得出

 WIKINIUM\_MATH\_PH\_236
在第一个等式中 WIKINIUM\_MATH\_PH\_238 为 WIKINIUM\_MATH\_PH\_240 ，长度 WIKINIUM\_MATH\_PH\_242 ，而 WIKINIUM\_MATH\_PH\_244 为直径 WIKINIUM\_MATH\_PH\_246 。对一个单位圆我们有著名的鲁道夫·范·科伊伦翻倍公式，

 WIKINIUM\_MATH\_PH\_248
现在如果我们外切一个正 *n* 边形，边为 WIKINIUM\_MATH\_PH\_250 平行于 WIKINIUM\_MATH\_PH\_252 ，那么 WIKINIUM\_MATH\_PH\_254 和 WIKINIUM\_MATH\_PH\_256 是相似三角形，得出 WIKINIUM\_MATH\_PH\_258 。称外切边长为 WIKINIUM\_MATH\_PH\_260 ，那么
 WIKINIUM\_MATH\_PH\_262 。（我们又一次用到了 WIKINIUM\_MATH\_PH\_264 长是 WIKINIUM\_MATH\_PH\_266 的一半。）
从而我们得到

 WIKINIUM\_MATH\_PH\_268
称外切周长为 WIKINIUM\_MATH\_PH\_270 ，内接周长 WIKINIUM\_MATH\_PH\_272 。那么将这些等式联合起来，我们有

 WIKINIUM\_MATH\_PH\_274
所以

 WIKINIUM\_MATH\_PH\_276
给出一个几何平均等式。

同样我们也推出

 WIKINIUM\_MATH\_PH\_278
或

 WIKINIUM\_MATH\_PH\_280
给出一个调和平均等式。

## 飞镖逼近

蒙特卡罗方法求圆面积。由这 900 个样本算得 4×709⁄900 = 3.15111.
当更好的方法寻找圆的面积无效时，我们可以求助于“掷飞镖”。这种蒙特卡罗算法的原理是：如果随机样本一致地散布于一个包含圆的正方形中，样本击中圆的比例趋近于圆和正方形的面积比。这可以视为求圆（或任何区域）面积的最后一种手段，因为它要求巨大的样本数才能确保精确度，一个 10−*n* 的估计需要大约 100*n* 个随机样本(Thijsse 2006，p. 273)。在某些情形，蒙特卡罗算法是数值逼近可用的最好方法。

## 有限拼图

我们已经看到可以将圆分为无穷块重组为一个长方形。最近(Laczkovich 1990)发现的一个惊人的事实是我们可以将圆分为很大但**有限**块然后重拼成一个相同面积的正方形。这称为塔斯基分割圆问题。米可斯·拉茲柯維奇的证明本质是他证明了“存在”这样的分解（事实上有很多），但是没有给出任何实际的分解。

## 推广

我们可以将圆伸缩长为一个椭圆。因为伸缩是一个平面的线性变换，一个变形因子会改变面积但是保持面积的比例。这个观察可以用于从单位圆得出任何椭圆的面积。

考虑单位圆内切于边长为 2 的正方形。一个伸长或收缩分别把水平与垂直半径变为椭圆的半长轴与半短轴。正方形变为一个外切于椭圆的长方形。圆与正方形面积比为 WIKINIUM\_MATH\_PH\_282 ，这意味着椭圆与长方形的面积比也是 WIKINIUM\_MATH\_PH\_284 。假设 WIKINIUM\_MATH\_PH\_286 和 WIKINIUM\_MATH\_PH\_288 分别为椭圆的半长轴与半短轴。因长方形的面积为 WIKINIUM\_MATH\_PH\_290 ，从而椭圆的面积是 WIKINIUM\_MATH\_PH\_292 。

我们也可以考虑高维数类似测度，比如可能想要求出球体的体积。当我们知道球面面积公式后，可以使用与圆一样的“洋葱”积分法。

* 圆、圓周率
* 割圆术，中国古代数学家刘徽所用的类似于阿基米德的方法。

* Archimedes, Measurement of a circle, T. L. Heath (trans.) (编), The Works of Archimedes, Dover: 91–93, 260 BCE, ISBN 978-0-486-42084-4  请检查`|date=`中的日期值 (帮助)
(Originally published by Cambridge University Press, 1897, based on J. L. Heiberg's Greek version.)
* Beckmann, Petr, A History of Pi, St. Martin's Griffin, 1976, ISBN 978-0-312-38185-1
* Gerretsen, J.; Verdenduin, P., Chapter 8: Polygons and Polyhedra, H. Behnke, F. Bachmann, K. Fladt, H. Kunle (eds.), S. H. Gould (trans.) (编), Fundamentals of Mathematics, Volume II: Geometry, MIT Press: 243–250, 1983, ISBN 978-0-262-52094-2
(Originally *Grundzüge der Mathematik*, Vandenhoeck & Ruprecht, Göttingen, 1971.)
* Laczkovich, Miklós, Equidecomposability and discrepancy: A solution to Tarski's circle squaring problem, Journal für die reine und angewandte Mathematik (Crelle’s Journal), 1990, **404**: 77–117, ISSN 0075-4102
* Lange, Serge, The length of the circle, Math! : Encounters with High School Students, Springer-Verlag, 1985, ISBN 978-0-387-96129-3
* Smith, David Eugene; Mikami, Yoshio, A history of Japanese mathematics, Chicago: Open Court Publishing: 130–132, 1914, ISBN 978-0-87548-170-8
* Thijsse, J. M., Computational Physics, Cambridge University Press: p. 273, 2006, ISBN 978-0-5215-7588-1

* Area enclosed by a circle（页面存档备份，存于互联网档案馆） (with interactive animation)
* Science News on Tarski problem（页面存档备份，存于互联网档案馆）