圆的面积

一个半径为 r 的圆的面积为。这里的希腊字母π，和通常一样代表圆周长和直径的比值，即为圆周率。
现代数学家可以用微积分或更高深的后继理论实分析得到这个面积。但是，在古希腊，数学家阿基米德在《Measurement of a Circle》中使用欧几里得几何证明了一个圆周内部的面积等于一个以其圆周长及半径作为两个直角边的直角三角形面积。周长为，直角三角形的面积为两直角边乘积的一半，得出圆的面积为。中国古代流传之《九章算术·方田》章中的圆田术对圆面积计算的叙述为“半周半径相乘得积步”。魏晋时代的刘徽注解《九章算术》时，则以“穷尽”割圆术提供了相同结果的证明。
除了这上述古老和现代的方法，我们也考察一些具有历史和实际兴趣的不同方法。

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

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


但这产生了矛盾：从圆心向正多边形的每一边作垂线，垂线的长度一定比圆半径小。而且每条多边形的边长小于弓形弧长，这样边长总和小于圆周长。多边形区域和个底为高的三角形面积，即等于。但是由于和，多边形面积一定小于三角形面积，矛盾。从而我们的假设比大一定是错误的。

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

这样同样得到了矛盾：因为圆心到多边形各边的垂线是半径，长为。而边长总和大于圆周长，多边形由 n 个全等的三角形组成，总面积大于。又一次我们得到了矛盾，从而假设大于一定也是错的。
所以圆的面积一定恰好和三角形的面积相等。这样便证明了结论。

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

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


**半圆证明**
半径为r的半圆
利用三角换元法，我们代换：


圆面积 



利用三角恒等式 ，




**快速逼近**
阿基米德算法逼近圆的面积数值非常费力，他算到96边形就停下了。日后出现一个更快的方法，由威理博·斯涅尔提出（Cyclometricus，1962年），惠更斯步其后尘（De Circuli Magnitudine Inventa，1654年），
记载这种方法。
给定一个圆周，设为内接正边形的周长，设为外切正边形的面积。那幺我们用如下两个公式：
    （几何平均）
    （调和平均）
阿基米德将一个六边形翻倍4次得到了96边形。对一个单位圆，一个内接正六边形有，一个外切正六边形有。很幸运地我们有十进制小数记法和上面两个公式，所以可以快速算完七次：
最后一个数值的一个最佳有理逼近是，这是非常好的一个近似。但是斯涅尔提出（惠更斯证明）了一个比阿基米德方法更佳的界。

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

**推导**
圆和相似三角形：外切边、内接边及其补、内接割线及其补
让我们考虑边长为的圆内接正边形，其中一条边为是圆的一条弦。设为圆周上的对径点，从而是一条直径，是直径上的一个圆内接三角形。由泰勒斯定理，这是一个直角三角形，角 是直角。设长，我们称为的补；从而。
设平分弧，设为的对径点。从而的长度为，的长度为，是直径上的直角三角形。因为平分弧，垂直于弦，垂足设为。三角形也是一个直角三角形，相似于，因为它们在有公共角。从而所有三条对应的边有相同的比例，特别地我们有
以及。圆心，平分，所以三角形也相似于，的长度是 的一半。就边长而言，我们得出

在第一个等式中为，长度，而为直径。对一个单位圆我们有著名的鲁道夫·范·科伊伦翻倍公式，

现在如果我们外切一个正 n 边形，边为 平行于，那幺和是相似三角形，得出。称外切边长为，那幺
。（我们又一次用到了长是的一半。）
从而我们得到

称外切周长为，内接周长。那幺将这些等式联合起来，我们有

所以

给出一个几何平均等式。
同样我们也推出

或

给出一个调和平均等式。

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

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

**推广**
我们可以将圆伸缩长为一个椭圆。因为伸缩是一个平面的线性变换，一个变形因子会改变面积但是保持面积的比例。这个观察可以用于从单位圆得出任何椭圆的面积。
考虑单位圆内切于边长为 2 的正方形。一个伸长或收缩分别把水平与垂直半径变为椭圆的半长轴与半短轴。正方形变为一个外切于椭圆的长方形。圆与正方形面积比为，这意味着椭圆与长方形的面积比也是。假设和分别为椭圆的半长轴与半短轴。因长方形的面积为，从而椭圆的面积是。
我们也可以考虑高维数类似测度，比如可能想要求出球体的体积。当我们知道球面面积公式后，可以使用与圆一样的“洋葱”积分法。

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

**脚注**

**参考文献**
 (Originally published by Cambridge University Press, 1897, based on J. L. Heiberg's Greek version.)- (Originally Grundzüge der Mathematik, Vandenhoeck & Ruprecht, Göttingen, 1971.)- bot=InternetArchiveBot 

**外部链接**
  Area enclosed by a circledate=20081204090422  (with interactive animation)-  Science News on Tarski problemdate=20080413114409