圆的面积公式（初等方法）

问题提出

前几节课，我们花了大量时间研究圆的周长——从测量到猜想，从猜想到严格证明，最终确立了周长公式 $C = 2\pi r$。呼噜星的学生们已经习惯了一件事：每个结论必须有证明，证明必须从最简单的公理出发。

今天上课，我没有先在黑板上写公式，而是拿出了两个东西：一张正方形的纸，和一个圆形的纸片。

我把正方形举起来问：

正方形的面积怎么算？

学生们异口同声：

边长乘边长！$S = a \times a = a^2$！

我又举起圆形纸片：

那圆的面积呢？

教室里安静了三秒。一个叫”咕噜”的学生试探着说：

呃……好像有个公式……跟 $\pi$ 有关？

另一个学生补充道：

我在地球数学书上见过，$S = \pi r^2$。但我不理解——圆是弯的，面积怎么就跟半径的平方扯上关系了？而且 $\pi$ 是从周长里来的常数，为什么面积里也有它？

我点点头，在黑板上写下今天的核心问题：

• 问题 1：圆的面积公式是什么？我们如何从已知的事实出发推导它？
• 问题 2：能否用切割拼凑的方法，把圆变成我们已经会算面积的图形？
• 问题 3：这个推导过程有什么逻辑漏洞？我们是否需要更严格的工具（比如极限）来弥补？

我转身对全班说：

今天是”圆的度量”这一章的最后一节课。我们要完成一个两千多年前阿基米德就做过的事情——用初等几何的方法，推导圆的面积公式。但请注意，我们的推导会用到一种直觉性的”极限思想”，更严格的极限证明，后面会专门讲。

观察与猜想

直觉：圆的面积与什么有关？

我先把问题抛给学生：

大家先凭直觉想一想——圆的面积 $S$ 会跟哪些量有关？

学生们讨论了一会儿，提出了几个猜测：

肯定跟半径 $r$ 有关。半径越大，圆越大，面积也就越大。

可能是 $S = k \cdot r^2$ 的形式，因为面积的单位是”长度的平方”。

$k$ 应该是一个常数，因为所有圆都相似——如果半径翻倍，面积应该翻四倍，就像正方形那样。

我非常满意：

你们刚才用了两个很好的推理：量纲分析（面积单位是长度²）和相似性（所有圆都相似，所以面积与 $r^2$ 成正比）。

于是我们形成了第一个猜想：

猜想 1：圆的面积具有 $S = k \cdot r^2$ 的形式，其中 $k$ 是一个待定常数。

用已知图形估计 $k$

我接着问：

能不能找到 $k$ 的粗略范围？

一个学生举手：

我们知道周长 $C = 2\pi r$。圆的面积肯定比以半径为边长的正方形大不了太多。如果画一个边长为 $2r$ 的正方形把圆包住，圆的面积不会超过 $4r^2$，所以 $k < 4$。

另一个学生补充：

还可以在圆里面画一个正方形。圆内接正方形的对角线是直径 $2r$，所以边长是 $\sqrt{2}r$，面积是 $2r^2$。圆的面积比这个大，所以 $k > 2$。

我把他们的发现总结在黑板上：

$2 < k < 4$

咕噜若有所思地说：

$\pi$ 的值大约是 $3.14$，正好在 $2$ 和 $4$ 之间……如果 $k = \pi$，那圆的面积就是 $S = \pi r^2$？

但这只是一个巧合般的猜想，我们需要证明！

关键想法：把圆切开，拼成已知图形

我拿起那个圆形纸片，用剪刀把它从圆心出发切成 $8$ 等份——$8$ 个扇形。然后我把它们一上一下交替排列，拼成了一个像平行四边形的形状。

你们看，如果把圆切成很多扇形，然后像这样交错排列，拼出来的图形像什么？

学生们凑过来看：

像一个……长方形？不对，边缘还有锯齿。

扇形越多，锯齿就越小！

如果切无穷多片，锯齿就消失了，就变成一个真正的长方形了！

我笑着说：

你们已经发现了关键的直觉！让我们把这种直觉变成一个精确的论证。

