诸平
[转载]就√2不是有理数的证明与DeepSeek的最后一次对话
2025-2-18 09:12
阅读:510

因杨六省老师之邀,之前转载过多篇杨老师关于数学教学方面的论述,如

No

标题

1

杨六省:美国《数学教育研究杂志》的退稿理由让我无语

2

√2=p/q(p,q 互质)与√2=p/q(p和q全是整数)等价吗?

3

毕达哥拉斯学派设定√2不是有理数的反论题犯了混淆上位概念与下位概念的逻辑错误

4

试把“√2是非最简分数设定为“√2不是分数的反论题

5

偷换概念:把反论题‘√2是分数换成‘√2是最简分数’

6

如何证明2的立方根不是有理数

7

一句简单的反问,足以揭示其证明是无效的

8

运用孙子兵法破解《囚徒困境》

9

我是这样证明√2不是有理数的

10

“√2不是有理数传统证明的两大错误

11

"反证法要义"

12

欧几里得《几何原本》关于√2是无理数的证明违反一致性原则

13

质疑第一次数学危机的真相(续)

14

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

15

设立√2不是有理数的反论题写入‘pq互质是画蛇添足

16

应用反证法证明√2不是有理数应该推出什么样的矛盾?

17

“√2=p/qpq 互质)与√2=p/qpq全是整数)等价吗?

18

毕达哥拉斯学派设定√2不是有理数的反论题犯了混淆上位概念与下位概念的逻辑错误

19

试把“√2是非最简分数设定为“√2不是分数的反论题

20

偷换概念:把反论题‘√2是分数换成‘√2是最简分数

21

如何证明2的立方根不是有理数

22

一句简单的反问,足以揭示其证明是无效的

23

运用孙子兵法破解《囚徒困境》

24

我是这样证明√2不是有理数的

25

“√2不是有理数传统证明的两大错误

26

"反证法要义"

27

欧几里得《几何原本》关于√2是无理数的证明违反一致性原则

28

质疑第一次数学危机的真相(续)

29

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

30

设立√2不是有理数的反论题写入‘pq互质是画蛇添足

31

应用反证法证明√2不是有理数应该推出什么样的矛盾?

32

对反证法误解的几种表现

33

今天,杨六省老师又寄来一篇新作——√2不是有理数的证明与DeepSeek的最后一次对话。希望借助科学网博客平台,就相关问题进行探讨,下面是杨六省老师的观点阐述,仅仅在此进行转载,欢迎数学行家对此进行点评,也可以直接与杨六省老师联系进行交流探讨。

2不是有理数的证明与DeepSeek的最后一次对话

杨六省

yangls728@163.com

最近,笔者就√2不是有理数的证明问题与DeepSeek进行过多次对话。不断地采纳DeepSeek的批评和建议对证明进行修改。下面是最后一次对话的内容:

下面的证明正确吗?

命题:如果x2=2,那么x不能表成两个整数之比 

证明:假设存在整数pq使得 p/q2=2下面推矛盾。

不妨先固定q整数,于是p2=2q2q是整数):

p不能是奇数,因为奇数的平方不是偶数。

p也不能是偶数,理由是:p=2r,代入p2=2q2,得q2=2r2,同理,q是偶数;同理,r是偶数;等等。这样,p含有无限多个因数2,与算术基本定理(每个大于1的正整数均可分解成有限个素数之积)矛盾。

所以,p不是整数

综上,对于 p/q2=2如果q整数,则p不是整数,这就是说,如果x2=2,那么x能表成两个整数之比 

DeepSeek的评语:“总结来说,这个证明是正确的,虽然可能和常见的版本在表述上有所不同,但逻辑上是严密的,没有问题。”

转载本文请联系原作者获取授权,同时请注明本文来自诸平科学网博客。

链接地址:https://wap.sciencenet.cn/blog-212210-1473608.html?mobile=1

收藏

分享到:

当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论
确定删除指定的回复吗?
确定删除本博文吗?