提示：本期节目对应的视频节目在“珂学原理知识库”中的《重新理解微积分，自学高数无障碍》专栏中更新，本期节目是免费的。
今天我们来研究圆的面积。
这个问题是高等数学(微积分)中“定积分”的一个基本应用，我原打算只介绍公式的推导。
但如果只讲定积分和公式的推导，一来没啥意思，二来也无法体现节目的逼格，因此我将它稍加扩展，以此为载体，来探讨几个很有意思的问题。
于是，本期节目就变成第99期视频节目(视频见知识库《重新理解微积分》专栏)。
好，言归正传。
令人困惑的符号
首先，众所周知，圆的面积公式是：
S = πR² ①
其中，π是圆周率，R是圆的半径。
因此，要解决的第一个问题就是：
①式是怎么来的。
但这还不是重点，重点是第二个问题：
π究竟是什么。
第二个问题是一个似乎不用想，但想了之后却又让人睡不着的问题。
大家已经习惯称其为圆周率，已经习惯背诵3.1415926了，但是，
π为什么是这个数？是定义吗？是算出来的吗？
如果不知道π是怎么来的，那么即使知道了如何用定积分推导①式，我们依然会觉得结果怪怪的。
为了解决这个问题，我们得介绍π的解析定义。
π的解析定义
首先，我们在小学接触的关于π的定义是：
定义 π := C/D ②
其中，C是一个圆的周长，D是圆的直径。
也就是说，你在地上画个圆，拿尺量出周长，然后除以直径，算出的结果就是π。
但是，这并不是一个解析的(analytical)定义。
所谓解析的，就是不依赖几何，不依赖数值计算的定义，比如专栏之前介绍的函数极限的ε-δ定义，就是一个非常解析的定义。
解析(分析)的定义有一个好处，就是逻辑严密而不依赖直觉。它们可以进行符号计算，并实现推导和证明，这样更“严格”。
我们翻开实分析(real analysis)的课本就会发现，整本书只有符号没有图。
如果有，那应该就是作者的照片。
显然，这里的定义就不够解析，因为我们用到了圆的几何性质。
那么，现代的π是什么呢？
定义1 π是cos x(余弦函数)的半个周期。
纳尼？
你可能会觉得一头雾水，为啥用这个定义？
我们先来看这个定义说的是啥。
根据初中的知识，cos x的图像是这样的：
它是一个周期函数，周期为2π，那么，半个周期可不就是π嘛。
有人可能会跳起来说，
这不 依然用到了图像吗，这依然是 不够解析的定义啊！
不，它相当解析，因为cos x的定义与你想的很不一样：
注意，在分析学中，余弦函数的定义并非什么“相邻的直角边除以斜边”，而是以幂级数的形式定义的。
然后，我们就可以算它的周期了，我们高中学过：
如果f(t) = f(t+T)，那么，T就是f(t)的周期。
注意，周期是算出来的，不是看出来的，π定义成这个周期的一半。
接着，我们定义周长：
这个定义是一个定积分的形式，它的数学计算完全不依赖几何图形。
当然，它可以通过对圆的弧微分的积分推导出来，我在本期视频节目中介绍了，这里从略，感兴趣可看视频(免费)。
然后，我们发现，这个积分的计算结果是这样的：
注意，方框中的定积分，其结果，正好等于“cos x函数的半个周期”。
根据定义2，我们知道，这“半个周期”，我们已记作π。
因此，圆的周长公式就是：
定理1 C = 2R·π
因此，圆的周长公式实际上是定理，而不是定义。
而π，实际上是一个定义，而不是定理。
圆面积的洋葱证明
好，有了定理1，我们就很好计算圆的面积了。
我们可以把一个圆，划分为一层一层的，类似洋葱的样子：
如下：
每一个小的“甜甜圈(棕色部分)”，其面积很好计算：
棕色的面积 = 周长*厚度
即：
dS = 2·x·π dx ③
为啥呢？
我们可以用刀，将甜甜圈劈断，展开放在桌上，就是一个“矩形”，长是x处的圆的周长2·x·π，宽是dx。
因为dx极小，我们可以直接用③来近似表示这个小甜甜圈的面积，这是定积分的原理。
然后对③进行定积分，得到：
这个定积分的结果(计算过程见知识库的视频节目)，就是：
S = πR²
当然，还有另一种常见的证明方法，就是将圆分成“小矩形”，即定积分的定义所采用的方法。
关于这种方法，我在视频节目中介绍了，如果你感兴趣，可以去知识库观看视频节目。
用处
你要问，学这玩意有什么用。
其实我也认为，对“立刻涨工资”而言，确实没什么用。
但是，
理解一件事为何是这样，并击穿其表象直抵本质，是可以让人产生愉悦感的；
而且，对数学家严密逻辑的学习与模仿，能让我们在工作解决问题时，拥有更清晰的思维；发言、打报告时，拥有更顺畅的思路。
这些能力并非是与生俱来的，而是长期学习和锻炼的结果。
数学，就是锻炼的方法之一。
本文选自《重新理解微积分，自学高数无障碍》，转载请获授权。更多精彩内容，欢迎前往「珂学原理知识库」订阅。
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
