路漫漫其修远兮分享 http://blog.sciencenet.cn/u/zhpd55 追求科学,勇于探索,苦海无涯,愿作小舟。

博文

[转载]评菲尔茨奖得主蒂莫西·高尔斯对√2不是有理数的证明

已有 1350 次阅读 2024-8-13 21:11 |个人分类:数学研究|系统分类:教学心得|文章来源:转载

因杨六省老师之邀,之前转载过多篇杨老师关于数学方面的论述,如“杨六省:美国《数学教育研究杂志》的退稿理由让我无语”、“√2=p/q(p,q 互质)与√2=p/q(p和q全是整数)等价吗?”、“毕达哥拉斯学派设定√2不是有理数的反论题犯了混淆上位概念与下位概念的逻辑错误”、“试把“√2是非最简分数”设定为“√2不是分数”的反论题”、“偷换概念:把反论题‘√2是分数换成‘√2是最简分数”、“如何证明2的立方根不是有理数”、“一句简单的反问,足以揭示其证明是无效的”、“运用孙子兵法破解《囚徒困境》”、“我是这样证明√2不是有理数的”、“√2不是有理数传统证明的两大错误”、"反证法要义"、“欧几里得《几何原本》关于√2是无理数的证明违反一致性原则”、“质疑第一次数学危机的真相(续)”等。今天,杨六省老师又寄来一篇新作——评菲尔茨奖得主蒂莫西·高尔斯对√2不是有理数的证明,希望借助科学网博客平台,就相关问题进行探讨,下面是杨六省老师的观点阐述,仅仅在此进行转载,欢迎数学行家对此进行点评,也可以直接与杨六省老师联系进行交流探讨。

评菲尔茨奖得主蒂莫西·高尔斯对√2不是有理数的证明

杨六省

yangls728@163.com

菲尔茨奖得主蒂莫西·高尔斯在《牛津通识读本:数学》中译本第37页对√2不是有理给出的证明如下:

1.如果√2是有理数,那么我们可以找到整数pq使得√2=p/q(由“有理数”的定义)。

2.任意分数p/q都能够写成某个分数r/srs不全是偶数。(分子分母连续除以2,直到至少有其中一个变成奇数。例如分数1412/1000等于706/500等于353/250。)

3.因此,如果√2是有理数,我们就可以找到两个不全为偶数的整数rs使得√2=r/s

4.如果√2=r/s,则2=r2/s2(等式两端平方)。

5.如果2=r2/s2,则2s2=r2(等式两端乘以s2)。

6.如果2s2=r2,则r2是偶数,即r必须是偶数。

7.如果r是偶数,那么存在某个整数t使得r=2t(由“偶数”的定义)。

8.如果2s2=r2r=2t,则2s2=(2t2=4t2,于是得到s2=2t2(两端除以2)。

9.如果s2=2t2,那么s2是偶数,意味着s是偶数。

10.按照√2是有理数的假设,我们已经表明√2=r/srs不全是偶数(第3步)。我们之后又得到r是偶数(第6步),s是偶数(第9步)。这是一个明显的矛盾。因为√2是有理数的假设会推出明显错误的结论,所以这个假设本身必定是错误的。因此,√2是无理数。

笔者评析:上述证明与常见的传统证明方法(例如,人教版七年级下册)在实质上是相同的,只是设立的反论题有所不同:传统证明方法设立的反论题是√2=p/qpq互质),《读本》设立的反论题是√2=p/qpq不全为偶数)。所以,笔者只就上述第2、第3两条作简要的评析。

最简单有力的反驳方法莫过于以其人之道还治其人之身。如果上述证明中的第2、第3两条的思路是合理的,那么,下面的两条也应该是合理的:

2.任意分数p/q都能够写成某个分数r/srs全是偶数(如若不然,分子分母都乘以2即可,例如,分数353/250等于706/500)

3.因此,如果√2是有理数,我们就可以找到两个全为偶数的整数rs使得√2=r/s

但是,√2= p/qpq都是整数)(注意:不是从 p/qpq都是整数))怎么能够推出两个相互矛盾的结论√2=p/qpq不全为偶数)和√2=p/qpq全为偶数)呢?或者说,“√2不是有理数”怎么能够有两个相互矛盾的反论题√2=p/qpq不全为偶数)和√2=p/qpq全为偶数)呢?唯一合理的解释是,《读本》证明中的第2、第3两条是错误的,也就是说,《读本》把√2=p/qpq不全为偶数)作为“√2不是有理数”的反论题是错误的。大道至简。“√2不是有理数的反论题只能是√2有理数”,即,√2= p/qpq不都是整数)的反论题只能是√2= p/qpq整数)。

最后,笔者的质疑是:√2不是有理数的反论题应该是唯一的,还是可以有多个?例如, √2= p/qpq都是整数),√2=p/qpq互质),√2=p/qpq不全是偶数),等等,它们是等价的吗?

以下是笔者的证明。

命题:2不是有理数,即√2= p/qpq不都是整数)。

证明:假设√2= p/qpq是整数)。可先固定q整数,于是有p2=2q2q是整数)。p不能是奇数,因为奇数的平方不是偶数。假设p是偶数。p=2r,代入p2=2q2,得q2=2r2,同理,q是偶数;同理,r是偶数;等等。这样,p含有无穷多个因数2,这与p是偶数的假设矛盾,说明p不是偶数。所以,p是整数,命题得证。

说明:在证明中也可以固定p是整数。由于我们要证明的是pq不都是整数,而不是pq都不是整数,所以,务必先固定其中的一个是整数,否则,论证将无从进行。



