数学建模社区-数学中国

标题: 关于素数定理(质疑王元) [打印本页]

作者: 数学1+1 时间: 2010-6-21 14:13
标题: 关于素数定理(质疑王元)
本帖最后由数学1+1 于 2017-10-21 15:54 编辑

中国科学院数学研究所王元院士在他的《谈谈素数》一著中(上海教育出版社,1978.),介绍了一些与素数相关的定理、猜想.在该书的第45页,有如下定理:
定理3. 1) x/(ln x-3/2)＜Л(x)＜x/(ln x-1/2),其中x>67,
根据Л(x)的定义,当x≥2时,Л(x)≥1,
所以当x>67时,Л(x)>1,这与定理3,1)矛盾.
所以定理3.1)为伪命题.
出现这样的错误,是什么原因?希王元院士能正面回应,并在再版时更正.
查阅J.B.Rosser and L.Schoenfeld的原著,可点击下列链接.
avi,swf,wmv,rar,zip,doc,jpg,ppt,docx,exe,png,gif,pdf
附件出售最高收入上限为 10点

euclid.ijm.1255631807.pdf

2.4 MB, 下载次数: 1, 下载积分: 体力 -2 点

作者: wangbin123ab 时间: 2010-6-21 15:11
这个还要回去查查资料，不会真的吧

作者: foreveringxq 时间: 2010-6-21 23:07
难道？不至于吧？？？？

作者: 没爪子的猫 时间: 2010-6-22 00:06
新手路过！

作者: 753085848 时间: 2010-6-22 16:28
看不懂！

作者: 大傻8888888 时间: 2010-7-8 23:01
回复 数学1+1 的帖子

根据素数定理Л(x)~x/ln x，王元引用的是罗素的证明当x≧67时，Л(x)的值在x/(ln x-1/2)和
x/(ln x-3/2)之间，定理3.1)并不是伪命题。是你理解错了。

作者: xiaohy 时间: 2010-8-4 17:58
错哪了,这本书1981年本人就看过,没发现有错误!

作者: MATH_PHYSIC 时间: 2010-8-6 15:10
向楼上两位学习！！

作者: zhengqianhfut 时间: 2010-8-26 08:55
就是啊，哪错了，别不懂装懂

作者: 否定1129 时间: 2011-6-15 00:49
糟糕，看来我们学的数论过于皮毛！

作者: jt202010 时间: 2011-6-15 16:44

作者: jt202010 时间: 2011-6-15 16:48

作者: weixinmaths 时间: 2011-6-18 11:40

作者: 蓝色琉璃 时间: 2011-6-18 21:54
打酱油的路过~~~

作者: jt202010 时间: 2011-6-20 22:06

作者: 1395094431 时间: 2011-7-10 10:55
王元先生请不要练书法了研究一下基数列看与你研究的数论有何不相同

作者: 明月清泉 时间: 2011-8-10 23:41
哈哈哈不懂

作者: yahsu 时间: 2011-8-16 22:03
这个还要回去查查资料，不会真的吧

作者: 素数爱好者 时间: 2011-8-29 15:47
本帖最后由素数爱好者于 2011-8-29 16:33 编辑

我也读过此定理，未完全理解，请高手指点
我随便代入一个数看一下
左边：10^5/((ln(10^5)-1.5))=9987
中间：9592
右边：10^5/((ln(10^5)-0.5))=9080
照定理的排列方式：9987<9592<9080，取小于号是不对的
我想可能排版错误或者理解有问题
我的理解按下面的重新排列，不知对否
x/(ln x-3/2)>Л(x)>x/(ln x-1/2) 改成大于号才对
或者x/(ln x-1/2)＜Л(x)＜x/(ln x-3/2)这样，代入大于67以上的数都对
否则，这个“<”，理解为区间，那就换成区间符号~，Л(x)在x/(ln x-3/2)~x/(ln x-1/2)之间。
小于号有点不好理解