严格证明

方法一：切割拼凑法（直观推导）

第一步：将圆等分为扇形

设圆的半径为 $r$。将圆从圆心出发等分为 $n$ 个扇形，每个扇形的圆心角为 $\dfrac{2\pi}{n}$（弧度）。

每个扇形可以近似看作一个等腰三角形：

• 两条等腰边长度为 $r$（即半径）
• 底边长度为 $\dfrac{2\pi r}{n}$（每段弧长，近似等于弦长）

每个扇形的面积约为：

$S_{\text{扇形}} \approx \frac{1}{2} \times r \times \frac{2\pi r}{n} = \frac{\pi r^2}{n}$

第二步：交错拼成近似矩形

把 $n$ 个扇形按”尖朝上、尖朝下”交替排列。就像把手指交叉互插一样——

圆被切成 8 个扇形：

    ╲  ╱  ╲  ╱  ╲  ╱  ╲  ╱
     ╲╱    ╲╱    ╲╱    ╲╱      ← 8 个扇形
     ╱╲    ╱╲    ╱╲    ╱╲
    ╱  ╲  ╱  ╲  ╱  ╲  ╱  ╲

交错排列后：

    ╱╲  ╱╲  ╱╲  ╱╲
   ╱  ╲╱  ╲╱  ╲╱  ╲╱         ← 像一个近似长方形
       ╱╲  ╱╲  ╱╲  ╱╲
      ╱  ╲╱  ╲╱  ╲╱  ╲╱

仔细观察这个拼出来的图形：

• “长方形”的高：恰好等于圆的半径 $r$
• “长方形”的底：等于 $n$ 个扇形底边排成一排的长度，约为 $\dfrac{n}{2} \times \dfrac{2\pi r}{n} = \pi r$（因为一半尖朝上、一半尖朝下，上下各 $\dfrac{n}{2}$ 个底边组成一排）

第三步：取极限

当 $n$ 很大时（比如 $n = 100$），拼出来的图形已经非常接近一个长方形了：

• 底边长 $\approx \pi r$
• 高 $= r$

所以这个近似长方形的面积约为：

$S_{\text{矩形}} \approx \pi r \times r = \pi r^2$

由于切割和重排不改变总面积，所以：

$S_{\text{圆}} \approx \pi r^2$

当 $n \to \infty$ 时（切得无穷多、无穷细），锯齿完全消失，近似矩形变成精确的长方形，面积公式就精确成立了：

$\boxed{S = \pi r^2}$

然而，咕噜立刻举手：

老师，你说了”$n \to \infty$ 时锯齿消失”，但这只是直觉。你怎么能保证无穷多的扇形拼出来恰好是长方形？无穷个无穷小的误差真的能完全抵消吗？

我竖起大拇指：

好问题！这就是这个方法的逻辑漏洞——我们用直觉代替了严格的极限论证。后面我们会用积分（真正的极限工具）来弥补。但在这之前，让我给你们展示另一种更严谨的初等方法。

方法二：阿基米德的夹逼法（更严格的初等方法）

阿基米德的想法非常巧妙：既然直接算圆的面积有困难，那就用能算面积的图形从两边夹住它。

第一步：内接正 $n$ 边形的面积

在半径为 $r$ 的圆内作正 $n$ 边形。这个正 $n$ 边形可以分成 $n$ 个全等的等腰三角形，每个三角形的：

• 顶点在圆心 $O$
• 两条等腰边为 $r$
• 圆心角为 $\dfrac{2\pi}{n}$
• 底边为 $2r\sin\left(\dfrac{\pi}{n}\right)$

每个三角形的面积为：

$S_{\triangle} = \frac{1}{2} \times r \times r \times \sin\left(\frac{2\pi}{n}\right) = \frac{r^2}{2}\sin\left(\frac{2\pi}{n}\right)$

所以内接正 $n$ 边形的总面积为：

$A_n = n \times \frac{r^2}{2}\sin\left(\frac{2\pi}{n}\right) = \frac{nr^2}{2}\sin\left(\frac{2\pi}{n}\right)$

