茶年 · 中文维基百科

圆的面积

Wikipedia · 2026-01-08 维基百科 👁 1 阅读

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

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

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

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

不大于
假设圆面积C大于三角形T=\frac{1}{2}cr。记E为超过的部分。取一正方形内接于圆周，所有四个角在圆周上。在正方形和圆周之间是四个小弓形。如果这四个弓形的总面积G_4大于E，将每条弧平分。这样内接正方形变成了内接正八边形，产生了的 8 个弓形，总面积G_8更小。继续分割，直到总面积差G_n小于E。现在内接正多边形的面积P_n=C-G_n，一定比三角形的面积大。

:\begin{align}
E &{}= C - T \\
&{}> G_n \\
P_n &{}= C - G_n \\
&{}> C - E \\
P_n &{}> T
\end{align}

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

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

:\begin{align}
D &{}= T - C \\
&{}> G_n \\
P_n &{}= C + G_n \\
&{}

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

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

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

:

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

:\begin{align}
\mathrm{Area}(r) &{}= \int_0^{r} 2 \pi t \, dt \\
&{}= \left[ (2\pi) \frac{t^2}{2} \right]_{t=0}^{r}\\
&{}= \pi r^2.
\end{align}

半圆证明
利用三角换元法，我们代换x=r \sin\theta ：
:dx=r \cos \theta\, d \theta
:\theta = \arcsin \left ( \frac{x}{r} \right )
圆面积 =2\int_{-r}^r \sqrt{r^2 - x^2}\,dx
:=4 \int_{0}^r \sqrt{r^2 - x^2}\,dx
:=4\int_{0}^{\frac{\pi}{2}}\sqrt{r^2(1-\sin ^2 \theta)} \cdot r \cos \theta\, d \theta
:=4r^2\int_{0}^{\frac{\pi}{2}} \cos ^2 \theta\, d \theta

利用三角恒等式 \cos 2\theta = 2 \cos ^2 \theta\ - 1，

:=2r^2\int_{0}^{\frac{\pi}{2}}(1+\cos 2\theta)\, d \theta
:=2r^2\left[\theta+\frac{1}{2}\sin 2\theta\right]_{0}^{\frac{\pi}{2}}
:=\pi r^2.

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

给定一个圆周，设u_n为内接正n边形的周长，设U_n为外切正n边形的面积。那么我们用如下两个公式：

:u_{2n} = \sqrt{U_{2n} u_{n}}    （几何平均）

:U_{2n} = \frac{2 U_{n} u_{n}}{ U_{n} + u_{n}}    （调和平均）

阿基米德将一个六边形翻倍4次得到了96边形。对一个单位圆，一个内接正六边形有u_6=6，一个外切正六边形有U_6=4\sqrt{3}。很幸运地我们有十进制小数记法和上面两个公式，所以可以快速算完七次：

:

最后一个数值的一个最佳有理逼近是\frac{355}{113}，这是\pi非常好的一个近似。但是斯涅尔提出（惠更斯证明）了一个比阿基米德方法更佳的界。

: n \frac{3 \sin \frac{\pi}{n}}{2+\cos\frac{\pi}{n}}

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

推导
让我们考虑边长为s_n的圆内接正n边形，其中一条边为AB是圆的一条弦。设A'为圆周上A的对径点，从而A'A是一条直径，A'AB是直径上的一个圆内接三角形。由泰勒斯定理，这是一个直角三角形，角B 是直角。设A'B长c_n，我们称为s_n的补；从而{c_n}^2+{s_n}^2=(2r)^2。
设C平分弧AB，设C'为C的对径点。从而CA的长度为s_{2n}，C'A的长度为c_{2n}，C'CA是直径C'C上的直角三角形。因为C平分弧AB，C'C垂直于弦AB，垂足设为P。三角形C'AP也是一个直角三角形，相似于C'CA，因为它们在C有公共角。从而所有三条对应的边有相同的比例，特别地我们有
C'A:C'C=C'P:C'A以及AP:C'A=CA:C'C。圆心O，平分A'A，所以三角形OAP也相似于A'AB，OP的长度是A'B 的一半。就边长而言，我们得出

:\begin{align}
c_{2n}^2 &{}= \left( r + \frac{1}{2} c_n \right) 2r \\
c_{2n} &{}= \frac{s_n}{s_{2n}} .
\end{align}

在第一个等式中C'P为C'O+OP，长度r+\frac{1}{2}c_n，而C'C为直径2r。对一个单位圆我们有著名的鲁道夫·范·科伊伦翻倍公式，
: c_{2n} = \sqrt{2+c_n} . \,\!
现在如果我们外切一个正 n 边形，边为A+B 平行于AB，那么OAB和OAB是相似三角形，得出AB:AB=OC:OP。称外切边长为S_n，那么
S_n:s_n=1:\frac{1}{2}c_n。（我们又一次用到了OP长是A'B的一半。）
从而我们得到
: c_n = 2\frac{s_n}{S_n} . \,\!

称外切周长为u_n=ns_n，内接周长U_n=nS_n。那么将这些等式联合起来，我们有

: c_{2n} = \frac{s_n}{s_{2n}} = 2 \frac{s_{2n}}{S_{2n}} ,
所以
: u_{2n}^2 = u_n U_{2n} . \,\!
给出一个几何平均等式。

同样我们也推出
: 2 \frac{s_{2n}}{S_{2n}} \frac{s_n}{s_{2n}} = 2 + 2 \frac{s_n}{S_n} ,
或
: \frac{2}{U_{2n}} = \frac{1}{u_n} + \frac{1}{U_n} .
给出一个调和平均等式。

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

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

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

考虑单位圆内切于边长为 2 的正方形。一个伸长或收缩分别把水平与垂直半径变为椭圆的半长轴与半短轴。正方形变为一个外切于椭圆的长方形。圆与正方形面积比为\frac{\pi}{4}，这意味着椭圆与长方形的面积比也是\frac{\pi}{4}。假设a和b分别为椭圆的半长轴与半短轴。因长方形的面积为4ab，从而椭圆的面积是\pi ab。

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

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

脚注
参考文献
*
(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.)
*
*
*
*

外部链接

Kreis#Kreisfläche

#面积 #包含证明的条目 #圆

评论 (0)

  • 还没有评论，来抢沙发吧。