用极限证明圆的面积公式

问题提出

“同学们，“我站在呼噜星球的教室里，“我们已经学习了两种证明圆面积公式的方法：

初等几何方法：割圆展开、阿基米德归谬法
多边形逼近方法：内接正多边形面积趋向圆面积

今天，我们要用极限方法重新证明面积公式 $S = \pi r^2$ 。这将是一次’严格性’的升华——从直觉到证明，从逼近到极限。”

我提出几个问题：

极限方法如何定义圆的面积？
与初等方法有什么本质区别？
极限方法的优势是什么？

观察与猜想

回顾初等方法

我先让学生回顾初等方法：

割圆展开法：

将圆分成 n 个扇形
交错排列成近似平行四边形
当 n → ∞ 时，趋向矩形（长 πr，高 r）
面积 S = πr²

学生们评价：“这种方法直观，但不够严格。‘趋向矩形’只是一个形象的说法。”

阿基米德归谬法：

假设 S > πr² 或 S < πr²
用内接和外切多边形证明矛盾
结论 S = πr²

学生们评价：“这种方法严格，但逻辑复杂。“

极限方法的优势

我引导学生思考：“极限方法能否结合两者的优点——既直观又严格？”

一个学生说：“极限方法用 ε-N 定义，既保持了直观理解，又有严格的数学基础。”

另一个学生补充：“极限可以直接定义面积为多边形面积的极限值，不需要’归谬’。“

猜想：极限方法的证明

学生们猜想极限方法的证明步骤：

计算内接正 n 边形的面积 Sₙ
定义圆面积 S = lim Sₙ
用极限运算证明 S = πr²

我点头：“这正是今天的证明思路。“

严格证明

圆面积的极限定义

圆的面积（极限定义）

设圆的半径为 r，内接正 n 边形的面积为 Sₙ。

定义圆的面积为：

S = \lim_{n \to \infty} S_n

其中 Sₙ 是正 n 边形的面积。

说明：

这个定义的合理性基于两个事实：

内接正多边形面积 Sₙ < 圆面积 S（显然）
外切正多边形面积 Tₙ > 圆面积 S
当 n → ∞ 时，Sₙ 和 Tₙ 趋向同一极限

因此，可以用夹逼的方式定义圆面积。

内接正多边形的面积

内接正 n 边形面积的计算

设圆半径为 r，内接正 n 边形的面积 Sₙ。

将正 n 边形分成 n 个全等的等腰三角形，每个三角形的：

两腰长度为 r
顶角为 θ = 2π/n
面积为 A = ½r²sin(θ) = ½r²sin(2π/n)

正 n 边形总面积：

S_n = n \cdot \frac{1}{2}r^2 \sin\frac{2\pi}{n} = \frac{1}{2}nr^2 \sin\frac{2\pi}{n}

用极限证明面积公式

定理：圆的面积 $S = \pi r^2$

证明（极限方法）：

由极限定义：

S = \lim_{n \to \infty} S_n = \lim_{n \to \infty} \frac{1}{2}nr^2 \sin\frac{2\pi}{n}

步骤 1：设 x = 2π/n

当 n → ∞ 时，x → 0⁺。

步骤 2：用极限运算

S = \frac{1}{2}r^2 \cdot \lim_{n \to \infty} n \sin\frac{2\pi}{n} = \frac{1}{2}r^2 \cdot \lim_{x \to 0} \frac{2\pi}{x} \cdot \sin x

步骤 3：应用重要极限

S = \frac{1}{2}r^2 \cdot 2\pi \cdot \lim_{x \to 0} \frac{\sin x}{x} = \pi r^2 \cdot 1 = \pi r^2

证毕。

夹逼定理的应用

夹逼定理

设 {aₙ}, {bₙ}, {cₙ} 是三个数列，满足：

a_n \leq b_n \leq c_n

且 $\lim a_n = \lim c_n = L$ ，则 $\lim b_n = L$ 。

用夹逼定理证明圆面积

设：

Sₙ：内接正 n 边形面积
Tₙ：外切正 n 边形面积
S：圆面积

则有：

S_n < S < T_n

计算 Tₙ：

外切正 n 边形每条边与圆切于一点，形成 n 个等腰三角形，每个三角形面积为：

A_{out} = \frac{1}{2} \cdot 2r\tan\frac{\pi}{n} \cdot r = r^2 \tan\frac{\pi}{n}