由于内接正 $n$ 边形完全在圆内，所以：

$A_n < S_{\text{圆}}$

第二步：外切正 $n$ 边形的面积

在半径为 $r$ 的圆外作正 $n$ 边形（每条边与圆相切）。类似地，外切正 $n$ 边形的面积为：

$B_n = nr^2\tan\left(\frac{\pi}{n}\right)$

由于外切正 $n$ 边形完全包围圆，所以：

$S_{\text{圆}} < B_n$

第三步：两边夹逼

综合以上，对任意 $n \geq 3$：

$A_n < S_{\text{圆}} < B_n$

即：

$\frac{nr^2}{2}\sin\left(\frac{2\pi}{n}\right) < S_{\text{圆}} < nr^2\tan\left(\frac{\pi}{n}\right)$

现在让 $n \to \infty$。

先看左边：令 $t = \dfrac{2\pi}{n}$，当 $n \to \infty$ 时 $t \to 0$：

$\lim_{n \to \infty} A_n = \lim_{n \to \infty} \frac{nr^2}{2}\sin\left(\frac{2\pi}{n}\right) = \frac{r^2}{2} \cdot \lim_{t \to 0} \frac{\pi}{t} \cdot \sin t = \frac{r^2}{2} \cdot \pi \cdot \lim_{t \to 0}\frac{\sin t}{t}$

由重要极限 $\lim_{t \to 0}\dfrac{\sin t}{t} = 1$（上节课我们证明过），得到：

$\lim_{n \to \infty} A_n = \frac{\pi r^2}{2} \cdot 2 = \pi r^2$

再看右边：

$\lim_{n \to \infty} B_n = \lim_{n \to \infty} nr^2\tan\left(\frac{\pi}{n}\right)$

令 $u = \dfrac{\pi}{n}$，则 $n = \dfrac{\pi}{u}$：

$B_n = \frac{\pi}{u} \cdot r^2 \cdot \tan u = \pi r^2 \cdot \frac{\tan u}{u} = \pi r^2 \cdot \frac{\sin u}{u} \cdot \frac{1}{\cos u}$

当 $u \to 0$ 时，$\dfrac{\sin u}{u} \to 1$，$\cos u \to 1$，所以：

$\lim_{n \to \infty} B_n = \pi r^2 \cdot 1 \cdot 1 = \pi r^2$

由夹逼定理，$A_n$ 和 $B_n$ 从两边同时趋向于 $\pi r^2$，而 $S_{\text{圆}}$ 被夹在中间，所以：

$\boxed{S_{\text{圆}} = \pi r^2}$

第四步：用数值验证

我给学生们算了一组数据（设 $r = 1$，则 $S_{\text{圆}} = \pi \approx 3.14159$）：

咕噜激动地说：

两边越来越近，最后同时收拢到 $\pi$！这跟上节课证明周长公式的方法一模一样——夹逼！

方法三：阿基米德的巧妙论证（纯粹几何版）

阿基米德还给出了一个完全不涉及极限的纯几何论证。这个论证非常优美，我决定也展示给学生们。

命题：圆的面积等于以圆的周长为底、半径为高的直角三角形的面积。

论证过程：

假设有一个半径为 $r$、周长为 $C = 2\pi r$ 的圆。构造一个直角三角形，两条直角边分别为 $C$ 和 $r$，面积为：

$S_{\triangle} = \frac{1}{2} \times C \times r = \frac{1}{2} \times 2\pi r \times r = \pi r^2$

阿基米德证明了 $S_{\text{圆}} = S_{\triangle}$。他用的是反证法：

假设 $S_{\text{圆}} \neq S_{\triangle}$，那么只有两种可能：

情况一：假设 $S_{\text{圆}} > S_{\triangle}$

那么 $S_{\text{圆}} - S_{\triangle} = \epsilon > 0$。我们可以找到一个内接正 $n$ 边形，使得它的面积 $A_n$ 满足：

$S_{\text{圆}} - A_n < \epsilon$

（因为当 $n$ 足够大时，正 $n$ 边形几乎填满整个圆。）

