因杨六省老师之邀,之前转载过多篇杨老师关于数学教学方面的论述,如
No | 标题 | |
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
10 | ||
11 | ||
12 | ||
13 | ||
14 | ||
15 | ||
16 | ||
17 | ||
18 | ||
19 | ||
20 | ||
21 | ||
22 | ||
23 | ||
24 | ||
25 | ||
26 | ||
27 | ||
28 | ||
29 | ||
30 | ||
31 | ||
32 | ||
33 |
今天,杨六省老师又寄来一篇新作——就√2不是有理数的证明与DeepSeek的最后一次对话。希望借助科学网博客平台,就相关问题进行探讨,下面是杨六省老师的观点阐述,仅仅在此进行转载,欢迎数学行家对此进行点评,也可以直接与杨六省老师联系进行交流探讨。
就√2不是有理数的证明与DeepSeek的最后一次对话
杨六省
最近,笔者就√2不是有理数的证明问题与DeepSeek进行过多次对话。不断地采纳DeepSeek的批评和建议对证明进行修改。下面是最后一次对话的内容:
下面的证明正确吗?
命题:如果x2=2,那么x不能表成两个整数之比 。
证明:假设存在整数p和q使得( p/q)2=2,下面推矛盾。
不妨先固定q是整数,于是有p2=2q2(q是整数):
p不能是奇数,因为奇数的平方不是偶数。
p也不能是偶数,理由是:设p=2r,代入p2=2q2,得q2=2r2,同理,q是偶数;同理,r是偶数;等等。这样,p将含有无限多个因数2,与算术基本定理(每个大于1的正整数均可分解成有限个素数之积)矛盾。
所以,p不是整数。
综上,对于( p/q)2=2,如果q是整数,则p不是整数,这就是说,如果x2=2,那么x不能表成两个整数之比 。
DeepSeek的评语:“总结来说,这个证明是正确的,虽然可能和常见的版本在表述上有所不同,但逻辑上是严密的,没有问题。”
转载本文请联系原作者获取授权,同时请注明本文来自诸平科学网博客。
链接地址:https://wap.sciencenet.cn/blog-212210-1473608.html?mobile=1
收藏