梅森数之谜:MM127是素数吗--漫谈著名数论历史难题卡特兰-梅森猜想(Catalan-Mersenne number conjecture)
【ZZ】梅森素数列表
【ZZ】梅森素数列表(按照⼤⼩排序)第1个梅森素数:当p=2时,M_2=(2^2)-1=3,位数为1位,发现于公元前300年左右。
第2个梅森素数:当p=3时,M_3=(2^3)-1=7,位数为1位,发现于公元前300年左右。
第3个梅森素数:当p=5时,M_5=(2^5)-1=31,位数为2位,发现于公元前100年左右。
第4个梅森素数:当p=7时,M_7=(2^7)-1=127,位数为3位,发现于公元前300年左右。
第5个梅森素数:当p=13时,M_13=(2^13)-1=8191,位数为4位,发现于公元1456年。
第6个梅森素数:当p=17时,M_17=(2^17)-1=131071,位数为6位,由Cataldi发现于公元1588年。
第7个梅森素数:当p=19时,M_19=(2^19)-1=524287,位数为6位,由Cataldi发现于公元1588年。
第8个梅森素数:当p=31时,M_31=(2^31)-1=2147483647,位数为10位,由Euler发现于公元1772年。
1772年,瑞⼠数学家欧拉在双⽬失明的情况下,以惊⼈的毅⼒靠⼼算证明(2^31)-1(即2147483647)是第8个梅森素数,该素数有10位数,堪称当时世界上已知的最⼤素数;他因此获得了“数学英雄”的美名。
第9个梅森素数:当p=61时,M_61=(2^61)-1,位数为19位,由Pervushin发现于公元1883年。
第10个梅森素数:当p=89时,M_89=(2^89)-1,位数为27位,由Powers发现于公元1911年。
第11个梅森素数:当p=107时,M_107=(2^107)-1,位数为33位,由Powers发现于公元1914年。
第12个梅森素数:当p=127时,M_127=(2^89)-1,位数为39位,由Lucas发现于公元1876年。
第13个梅森素数:当p=521时,M_521=(2^521)-1,位数为157位,由Robinson发现于公元1952年。
大素数新纪录
大素数新纪录作者:胡作玄来源:《百科知识》2008年第24期2008年8、9月,也就是刀世瞩目的奥运会和残奥会期间,另一个领域也就是数学领域的世界纪录被刷新,美国人和德国人分别发现了当前已知的最大素数——第45个和第46个梅森素数。
让我们来解释一下什么是梅森素数。
素数这个概念大家都知道,也就是一个正整数,除了1和它本身之外,没有其他因子的数。
现在我们规定1不是素数。
因此,最小的素数是2,它是惟一的偶素数,其他的素数均为奇数。
这样10以下的素数有4个,它们是:2,3,5,7;100以下的素数有25个。
大部分正整数不是素数,我们称为合数,它们总可以分解成为素数的乘积,也说是它们有除1和数本身之外的因子。
例如21=3×7,91=7×13,显然,在一定范围之内,合数要比素数多得多,不过,欧几里得早已证明素数有无穷多。
虽然任何素数之后肯定还有素数,可是人们并不知道一个给定的数是不是素数。
理论上讲,只要你有足够的时间和精力就可以完成,也就是对于整数Ⅳ,用小于或等于根号N的素数去除它,如果都除不尽,那Ⅳ就是素数。
这事看起来容易做起来难。
如果Ⅳ不大,如Ⅳ只有10位,也许可以用5位以内的素数一个一个去除,看看是否除得尽。
可是如果Ⅳ为100位,就根本办不到了,因为我们还不知道50位以内的素数到底有多少,实际上至今25位以内的素数有哪些,我们也不清楚。
因此,要想摘取最大素数的桂冠,还得另觅他途。
找一种特殊形式的素数,这就是梅森素数。
梅森是位教士,是科学的组织者,他那时——17世纪上半世纪,没有科学期刊,每个人的工作通过书信传到他那里,然后,他再传给别人,这样大家都可以分享最新的知识。
梅森自己也对数学有极大兴趣,他发现:如果2p-1是素数,则p一定是素数,因此后来人们就手把2p-1型的素数,称为梅森素数,常常简记为Mp。
但是,这定理反过来是否对呢?也就是:如果p是素数,2p-1是否素数?梅森试了试最小的素数,当p=2,3,5,7时,2p-1分别等于3,7,31,127,恰巧都是素数,于是他猜想p=13,17,19,31,67,127,257时,2 p—l也是素数。
史上最大的素数刚刚被找到,来感受下它的长度
史上最大的素数刚刚被找到,来感受下它的长度宇宙中素数的最大记录被刷新了,这个被命名为M77232917的最大素数,共23,249,425位,比目前的第二大素数多了将近100万位。
仅仅是记录这个数的纯文本文件,在电脑占有的内存超过23M。
如果一个人打算挑战手写这个数,一天写1000位,从今天开始算,需要写到2081年。
幸运的是,有一个简单的方法可以表述这个数:2^77,232,917-1。
也就是说,这个新素数是2的次方的次方的次方…(重复77,232,917次)然后减1。
在素数中,有一类数是2的n次幂减1,这类数叫梅森素数(Mersenne prime)。
最小的梅森素数是3(2^2-1),次小的梅森素数是31(2^5-1)。
感受一下这个数有多长而这个迄今最大的梅森素数,是在2017年12月底由全球合作项目“互联网梅森素数搜索”(GIMPS)发现的。
一位现年51岁,住在田纳西州的电气工程师Jonathan Pace在自己的电脑上发现了这个数,他参与GIMPS项目已有14年。
GIMPS在1月3号的官方声明中称,另外4位参与GIMPS 的人用了4种不同的算法,花了六天的时间来验证这个素数。
据田纳西大学的数学家Chris Caldwell个人网站上的信息称,梅森素数的命名源自法国教士马林·梅森(1588-1648)。
梅森提出,当n<=257, 且仅当n=2, 3, 5, 7, 13, 17, 19, 31, 67,127, 257时, (2^n-1)是素数,马林·梅森在现代软件解决素数问题的曙光出现前,一个教士能提出这样的理论已是很了不起(事实上他和数学家费马是好朋友)。
在1536年,这个理论有了不起的进步之处。
此前人们认为,当n为素数时,2的n次幂减1会是素数。
不过,梅森的理论也存在错误之处。
梅森理论里的最大数,即2^257-1,其实并不是素数。
而且梅森漏掉了几个数:2^61-1, 2^89-1和2^107-1, 尽管后两个数直到20世纪初才被发现。
梅森素数的分布规律
梅森素数的分布规律梅森素数是指形如2^p-1的素数,其中p也是素数。
梅森素数的分布规律一直是数学家们研究的热点之一。
在这篇文章中,我们将探讨梅森素数的分布规律以及其背后的数学原理。
我们需要了解梅森素数的特点。
梅森素数的形式非常特殊,只有当p是素数时才有可能是梅森素数。
因此,梅森素数的数量非常有限。
目前已知的梅森素数只有47个,最大的一个是2^82,589,933-1。
这个数字有24,862,048位,是目前已知的最大素数。
那么,梅森素数的分布规律是什么呢?数学家们发现,梅森素数的数量并不是随机分布的,而是呈现出一定的规律性。
具体来说,梅森素数的数量随着p的增大而减少。
这个规律被称为梅森素数定理。
梅森素数定理的数学表达式为:如果2^p-1是素数,那么p也必须是素数。
这个定理的证明非常复杂,需要运用到数论、代数学等多个数学分支的知识。
但是,我们可以通过一些简单的例子来理解这个定理。
例如,当p=2时,2^p-1=3,是一个素数。
当p=3时,2^p-1=7,也是一个素数。
但是当p=4时,2^p-1=15,不是一个素数。
因此,梅森素数定理成立。
梅森素数的分布规律不仅仅是一个数学问题,它还涉及到计算机科学、密码学等多个领域。
梅森素数被广泛应用于随机数生成、加密算法等方面。
因为梅森素数的数量非常有限,而且它们的位数非常大,因此可以用来生成高质量的随机数,保证加密算法的安全性。
梅森素数的分布规律是一个非常有趣的数学问题。
通过研究梅森素数的分布规律,我们可以深入了解素数的性质,同时也可以应用到计算机科学、密码学等多个领域。
数论之巅——5个关于素数的“未解之谜”,人类的知识极限之一
数论之巅——5个关于素数的“未解之谜”,人类的知识极限之一数学中研究最多的领域之一是素数的研究。
素数领域存在很多非常困难的问题,即使是最伟大的数学家也没有解决。
今天,我们来看看数学中关于素数的5个最古老的问题,这些问题理解起来很容易,但却没有得到证实。
完美数(完全数、完备数):奇数完全数是否存在?偶数完全数是无限的吗?看一下6、28、496、8128这些数字.....这些数字有什么特别之处?我建议你试着寻找一个关于数字的美丽的基本性质。
如果你看一下这些数的真因数,你可能会注意到这个“美丽”的性质。
•6 = 1 + 2 + 3,•28 = 1 + 2 + 4 + 7 + 14,•496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248•8128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1016 + 2032 + 4064真因数之和等于数字本身的数字被称为完全数。
最早的关于完全数的研究已经消失在历史潮流中。
然而,我们知道毕达哥拉斯人(公元前525年)曾研究过完全数。
我们对这些数字了解多少呢?欧几里德证明,对于一个给定的n,如果(2^n-1)是一个素数,那么是一个完全数。
再做些铺垫。
梅森素数:梅森猜想,当n为素数时,所有形式为2^n-1的数都是素数。
我们知道这不是真的。
例如,2^11-1 =2047 = 23 × 89开放性问题:是否有无限多的梅森素数?目前我们知道47个梅森素数。
•欧拉在18世纪提出,任何偶数完全素数的形式都是2^(n-1)(2^n-1)。
换句话说,偶数完全数和梅森素数之间有一个一一对应的关系。
正如你所看到的,自从欧几里德(约公元前300年)以来,我们就知道偶数完全数以及得到它们的方法。
我们不知道的是,是否存在任何奇数完全数?(实际上,对奇数完全数的研究很少,在这个问题上几乎没有任何进展。
梅森素数2
j =0; break;/* 找到一个因子则可退出循环 */ } else j = 1; } if ( j ) printf (" p 为%d 时是梅森素数 \n" , p) ; else printf (" p 为%d 时不是梅森素数 \n" , p) ; }
[4] 张四保. 梅森素数研究综述 [J] . 科技导报,2008,26 (18):88-92.
[5] 高全泉.“大互联网梅森素数寻求 (GIMPS)”研究计划进展 [J] . 数学的实践与认识,2005,35 (10):166-171.
[6] Xiong Wei, Zhang Jingwei, He You. Multisensor Joint Proba- bilistic Data Association Algorithm Based on S_D As -sign- ment [J] .Tsinghua Univ (Sci & Tech) , 2005,45 (4) :452455.
SOFTWARE DEVELOPMENT AND DESIGN
软件开发与设计
梅森素数
刘建波,陈杰,王硕
(东北大学秦皇岛分校电子信息系,秦皇岛 066004)
摘 要: 梅森素数是数论研究中的一项重要内容,也是当今科学探索的热点和难点之一。介绍了梅森素数的相关定 义、定理、算法和意义,并讨论了有待解决的相关问题。 关键词: 素数;梅森素数;数论;C 语言;GIMPS
以下所有算法均采用 C 语言编写,大家只要学过编程都 能看懂,即使是初学者也能感受到利用简单程序解决世界著 名问题的乐趣,增加对编程的兴趣。由于操作数比较大,对 于较大的数可能会产生溢出。
江苏省常州高级中学2023-2024学年高二下学期期中质量检查语文试题(含答案)
常州高级中学2023-2024学年高二下学期期中质量检查语文试卷2024年4月24日注意事项:1.答题前,考生务必将含有自己姓名、学号信息的条形码粘贴在答题卡指定位置。
2.回答选择题时,选出每小题答案后,用铅笔把答题卡上对应题目的答案标号涂黑。
如需改动,用橡皮擦干净后,再选涂其他答案标号。
回答非选择题时,将答案写在答题卡上。
写在本试卷上无效。
3.考试结束后,统一上交答题卡。
一、现代文阅读(35分)(一)现代文阅读I(本题共5小题,19分)阅读下面的文字,完成下面小题。
①自发明相机以来,世界上便盛行一种特别的英雄主义:视域的英雄主义。
摄影打开一种全新的自由职业活动模式——允许每个人展示某种独特、热忱的感受力。
摄影师们出门去作文化、阶级和科学考察,寻找夺人心魄的影像。
不管花费多大的耐性和忍受多大的不适,他们都要以这种积极的、渴求吸取的、评价性的、不计酬劳的视域形式,来诱捕世界。
阿尔弗雷德·施蒂格利茨自豪地报告说,在1893年2月20日,他曾在一场暴风雪中站立三小时,“等待恰当时刻”,拍摄他那张著名的照片《第五大街,冬天》。
这种追求,已成为大众心目中摄影师的商标。
到20世纪20年代,摄影师已像飞行员和人类学家一样,成为现代英雄。
大众报纸的读者被邀请去与“我们的摄影师”一道,作“发现之旅”,参观各种新领域,诸如“从上面看世界”“放大镜下的世界”“每日之美”“未见过的宇宙”“光的奇迹”“机器之美”以及可在“街上找到”的画面。
②日常生活的神化,以及只有相机才能揭示的那种美——眼睛完全看不到或通常不能孤立起来看的物质世界的一角,譬如从飞机上俯瞰——这些是摄影师的主要征服目标。
有一阵子,特写似乎是摄影最具独创性的观看方法。
摄影师发现随着他们更窄小地裁切现实,便出现了宏大的形式。
在19世纪40年代初,多才多艺、心灵手巧的福克斯·塔尔博特不仅制作传统绘画中常见题材的照片,而且把相机对准贝壳、蝴蝶翅膀,对准他书房里两排书的一部分。
梅森与梅森素数
数.
伟大的瑞士 数 学家 欧拉 已 经证 明了 所有 的 偶
梅森素数和完全数的关系
梅森素数和完全数的关系梅森素数和完全数的关系梅森素数是指素数形如2的n次方减一的数,其中n也必须是一个素数。
例如,3、7、31等均为梅森素数。
完全数是指其所有因子(除了自己)之和等于它本身的数。
例如,6、28等均为完全数。
这两种数在数学中各自具有独特的特性,是否存在它们之间的联系呢?1. 梅森素数和完全数的定义首先,我们需要了解梅森素数和完全数的定义。
梅森素数是指形如2的n次方减一的素数,其中n也必须是一个素数。
例如,当n=2时,2的2次方减一等于3,3为梅森素数。
当n=3时,2的3次方减一等于7,7为梅森素数。
完全数是指其所有因子(除了自己)之和等于它本身的数。
例如,当数值等于6时,它的因子有1、2、3,1+2+3=6,因此6为完全数。
2. 梅森素数和完全数的关系梅森素数和完全数之间的关系是这样的:每个偶完全数都可以表示为2的p-1次方(2的p-1次方为梅森素数)乘以2的p-2次方(其中p为质数),反之,每个偶梅森素数都可以表示为2的p-1次方乘以恰当的偶完全数。
3. 实例解析例如,我们以6、28、496、8128等几个完全数为例,将它们写成2的p-1次方与2的p-2次方形式。
① 6=2的1次方×2的2次方,其中p=2,2的2次方减一等于3,即6=2的2次方减一×3。
由此可知,6可以表示成梅森素数3乘以2的1次方,符合关系中的规律。
② 28=2的3次方×2的2次方,其中p=3,2的3次方减一等于7,即28=2的2次方乘以7。
由此可知,28可以表示成梅森素数7乘以2的2次方,又符合关系中的规律。
③ 496=2的5次方×2的3次方,其中p=5,2的5次方减一等于31,即496=2的3次方乘以31。
由此可知,496可以表示成梅森素数31乘以2的3次方,符合关系中的规律。
类似地,我们可以通过2的p-1次方和2的p-2次方的形式,将完全数与梅森素数联系起来。
4. 结论总的来说,梅森素数与完全数之间是存在联系的。
梅森素数与完全数
梅森素数与完全数(本文已在《中小学数学》(初中版2015年11期) 上发表 湖北省潜江市江汉油田教育实业集团教科院 舒云水 433124人教版五年级下册数学课本介绍了完全数,人类寻找这48个完全数是经过了一个漫长艰难的过程,本文将作一个介绍﹒寻找完全数与寻找梅森素数是联糸在一起的,下面先谈梅森素数的寻找历史﹒1. 梅森素数梅森(1588—1648)是法国数学家,自然哲学家和宗教家﹒他在1644年提出了梅森素数﹒梅森的提出是探索表素数公式的开始,在数论史上具有开拓性的意义﹒将形如)1,(12M >∈-=n N n n n 的数叫做梅森数,其中是素数的梅森数叫做梅森素数,梅森提出的问题具有启发性,但他当时的判断有误﹒他说,对p=2,3,5,7,13,17,31,67,127,257, P M 是素数,而p<257的其它素数对应的P M 都是合数﹒梅森是如何得到这一结论的呢?无人知晓﹒到了1947年有了台式计算机后,人们才能检查他的结论,发现他犯了五个错误,25767M M ,不是素数,而1078961M ,,M M 是素数﹒梅森素数貌似简单,但当指数P 值较大时,其探究难度就会很大﹒它不仅需要高深的理论和纯熟的技巧,而且还需要进行艰巨的计算﹒1772年,瑞士数学大师欧拉在双目失明的情况下,花了两天的时间,靠心算证明了1231-(即2147483647)是第8个梅森素数﹒这个具有10位的素数,堪称当时世界上已知的最大素数﹒欧拉证明这一素数的顽强毅力和解题技巧都令人赞叹不已! 1867年以来,人们已经知道67M 是合数,但对它的因数一无所知﹒1903年10月在美国数学会举行的一次会上,数学家科尔提交一篇论文《大数的因子分解》﹒轮到科尔报告时,他走到黑板前,一言未发便作起2的方幂的演算,直到2的67次幂,从所得结果减去1,然后默默无言地在黑板的空白处写下两个数相乘:193707721⨯761838257287﹒两个计算结果完全一样﹒之后,他只字未吐又回到自己的座位上,会场爆发了热烈的掌声!这短短几分钟的报告却花了科尔3年的全部星期天﹒在手工计算的时代,人们历尽艰辛,仅找到12个梅森素数,它们是P M ,其中p=2,3,5,7,13,17,19,31,61,89,107,127﹒计算机发明出来后,人们借助电子计算机去寻找梅森素数,从1952年后到1996年5月为止,陆续发现了22梅森素数,其中p=521(1952), 607(1952),1279(1952),2203(1952),2281(1952),3217(1957),4253(1961),4423(1961),9689(1963),9941(1963),11213(1963),19937(1971),21701(1978),23209(1979),44497(1979),86243(1983),110503(1988),132049(1983),216091(1985),756839(1992),859433(1994),1257787(1996)﹒括号里的数字为发现的年份﹒上面最后一个梅森素数M是1996年5月美国威斯康星州克雷研究所发1257787现的,M是迄今为止最后一个由超级计算机发现的梅森素数﹒该所的计算1257787机专家史洛温斯基一共发现了7个梅森素数,他因此被人们称为“素数大王”﹒使用超级计算机寻找梅森素数的游戏实在太昂贵了﹒1996年初美国数学家及程序设计师乔治·沃特曼编制了一个梅森素数寻找程序,并把它放在网页下供数学家和数学爱好者免费使用,这就是著名的“因特网梅森素数大搜索”(GIMPS)项目,GIMPS项目实施以来,利用该项目已经发现了14个梅森素数,到目前为止现在一共发现了48个梅森素数,1996年11月以后发现的梅森素数都是利用该项目发现的,世界上已有180个国家和地区近27万人参加了这一项目,并动用了74万多台计算机联网来进行网络分布式计算﹒下面按发现时间顺序给出这14个梅森素数,括号里的数字是发现时间﹒P=1398269(1996-11-13),2976221(1997-08-24),3021377(1998-01-27),6972593(1999-06-01), 13466917(2001-11-14),20996011(2003-11-17),24036583(2004-05-15),25964951(200 5-02-18),30402457(2005-12-15),32582657(2006-09-04),43112609(2008-08-23),37156667(2008-09-06),42643801(2009-04-12),57885161(2013-01-25)﹒M,它是2013年1月25日,由美国中央其中最大的梅森素数是第个57885161密苏里大学数学教授柯蒂斯·库珀领导的研究小组发现的,该素数是一个17425170位数,如果用5号字将这个数连续打印下来,它的长度可超过65公里﹒库珀博士是搜索梅森素数的老手了,还有两个梅森素数也是他和他的团队一M,另一个是2006年9月4起发现的,一个是2005年12月15日发现的30402457M,它们分别是人类发现的第43过和第44个梅森素数﹒按照相日发现的32582657关奖金赞助者的新规定,第48个梅森素数的发现者获得3000美元的梅森素数发现奖﹒这个素数也成为目前人类所知道的最大的素数﹒梅森素数在当代具有十分丰富的理论意义和实用价值﹒它是发现已知最大素数的最有效途径;它的探究推动了数学皇后——数论的研究,促进了计算技术、程序设计技术、网格技术和密码技术的发展以及快速傅里叶变换的应用﹒探索梅森素数最新的意义是:它促进了网格技术的发展﹒而网格技术将是一项应用非常广阔、前景十分诱人的技术﹒另外,探索梅森素数的方法还可以用来测试计算机硬件运算是否正确﹒素数有无穷多个,梅森素数是否有无穷多个?这是目前尚未解决的著名数学难题,而揭开这未解之谜,正是科学追求的目标﹒可以相信梅森素数这颗数海明珠正以独特的魅力,吸引着更多的有志者去寻找和研究﹒2. 完全数如果一个自然数等于除它自身之外的各个正因数之和,则这个数叫完全数﹒例如:6=1+2+3,28=1+2+4+7+14,6和28都是完全数﹒完全数是被古人视为瑞祥的数,古希腊人在公元2世纪末已发现了四个完全数:6,28,496,8128﹒最小的完全数是6,意大利人把6看成是属于爱神维纳斯的数,以象征美满的婚姻﹒完全数诞生后,吸引着众多数学家与业余爱好者像淘金一样去寻找﹒它很久以来一直对数学家和业余爱好者有着一种特别的吸引力,他们没完没了地找寻这一类数字﹒从第四个完全数8128到第五个完全数33550336的发现经过了一千多年,真可谓“千年等一回” ﹒第五个完全数在1456年由一位无名氏给出﹒第六、第七个完全数在1588年由Cataldi 发现,第八个完全数由欧拉在1772年发现的,前文已提到﹒完全数的发现与梅森素数有关,这里不得不提两位伟大的数学家欧几里得和欧拉的贡献﹒早在二千多年前,欧几里得证明了:如果)1(12>-k k 是素数,则)12(21-=-k k n 是一个完全数﹒后来,欧拉又证明了,所有的偶完全数一定只有这种形式,把这两个结论并在一起,得出下面定理﹒定理 如果P M 是素数,那么)12(2)1(211-=+-p p p p M M 是一个偶完全数,而且除这些以外,再没有其它的偶完全数﹒这个定理说明,是否有无穷多个偶完全数的问题归结为是否有无穷多个梅森素数,由前文知目前只知道48个梅森素数,所以目前只知道48个偶完全数﹒是否存在奇完全数?这是一个没有解决的问题,等待人们去研究﹒完全数有许多有趣的性质:⑴它们都能写成连续自然数之和例如:6=1+2+3,28=1+2+3+4+5+6+7,496=1+2+3+…+30+31﹒⑵每个都是调和数它们的全部因数的倒数之和都是2,因此每个完全数都是调和数﹒ 例如:111121236+++=,111111212471428+++++=﹒ ⑶可以表示成连续奇立方数之和除6以外的完全数,还可以表示成连续奇立方数之和﹒例如:332813=+,33334961357=+++,3333812813515=+++﹒⑷都可以表示为2的一些连续正整数次幂之和例如:12622=+,23428222=++,678910111281282222222=++++++, 12132433550336222=+++﹒ ⑸完全数都是以6或8结尾如果以8结尾,那么就肯定是以28结尾﹒⑹位数字相加直到变成个位数则一定是1除6以外的完全数,把它的各位数字相加,直到变成个位数,那么这个个位数一定是1﹒(亦即:除6以外的完全数,被9除都余1)28:2+8=10,1+0=1496:4+9+6=19,1+9=10,1+0=1参考文献[1]张顺燕﹒数学的源与流[M]﹒北京:高等教育出版社﹒2001[2]孙宏安﹒第48个梅森素数﹒中学数学教学参考,2013,4(上旬)。
梅森素数mersenneprime
梅森素数mersenne prime梅森素数Mersenne Prime梅森素数(Mersenne Prime)是指形如2^p,1的正整数,其中指数p是素数,常记为Mp。
若Mp是素数,则称为梅森素数。
p=2,3,5,7时,Mp都是素数,但M11=2047=23×89不是素数,是否有无穷多个梅森素数是数论中未解决的难题之一。
截止2012年7月累计发现47个梅森素数,最大的是p=43,112,609,此时Mp 是一个12,978,189位数。
概述素数是在大于1的整数中只能被1和其自身整除的数(如2、3、5、7等等),素数有无穷多个。
而形如“2^P,1”(P为素数)的正整数,其中指数P是素数,常记为Mp。
若Mp是素数,则称为梅森素数。
以17世纪法国数学家马林?梅森的名字命名。
梅森素数是数论研究的一项重要内容,也是当今科学探索的热点和难点之一。
截止2012年7月人类仅发现47个梅森素数。
梅森素数由来早在公元前300多年,古希腊数学家欧几里得就开创了研究2^P,1的先河,他在名著《几何原本》第九章中论述完美数时指出:如果2^P,1是素数,则(2^p,1)2^(p,1)是完美数。
1640年6月,费马在给马林?梅森的一封信中写道:“在艰深的数论研究中,我发现了三个非常重要的性质。
我相信它们将成为今后解决素数问题的基础”。
这封信讨论了形如2^P,1的数(其中p为素数)。
梅森在欧几里得、费马等人的有关研究的基础上对2^P,1作了大量的计算、验证工作,并于1644年在他的《物理数学随感》一书中断言:对于p=2,3,5,7,13,17,19,31,67,127,257时,2^P,1是素数;而对于其他所有小于257的数时,2^P,1是合数。
前面的7个数(即2,3,5,7,13,17和19)属于被证实的部分,是他整理前人的工作得到的;而后面的4个数(即31,67,127和257)属于被猜测的部分。
不过,人们对其断言仍深信不疑。
梅森素数趣谈
力 寻 找 梅 森 素 数 已发 展 成 为一 种 全 球 化 的 式 计 算 .
活动 。
据 目前 最新 消息 , 现今 计 算 出的 最 大 的
现在 人 们 利 用 微 机 系 统 把 寻 找 梅 森 素 梅 森素 数是 2 。 叩鹅 一1 , 其 计算 结果 为两 千 数 发 动成 为有 数 万 人 自愿 参 加 的大 行 动 , 他 多 万位 , 即 使读 一 遍 也 需 要用 好 几 个 月 的 时
欧几 里得 在 2 0 0 0多年 以前 就 利用 反证 法 证 数 ) 是2 一1 —3 ; 第二 个梅 森素 数是 2 。 一1 :
明 了有无 穷无 尽 的素 数 , 消 除 了人 们 对 素 数 7 ; 第三 个梅 森 素数是 2 一1 —3 1 , ……到 此 多少的疑 惑 , 所 以 也 就 不 存 在 最 大 素 数 问 有 的同学 可能会 说 : 这 还 不 是很 容 易 就 找 出
比如对 于 2 0 0 9 , 总 不 能 把 所 有 比 它 小 的数 算 和纯 熟 的技巧 .
都 拿来试 除 吧 ? 因此 有 人 猜 想 它 是 素 数 , 可
后来 , 又 经 过 了很 长 时 间 , 人 们 才 又 陆
事 实上 它 能 够 被 7和 4 1整 除 , 因 此 它 不 是 续地 发 现 2 一1 , 2 一 1 , 2 "一 1 , 2 一 1 也 素 数. 都是 素 数 , 这 是 因 为越 往 后 寻 找 起 来 就越 困 在数学发 展 的 历史 长 河 中 , 人 们 始 终 难 , 这样 梅森 素数 就变 得更 加 扑朔 迷 离 了. 就
小学数学数学故事梅森素数:千年不休的探寻之旅2
梅森素数:千年不休的探寻之旅(2)那些手扛肩挑的年代手算笔录的时代,每前进一步,都显得格外艰难。
1772年,在卡塔尔迪提出近200年之后,瑞士数学家欧拉证明了M31确实是一个素数,这是人们找到的第8个梅森素数,它共有10位数,堪称当时世界上已知的最大素数,欧拉也因此成为第二个在发现者名单上留名的人。
让人惊叹的是,这是在他双目失明的情况下,靠心算完成的。
这种超人般的毅力与技巧让欧拉获得了“数学英雄”的美誉。
法国大数学家拉普拉斯(place)说的话,或许可以代表我们的心声:“读读欧拉,他是我们每一个人的老师。
”100年后,法国数学家鲁卡斯提出了一个用来判别Mp是否是素数的重要定理——鲁卡斯定理,这为梅森素数的研究提供了有力的工具。
1883年,数学家波佛辛(Pervushin)利用鲁卡斯定理证明了M61也是素数–这是梅森漏掉了的。
梅森还漏掉另外两个素数:M89和M107,它们分别在1911年与1914年被数学家鲍尔斯(Powers)发现。
还记得梅森预测的四个素数吗?其中M31已经为欧拉证明,M127则在鲁卡斯提出定理时顺带证明,虽然中间漏掉了3个,但至少还有另外两个:M67和M257是不是素数呢……M67的证明又是一个精彩的故事。
1903年,数学家柯尔在美国数学学会的大会上作了一个报告。
他先是专注地在黑板上算出267-1,接着又算出193707721×761838257287,两个算式结果完全相同!换句话说,他成功地把267-1分解为两个素数相乘的形式,从而证明了M67是个合数。
报告中,他一言未发,却赢得了现场听众的起立鼓掌,更成了数学史上的佳话。
阅读这段历史,我们懂得了什么叫做“事实胜于雄辩”。
记者好奇地问他是怎样得到这么精彩的发现的,柯尔回答“三年里的全部星期天”。
他后来当选为美国数学协会的会长,去世后,该协会专门设立了“柯尔奖”,用于奖励作出杰出贡献的数学家。
1922年,数学家克莱契克验证了M257并不是素数,而是合数(但他没有给出这一合数的因子,直到20世纪80年代人们才知道它有3个素因子)。
梅森素数 周氏猜想
梅森素数周氏猜想
梅森素数,又称梅森质数,是指形如2^P - 1的素数,其中P是
一个质数。
这类素数因为其特殊的形式,一直以来都引起数学家们的
兴趣和研究。
而周氏猜想,则是关于梅森素数的一个猜想。
该猜想由华人数学
家周民和一起提出,他们认为对于所有的梅森素数,它们所对应的指
数P中一定存在一个素数q,使得P能够被q整除。
这个猜想在数学界引起了广泛的讨论和研究。
虽然一些特殊情况
下的验证已经得到了证明,但要找到一般情况下的证明,仍然是一个
具有挑战性的问题。
目前,这个猜想仍然待证,尚未取得一般性的突破。
对于梅森素数与周氏猜想的研究,不仅仅涉及到数论和代数等纯
数学领域,还有计算机科学和密码学等应用领域。
特别是在密码学中,梅森素数的性质被广泛应用于构建安全的加密算法。
总之,梅森素数和周氏猜想是数学界一个有趣而重要的问题,其
研究涉及多个领域,并具有理论和实际应用的意义。
数学家们将继续
努力,寻找更深入的理解和证明。
梅森素数周氏猜测解决了吗
梅森素数周氏猜测解决了吗梅森素数是指具有2^p-1形式的素数,其中p也是素数。
梅森素数的分布规律一直是数学上的一个难题,目前已知的梅森素数有48个,最大的一个是2^82589933-1,于2018年12月发现。
周氏猜测是1992年中国数学家及语言学家周海中在《梅森素数的分布规律》一文中以精确表达式提出的猜测。
这一猜测未被证明或反证,已成了著名的数学难题。
周氏猜测的基本内容为:当2^(2^n)<p<2^(2^(n+1))时,Mp有2^(n+1)-1个是素数。
周氏猜测还据此作出推论:当p<2^(2^(n+1))时,Mp有2^(n+2)-n-2个是素数。
其中p为素数,n为自然数,Mp为梅森数。
目前,周氏猜测还没有被解决,也没有被推翻。
一些数学家和数学爱好者尝试证明或反驳周氏猜测,但都没有取得突破性的进展。
周氏猜测的表达式看似简单,但破解这一猜测的难度却很大。
周氏猜测的创新性和启发性受到了一些数学界的认可和赞扬,如美籍挪威数论大师、菲尔茨奖和沃尔夫奖得主阿特勒·塞尔伯格等。
但也有一些人对周氏猜测提出了质疑和批评,如中国数学家任宇辉等。
梅森素数周氏猜测是一个尚未解决的数学问题,它挑战了人类对素数分布规律的认识和探索。
如果有一天能够证明
或反驳周氏猜测,那将是一个重大的数学成就。
隐藏在素数背后的惊人奥秘——卡塔兰猜想
隐藏在素数背后的惊人奥秘——卡塔兰猜想卡塔兰猜想有关整数的一些规律常常是有趣而迷人的. 即使是小学水平的初等计算背后也可能隐藏着惊人的奥秘。
我们做了一个数字游戏:将 n^m , n,m = 2,3,4,5,6按从小到大的顺序排列起来:4, 8, 9 16, 25, 27, 36, 49, 64, 81, 100, ······容易发现除了 2^3 = 8 和 3^2 = 9 之间的差距为 1 之外,再也没有差距为 1 的了。
作为一个小数学游戏,我们用计算机测试了1000000 以内的数字,也没有遇到差距为 1 的情况。
对于 2^3 = 8 以及 3^2 = 9, 大家都司空见惯习以为常了, 然而就是在这个习以为常的两个数字背后,竟然暗藏着一个惊人的奥秘!在1844 年, 比利时数学家卡塔兰(Eugène Charles Catalan) 却据此作出了一个大胆的猜想: 除了上述的 8 和9 分别为正整数的方幂外, 再也没有其它两个连续的数也分别都是正整数的方幂了. 当然, 这里所指的方幂均大于 1. 这就是著名的卡塔兰猜想或者称为卡塔兰问题. 如果使用方程的语言, 则卡塔兰猜想相当于卡塔兰方程可以分为下面三种情况:在卡塔兰猜想公布六年之后,数学家V.A. Lebesgue 就证明了第一种情况。
不过这里的 V.A. Lebesgue 可不是 20 世纪初发展测度论和积分的H.Lebesgue, (1875-1941),而是一个名气稍小的一个数学家。
第二种情况要难得多,直到1962 年, 才被我国著名数学家柯召(1910.4.12-2002.11.8) 证明. 更确切地说,柯召证明了第二种情况只有一组解 x = 3,y = 2,n = 3,而第一种情况没有正整数解, 从而解决了在两个正整数方幂中有一个是平方数时的卡塔兰猜想. 柯召在数论、代数、组合论等领域有突出成就,其研究不定方程卡特兰问题的结果与方法,被称为“柯氏定理”与“柯氏方法”。
梅森素数
梅森素数维基百科,自由的百科全书跳转到:导航, 搜索梅森数是指形如2n− 1的数,记为M n;如果一个梅森数是素数那么它称为梅森素数。
∙梅森数是根据17世纪法国数学家马兰·梅森的名字命名的,他列出了n≤ 257的梅森素数,不过他错误地包括了不是素数的M67和M257,而遗漏了M61、M89和M107。
梅森数不一定皆为质数,以下即是梅森质数及非质数梅森数的例子:∙M2 = 22− 1 = 3、M3 = 23− 1 = 7 是素数。
∙M4 = 24− 1 = 15 不是素数。
目录[隐藏]∙ 1 相关命题和定理o 1.1 梅森数和梅森素数的性质o 1.2 梅森数和梅森素数的关系o 1.3 梅森数的素性检验o 1.4 与完全数的关系∙ 2 相关问题和猜想∙ 3 寻找梅森素数o 3.1 梅森素数列表∙ 4 外部链接[∙。
∙q≡ 3 mod 4 为素数。
则2q+1也是素数当且仅当2q+1 整除M q。
∙拉马努金给出:方程M q= 6+x2当q为3、5和7时有三个解;q 为合数时有2个解。
∙如果p是奇素数,那么任何能整除2p− 1的素数q都一定是1加上一个2p的倍数。
例如,211− 1 = 23×89,而23 = 1 + 2×11,89 = 1 + 8×11。
∙如果p是奇素数,那么任何能整除2p− 1的素数q都一定与同余。
[编辑]梅森数和梅森素数的关系下面的命题关注什么样的梅森数是梅森素数。
▪a≡ 1 mod 2q▪a≡±1 mod 8o欧拉的一个关于形如1+6k的数的理论表明:M q是素数当且仅当存在数对(x,y)使得M q= (2x)2 + 3(3y)2,其中q ≥ 5。
o最近,Bas jansen 研究了等式Mq = x2 + dy2(0≤d≤48),得出了一个对于d=3情况下的新的证明方法。
o Reix 发现q > 3时,M q可以写成:M q = (8x)2 - (3qy)2 = (1+Sq)2 - (Dq)2。
数字里的超级黄金搭档,梅森素数和完全数
数字⾥的超级黄⾦搭档,梅森素数和完全数你是从什么开始学习数学的?应该是百分之百的⼈都会说从1,2,3开始的啊,这⼤概也是全世界所有接受过数学教育的⼈们的共同轨迹。
不会有⼈说他是先学加减乘除,然后才认识1,2,3的。
事实上,这是数学知识从零开始的第⼀步,创造出数字来。
我们可以列举到很⼤很⼤的数了,然后呢?那就开始研究这些数字都有哪些特质了,⽐如,有奇数,有偶数,有整⼗数,整百数。
很快⼈们就把数字做了很多种分类,其中⼀个分类开启了数字研究的先河。
01古希腊⼈发现,在所有可以数的数⾥,有⼀类数很特⽴独⾏,它只能被和⾃⾝整除。
也就是说,这⼀类数只有2个约数,他们给这样的数起了⼀个⾮常形象到位的名字——素数。
与之对⽐,那就是除了1和⾃⾝还有别的约数的数,起名叫合数。
这样⼀来,我们就可以把全体⾃然数(整数)分成0,1,素数,合数(1在历史上曾经也被看做是素数)这4⼤类。
后来,⼈们逐渐发现素数并不是吃素的,它有个许多不同⼀般的⽓质。
⽐如,你不知道它什么时候会出现,不知道在⼀定范围内有多少个素数,也不知道素数和素数之间的间隔是怎样的。
总之,⾃从素数被当成研究热点以来,⾝上的谜团就⼀直都没有停⽌过。
事实上,有很多素数问题即使已经被研究了⼏千年,⾄今也仍然没有完全解决,⽐如孪⽣素数猜想。
不过也不是所有的素数问题都是巨难⽆⽐,⽐如同样在古希腊的欧⼏⾥得就给出了⼀个漂亮⽆⽐的关于素数的是⽆穷多个的证明,这也是⼈类第⼀次⽤反证法进⾏逻辑推理,堪称证明的典范。
假设素数是有限的,假设素数只有有限的n个,最⼤的⼀个素数是p。
设q为所有素数之积加上1,那么,q=( 2×3×5×…×p )+1不是素数。
那么,q可以被2、3、…、p中的数整除。
⽽q被这2、3、…、p中任意⼀个整除都会余1,与之⽭盾。
所以,素数是⽆限的。
同样在古希腊,⼈们⼜发现了所有合数都可以被写成素数的幂乘积的形式。
⽐如6=3×2,200=2×2×2×5×5,126998236999566=2×3×3×23×12569×24406001。
梅森素数猜想的那些奇闻趣事
梅森素数猜想的那些奇闻趣事美国中央密苏里大学数学家库珀领导的研究小组通过参加一个名为“互联网梅森素数大搜索”(GIMPS)项目,日前发现了第48个梅森素数——2^57885161-1;该素数也是目前已知的最大素数,有17425170位;如果用普通字号将它连续打印下来,它的长度可超过65公里!素数也叫质数,是只能被自己和1整除的数,如2、3、5、7、11等等。
2300年前,古希腊数学家欧几里得在《几何原本》一书中证明了素数有无穷多个,并提出少量素数可写成“2^P-1”(其中指数P 也是一个素数)的形式。
由于2^P-1型素数具有许多独特的性质和无穷的魅力,千百年来一直吸引着众多的数学家和无数的业余数学爱好者对它进行探究。
这种素数被称为“梅森素数”(Mersenne prime)。
迄今为止,人类仅发现48个梅森素数。
梅森素数珍奇而迷人,因此被誉为“数海明珠”。
在梅森素数的探究历程中,曾有不少奇闻趣事,这里仅略举几例。
“梅森猜想”有错漏1644年,法国数学家梅森在《物理数学随感》一书中提出著名的猜想(现称“梅森猜想”):对于P=2,3,5,7,13,17,19,31,67,127和257时,2^P-1是素数;而对于其他所有小于257的数时,2^P-1是合数。
前面的7个数(即2,3,5,7,13,17和19)属于被证实的部分,是他整理前人的工作得到的;而后面的4个数(即31,67,127和257)属于被猜测的部分。
当时,人们对其猜想深信不疑,连德国数学大师莱布尼兹和哥德巴赫都认为它是对的。
其实梅森的猜想有若干错漏(错了两个,漏掉三个);但由于他是当时欧洲科学界一位独特的中心人物,还是法兰西科学院的奠基人,为了纪念他,数学界在19世纪末将2^P-1型素数称为“梅森素数”。
“数学英雄”归欧拉梅森素数貌似简单,但当指数P值较大时,其探究难度就会很大。
它不仅需要高深的理论和纯熟的技巧,而且还需要进行艰巨的计算。
1772年,瑞士数学大师欧拉在双目失明的情况下,花了两天的时间,靠心算证明了2^31-1(即2147483647)是第8个梅森素数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
梅森数之谜:MM127是素数吗?周平源E-mail:************************当Mp=2p–1是一个梅森素数时,如果把Mp作为指数就可以生成一个新的梅森数,它称为由已知梅森素数Mp生成的双梅森数。
虽然Mp是已知素数但MMp不一定也是素数,MMp是否也是素数需要证明或检验。
如果MMp是素数,把MMp作为指数可以生成又一个新的梅森数MMMp,它称为由梅森素数MMp生成的双梅森数。
这种生成新的梅森数的方法可以无休止地进行下去,而且相继生成的梅森数的数值成长极为迅猛,在这种序列中通常第几项的数值就会成为巨大的天文数字。
这就是著名的卡特兰-梅森猜想的数学方法基础。
1876年卢卡斯(Lucas)证明梅森数M127=2127–1是素数后,数学家卡特兰(Catalan)便列出了如下一列无穷的数:c1=M2,c2=MM2,c3=MMM2,c4=MMMM2,c5=MMMMM2,….并猜想这些数都是素数。
它就是至今悬而未决的著名数论历史难题卡特兰-梅森猜想(Catalan’s Mersenne conjecture)。
前4个数c1=M2,c2=M3,c3=M7,c4=M127在卡特兰提出这个猜想时就已经知道它们都是素数,但第5个数c5=MM127的数值实在太大至今没有任何可信的方法证明它是素数,而如果它是合数就需要找出它的一个因子但还必须等待漫长的岁月,这是因为比MM127小得多的双梅森数MM61至今还没有被找出一个因子。
多年以来不乏业余数学家宣布已证明MM127是素数,但这些证明都被指出是不可靠的。
一些专业数学家推测MM127很可能不是素数,主要理由表现在以下两方面:1.在MM127 的数值规模上(位数超过1038),可计算出MM127为素数的概率约为1/2120,这是极小的概率,因而MM127几乎不可能是素数。
2.有许多早期类似的猜想形成普遍的误解都被很快出现的合数项否定了。
第一例:梅森素数(Mersenne prime)。
公元前就知道前4个梅森数M2,M3,M5,M7都是素数因而人们曾猜测对于每个素数p相应的梅森数Mp都是素数,但因为雷吉乌斯在1536年发现M11是合数这个猜想就被否定了。
第二例:双梅森素数(double Mersenne prime)。
由于已知前4个双梅森数MM2,MM3,MM5,MM7都是素数因而人们曾猜测对于每个梅森素数Mp 相应的双梅森数MMp都是素数,但在1976年Wilfrid Keller发现MM13存在因子后这个猜想也被否定了(至今已经知道双梅森数MM17,MM19,MM31也都有已知因子,正在寻找MM61的因子。
在此发现MM31存在因子有特殊意义,因为这个梅森合数MM31的数值已经远远大于最大已知梅森素数M43112609的数值)。
第三例也是最著名的例子:费马素数(Fermat prime)。
法国大数学家费马(Fermat)在发现前5个费马数Fn=2^2^n+1(n=0,1,2,3,4)都是素数后便猜想每个费马数都是素数但没有给出证明。
在费马提出这个猜想60年后,瑞士大数学家欧拉(Euler)于1732年证明第6个费马数可分解为F5=4294967297=641×6700417(现在已有几十种方法可以证明这个结果),从而否定了费马的这个猜想。
费马一生中提出过许多重要的猜想,但只有这一个猜想没有成功。
鉴于这类先例,数学家David G. Wells 2005年在其专著Prime Numbers: The Most Mysterious Figures in Mathematics (素数:数学中最神秘的图案)中讲述到卡特兰-梅森猜想(Catalan’s Mersenne conjecture)时评论道,“如同许多这类猜想一样,在这里一个合数项也可能会非常快地出现。
”因为每个卡特兰-梅森数实际上都是梅森数,在卡特兰-梅森数序列中前一个梅森数总是后一个梅森数的指数,所以如果出现一个卡特兰-梅森合数,那么以下的所有卡特兰-梅森数都是合数。
在梅森数的素性研究中,这是早已证明无疑的。
于是,第5个卡特兰-梅森数c5=MM127是素数还是合数就显得至关重要。
如果MM127是合数,卡特兰-梅森猜想就此最终破解。
但如果MM127是素数,卡特兰-梅森猜想仍然是一个悬案,因为接下来的任务是需要判断第6个卡特兰-梅森数c6=MMM127是素数还是合数。
由于c6=MMM127是个巨大的天文数字,要对它的素性作出判断难于登天。
这就意味着,如果MM127真是素数,那么卡特兰-梅森猜想可能成为千古悬案,除非卡特兰-梅森猜想本身得到证明是成立还是不成立。
我们应当注意到,上述早期猜想的破解都是依靠实证合数的出现,而对卡特兰-梅森猜想而言,要找到MM127的因子有待于遥远的未来。
是否存在一些理论上的启示现在就可能帮助我们判断MM127是不是合数呢?首先可以想到的是,把每一个已知梅森素数分别作为首项都可以推出一个相应的卡特兰-梅森数的无穷列。
原始的卡特兰-梅森数是以M2为首项推出的数列,由于 M3, M7, M127已被包含其中,因此分别以M3, M7, M127 作为首项而推出的相应的卡特兰-梅森数列与以M2为首项推出的卡特兰-梅森数列等效,它们会出现相同结果。
新的卡特兰-梅森数列可以分别从M5,M13,M17,M19,M31等作为首项推出。
由M5为首项推出的卡特兰-梅森数列是:M5,MM5,MMM5,MMMM5,MMMMM5,….它的第一项M5是素数,第二项MM5=M31是素数,但第三项MMM5=MM31是已知合数因而以下所有项均是合数。
由M13为首项推出的卡特兰-梅森数列是:M13,MM13,MMM13,MMMM13,MMMMM13,….它的第一项M13是素数,第二项MM13是已知合数因而以下所有项均是合数。
由M17为首项推出的卡特兰-梅森数列是:M17,MM17,MMM17,MMMM17,MMMMM17,….它的第一项M17是素数,第二项MM17是已知合数因而以下所有项均是合数。
由M19为首项推出的卡特兰-梅森数列是:M19,MM19,MMM19,MMMM19,MMMMM19,….它的第一项M19是素数,第二项MM19是已知合数因而以下所有项均是合数。
以M31为首项推出的卡特兰-梅森数列已经被包含在M5为首项推出的卡特兰-梅森数列之中,因此以M31为首项推出的卡特兰-梅森数列与以M5为首项推出的卡特兰-梅森数列等效,它们会出现相同结果。
由此观之,如果M2在所有已知梅森素数中并不占据特殊地位,或者等效地说,M2, M3, M7, M127在所有已知梅森素数中并不分别都占据特殊地位,那么以M2为首项推出的卡特兰-梅森数列与以其它已知梅森素数为首项推出的卡特兰-梅森数列不会出现不同的结果,也就是说原始的卡特兰-梅森数列也会因为出现一个合数而导致以下所有原始卡特兰-梅森数成为合数,最可能的“导火线”就是MM127是合数。
其次,对新梅森猜想(New Mersenne conjecture)的解读也可能对思考这个问题提供一些线索。
1989年Bateman, Selfridge,Wagstaff 在《美国数学月刊》( The American Mathematical Monthly )发表影响广泛的论文The New Mersenne Conjecture(新梅森猜想),提出下面3个表述中如果任何两个表述成立那么另一个也成立:1. p=2k±1 或p=4k±3,在此p为奇正整数,k为正整数。
2. 2p–1是素数(梅森素数)。
3. (2p+1)/3是素数(Wagstaff素数)。
这就是新梅森猜想,已经验证对于所有素数p<12441900这个猜想是成立的。
从这个猜想的验证我们很容易看到,当p≤127时使3个表述都成立的素数p值为3,5,7,13,17,19,31,61,127。
在小于127的素数p值中2,89,107虽然使第2个表述成立但第1个和第3个表述均不成立。
而当p>127时3个表述都成立的情形完全消失,我们看到的情形均为一个表述成立但另外两个表述皆不成立。
它表达的一个基本事实是,当p≤127时,大多数梅森素数的p值都满足表述1,它是梅森素数p值位置的主流。
但是我们已经验证,当p>127时所有的已知梅森素数(直到最大的已知梅森素数M43112609)都不满足表述1。
如果这是一个可信的规律,我们可以进一步猜想,当p>127时不存在任何梅森素数的p值满足表述1,而根据新梅森猜想,当p>127时也不存在任何Wagstaff 素数的p值满足表述1。
如果这个进一步的猜想成立,由于MM127的p值M127满足表述1,所以MM127只能是合数,而根据新梅森猜想,p值为M127的Wagstaff数(MM127+2)/3也只能是合数。
尽管这种可能性非常诱人,但它未经证明,更重要的是它也不是已知的事实,而破解卡特兰-梅森猜想难题的铁证依然是:拿出MM127的一个因子来!在互联网上输入MM127就会找到一个数学论坛专门讨论MM127究竟可能是素数还是合数,各种观点众说纷纭,如火如荼,可圈可点之处甚多,对卡特兰-梅森猜想情有独钟者不妨一阅,至少在拓展思路上定有斩获。
如果最终证实MM127的确含有一个因子,那么卡特兰-梅森猜想之谜不仅就此破解而且卡特兰-梅森猜想将成为数学家盖伊(Richard Guy)1988年在《美国数学月刊》发表论文提出的“强小数规律”(Strong law of small numbers)的新例证。
盖伊强小数规律的原文表述为“There are not enough small numbers to meet the many demands made of them.”它的原意是“数学涉猎太广,小数不够用了。
”可理解为在一定的小数范围内出现的看起来非常有规律的数学现象可能只是巧合,这些数学规律在更大的范围将不复存在。
盖伊在这篇论文中列举了纯数学领域中35个证据确凿的巧合例证以支持他的论断,并幽默地说“强小数规律是数学家的敌人:当你发现一个数学规律后,你怎么知道它是不是真的呢?”强小数规律的存在已经使数学家在对待小数范围内出现的有规律的数学现象时持谨慎态度,在未经证明的情况下不会轻易相信发生在小数范围的数学规律也会出现在大数情形。
看起来强小数规律正在考验许多小数范围内出现的数学规律,而著名的卡特兰-梅森猜想正在接受这种严峻的考验。
References1.Mersenne prime in The On-Line Wikipedia.2.Fermat number in The On-Line Wikipedia.3.Double Mersenne number in The On-Line Wikipedia and The On-LineWolfram MathWorld.4.New Mersenne Prime Conjecture in The On-Line Wolfram MathWorld.5.Mersenne Primes: History, Theorems and Lists in The On-Line Prime Pages.6.Strong law of small numbers in The On-Line Wolfram MathWorld.。