百科问答小站 logo
百科问答小站 font logo



初等数学并不能严格定义自然数、整数、有理数、实数等,可为什么能用初等数学方法证明根号 2 是无理数? 第1页

  

user avatar   ling-jian-94 网友的相关建议: 
      

初等数学中有一些隐含的先验假定,比如自然数构成一个交换半环(满足加法结合律,加法交换律,乘法结合律,乘法交换律,乘法分配律)。在这个基础上证明根号2是无理数足够了。


user avatar   yi-cheng-man-shi 网友的相关建议: 
      

其实很多人都不知道,所谓的希帕索斯发现了根号二为无理数,并不是完全像我们今天这样先用整数之比定义有理数,然后证明使得平方等于二的那个数字不能被写成两个整数之比。而是用几何证明的。

用当时的语言体系,应该是任何两个数字,都是可公比的。

这是什么意思呢?就是说,任何两个数字,如果我反复对他们做辗转相减,那么一定在某个时候(有限步之内),某一个数字会变成0。

有人会反应过来,这不就是求两个数字的最大公约数嘛!对,所以这个信条翻译一下,就是任何两个数字,一定有一个有限小(不管多小但是有限)的单位,使得它们两个都是这个单位的整数倍。

又因为整数1天然存在,所以1可以和任何数字公比,所以任何数字x和1可以表示为一个共同单位的p和q倍,换言之就是 。

好,那么这样我们就知道了,其实希帕索斯当年做的,并不是我们熟知的从 没有整数解证明根号二不是有理数的,而是用几何的方式显性的做辗转相减的事情。

什么意思呢?从一个正方形出发,我们先用一个圆弧把对角线AC减去一条边的长度AB,并且留下剩余长度PC。

与此同时,我们引P处圆弧切线PE交BC于E点。注意到PCE是一个等腰直角三角形,而EB和EP为E点对圆引出的两条切线,所以PC=PE=BE。

所以,我们原来是从AC上减去了AB得到CP,现在我们要公比CP和BC,也就是要从BC上减去CP了,通过搬运我们发现CP=BE,所以BC-CP=BC-BE=CE。

好!重点来了!我们原来要公比AB和AC,现在要公比CP和CE,但是我用绿色画出了一个全新的正方形!换句话说,你回到了完全相同的相似关系上!这意味着,同样的流程可以对新的小正方形完全重复使用,而这个过程无穷无尽!

这直接动摇了任何两个线段都能在有限次之内公比的根本信念,所以希帕索斯就被丢到海里了,以至于今天的人还在问他当年怎么连实数都还没定义好就能知道根号二是无理数。




  

相关话题

  如何客观评价丘成桐老师的学术贡献呢? 
  如何证明“若整函数 f(z) 的值均位于右半平面,则f(z)恒为常数”? 
  数学从小就差的人在大学有机会翻身吗? 
  何谓「做数学」? 
  如何看待知乎用户李归农嘲讽数学家华罗庚被驳斥无回应? 
  sinx求导为什么是cosx? 
  有没有什么可以让自己对数学感兴趣的书? 
  一个拓扑流形的不同微分结构是否一定给出在拓扑上同胚的切丛? 
  为何可以用不动点法求数列通项公式,可不可以解释一下? 
  有哪些比较好的数学建模的评价模型? 

前一个讨论
在一个球内任取n个点,则这n个点落在同一个半球内的概率是多少?
下一个讨论
为什么俄罗斯人到现在都认为苏联解体是正确的呢?





© 2024-11-21 - tinynew.org. All Rights Reserved.
© 2024-11-21 - tinynew.org. 保留所有权利