梅森与梅森素数.pdfVIP

数学通报 2007年 第46卷 第3期 梅森与梅森素数 李 鹏 吴 可 (南京师范大学数计学院 210097) (山东枣庄学院数学与信息科学系 277100) 数论问题中有许多关于素数的问题，在吸引人 力学中某些重要方面的论证，例如关于杆的振动、 们去探索的同时又在磨砺着人类的智慧.许多素数 固体的阻力和水的流动等.比较著名的有他用实验 问题的妙趣之处在于人们可以轻而易举地理解问 方法给出的求拉紧的弦的振动次数公式: 题的表述，但是想要真正将问题解决，却需要坚强 一211rVd- 的意志、高超的技巧和艰苦的计算.如至今尚未完 全解决的哥德巴赫猜想，历经几代数学家的苦苦求 其中n是每秒振动次数，L是弦的长度(单位: 索直到1994年才得到求证的费尔马猜想(现在应该 米)，尸是产生的张力(单位:千克)，:是截面半径 叫做费尔马大定理了)，还有一个似乎不是那么著 (单位:毫米)，d是材料密度(单位:克/立方厘米)， 名的“梅森猜想”. 7r二3.14159...…… 提到 “梅森猜想”，就要先从梅森其人谈起.梅 在数学上梅森也有着诸多贡献.比较著名的就 森全名马林 ·梅森(MarinMersenne,1588-1648)，是 是他在上述第二本书里提出的对形如2n-1的素数 法国圣弗朗西斯(St.FrancisofPaola)所建的托钵僧 的猜想，指出对于1n_257的素数，当n=2,3, 团体中的修道士，但他却和一般的修道士不同，是 5,7,13,17,19,31,67,127,257这11个素数时，2n-1 科学的热心拥护者和研究者.他既是一个数学家， 为素数，而对其余的n-257(n为素数)，Mn均为合 又是一个实验家，在当时的法国和欧洲科学界是一 数.梅森在这里较为集中地指出了“n为哪些素数 个独特的领导人物.梅森所在的巴黎皇家广场的修 时，风 =2n-1是素数”的可能的解，人们为了纪念 道院是当时科学界人士的学术交流场所，也是17世 他，就将n为素数时，形如2n-1的数称为梅森数， 纪晚些时候建立的巴黎科学院的前身，梅森和许多 形如2n-1的素数称为梅森素数，并以Mn记之(M 学者保持着通信联系，在当时没有公开出版的科学 是梅森姓的头一个字母的大写). 期刊的情况下，他起到了学术中转站的重要作用. 其实，人们很早就开始研究形如2n-l的数了. 梅森是著名的数学家、思想家、哲学家笛卡尔的重 它与完全数密切相关，古希腊的毕达哥拉斯学派就 要朋友之一 笛卡尔1616年大学毕业到巴黎后，就 已经开始研究诸如6,28,496的完全数.完全数也即 结识了梅森等人，并主要是在他们的鼓励下才开始 除自身之外的一切因子之和等于自身的数.欧几里 由学习法律转向探究哲学和数学.1628年，笛卡尔 得在 几《何原本》卷九最后给出了关于完全数的定 永远地离开了法国，之后一直是梅森在向他邮递巴 理 : 黎的科学新闻.梅森和著名的天才业余数学家费尔 “如果2n-l是素数，则2n-(2n-1)是一个完全 马也保持着较为密切的联系.费尔马经常将其发现 数.” 的一些猜想和定理通过信件与梅森交流，如 若“n 伟大的瑞士数学家欧拉已经证明了所有的偶 是素数，则2n一2可被2n除尽”等等.据传梅森还曾 完全数都具有这样的形式.奇完全数还是一个神秘 追随伽利略研习过物理学.他有两本出色的物理著 的谜，人们既没有发现一个奇完全数，也未能作出 作:LHarmonieUniverselle(《普遍的和谐》,1636), 它不存在的证明