总面积：

T_n = nr^2 \tan\frac{\pi}{n}

证明 $\lim T_n = \pi r^2$ ：

\lim_{n \to \infty} T_n = r^2 \cdot \lim_{n \to \infty} n \tan\frac{\pi}{n} = r^2 \cdot \lim_{x \to 0} \frac{\pi}{x} \cdot \tan x

= \pi r^2 \cdot \lim_{x \to 0} \frac{\tan x}{x} = \pi r^2 \cdot \lim_{x \to 0} \frac{\sin x}{x \cos x} = \pi r^2 \cdot \frac{1}{1} = \pi r^2

由于 $\lim S_n = \lim T_n = \pi r^2$ ，且 $S_n < S < T_n$ ，由夹逼定理：

S = \pi r^2

与初等方法比较

方法比较

方法	优点	缺点	严格性
割圆展开	直观、形象	不够严格	较弱
阿基米德归谬	严格、古典	逻辑复杂	中等
多边形逼近	直观、易懂	需要极限概念	中等
极限方法	严格、简洁	需要极限理论	强

本质区别：

初等方法依赖几何直觉或逻辑推理，极限方法依赖严格的数学定义。

极限方法的优势：

统一框架：用同一方法处理周长和面积
严格性：有 ε-N 定义的保证
可推广：可以推广到其他曲线和曲面

结论与应用

核心结论

圆面积的极限定义： $S = \lim_{n \to \infty} S_n$
极限证明的简洁性：直接计算极限值
夹逼定理的应用：内接和外切多边形共同逼近
极限方法的统一性：周长和面积用同一框架

应用：扇形面积的极限推导

例题：用极限方法推导扇形面积公式

设扇形的圆心角为 θ（弧度），半径为 r。

将扇形分成 n 个小扇形，每个小扇形的圆心角为 θ/n。

当 n 很大时，每个小扇形近似三角形：

高为 r
底边长约为 r · (θ/n)（弧长）

面积为：

A_n \approx n \cdot \frac{1}{2} r \cdot \frac{r\theta}{n} = \frac{1}{2}r^2\theta

极限定义：

S_{扇形} = \lim_{n \to \infty} n \cdot \frac{1}{2}r^2 \sin\frac{\theta}{n}

计算：

S_{扇形} = \frac{1}{2}r^2 \cdot \lim_{n \to \infty} n\sin\frac{\theta}{n} = \frac{1}{2}r^2 \cdot \theta \cdot \lim_{x \to 0} \frac{\sin x}{x} = \frac{1}{2}r^2\theta

这正是扇形面积公式！

链接微积分

从极限到微积分

极限方法是微积分的基础。后续课程将学习：

定积分：面积的严格定义
- $\int_a^b f(x)dx$ = 曲线下面积
- 圆面积可以表示为 $\int_{-r}^{r} \sqrt{r^2-x^2}dx$
微分：变化率的严格定义
- 导数 = 切线斜率的极限
- 圆上切线斜率 = 导数
微积分基本定理：微分和积分的联系
- $\frac{d}{dr}(\pi r^2) = 2\pi r$ （面积的导数 = 周长）

这揭示了圆的一个美妙性质：面积函数的导数等于周长函数。

呼噜星人的收获

课程结束时，呼噜星球的学生深刻认识到：

极限方法的威力：既直观又严格
数学的统一性：不同问题可以用同一方法处理
从逼近到极限：这是数学严格化的关键步骤

“老师，“一个学生总结道，“我发现极限方法让证明变得简洁。以前觉得’逼近’不够严格，现在有了极限定义，逼近就有了数学基础。这让我对微积分充满期待。”

“很好！“我赞许道，“极限是现代数学的基石。掌握了极限，你们就掌握了打开高等数学大门的钥匙。接下来，我们将学习圆的连续性，继续深入探索圆的数学世界。“

第四部分总结

在”数列、极限与π”这一部分，我们学习了：

用数列逼近π：正多边形周长逼近圆周长
极限的概念：从直观到严格的定义
用极限证明面积公式：极限方法的简洁和严格

这些内容为后续学习连续性、微积分奠定了坚实基础。极限的思想贯穿整个高等数学，是理解无限和变化的关键。

下一部分，我们将学习圆的连续性。

上一章节极限的引入当正多边形边数趋于无穷时，会发生什么？