专栏名称: 马同学图解数学
看图学数学!可能是中国最好的高等数学的基础概念讲解,深入浅出、形象生动。没有高深的数学符号,只有你能懂的数学内容。
目录
相关文章推荐
河北青年报  ·  100+脑洞大开的问题,带你走进神奇的数学世界 ·  15 小时前  
河北青年报  ·  100+脑洞大开的问题,带你走进神奇的数学世界 ·  15 小时前  
超级数学建模  ·  霸榜一上午!大学老师说AI作文全判0分! ·  昨天  
超级数学建模  ·  比Samba还火!这双鞋没人能拒绝,新配色难 ... ·  昨天  
超级数学建模  ·  3分钟,1000年,看古建惊艳! ·  3 天前  
51好读  ›  专栏  ›  马同学图解数学

不同直径的圆转一圈后,滚过的距离相同?谈一下亚里士多德车轮悖论与无穷小

马同学图解数学  · 公众号  · 数学  · 2019-12-12 11:53

正文

1 亚里士多德的车轮悖论

如下的木头轮子,可以将它抽象为两个同心圆,大的表示车轮,小的表示车轴:



假设大圆的半径为 ,小圆的半径为 。那么车轮在水平线上(无滑动地)滚动一圈的话,两个圆的底部都会平移相同的距离,即大圆的周长



想象大圆、小圆上分别涂上了不同颜色的油漆,车轮滚动一圈后,大圆、小圆所接触的水平线都会被涂满油漆,并且这两段水平线的长度都为



也就是说,半径不同的两个圆,同步旋转一圈后,辗过的水平长度都是 ,就常识而言,这个结论非常奇怪。这就是古希腊数学家亚里士多德在《论机械》中提出的车轮悖论:



2 伽利略的思考

1 638年出版的《论 两种新科学及其数学演化》中,伽利略在其中提到了如何解释亚里士多德的车轮悖论:



上面的图像可能有一点抽象,下面用更容易理解点的方式来解释下伽利略的思考。我们知道,可用正 边形去近似圆, 越大,越接近于圆:



因为多边形和圆的这种关系,所以先来考虑下正六边形的轮子旋转,虽然这种轮子在水平路面上肯定不舒服。想象这样的轮子,大六边形和小六边形都涂上了不同颜色的油漆,车轮滚动一圈后,大六边形底边所在水平线涂满了油漆,而小六边形所在底边水平线并没有涂满:



正十四边形更像圆了,同样的,大十四边形底边所在水平线涂满了油漆,而小十四边形底边所在水平线并没有涂满:



时,正多边形就是圆了。 所以伽利略根据上面的分析,类推得到,大圆底边所在水平线应该涂满了油漆; 而小圆底边所在水平线并没有涂满油漆: 该水平线上,无穷多个点被涂上了油漆,但是点之间有长度非常非常小的间隔,或者称为长度为无穷小的间隔,是没有涂上油漆的。 所以可用虚线来表示小圆经过的水平线:



也就是说小圆实际上没有辗过水平上的每一个点,只是辗过了其中的一部分点。这样,伽利略就回答了亚里士多德的车轮悖论。



3 直线是由点构成的吗?

1621年,意大利数学家卡瓦列里:



向伽利略请教了这么一个问题,可以不可以认为线段是由无穷多个、长度为无穷小的点构成的(这个问题如果成立的话,意味着可以通过将点累加起来得到线段的长度,也就是微积分的萌芽。但是承认点有长度也是非常古怪的):



伽利略也一直在思考类似的问题,他在反复思考之后,最终从亚里士多德的车轮悖论中得到灵感,说线段是由无穷多个点构成的,而这些点之间夹杂着无穷多个长度为无穷小的空白。按照伽利略的这个设想,既可以保证线段是由点构成的,又可以保证这些点是没有长度的,还可以保证线段本身是有长度的。


当然不论是卡瓦列里,还是伽利略的假说,都是充满矛盾的。虽然当时的人们还不清楚无穷小的严格定义是什么(在现代的数学定义中,无穷小是函数,或者是数组,具体的解释可以查看 这里 ),但是知道,如果无穷小的长度是某个确切的实数的话,那么无穷多个长度为无穷小的点,或者无穷多个长度为无穷小的空白加起来,其长度一定是无穷大,但是线段的长度很显然不是无穷大。


4 滚动与滑动

由于伽利略对无穷小的错误认识,所以他对亚里士多德的车轮悖论解释是错误的,下面用物理学的观点来解释一下。如果大圆和小圆都是独立滚动的,那么都滚动一圈的话,确实大圆应该水平移动 ,而小圆应该水平移动


但在悖论中,真正独立滚动的是大圆,小圆是完全被动运动的。所以,悖论中提到小圆的半径为 完全是一种误导,让你觉得小圆也在独立滚动。而实际上,小圆是在进行“滚动+滑动”的叠加运动,小圆在水平线上滚动一段距离、滑动一段距离,最终完成了 的平移。


“滚动+滑动”的叠加运动,我们没有办法做出图像,应该有点像刚才伽利略的推理,涂上蓝色油漆的部分对应着滚动,没有涂色的地方对应着滑动:


5 一一对应

抛开物理观点,还可以从数学角度来品味下这个悖论。在小圆上有无穷多个点,在水平线上也有无穷多个点。根据集合论的观点,两个无穷是一样多的,因此小圆上的点和水平线上的点是一一对应的(为了避免图像太乱,下面选了几个点作为示意):

小圆上的点和水平线上的点重合,这就是“辗过”的数学定义。那么根据上面的一一对应关系,小圆转动时,小圆上的每个点都可以找到水平线上一个对应的点与之重合,也就是说,小圆可以辗过水平线上所有的点。也就是说,只观察点的话,小圆确实辗过了整个水平线。


上面的推断过程涉及到无穷大的比较,有困惑的同学可以搜索“希尔伯特旅馆悖论”进一步的了解。


6 平移

关于亚里士多德的车轮悖论,还有这么一种解释:轮子滚动一圈之后,平移了 。作为一个整体,轮子上的每一点都肯定平移了


也就是说,大家不要去考虑什么小圆,不要跟着悖论的思路走,就不会陷入思维陷阱。


7 小结

虽然伽利略、卡瓦列里关于无穷小的思考是错误的,但他们的尝试、彼此之间的争论是数学发展的推动力。在一代代数学家的努力下,最终微积分才有了严格的定义,成为了现代科学的基石。


我们 通过通俗易懂、图形化的方式,对《线性代数》、《单变量微积分》、《多变量微积分》、《概率论与数理统计》进行了精讲,可以直接点击下面这个图片购买包含这些内容的图解合集:



👉 也可以通过下面的链接单独购买各个科目(请放心购买,之后可以通过补差升级到合集):






请到「今天看啥」查看全文