与Mersensy数相关的若干性质.docxVIP

与数相关的若干性质中图文号0156.2摘要：形如的自然数称作数，至今只发现四十几个是素数，而数值却是越来越离奇地增大。此类数中的素数只有有限个还是有无穷多个？始终是个谜。本文通过分析若干实例，以及勾股数和完全数的性质与数的关系，得到与相关的一些性质。或许是研究素数的无穷性的一个途径。前32个素数的值：2；3；5；7；13；17；19；31；61；89；107；127；521；607；1279；2203；2281；3217；4253；4423；9689；9941；11231；19937；21701；23209；44497；86243；132091；216091；（110503）；796839.关键词：梅森数，性质1，的素因子全形如。2，=，称（,）为的“因子对”。式中 ，奇偶异性；且（mod3）证：， （1）上式等号左边是奇数，，必奇偶异性。 另：︱，知3︱（2）若︱，显然3︱，必有3︱.另：若。则3︱。由3︱+应有3︱。但这与假设矛盾。故知。又：，由知 。证毕。推论1：可表 证：由奇偶异性，不妨令是奇数，即知。推论2：设，可表 证：令，则 因为已设是奇数，知上边等式右边是整数。若是奇数，则对任意素数，应有奇数解，至少是解。但取素数3，5，7，13，17，19，31，61，83等等时，方程没有整数解。由此推定是偶数。不妨令，即有：。证毕。 显然，的“因子对”的两个因子，一个形如，满足；另一个则形如。因而有：。称此式为二元二次方程。推论3：。 证：由即知。3，的个位数字仅有1，7两种。，个位数是；，个位数是。4，没有整数平方根 证：若题设不然，则；此处为任意自然数。由，可知应有，此式显然与算术基本定理矛盾。故然。5，设，则没有相同的素因子。证：设，是的素因子，因︱，而即知。6，是勾股数证：推论1：的“因子对”的等差中项是；公差是。证：由易知。亦称为二元二次方程。推论2：设，则；。证：由 {显然，时，；另：，且又有：；证毕。可见：在形式上，；此式或许在研究方程的解时更方便一些。推论3：设，的“因子对”存在关系：；证：由推论2，，及与的等差中项是可知。推论4：对于任一奇素数，至多存在个整数坐标点。分析：；显然解与其他整点具有关系：的等差中项，的等差中项，这种关系是否唯一确定呢？在平面上对任一素数四条直线（不妨令{）只可能有四种关系。因为，都是奇数，都是偶数。故对每一个整数点，若，则必可表。且。又： 若存在整数解，因为，必。故知或者，二者中有且仅有一个成立。所以不妨设：若存在另一整点，则该点与只能取上述四种关系之一。不妨取，应有关系式， 设， 此式表明，当且仅当时等式成立。另：{，{，，{。表明：事实上，点与是同一个坐标点。又； 及 ；{ 于是有{，显然，这是二元一次方程组。存在唯一确定的解，{及{。也就是说，事实上，根据算术基本定理可知，是坐标系中的同一个点。推定：在第一象限至多存在个（包涵一个显然解）整点。推论5：至多存在三个素因子。证：若不然，不妨令：，即存在四个素因子，则存在，等等组“因子对”形式，且不包含一组特殊形式。这组“因子对”必与双曲线上的7个整点相对应。这与双曲线在第一象限至多存在个（包括）正整点矛盾。故然。7，，则。 证：若不然，设，则；至少是四个素因子的乘积。与至多存在三个素因子矛盾。故必。证毕。推论：的素因子指数都是。 证：若不然，则有形如的“因子对”，于是有。这与性质矛盾。故然。8，的所有素因子中有且仅有一个素因子形如，是奇数。证：由的因子对中，奇偶异性，知必有一素因子形如。是奇数。（1）现假设是奇数，若是合数可分解，，必一奇一偶，。如此递推，知的因子中只有一个形如，是奇数的素因子。不妨设是奇数。（2）若是合数可分解：。必奇偶同性，因为按（1）的假设是偶数。由性质2的推论2可知：如果，则。若同为奇数，，无整数解。即知同为偶数，且4∣，4∣。故的素因子中有且仅有一个素因子形如，是奇数。证毕。9，为合数的充要条件是存在奇数，使得是素数，且 。10，由得方程，；把原点平移至，并旋转，得标准方程： 。11，附录的梅森合数的素因子分解式及“因子对”形式。参考文献：1初等数论：潘承洞，潘承彪著，1997,6月，北京大学出版社2组合数学：屈婉玲，著1997，9月，北京大学出版社3王元论哥德巴赫猜想：李文林1999,9月，山东教育出版社4数学与猜想：一，二卷G·波利亚，2001,7月，科学出版社5数论导引：G·H·Hardy ，E·M·Wright，2008,10，人民邮电出版社6 华罗庚文集：（数论卷二），2010,5月，科学出版社