https://blog.sciencenet.cn/blog-212210-1446384.html

上一篇:在中国登月任务的月球土壤样本中发现了神奇材料石墨烯
下一篇:肽硼酸:免疫学的新前景
收藏 IP: 111.20.218.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

IP: 60.191.99.*   | 闂傚倸鍊峰ù鍥х暦閸偅鍙忕€广儱鎷嬮崥瀣煕閳╁喚娈㈠ù纭锋嫹 闂傚倸鍊峰ù鍥х暦閸偅鍙忕€广儱鎷嬮崥瀣煕閳╁喚娈㈠ù纭锋嫹 +1 [1]闂傚倸鍊搁崐椋庣矆娓氣偓楠炴牠顢曢敃鈧壕鐟懊归悩宸劀缂傚秵鐗曢…璺ㄦ崉鐞涳紕婀呴梺璇查閻栧ジ寮婚敃鈧灒闁绘艾顕粈濠囨偡濠婂嫭顥堢€殿噮鍋婇獮妯肩磼濡粯顏熼梻浣芥硶閸o箓骞忛敓锟�   2010-6-6 11:05
闂傚倸鍊风粈渚€骞栭位鍥敃閿曗偓閻ょ偓绻濇繝鍌滃闁稿绻濋弻銊╁即濡も偓娴滈箖鏌涘Δ鍛喚闁哄本绋戦埥澶婎潨閸繂顫犻梻浣哥-缁垰螞閸愵喖钃熺€广儱鐗滃銊╂⒑閸涘﹥灏版慨妯稿妿閸掓帒鈻庨幇顒傜獮闂佽婢橀悘姘跺疾濠婂牊鈷戦柛娑橈攻婢跺嫰鏌涘Ο鍨棈闁靛洦鍔欏畷鎺楁倷缁瀚奸梻浣告啞缁诲倻鈧凹鍠楅弲鍫曞即閻旂繝绨婚梺鎸庢椤曆囨倶閿熺姵鐓涢柛娑卞幘閸╋綁鏌熼瑙勬珖闁归濞€閹崇娀顢楁担鍝勫及婵犵绱曢崑鎴﹀磹閺嶎厽鍋嬫俊銈呭暙閸ㄦ繄鈧箍鍎遍ˇ浼村磻閳哄懏鐓曟俊銈呭暙閳ь剨绲介埥澶愬閻樼敻鐛撻梻浣告贡鏋悗鍨笒铻為柣鎰劋閳锋垹绱撴担鑲℃垹浜告导瀛樼厽闁绘柨寮跺▍濠冾殽閻愬弶顥㈢€规洘锕㈤、娆撴嚃閳哄﹥效闂傚倷绀侀幉锟犲箰閻戣姤鍤勯柛顐f硻閸ヮ剦鏁嬮柍褜鍓欓~蹇涙惞閸︻厾鐓撻梺鍛婄墤閳ь剙鍟块~鐘绘⒒娴e憡鍟炴い顓炴瀹曘劑顢氶崨顓濈紦闂傚倸鍊风欢锟犲礈濞嗘垹鐭撻悗闈涙憸閻棝鏌涘畝鈧崑鐐烘偂閿濆鍙撻柛銉╊棑閸掓澘霉濠婂嫮绠為柡宀嬬節瀹曢亶顢橀悢濂変紦...

1/1 | 闂傚倸鍊搁崐宄懊归崶顒夋晪闁哄稁鍘肩粈鍫熸叏濮楀棗鍔﹂柨婵嗩槸缁犺櫕淇婇妶鍜冩敾闁哄拑缍佸铏规崉閵娿儲鐝㈤梺鐟板殩閹凤拷:1 | 婵犵數濮烽。钘壩i崨鏉戠;闁规崘娉涚欢銈呂旈敐鍛殲闁稿顑夐弻锝呂熷▎鎯ф閺夆晜绻堝铏规崉閵娿儲鐝㈤梺鐟板殩閹凤拷 | 婵犵數濮烽弫鎼佸磻閻愬搫鍨傞柛顐f礀缁犱即鏌熼梻瀵稿妽闁哄懏绻堥弻銊モ攽閸℃ê绐涢梺鍛婎殕瀹€鎼佸箖濡も偓閳藉鈻嶆潏銊х煁缂佸倸绉撮オ浼村醇閻斿搫寮抽梻浣虹帛濞叉牠宕愰崷顓涘亾濮樼偓瀚� | 婵犵數濮烽弫鎼佸磻閻愬搫鍨傞柛顐f礀缁犱即鏌熼梻瀵歌窗闁轰礁瀚伴弻娑㈠即閵娿儱绠婚梺鍛婎殕瀹€鎼佸箖濡も偓閳藉鈻嶆潏銊х煁缂佸倸绉撮オ浼村醇閻斿搫寮抽梻浣虹帛濞叉牠宕愰崷顓涘亾濮樼偓瀚� | 闂傚倸鍊搁崐椋庣矆娓氣偓楠炴牠顢曢敂钘変罕濠电姴锕ら悧鍡欏鐠囨祴鏀介柣妯哄级閹兼劖娼诲┑瀣拺閻犳亽鍔屽▍鎰版煙閸戙倖瀚� | 闂傚倸鍊峰ù鍥х暦閸偅鍙忛柟缁㈠枛缁犺銇勯幇鍫曟闁稿浜弻娑㈠Ψ椤斿彞姹楅悷婊呭鐢寮查幖浣圭叆闁绘洖鍊圭€氾拷

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2025-1-23 04:45

Powered by ScienceNet.cn

Copyright © 2007-2025 中国科学报社

返回顶部