这意味着 $A_n > S_{\triangle}$。

但另一方面，内接正 $n$ 边形的每条边都短于对应的弧，所以正 $n$ 边形的周长 $P_n < C$。同时正 $n$ 边形的”半径”（顶点到中心的距离）$= r$。

正 $n$ 边形可以分成 $n$ 个三角形，每个三角形面积 $\leq \dfrac{1}{2} \times s_n \times r$（其中 $s_n$ 是边长），所以：

$A_n = n \times \frac{1}{2} s_n \times r = \frac{1}{2} P_n \times r < \frac{1}{2} C \times r = S_{\triangle}$

矛盾！$A_n$ 不能同时大于和不大于 $S_{\triangle}$。

情况二：假设 $S_{\text{圆}} < S_{\triangle}$

类似的，$S_{\triangle} - S_{\text{圆}} = \epsilon > 0$。我们可以找到一个外切正 $n$ 边形，使得 $B_n - S_{\text{圆}} < \epsilon$，即 $B_n < S_{\triangle}$。

但外切正 $n$ 边形的每条边都长于对应的弧，所以周长 $Q_n > C$。外切正 $n$ 边形可以分成 $n$ 个三角形，每个面积 $= \dfrac{1}{2} \times s_n^{\text{外}} \times r$：

$B_n = \frac{1}{2} Q_n \times r > \frac{1}{2} C \times r = S_{\triangle}$

又矛盾！

既然两种情况都导致矛盾，必然有：

$S_{\text{圆}} = S_{\triangle} = \pi r^2$

呼噜星的学生们被深深震撼了。咕噜说：

反证法太妙了！不直接证明”等于”，而是证明”不等于”的两种情况都会出矛盾。剩下的唯一可能就是”等于”。

结论与应用

本节结论

通过三种不同的方法，我们得出了同一个结论：

$\boxed{S = \pi r^2}$

• 方法一（切割拼凑法）：将圆切成扇形，拼成近似矩形，直觉上得到 $S = \pi r^2$。优点是直观易懂，缺点是极限论证不够严格。
• 方法二（夹逼法）：用内接和外切正多边形的面积从两边夹逼，结合重要极限严格证明了公式。
• 方法三（阿基米德反证法）：用纯粹几何的反证法，巧妙地避免了极限，是古代数学的巅峰之作。

应用一：直接计算圆的面积

例题 1：一个圆形池塘的半径是 $8$ 米，这个池塘的水面面积是多少平方米？（精确到 $0.1$ 平方米）

解：

由面积公式 $S = \pi r^2$，代入 $r = 8$：

$S = \pi \times 8^2 = 64\pi \approx 64 \times 3.14159 = 201.1 \text{（平方米）}$

池塘的水面面积约为 201.1 平方米。

例题 2：一个圆形广场的直径是 $100$ 米，求广场的面积。（精确到 $1$ 平方米）

解：

半径 $r = \dfrac{d}{2} = 50$ 米：

$S = \pi \times 50^2 = 2500\pi \approx 7854 \text{（平方米）}$

广场的面积约为 7854 平方米。

应用二：由面积求半径

例题 3：呼噜星球的园艺师想建一个面积为 $100$ 平方米的圆形花坛，花坛的半径应该是多少？（精确到 $0.1$ 米）

解：

由 $S = \pi r^2$，解出 $r$：

$r = \sqrt{\frac{S}{\pi}} = \sqrt{\frac{100}{\pi}} \approx \sqrt{\frac{100}{3.14159}} \approx \sqrt{31.83} \approx 5.6 \text{（米）}$

花坛的半径约为 5.6 米。

应用三：环形面积

例题 4：一个环形花坛，外圆半径为 $10$ 米，内圆半径为 $6$ 米。求花坛的面积。（精确到 $0.1$ 平方米）

解：

环形面积 $=$ 外圆面积 $-$ 内圆面积：

$S = \pi R^2 - \pi r^2 = \pi(R^2 - r^2) = \pi(10^2 - 6^2) = \pi \times 64 = 64\pi$

