【已解决】对发现无理数过程的逻辑严谨性的疑惑
前几个月头脑里产生了这个想法:
毕达哥拉斯学派在发现无理数那一刻之前使用的是有理数,那么毕达哥拉斯定理(勾股定理)那时候也就可以看作是在有理数集内成立的定理,但是发现无理数的那位(名叫Hippassus of Metapontum)在不确定两直角边为1的直角三角形的斜边长度是不是有理数来的情况下,就冒然把毕达哥拉斯定理套在这个直角三角形上进一步发现了无理数的存在,这种忽视定理成立范围而乱用定理的做法让我觉得有问题。
当时想到这点的时候顿时有种发现千古大漏洞的感觉,各位可停止往下看,先想一想这个想法有没有道理?
现在我认识到这种想法是有问题的,因为那时的毕达哥拉斯学派认为一切长度都可以用有理数度量,这是我找到的佐证:Recall that, to the Pythagoreans, all things were measured by number; that is, by positive integers, or the ratio of two of them1. 所以发现无理数的那位一开始也同样认为斜边长度是有理数,故其对毕达哥拉斯定理的使用并未超出那时其成立的范围——有理数集。
下面就这个问题说说我的思考和认识。
在发现无理数之前的毕达哥拉斯学派为什么会认为一切长度都可以用有理数来度量呢?我认为是两个原因:(1)在数轴上任意小的区间内总有无数个密密麻麻的无理数,以至于乍看之下该区间都被有理数填满的样子——有理数稠密性的体现;(2)现实使用中我们并不追求绝对精确,只要到一定的精确范围就可以了,所以现实生活中用有理数就可以表示我们要衡量的一切长度了(After all, in physical reality quantities are never given or known with absolute precision but always only with a degree of uncertainty and therefore might just as well be considered as measured by rational numbers2.)。“也许”正是因为这两点(此处我懒得再去考古数学史了,所以用了“也许”一词),毕达哥拉斯学派认为有理数已经铺满了整条数轴,才会认为一切长度都可以用有理数来度量。
在弄清本文开头这个问题之前我自己对毕达哥拉斯定理的表述是:直角三角形两直角边的长度的平方的和等于斜边长度的平方。这种表述里提到的“长度”是用数来表示的,也就是说想到勾股定理的时候我更关注的是这三边的数量关系,所以在思考发现无理数过程的勾股定理使用的时候也可能就比较关注勾股定理成立的数系范围,可能也就因此才有了最上面的疑惑。后来我去解决这个问题的时候看了维基百科上面对勾股定理的表述是这样的:平面上以直角三角形斜边长为边的正方形的面积等于以该直角三角形的两直角边为边的两个正方形的面积之和(The area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides),然后又看到了如下的图示证明:
我才认识到勾股定理的成立是不依托于任何数系的,我之前那种只关注三边数量关系的认识是降本流末后抓不到实质的表现。
这里对这种图示证明稍作解释:左右两边大的正方形面积是相等的,左右两边四个有颜色的三角形的面积之和也是相等的,那么左右两边大的正方形面积各自减去里面的四个有颜色的三角形的面积之和剩下的面积也是相等的,左边剩下的是以斜边c为边的白色正方形的面积,右边剩余的是以直角边a为边的白色正方形的面积和以直角边b为边的白色正方形的面积,这就证明了“平面上以直角三角形斜边长为边的正方形的面积等于以该直角三角形的两直角边为边的两个正方形的面积之和”——勾股定理。通过这个图示和证明,我们可以进一步认识到勾股定理的成立是不依赖于数的。
至于勾股定理是怎么用数量的方式来表述的,这要说到面积的数量表示,原理如下4:
In order to calculate the area of a plane figure we choose as the unit of area a square whose sides are of unit length. If the unit of length is the inch, the corresponding unit of area will be the square inch; i.e. the square whose sides are of length one inch. On the basis of this definition it is very easy to calculate the area of a rectangle. If
If
首先我们定义边长为单位长度的正方形的面积为单位1, 如果边的长度单位是cm,则对应的面积单位就定义成cm2,单位是毫米(mm)、分米(dm)、米(m)、千米(km)等也可以作相应的定义,此处不再赘述。封闭区域内的面积是用该区域内含多少个面积为单位1的正方形来计量的6。如果矩形两条邻边的长度分别是a和b个单位长度(这里a和b都是正整数),那么矩形面积就是a ⋅ b个单位1(这个结论的合理性如下图所示), 或者简单地说面积等于乘积ab。
如果相邻两边a和b都是有理数,我们把a和b表示为
-
The Irrationals, Julian Havil, p19↩︎
-
Introduction to Calculus and Analysis Volume I, Reprint of the 1989 edition, Richard Courant, Fritz John, p5↩︎
-
https://en.wikipedia.org/wiki/Pythagorean_theorem↩︎
-
What Is Mathematics? Second Edition, Courant and Robbins, p399↩︎
-
https://www.goteachmaths.co.uk/area-of-a-rectangle/↩︎
-
Richard Courant, Fritz John, Introduction to Calculus and Analysis Volume I, Reprint of the 1989 edition, p120↩︎
-
https://www.goteachmaths.co.uk/area-of-a-rectangle/↩︎
-
What Is Mathematics? Second Edition, Courant and Robbins, p399-400↩︎
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· .NET Core内存结构体系(Windows环境)底层原理浅谈
· C# 深度学习:对抗生成网络(GAN)训练头像生成模型
· .NET 适配 HarmonyOS 进展
· .NET 进程 stackoverflow异常后,还可以接收 TCP 连接请求吗?
· SQL Server统计信息更新会被阻塞或引起会话阻塞吗?
· 传国玉玺易主,ai.com竟然跳转到国产AI
· 本地部署 DeepSeek:小白也能轻松搞定!
· 自己如何在本地电脑从零搭建DeepSeek!手把手教学,快来看看! (建议收藏)
· 我们是如何解决abp身上的几个痛点
· 普通人也能轻松掌握的20个DeepSeek高频提示词(2025版)