昨天,在知乎上看到有人说,微积分课本上推导重要极限
的时候使用了圆的周长、面积公式,进而才能推出
的导数,但是在讲圆的周长公式的推导的时候又用了三角函数的导数,这是不是一个循环论证?这篇短文就来梳理一下其中的逻辑关系。
一、圆的周长
半径为
的圆
的方程是
,根据弧长的定义,周长
. 根据
知
收敛. 定义
,有如下定理
定理1: 圆的周长与直径(半径)成正比,.
由于半径相同的圆都是全等的,圆周可以视作周角所对的圆弧,因此接下来我们研究同一圆内的弧长。假设有一段圆弧,所对的圆心角是
(注意我们并没有引入角的度量).我们知道,由垂径定理,相等的圆心角所对的弧长相等。用
表示
所对的弧长,则
.注意,每一个正实数都可以是一个正有理数列的极限,因此
,即:
定理2:同一圆内,弧长与圆心角的大小成正比.
二、角的度量
角的静态定义给出了零角到一个周角范围之内的角。设
表示一个周角,
是个一个零角到一个周角之间的角,即
. 由定理2,
,即弧长正比于圆心角和ab半径,比例系数为
.此时,
只与圆心角的大小有关,因此可以用来衡量一个角。为了方便,取
,此时
,按照比例我们也可以度量其他角。在这种度量方式下,
,即大小为1的圆心角所对的弧长等于半径。这种用弧长和半径的比值度量角的方式,我们称之为
弧度制。
至于传统的角度制,即把一周角平均分为360份,每一份为1°的方式,实质就是取
,与弧度制其实是等价的,但是弧度制更加方便,所以现代科学主要采用弧度制。
现在我们可以把角推广至任意角,并定义三角函数了.
三、圆的面积
由弧微分的几何意义,
.
至此我们已经有了推到重要极限和三角函数的导数的所有预备定理。