作者: cache001 时间: 2011-9-10 15:35
很向住数论，但不懂。
大学学过数论，现在只记得有好多sigma符号。

作者: 雪凌寒霜 时间: 2011-9-17 16:52
那的看Л(x)具体是什么定义，我觉得这么简单的错误他应该不会犯

作者: wapnr 时间: 2011-9-29 11:08
会不会是印刷错误？

作者: garfieldme 时间: 2011-10-22 10:32

作者: haiziqi521 时间: 2011-11-6 12:27
哈哈在记忆很重要

作者: liuxiaoqiang 时间: 2011-11-13 15:19
对不起楼主，由于本人是新手，无发贴的权利，只好将我的一篇论文登在此处，与大家探讨。
用求根方法巧妙证明费马猜想
作者：刘孝强
一、费马猜想简介：
1.费马猜想：当整数n > 2时，关于x, y, z的不定方程 x^n + y^n = z^n无正整数解。
2.费马在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”（拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."）毕竟费马没有写下证明，而他的其它定理对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。
3.这个猜想，本来又称费马最后定理，由17世纪法国数学家费马提出，而当时人们称之为“猜想”，并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝妙证明，但经过三个半世纪的努力，这个世纪数论难题才由普林斯顿大学英国数学家安德鲁•怀尔斯和他的学生理查•泰勒于1995年成功证明。证明利用了很多新的数学，包括代数几何中的椭圆曲线和模形式，以及伽罗华理论和Hecke代数等，令人怀疑费马是否真的找到了正确证明。而安德鲁•怀尔斯(Andrew Wiles)由于成功证明此猜想，获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。
甚至有许多数学家断言：费马猜想不可能用初等数学的方法证明。
二、求根方法证明费马猜想简介：
安德鲁•怀尔斯的证明十分繁琐，而本人以下的证明十分简明。
1.我们知道费马猜想即：当n > 2时，不定方程x^n + y^n = z^n 没有正整数解。为了证明这个结果，只需证明方程x^4 + y4^ = z^4 (x , y，z) = 1和方程x^p + y^p = z^p (x , y，z) = 1［p是一个奇素数］均无正整数解即可。
n = 4的情形已由莱布尼茨和欧拉解决。
现在本人用求根方法来证明x^p + y^p = z^p ，(x , y，z)= 1［p是一个奇素数］无正整数解。
因(x , y，z)= 1，很容易证明x和 y，要么均为奇数，要么为一奇一偶。
2.为了证明简单明了，我们先来看p=3的情形。我这种证明方法可推出p为任何奇素数的对费马猜想的一般证明：当p≥3的素数时，x^n+y^n=z^n无正整数解。
用反证法。假定 x^3+y^3=z^3有正整数解。有x和 y要么均为奇数，要么为一奇一偶。不妨假设y为奇数。那么有：
z^3 = x^3 + y^3=（x + y）（x^2 + y^2－xy）。
设x^2 + y^2－xy=A，即x^2 －xy + y^2－A =0，把此式看成关于x的一元二次方程。
为了后面的证明，我把x^2 －xy + y^2－A =0这样的方程称为标准方程。
即求x^2 －xy +y^2－A =0的解。用求根公式，有x=-（-y）±√（－y）^2－4（y^2－A）/2（注：√表示根号）= y±√（－y）^2－4y^2+4A/2= y±√4A－3y^2/2= y±√4（x^2 + y^2－xy）－3y^2/2= y±√（2x －y）^2/2。因（2x －y）^2≥0，所以方程在实数范围内有根。这里需要讨论：
（1）当2x －y>0时，因x= y±√（2x －y）^2/2，可得x=x，或x = y/2 即y= 2x（这与2x －y>0相矛盾，舍去）。
（2）当2x －y<0时，因x= y±√（2x －y）^2/2，可得x=x，,或x = y/2 即y= 2x（这与2x －y<0相矛盾，舍去）。
（3）当2x －y=0时，因x= y±√（2x －y）^2/2，可得y= 2x。
综合上面三种情况：在实数范围内，x^2 －xy + y^2－A =0有实根x=x或x = y/2 即y= 2x。
但显然在正整数范围内，因y= 2x，有y为偶数，与前面假设y为奇数相矛盾。也就是说x^3+y^3=z^3在正整数范围内无解。
为进一步明白我的思路，现在来看x^5 + y^5=z^5的情况。这时有x和 y要么均为奇数，要么为一奇一偶。不妨假设y为奇数。那么：
Z^5= x^5 + y^5=（x + y）（x^4 + xy^3－x^2y^2+ x^3y+y^4）
设x^4 + xy^3－x^2y^2+x^3y+ y^4=M，又设x^4－x^2y^2+ y^4=M- xy^3 -x^3y =C，即x^4+ y^4－x^2y^2- C = 0，用代元法，设x^2=X ，y^2=Y，有：X^2+ Y^2－XY- C = 0，这就成了标准方程，从而可用证明标准方程的方法进行证明即可。采用上面的方法，在实数范围内，有由X = X或X= Y/2 即Y= 2X。但在正整数范围内，由Y= 2X，有y^2= 2x^2，这时y为偶数，与前面假设y为奇数相矛盾。也就是说x^5+y^5=z^5在正整数范围内无解。
现在来看费马猜想的一般情形：同样用反证法。假定x^P+y^P=z^P（p是一个奇素数）有正整数解。这时有x和 y要么均为奇数，要么为一奇一偶。不妨假设y为奇数。那么因z^P=x^P－y^P=（x + y）（x^P-1+xy^p-2+…－ x ^p-1/2y^p-1/2+…+ x^P-2y+ yP-1）,设（x^P-1+xy^p-2+…－ x ^p-1/2y^p-1/2+…+ x^P-2y+ y^P-1）=C，即x^P-1+…－ x^ p-1/2y^p-1/2+…+ x^P-2y + y^P-1－C=0，设D=C-（xy^p-2+…+ x^P-2y），采用上面的方法很容易推出方程：x^P-1－x^p-1/2y^p-1/2+y^P-1－D=0，用代元法设x^ P-1/2=X ，y^p-1/2=Y，有：X^2+ Y^2－XY- D = 0，这就成了标准方程，从而按证明标准方程的方法就可以证明：x^P+y^P=z^P（p是一个奇素数）无正整数解。
证毕。

