百科问答小站 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,但是我用绿色画出了一个全新的正方形!换句话说,你回到了完全相同的相似关系上!这意味着,同样的流程可以对新的小正方形完全重复使用,而这个过程无穷无尽!

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




  

相关话题

  请问对称矩阵的平方根怎么算,有公式吗? 
  为什么 Mathematica 不能显示积分过程,即使它能算出最终结果? 
  在科研中,如果出现了隐蔽的计算错误会怎样? 
  测度论中,环为什么不一定是σ环? 
  请问泰勒公式的几何意义是什么? 
  是否存在一个函数,使得它的逆运算是容易求的,而它的逆运算的逆运算是难求的? 
  既然10/3等于3.3333除不尽,那为什么一根10米的绳子却能分成三等份? 
  数学对于编程有多重要? 
  我今年 14 岁,想了一个数学思路,把数学各领域的联系写出来了,这个思路有什么问题吗? 
  一个复杂数列极限的求解。来自于实际核电子学的背景,但是是一个纯数学求解问题。具体见图。? 

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





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