$S \approx 64 \times 3.14159 \approx 201.1 \text{（平方米）}$

环形花坛的面积约为 201.1 平方米。

应用四：实际场景估算

例题 5：呼噜星球的一棵古树，树干的周长是 $3.14$ 米。请问树干的横截面面积大约是多少？（精确到 $0.01$ 平方米）

解：

先由周长求半径：

$r = \frac{C}{2\pi} = \frac{3.14}{2 \times 3.14} = 0.5 \text{（米）}$

再由半径求面积：

$S = \pi r^2 = \pi \times 0.5^2 = 0.25\pi \approx 0.79 \text{（平方米）}$

树干横截面面积约 0.79 平方米，大约相当于一张小方桌的桌面。

例题 6（挑战题）：一个圆形花园的周长是 $31.4$ 米。现要在花园中央建一个面积为花园面积 $\dfrac{1}{4}$ 的圆形喷泉。喷泉的半径是多少？

解：

先求花园的半径和面积：

$r_{\text{花园}} = \frac{C}{2\pi} = \frac{31.4}{2\pi} \approx \frac{31.4}{6.28} = 5 \text{（米）}$

$S_{\text{花园}} = \pi \times 5^2 = 25\pi \text{（平方米）}$

喷泉的面积：

$S_{\text{喷泉}} = \frac{1}{4} \times 25\pi = \frac{25\pi}{4} \text{（平方米）}$

由 $S = \pi r^2$：

$r_{\text{喷泉}}^2 = \frac{S_{\text{喷泉}}}{\pi} = \frac{25}{4}$

$r_{\text{喷泉}} = \frac{5}{2} = 2.5 \text{（米）}$

喷泉的半径是 2.5 米。

预告：更严格的证明

在今天的学习中，我们用到了”极限”的思想——“当 $n$ 趋于无穷时，正 $n$ 边形就变成了圆”。但细心的呼噜星人一定注意到了，我多次使用了”趋于”、“逼近”、“几乎等于”这样的模糊词语。

咕噜就是最细心的那个：

老师，你说”当 $n$ 趋于无穷时”，但无穷不是个数，你不能真的取到无穷。那最后一步到底是怎么”取极限”的？

我说：

你说得太对了。今天我们的证明在直观上是完全正确的，但在逻辑上还差最后一步——我们需要一个严格定义的极限工具，把”趋于无穷”变成一个精确的数学操作。这个工具叫做积分，后面我们会专门学习。到那时，整个推导过程就不再有任何模糊之处了。

呼噜星人的收获

“圆的度量”这一章到这里就全部结束了。下课前，我让学生们总结这几节课的收获。

一个学生站起来说：

这几节课我们走了很长的路。从”怎么量圆的周长”开始，发现了 $\pi$，证明了周长公式 $C = 2\pi r$，今天又证明了面积公式 $S = \pi r^2$。最让我感慨的是——每一个结论都不是天上掉下来的。我们有测量、有猜想、有证明，一步一步从简单走到复杂。

咕噜说了他最深的体会：

今天我学到了两件事。第一，复杂的问题可以拆解成简单的步骤——把圆切成扇形，就变成了三角形问题。第二，如果一个结论是真的，你一定能从多个角度证明它。我们用了三种完全不同的方法，殊途同归地得到了 $S = \pi r^2$。三种方法互相印证，让我对这个公式有了立体的信心。

另一个学生补充：

阿基米德在两千多年前就能做到这些，而且没有任何计算工具。他靠的是纯粹的思考——把复杂问题简化、把直觉变成逻辑、把无穷变成矛盾。这才是数学的力量。

我在黑板上写下最后一行字，作为这几节课的总结：

$S = \pi r^2$ 是对”以直代曲”思想的完美诠释。它告诉我们：弯曲的世界可以用平直的工具来理解，只要你切得足够细、拼得足够巧、想得足够深。

学生们收拾好笔记本，带着满足的表情离开了教室。我知道，他们已经准备好迎接下一章的挑战了——在那里，他们将学会用极限和积分的语言，把今天的直觉变成不可动摇的真理。