2010年12月3日

（作者单位：四川省万源市太平镇。QQ号：516030331）

作者: 飘香的荆叶 时间: 2011-12-4 17:30
看不懂呀，看来我还要****呀

作者: xieleimath 时间: 2011-12-7 15:58

大傻8888888 发表于 2010-7-8 23:01 8 R. R: c8 L1 f- W7 A) F
回复数学1+1 的帖子
6 O6 T' S+ E: d9 o [1 \2 s; R
, o1 z5 S8 c0 E$ s7 J: v根据素数定理Л(x)~x/ln x，王元引用的是罗素的证明当x≧67时，Л(x)的值在x/(ln x ...

反正我没看懂那人理由的充分性。但由于本人才疏，所以求教一下，这个命题到底正确与否？

作者: yinbaoli 时间: 2012-1-1 00:58

liuxiaoqiang 发表于 2011-11-13 15:19
9 W4 A4 _1 @! N) [0 t L* }; T对不起楼主，由于本人是新手，无发贴的权利，只好将我的一篇论文登在此处，与大家探讨。5 D* C* c% |# |4 s9 _* z9 D
用求根方法巧妙证 ...

（x,y,z）=1,并不能得出：x,y同为奇数或一奇一偶这个结论吧……比如（2,2,1）=1

作者: lz90s 时间: 2012-1-5 11:33
目前像楼主那样不迷信，敢质疑的人快绝种了，一般都是知其然就算，悲啊

作者: lilianjie 时间: 2012-1-7 13:25
解析数论那麽难学。。。

用PrimeP（）i验验就OK了嘛，其实现在2012年了，那是1978的结论

最新逼近1998年：

T1998_01.pdf

915.57 KB, 下载次数: 11, 下载积分: 体力 -2 点

作者: 游走江湖 时间: 2012-1-12 19:23
同学，你太强了

作者: hxs 时间: 2012-1-14 17:55
zenmehuishi

作者: schnee 时间: 2012-1-29 10:24
必须顶啊！！！

作者: 大鲵2003 时间: 2012-2-2 10:54

作者: qazwer168 时间: 2012-2-6 11:43
真的牛，双手赞成，谢谢了

作者: qaz777777 时间: 2012-2-11 23:06
没有发现啊没有发现啊

作者: 哦一撇 时间: 2012-3-12 13:06
得看看资料，仔细想想。。。

作者: 葫芦一笑 时间: 2012-3-25 19:15
王院士应该看到我的证明了

作者: mathjgs 时间: 2012-4-7 16:58
怎么搞得像民间科学家一样?

作者: 孪生素数 时间: 2012-4-7 17:30

liuxiaoqiang 发表于 2011-11-13 15:19
1 Y4 {2 h0 Y/ n* u, ?# F对不起楼主，由于本人是新手，无发贴的权利，只好将我的一篇论文登在此处，与大家探讨。
/ M* H9 U" k0 ]1 i用求根方法巧妙证 ...

我发现凡是宣称用初等方法证明费马定理的人都是基于这个分解
z^P=x^P－y^P=（x + y）（x^P-1+xy^p-2+…－ x ^p-1/2y^p-1/2+…+ x^P-2y+ yP-1）,
如果这样真行的话，费马定理应该是三十分钟的考试题而不是三百年来的世纪难题。

作者: guanyuhang 时间: 2012-4-21 02:36
数论···王冠~~~

作者: 青枫林霰 时间: 2012-5-16 00:10
没有学过数论的飞过

作者: 小五的森林 时间: 2012-7-11 15:46
试下论证，看看结果

作者: 小五的森林 时间: 2012-7-11 15:49
查查资料看下

作者: sdccumcm 时间: 2012-7-22 00:30
路过~~~~~~~

作者: 炎~黄 时间: 2012-8-10 18:30
真心不懂......

作者: 东方火狐 时间: 2012-10-2 12:02

大傻8888888 发表于 2010-7-8 23:01 7 B' l! @1 I' J5 K6 R) U" N
回复数学1+1 的帖子
) V. b6 G2 ~' F1 c0 K$ |1 k7 z; M( w+ w8 A
根据素数定理Л(x)~x/ln x，王元引用的是罗素的证明当x≧67时，Л(x)的值在x/(ln x ...

同意这个观点

作者: 1097908652 时间: 2012-12-21 20:58
向楼主学习！！

作者: qq602680283 时间: 2012-12-27 20:51
看不懂，压力很大

作者: p_sunrise 时间: 2013-1-23 15:04

好高深！！！

作者: 979320854 时间: 2013-6-15 22:44
不断总结，才会前进。

作者: 数学1+1 时间: 2014-6-26 20:11
本帖最后由数学1+1 于 2020-4-20 11:51 编辑

仿佛就在昨天，<<关于素数定理(质疑王元)>>一文己发表4年，作者以为，王元先生做为中国数学界"元老"级的人物，治学严谨，对于一个显而易见的错误，一经发现，理当更正。作者是一"书痴"，就像刘培杰先生说的一样，买了由刘培杰，张永芹策划编辑，哈尔滨工业大学出版社(2011年，3月)再版的<<谈谈素数>>一书，翻开新书一看，发现错误依旧。

作者: 空空zq 时间: 2014-8-6 13:27
没有知识就不要瞎指挥，只会沦为笑柄

作者: pxzlucky 时间: 2015-3-17 21:34
路过。。。。。。。。。。

作者: 数学1+1 时间: 2016-9-29 14:56
哈尔滨工业大学出版社2011年3月再版了《谈谈素数》，错误依然存在，编辑刘培杰先生亦认为没有错误，这确实让人无语。

作者: 任在申 时间: 2017-2-11 21:06
本帖最后由任在申于 2017-2-11 22:05 编辑

原素数定理确实是错误的！因为它不符合大自然法则！
一.大自然法则：天圆地方。
   1.这里天指的是宇宙的刚性空间是无穷大的圆球体，地指的是该圆球体的内接正立方体以及外切正立方体，它表示的是三维空间的数的模。n^3.见图1
   2.我们以上述三维空间体的X,Y轴作切面，得二维正方形ABCD,即是二维空间数的模。n^2.见图（一）
                              ___
   3.我们分别以1，√j+1，j=0.1.2.3...n为直角三角形的直角边的边长就无限的得到斜边的边长，为
         ___
      √j+1的斜边新的连续的表示线段的基本量纲。n^1,见图基本单位螺旋线。
由图的结构可求得素数单位定理的公式
定理1 设任意偶合数2n含有素数单位的个数是π(2n),含有素数单位个数的系数是An,

      则有：
                                                2n+12(√2n-1)
                              (1)π(2n)=----------------------
                                                         An

1.jpg (44.46 KB, 下载次数: 239)

TU(一).png (3 KB, 下载次数: 227)

TU(一).png

基本单位螺旋线.png (10.58 KB, 下载次数: 231)

基本单位螺旋线.png

作者: 1300611016 时间: 2017-2-13 13:34
素数定理是一个粗略的工具，打一比方说要你用放大镜去观察原子直径量级的长度，你的结果与客观一致的话，这不是你的方法正确，也不是你的工具先进，而是······。

作者: 任在申 时间: 2017-2-14 00:16
《中华单位论》不当发现了素数单位定理，而且由该定理推导出，第n个素数单位的数学函数结构式。

定理2 第n个素数单位数学函数结构式

(2)$Error Please Check$

作者: 任在申 时间: 2017-2-14 00:22
第n个素数单位Pn的数学函数结构关系式式：

(2) Pn=[(NpAp+48)^1/2-6]^2

其中： Np是第n个素数单位的位数，An是位数系数。

作者: 任在申 时间: 2017-2-14 01:43

1300611016 发表于 2017-2-13 13:34 / H6 A/ g+ z* x$ v7 P7 n
素数定理是一个粗略的工具，打一比方说要你用放大镜去观察原子直径量级的长度，你的结果与客观一致的话，这 ...

错！
素数单位的分布很有规律，而且还有数学函数结构式！

作者: 任在申 时间: 2017-2-14 01:46

1300611016 发表于 2017-2-13 13:34
) B. w1 M' y2 Q2 T3 s3 p素数定理是一个粗略的工具，打一比方说要你用放大镜去观察原子直径量级的长度，你的结果与客观一致的话，这 ...

素数的分布很有规律！而且还有素数分布的数学函数结构关系式！

作者: 任在申 时间: 2017-2-21 20:20
《中华单位论》中华素数单位定理

定理1 任意偶合数单位2n含有素数单位Pn的个数是π(2n).

（1） π(2n)=[2n+12(√2n-1)]/(2.3log2n-1.02121), 2n≧10.

作者: 数学1+1 时间: 2018-10-22 10:30
本帖最后由数学1+1 于 2018-10-22 10:31 编辑

我把王元原著与J.B.Rosser and L.Schoenfeld原著图片保存在这里，供王元，刘培杰等相关作者，编辑比较研究，供读者对比研究。

QQ截图20181022095439.png (222.55 KB, 下载次数: 520)

QQ截图20181022095439.png

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)