正文

数学猜想(转)2005-11-25 14:47:00

【评论】 【打印】 【字体: 】 本文链接:http://blog.pfan.cn/xiangyu/7363.html

分享到:

数学猜想

1.【回归数猜想】

    英国大数学家哈代(G.H.Hardy,1877-1947)曾经发现过一种有趣的现象:

      153=13+53+33   371=33+73+13   370=33+73+03   407=43+03+73

他们都是三位数且等于各位数字的三次幂之和,这种巧合不能不令人感到惊讶.更为称奇的是,一位读者看过哈代的有趣发现后,竟然构造出其值等于各位数字四(五,六)次幂之和的四(五,六)位数:

  1634=14+64+34+44  54748=55+45+75+45+85    548834=56+46+86+86+36+46

像这种其值等于各位数字的 n 次幂之和的 n 位数,称为 n 位 n 次幂回归数.本文只讨论这种回归数,故简称为回归数,人们自然要问:对于什么样的自然数 n 有回归数?这样的 n 是有限个还是无穷多个?对于已经给定的 n ,如果有回归数,那么有多少个回归数?
  1986年美国的一位数学教师安东尼.迪拉那(Anthony Diluna)巧妙地证明了使 n 位数成为回归数的 n 只有有限个.
  设 An 是这样的回归数,即:

   An=a1a2a3...an=a1n+a2n+...+ann  (其中 0<=a1,a2,...an<=9)

   从而  10n-1<=An<=n9n  即 n 必须满足 n9n>10n-1  也就是  (10/9)n<10n       ⑴

   随着自然数 n 的不断增大,(10/9)n 值的增加越来越快,很快就会使得 ⑴ 式不成立,因此,满足⑴的 n 不能无限增大,即 n 只能取有限多个.进一步的计算表明:

   (10/9)60=556.4798...<10*60=600        (10/9)61=618.3109...>10*61=610

   对于 n>=61,便有  (10/9)n>10n

由此可知,使⑴式成立的自然数 n<=60.故这种回归数最多是60位数.迪拉那说,他的学生们早在1975年借助于哥伦比亚大学的计算机得到下列回归数:

   一位回归数:1,2,3,4,5,6,7,8,9
   二位回归数:不存在
   三位回归数:153,370,371,407
   四位回归数:1634,8208,9474
   五位回归数:54748,92727,93084
   六位回归数:548834
   七位回归数:1741725,4210818,9800817
   八位回归数:24678050,24678051
但是此后对于哪一个自然数 n (<=60)还有回归数?对于已经给定的 n ,能有多少个回归数?最大的回归数是多少?


附:九妹,九妹,你在哪里??

———花朵数畅想曲

高 源

九妹,你在哪里,我们找你找的好苦啊!一天又一天,一夜又一夜,盼你,怨你,恨你,爱你,总想与你相见,你却总是不肯露面,你究竟在哪里吗?为什么如此真诚的追寻,你也不会出现!!

大妹夜百荷数( 1,2,3,4,5,6,7,8,9),在我小时候就与我一起玩耍,同我们做游戏 。二妹菊花数,在我上初中时,就陪我到数学小湖中摇荡。三妹水仙花数,在我上高中时,来到我们的身旁,她说:“我们是从英国回来的, 英国大数学家哈代(G.H.Hardy,1877-1947)发现了一种有趣的现象:

    153=13+53+33   371=33+73+13   370=33+73+03   407=43+03+73

他对我们就大感兴趣,把我们介绍到世界各地,不论谁见到我们,都对我们特别喜欢,因为我们等于自己各位数字的三次幂之和,这种巧合那能不令人感到惊讶呢?”自从见到水仙花数后,我就爱上了你们这一神秘的大家庭。

上了大学,我又认识了桃花数(1634,8208,9474),我喜欢这四位与四次方相吻合的奇妙: 1634=14+64+34+44。这时,我下定决心要进入你们的天国,我如痴如醉地欣赏着你们,为你们写了不少爱恋的日记。

终于我找到了你们大家庭中的五妹梅花数, 54748=55+45+75+45+85 ,当然是我给她命名的,因为那时,我与一位叫做情雪梅子的姑娘认识了。我喜欢她,就象喜欢你们。

我参加了工作后,与江苏如皋的一位朋友,一起去你们的花园游荡。我们将你们姐妹五个全部请来,在学报上给所有的朋友展示你们的丰采:

一位花朵数:1,2,3,4,5,6,7,8,9 (夜百荷数)
二位花朵数:(20,4,16,37,58,89,145,42)(菊花数)
三位花朵数:153,370,371,407(水仙花数)
四位花朵数:1634,8208,9474(桃花数)
五位花朵数:54748,92727,93084(梅花数)

所有的朋友见到你们,都为你们的美妙叫好。可是他们说,为什么不把六妹、七妹叫来,我非常惭愧,因为我的才能不够资格啊!
           548834=56+46+86+86+36+46

我爱雪,许多人说,我就是雪。于是,当我把一篇《静悄悄的雪》的散文写好后,我说,“我是白白的山石,就象白白的雪花,数也数不清”,真的,没想到,“我 ( 5)是(4)白(8)白(8)的山(3)石(4)”,就是你们唯一的六姐妹——雪花数 548834,我只是想随便找一个六位数,这里没有什么道理,可是偏偏 548834=56+46+86+86+36+46 ,这真是一个奇迹啊!从此次后,我便认为,花朵数女儿王国的白马王子,肯定是我了,我自豪地在这个王国里漫游。

于是,我对花朵数作了详细的概括:像这种其值等于各位数字的 n 次幂之和的 n 位数,称为 n 位 n 次幂花朵数.这种花朵数,可爱美妙,你不去痴心地追寻,她是不会来到你的天地的。有人自然要问:对于什么样的自然数 n 有花朵数?这样的 n 是有限个还是无穷多个?对于已经给定的 n ,如果有花朵数,那么有多少个花朵数?
花朵数的王国里,真的有多少个姐妹,我起初以为,那可能无穷无尽吧。但1986年美国的一位数学教师安东尼.迪拉那(Anthony Diluna)巧妙地证明了使 n 位数成为花朵数的 n 只有有限个.
设 An 是这样的花朵数,即:

An=a1a2a3...an=a1n+a2n+...+ann  (其中 0<=a1,a2,...an<=9)

从而  10n-1<=An<=n9n  即 n 必须满足 n9n>10n-1  也就是  (10/9)n<10n       ⑴

随着自然数 n 的不断增大,(10/9)n 值的增加越来越快,很快就会使得 ⑴ 式不成立,因此,满足⑴的 n 不能无限增大,即 n 只能取有限多个.进一步的计算表明:

  (10/9)60=556.4798...<10*60=600        (10/9)61=618.3109...>10*61=610

   对于 n>=61,便有  (10/9)n>10n

由此可知,使⑴式成立的自然数 n≤60.故这种花朵数最多是60位数.

  迪拉那的话,使我震惊了,原来花朵数的王国里只开放着60朵鲜花。60,多么有趣的数字啊,一时是60分,一分是60秒,等边三角形的内角和是60度,中国的天干地支纪年,也刚好是60年一个循环。于是,我决定,哪怕走遍世界各地,我也要把60朵美丽的花朵数,召集一起,让她们聚会,让她们一起开放!!

找啊找,我在春天的玫瑰树下,找到了七位花朵数:1741725,4210818,9800817(玫瑰数);我在万花山的牡丹园中,遇上了八妹牡丹数: 24678050,24678051;于是我登上了凤凰山,高兴地在背洼洼上观赏山丹丹,我唱着,走着,看着到处开放的红红的山丹丹花,我突然觉得,我下一步找寻的九妹——九位花朵数,就是这灿烂的山丹丹数了。于是,我在山坡坡里,在沟渠渠间,到处找寻我那心中的九妹。

九妹,九妹,你在哪里?日夜思念,时时期盼,总是不见你那的漂亮的芳容,多少月多少年了,我找寻得人已焦悴,可到如今,还没有把你找回,你的八个姐姐,一直等待你的回归,她们在盼望着众多姐妹大团聚的一天。

于是,我给花朵数的女儿王国的八姐妹,利用现在的网络现代化,出一个《找寻启示》,谁如果看到了我们可爱的九妹,千万让她快点回来,就说我们在日夜思念着她!!

花朵数八姐妹:

一、夜百荷数:1,2,3,4,5,6,7,8,9
二、菊花数:(20,4,16,37,58,89,145,42)
三、水仙花数:153,370,371,407
四、桃花数:1634,8208,9474
五、梅花数:54748,92727,93084
六、雪花数:548834
七、玫瑰数:1741725,4210818,9800817
八、牡丹数:24678050,24678051

九、九妹——山丹丹数:?????????

我们一直在问:
对于一个自然数 n ≤60还有花朵数吗?对于已经给定的 n ,能有多少个花朵数?最大的花朵数是多少?

2.【莱默猜想】

    同余式 MM'= 1 (mod p) -------- (1) 其中p为奇素数,它的解的情形与性质,显然是使用中国剩余定理的一个重要问题.
    设 M=np+r,M'=n'p+r',其中0<r<p,0<r'<p,则有
       MM'=rr'(mod p),因此解同余式MM'=1 (mod p),只需考虑M与M'介于0与p之间的解.例如,p=13时,对应的解有
    (M,M')=(1,1),(2,7),(3,9),(4,10),(5,8),(6,11),(7,2),(8,5),(9,3),(10,4),(11,6),(12,12).
其中(1,1)是显而易见的,无论p为何值,(1,1)都是(1)式的解,称为平凡解.人们更关心非平凡解的性质.美国著名数学家莱默(D.H.Lehmer,1905- )希望人们关注M与M'的奇偶性相反的解,将其解的个数记为Np.例如,N13=6,即(2,7),(5,8),(6,11),(7,2),(8,5),(11,6).
    现在已经求出N3=0,N5=2,N7=0,N11=4,N13=6,N17=10,N19=4,N23=12,N29=18,N31=4.
莱默由此归纳出:
    当p=4n-1时,Np能被4整除,即Np=0 (mod 4);
    当p=4n+1时,Np被4除余2,即Np=2 (mod 4).
这一猜想是否正确,尚未得知.

3.【数字方幂和猜想】


    波兰著名数学家施坦豪斯(H.D.Steinhaus,1887-1972)曾经在他的书中提出过这样的问题:任意写出一个多位数(比如2583),算出它的各位数字的平方和(22+52+82+32=102),再对所得的和数算出其各位数字的平方和(12+02+22=5),以此类推继续下去(52=25,22+52=29,22+92=85,...).请证明,这个演算过程中或者出现1,(此后继续下去就得到循环1,1,...称为单循环(1)),或者在某一步出现145,此后会形成循环:(145,42,20,4,16,37,58,89)
    60年代以色列约克奈姆的菲尔.科恩(Phil Kohn)进一步做了数字立方和计算.发现会出现以下三种情况:
    (一)从任意一个3的倍数开始,算出它的各位数字的立方和,再对所得的和数算出其各位数字的立方和,如此下去,必定出现153.例如,48->576->684->792->1080->513->153,从前一篇<回归数的猜想>我们知道153是3次回归数.即出现单循环(153)
    如果从任意一个不是3的倍数的数开始,反复进行上述变换,则有下列(二)或(三)的情况:
    (二)出现1,370,371,407四个数之一,我们知道,这四个数也是3次回归数.所以出现四个单循环(1),(370),(371),(407).
    (三)出现下列某个循环之一:(55,250,133),(160,217,352),(136,244),(919,1459)
    那么,从任意一个正整数开始,它的各位数字的 m 次幂之和又会怎样的呢?(m>=4),这就是我国数学爱好者热衷于研究的数字m次幂和的问题,国内有人认为这是一项有意义的课题.
    显然,数字m次幂和问题与前面的m位m次回归数是有联系的.例如,上面科恩发现的数字三次幂和问题中出现了由三位数组成的单循环:(153),(370),(371),(407).这四个三位数必为三位三次幂回归数.

    我对于10,000,000,000以下的所有数字研究了四次幂和问题,发现大多数都会陷入循环(13139,6725,4338,4514,1138,4179,9219),也有许多会陷入单循环(8208),少数会陷入循环(2178,6154),第一个陷入单循环(1634)的数字是1346,  第一个陷入单循环(9474)的数是4479.当然数字1,10,100,1000,...陷入单循环(1).

    对于10,000,000,000以下的所有数的五次幂和的研究表明,有如下15个循环:
    (一)单循环:(4150),(4151),(54748),(92727),(93084),(194979)
    (二)二循环:(58618,76438),(89883,157596)
    (三)如下循环之一:(10933, 59536, 73318, 50062),
                     ( 8299,150898,127711, 33049,68335,44155),
                     ( 8294, 92873,108899,183635,44156,12950, 62207,24647, 26663,23603),
                     ( 9044, 61097, 83633, 41273,18107,49577, 96812,99626,133682,41063)
                     (24584, 37973, 93149,119366,74846,59399,180515,39020, 59324,63473,26093,67100)
                     ( 9045, 63198,99837,167916,91410,60075,27708,66414,17601,24585,40074,18855,71787,83190,92061,66858,84213,
34068,41811,33795,79467,101463)
                     (   244,2080,32800,33043,1753,20176,24616,16609,74602,25639,70225,19996,184924,93898,183877,99394,178414,
51625,14059,63199,126118,40579,80005,35893,95428,95998,213040,1300)

    六次幂和的情形,有如下几个循环
    (548834)
    (63804 313625)
    (824963 845130 282595)
    (93531 548525 313179 650550)
    (239459 1083396 841700 383890 1057187 513069 594452 570947 786460 477201)
    (17148 383891 1057188 657564 246307 169194 1113636 94773 771564 301676 211691 578164 446171 172499 1184692 844403 275161 179996 1758629 973580 927588 1189067 957892 1458364 333347 124661 97474 774931 771565 313205)

    七次幂和有如下几个循环
    (1741725)
    (4210818)
    (9800817)
    (9926315)
    (14459929)
    (2755907 6586433)
    (8139850 9057586)
    (8807272 5841646 2767918)
    (2191663 5345158 2350099 9646378 8282107 5018104)
    (10080881 6291458 7254695 6059210 5141159 4955606 5515475 1152428 2191919 14349038 6917264 6182897)
    (922428 6896889 16417266 1679865 8341662 2675724 2021787 3744495 5735976 6868428 6867840 5594103 4957791 11307534)
    (7800361 3202819 6882565 4910554 4971988 14600170 1119865 7238185 5098288 11152678 3278887 7940857 8621716 3480697 8002171 2920825 6958630 7520305 982108 8977402 8543719)
    (253074 920367 5888763 7475247 2581650 2533467 1202490 4799610 10685802 4552494 4988499 18575979 13466427 1418499 11695860 7518120 2998950 16524312 376890 7985787 11526027 1181862 4474371 1698426 7456506 1556049 5235540)
    (10006498 7176442 1959919 19210003 4785286 5392420 4879921 12503146 376762 2209273 5609083 7240369 5905147 5779147 7348108 5036419 5159602 5219284 6974887 10920679 10669546 5717287 4646035 672952 5964829 12037663 1387918 9803005 6960433 5363599)
    (86874 5314167 1200177 1647216 1399929 19134192 9584640 7270950 6508308 4554552 345396 5161788 5375910 5764950 6059082 7238310 2925198 11741472 1679985 12844695 7271079 7253727 2551197 5762892 8061981 9257211 5684895 9429843 11698173 7985790 13388301 4200867 3217143 844431 2148492 6913146 5361414 393018 6884496 9569913 14709156 5980959 16602309 5345157 1076490 5902833 6962748 8280048 6307968 8265723 3281199 11665407 1477926 6726504 1478052 3015333)
    (80441 2129921 9566324 5439665 5517662 1539794 10486178 5314169 5159603 5221343 99140 9582323 6962876 8543600 2473784 3779321 6434558 2568293 7240625 1198244 6913019 9848063 9275780 8605460 2751533 984296 11959538 11821529 6958505 7394432 5643782 3297455 5781461 3295142 4879922 12503273 906299 14628971 8000114 2113538 2179781 8527337 3826865 4834616 2691980 11943155 4957793 11309720 5608829 9335462 5161916 5420969 9940511 9660449 10158578 5174099 10483991 11681663 2939150 9646379 10967924 10685930 7240370 1665785 3636818 4758551 3171455 998366 12225149 4877864 6154094 5173799 11293337 5613203 362564 656696 5980838 11154737 1743785 3840935 6979004 10685801 4552367 1278428 5034488 4307384 2957837 8607647 4320494 4834436 2430614 315020)

    八次幂和有如下几个循环
    (24678050)
    (24678051)
    (88593477)
    (7973187 77124902 54642372)
    (62097347 56328292 61901507 50881765 41780100 22607555 8616804 36979201 93544677 56784197 73489317 71432198 65661093 48482756 41520802 17233890 65602117 9514916 88229221 76602178 31666307 10816772 29986692 149277123 54648934)
    (6822 18457344 23135812 17181477 34137158 23011302 13636 3372355 6565990 90233924 86172612 25901763 50888581 67890115 67658981 86115812 35624932 45196132 45189317 66051462 5495266 47252995 92705541 49658565 64420580 18978785 105298597 109416966 91197828 125412933 43516518 19310181 59830502 60612004 3425025 853859 77388964 89882468 111900993 129146727 56321989 104947717 60472198 67334147 13353413 482407 22673345 7914212 48877572 51305252 1178949 108700997 114400261 1810947 65654276 11650691 46796581 69404132 44864227 24418753 23070532 6169060 48085570 40166019 46471491 50687748 47219811 65654533 4609765 52626915 47187716 35816773 30390182 59837316 67672102 14889347 82503588 51119715 49592776 99759077 146825191 61959973 136981767 74719334 54720518 23389060 61516931 46803142 18594722 66045412 3881186 52017827 28697956 112385572 23330342 92292 86094210 61569346 48548292 77123362 13222853 17181732 28313638 35253988 77395781 77515527 18466535 20989796 153362052 2474501 6286755 26682755 26683011 20143267 7517027 17685285 41780356 24684356 20664962 48151617 24677797 67851333 24631942 44864483 35502753 6950054 45573123 6624966 49830977 114472357 12058118 33945316 45202182 17234146 7582308 39716675 58332742 23011812 16784292 67334403 7595172 55357830 23727014 11602212 1680387 41005411 521700 6155683 20924260 44792641 50688003 35631234 2155717 12311110)
   
    九次幂和有如下几个循环
   
(146511208)
(472335975)
(534494836)
(912985153)
(756738746 277668893)
(1043820406 144839908)
(409589079 1339048071 562293336)
(525584347 180975193 951385123)
(198653173 574062013 52666768 216835756)
(20700388 308809258 792046993 1212975109 817148737 389778106 746660539 460242136)
(62986925 931168247 572351861 188575478 487528793 738798623 746680733 235381844 270952748 604561724)
(527799103 857521513 180450907 564207094 440329717 468672187 369560719 837322786 359260756 451855933)

(859717610 614376254 63006608 164470499 826058714 321082541 136453706 62763635 72579698 1001797253 470101025 42569390 787154138 351377624 93040058 523873169 574062524 54862865 292759754)

(52687474 227480563 186885007 455037613 54639064 410072977 508743967 614658079 584362486 291088456 668149423 542338093 523913047 430029244 388227628 453105706 54619381 533950867 576015136 64434934 398586127 708260569 584100853 272623534)

(322219 387441709 602889403 666215980 553824943 526108633 156366124 32468554 148746157 227480053 176807311 225022324 2237512 42327952 430010584 136714825 186884497 841029265 533932207 429787294 990291232 1162282687 328945993 1298734342 562556503 27988087 870781399 1124003332)

(1055589083 661735004 62743952 440087768 359744654 442564157 55124498 526069268 553825454 142574711 83185142 270670922 478206935 574304984 564751064 64939538 921391037 815234465 148746158 321344174 41179919 1202877221 214926992 1172602844 185174345 179021558 565898588 940228472 562517648 198895634)

(1047465024 53171373 82719390 949432509 1164759075 482373795 604600578 196941996 1570099494 1205092488 658072239 574043352 44824023 135024867 186884496 810753354 178779096 1040197224 428299410 909584019 1298694465 931692024 785201526 188556306 292516782 574024182 177049773 549116745 442282332 134783430 175154673 94972989 1724515947 472558755 223000098 521658924 535885332 274354392 430291899 1296761535 451855935 529732545 433916322 397820403 562293846 544029585 528022392 523613073 52443990 777338586 401566464 32972646 448212339 522202896 533671086 196719219 1212693285 533690259 788864802 587564871 363388761 329003505 391366617 458046552 150679599 1216599021 786872826 503516814 148483503 270952236 439826136 542095632 401687286 329207112 427795317 510716775 135044769 440348889 790879788 1298554983)

(400014966 408100170 174833481 309352719 817187589 872734014 215469426 410054319 389917587 1125956457 443973825 564509115 403619706 448211316 144839910 909602679 1222770978 642700575 94953816 921371355 431720226 50714667 103077876 265375929 829199238 1430717631 91086423 531998253 913004835 523892853 659802585 671793528 614396448 542599725 821317128 308809773 736602525 64435956 412026102 10341378 174872847 390021078 562012020 12032358 136211244 10622694 407839050 564226776 113156595 403377246 91349076 825554109 527760249 480421692 532241226 12314697 438134133 134820750 176806800 328944456 534475665 66912345 409811346 532259886 669860598 1075462647 103340532 2274831 174854187 351620085 148221870 309052233 389433687 706608441 195251016 401404950 390160047 438133620 144617130 50975277 512388072 310762896 582167412 186865326 300641865 156608073 196699536 1194467364 448735605 189099252 1298433345 524175192 431943516)

    十次幂和有如下几个循环:

(4679307774)
(344050075 304162700)
(1139785743 5136409024 3559173428 4863700423 1418899523 9131926726 7377037502)
(7540618502 1437264100 345098652 4641632300 123148627 1417792924 7540618502 1437264100 345098652 4641632300 123148627 1417792924)

(62681428 2269466625 3739466378 5247634798 5197865749 8693307127 5186062022 1204442874 1360413426 123148628 2209059499 13957953853 8359259898 13701169998 11877095504 5146056551 161043430)

(8119698629 12728770229 5407956069 7397556229 7618577823 3065201270 352768148 2501299348 8058185925 6737307773 1473019568 4914340902 6976774604 4517705828 2733014997 7539686999 15434111703 294456128 4632857227 1710034820 1357325724 585650471 1447028701 1640790500 3840540028 2159406498 8119640604 4683555731 1447146799 7602131206 403468700 1418839450 5646189877 6330965101 3617600478 1760732300 625535797 4141558023 1095430301 3497716702 4395784974 8625231526 1214267548 1428548076 2502288875 3523235043 20818070 2429959922 13957955901 10772184378 2996018046 8169292579 11886804126 3343207427 567226845 1497731299 11026412352 71342501 293349525 6994268774 8735291652 4923059998 15031753702 584600872 2501240298 4571343499 7269073503 4122085822 2158301946 4631866677 1881664652 2339697403 7317736974 4678318248 3566324123 131925749 7266918327 5246470173 637339525 3849435247 4856031949)

(910107174 4052783478 2724356996 7387851701 3004734071 567165749 4193247078 5127633949 7327443551 586698023 5765026099 7396508677 5538708998 10496859822 9192334876 8391419750 8340659127 4914341925 6986540230 4692332851 4631926749 7379133629 7599163648 8461591478 5989072253 8349378222 5917913044 7267965879 9025435374 3791007174 4335317775 868182721 3564168947 4975855653 4943637775 4406657199 7388839181 8064345046 1207644578 1711022300 282536349 4631926748 4966091052 7105316380 1426566974 3962521980 8117603525 1436274574 638388101 3281809748 6991593772 11095595576 7355572729 4363568120 1205607500 362473700 626584372 1488024723 2432117147 567108750 1718689749 9747517702 4627500623 414282899 9123151651 3566841904 4693380404 4624256227 415274474 578911452 4863582326 2279350347 4062669246 3730748305 1649683670 5025507628 1445982172 4854866301 2280337827 2712555316 372299399 14229732999 14230723551 303175223 292420070 3770311298 5125595847 4883113575 2450656823 1215315099 6993160128 8168303053 2217892597 8622029822 5694739345 7338256727 1991519518 11553626281 1214266526 192215803 4570352949 7277732526 1200194918 8048360229 5695843898 10275899325 8349378223 5917971069 11095535504 3526954528 4651398949 11606483030 1195840852 5654848901 5716362628 1547442324 296496276 7438493203 4845276797 5480281949 9132916252 7043862726 1760734347)

    从未碰到不陷入循环的数字,我猜想任何自然数经过若干次变换都会陷入循环,我可以证明从总的趋势来看,N经过m次方幂变换之后的数一般来说是小于N本身的,在m小于N的长度n时,这一点是肯定的,下面我们来证明这一点:

    若N=a0 + a1*10 + a2*102 +...+ an-1*10n-1    (n∈{1,2,3,...};a0,a1,a2,...an-1∈{0,1,2,3,4,5,6,7,8,9})

    设F(N)=a0m + a1m + a2m +...+ an-1m  =   b0*0m + b1*1m + b2*2m +...+ b9*9m   (b0+b1+b2+...+b9=n)
我们从最不利的情形出发,假设m=n-1,则有:
    N - F(N) >= 1 + 10 + 102 + ... + 10n-1 - n*9n-1 = (10n-1)/9 - n*9n-1 = 9n-1((10/9)n - 1/9n - n) 
   当n=34时,(10/9)34 = 35.954618...,而1/934 = 3.95...*10-33 所以 N-F(N)>0,即 N >F(N).
    从前一篇文章中我们也可以看到,若m=n,则当n>=60的情形,也必定有 N >F(N),现在看来,无论m大于n多少,只要n足够大,就可以使得
N >F(N).因此,我们可以将1->1060,当作1060 个鸽笼,当变换次数超过 1060 次时,必定形成一个循环,这样实际上我们证明了任何自然数经过若干次变换都会陷入循环这一猜想.
另外,从上面各个循环的数据可以观察到,这种变换的结果数的长度是稳定在m位左右的,这是由变换本身决定的:
   F(N)=  b0*0m + b1*1m + b2*2m +...+ b9*9m   (b0 + b1 + b2 + ... + b9=n;m=<n)
       = c0 + c1*10 + c2*102 +...+ cm*10m
   从另一个角度来看,也是支持我们的猜想的,我们可以看到,如下极限趋于0:
   lim F(N)/N = lim (b0*0n + b1*1n + b2*2n +...+ b9*9n)/(a0 + a1*10 + a2*102 +...+ an*10n) = 0
    n->∞        n->∞
(2001.5.1)

4.【覆盖同余式系】

   有没有这样的k个同余式
                     n=a1(mod n1)
                     n=a2(mod n2)
                     ......
                     n=ak(mod nk)
    使得任一整数n至少满足其中之一?这是可以办到的.例如,任一整数n至少满足下列6个同余式之一:
    (1) n=1 (mod 2)      (2) n=1 (mod 3)       (3) n=2 (mod 4)
    (4) n=4 (mod 8)      (5) n=0 (mod 12)      (6) n=8 (mod 24)
    可以检验如下:
        如果n为奇数,则适合(1).
        如果 n为偶数,则n必为下列形式之一:
    n=24m,24m+2,24m+4,24m+6,24m+8,24m+10,24m+12,24m+14,24m+16,24m+18,24m+20,24m+22.其中m为任意整数.
        当 24m+4,24m+16,24m+22 时,适合(2)
        当 24m+2,24m+6,24m+10,24m+14,24m+18, 时,适合(3)
        当 24m+20 时,适合(4)
        当 24m,24m+12 时,适合(5)
        当 24m+8, 时,适合(6)
    这样的一祖同余式,称为覆盖同余式系.覆盖同余式系在数论中有很重要的应用.例如,我们可以用它证明:存在一个正整数k,使得
N=k2n+1对于每一个正整数n都是合数.
    首先,对于正整数n按照上面的覆盖同余式系进行分类.
        当n适合(1)时,n=2m+1,m为整数,于是N=k2n+1=2k4m+1,但是 4m=1(mod 3),从而 N=2k+1 (mod 3)
    只要适当选择k满足2k+1=0 (mod 3),就可以使 N 能被3整除,因而 N 为合数.解同余式 2k+1=0 (mod 3)得到 k=1 (mod 3).
    当n 适合(2)时,n=3m+1,m为整数.N=k2n+1=2k8m+1,但是 8m=1 (mod 7),从而 N=2k+1 (mod 7).
    只要适当选择k满足2k+1=0 (mod 7),就可以使 N 能被7整除,因而 N 为合数.解同余式 2k+1=0 (mod 7)得到 k=3 (mod 7).
同理,对于n 满足其余四个式子之一时,分别得出 k 应满足
    k=1 (mod 5),k=1 (mod 17),k=-1 (mod 13),k=16(mod 241)
    综上所述,只要k 满足下列同余式组
    k=1 (mod 3)
    k=1 (mod 5)
    k=3 (mod 7)
    k=-1 (mod 13)
    k=1 (mod 17)
    k=16 (mod 241)
就能对于任意正整数 n ,使得 N 能被3,5,7,13,17,241之一整除,即 N 为合数.
利用中国剩余定理可以解出上述同余式组的解为 k = 1207426 (mod 5592405 ) 即 k=5592405t+1207426 .其中 t 为任意整数.
取t=0,k=1207426,则有 N=1207426*2n+1,对于任何正整数 n 都是合数.
    覆盖同余式系不是唯一的.例如,下面的12个同余式也组成覆盖同余式系:
    n=1 (mod 3), n=2 (mod 4), n=5 (mod 6)
    n=4 (mod 8), n=0 (mod 9), n=0 (mod 12)
    n=0 (mod 16), n=3 (mod 18), n=3 (mod 24)
    n=33 (mod 36), n=8 (mod 48), n=15 (mod 72).
    一般地,如果覆盖同余式系
    n=a1(mod n1)
    n=a2(mod n2)
    ......
    n=ak(mod nk)
中,c=n1<n2<...<nk,则 c 越大,找到覆盖同余式系的难度越大.已经找到了 c=3,6,8,10,14,18,20 所对应的覆盖同余式系.数学家厄特希猜想:对于任意大的正整数 c 都有覆盖同余式系存在.并悬赏500美元征求这个猜想的解决-------证明它或推翻它!
    厄特希还认为:当模 n1,n2,...nk都是大于1的各不相同的奇数时,这样的覆盖同余式系是不存在的.但是数学家赛尔弗里奇(J.L.Selfridge)则宁愿悬赏500美元征求这种覆盖同余式系存在的例子.究竟如何,尚待解决.
5.【反序数问题】

将一个十进制数的各位数字按相反的顺序重新排列成一个正整数,则称这两个数互为反序数.数a的反序数记为rev(a).例如,rev(42)=24,
rev(180)=81.如果rev(a)=a,则称为回文数,如15351.
    人们注意到65+56=112,65-56=32  .即这一对反序数65与56的和,差都是平方数.这样的数还有:
            621770+77126=8362,621770-77126=7382   .
不难证明,形如(2*10n + 2)2/2 ,(2*102n + 2*10n + 2)2/2 ,(2*103n+m + 2*102n+m + 2*10n + 2)2/2 的回文数都具有上述性质,其中n是自然数,m是非负整数.
    除了这些回文数之外,还有多少个正整数a使得a+/-rev(a)都是完全平方数?
    中国科学院的张建对此进行了研究.他将原问题变换为下列等价问题:
    求自然数组(m,n),m>n,使得(m2+n2)/2与(m2-n2)/2互为反序数,且满足条件
    (一)m与n奇偶性相同
    (二)n能被3整除.
其中条件(一)可以保证(m2+/-n2)/2都是整数,而条件(二)是因为反序数之差能被9整除,例如,
    (abc)-(cba)=(a*102+b*10+c)-(c*102+b*10+a)=99(a-c)
    而现在反序数之差为(m2+n2)/2-(m2-n2)/2=n2   .故n2 能被9整除.在计算机上计算数小时后,得出如下结果:
    在不超过1010的自然数中,只有五个数满足要求,除了前面已经给出的两个外,另外三个是:
    281089082 + 280980182 = 237082,差 = 3302
    2022652202 + 2022562202 = 636022,差 = 3002
    2042832002 + 2002382402 = 636022,差 = 63602
这种数究竟有多少?是有限个还是无穷多个?它们有何特性?还有待我们去研究,去发现.
6.【福琼猜想】

   设p1,p2,...pn是前n个素数,按照欧几里得的证明技巧,取En=p1p2...pn+1.仿照欧几里得的证明,也可以取en=p1p2...pn-1.那么,Enen本身就可能是素数,这样的素数有多少呢?直到1995年4月,人们在pn<35000范围内,共发现了18个pn:2,3,5,7,11,31,379,1019,1021,2657,3229,4547,4787,11549,13649,18523,23801,24029,使得En是素数.还发现17个pn:3,5,11,41,89,317,337,991,1873,2053,2377,4093,4297,4583,6569,13033,15877,使得en是素数.
    随着pn的增大,对应的Enen迅速增大,例如,pn=24029对应的En是一个10387位数,高速电子计算机花费了四天时间才证明了它是一个素数.而pn=15877对应的en是一个6845位数,计算机耗时近两天才确定它是素数.
    人们试图从理论上确定形如Enen的素数是否有无穷多个?这方面的工作目前尚无希望.
    设p是大于En的最小素数,福琼(R.F.Fortune)猜想:"Fn=p-En+1对于任意自然数n都是素数".例如对于n=1,2,...21时对应的Fn分别为3,5,7,13,23,17,19,23,37,61,67,61,71,47,107,59,61,109,89,103,79.
    人们普遍认为福琼猜想很可能是对的.但在目前无论是计算机还是从理论上解决这个问题都是难以想象的.

 
7.【6174猜想】

1955年,卡普耶卡(D.R.Kaprekar)研究了对四位数的一种变换:任给出四位数k0,用它的四个数字由大到小重新排列成一个四位数m,再减去它的反序数rev(m),得出数k1=m-rev(m),然后,继续对k1重复上述变换,得数k2.如此进行下去,卡普耶卡发现,无论k0是多大的四位数,
只要四个数字不全相同,最多进行7次上述变换,就会出现四位数6174.例如:
    k0=5298,k1=9852-2589=7263,k2=7632-2367=5265,k3=6552-2556=3996,k4=9963-3699=6264,k5=6642-2466=4176,
    k6=7641-1467=6174.
    后来,这个问题就流传下来,人们称这个问题为"6174问题",上述变换称为卡普耶卡变换,简称 K 变换.
    一般地,只要在0,1,2,...,9中任取四个不全相等的数字组成一个整数k0(不一定是四位数),然后从k0开始不断地作K变换,得出数k1,
k2,k3,...,则必有某个m(m=<7),使得km=6174.
    更一般地,从0,1,2,...,9中任取n个不全相同的数字组成一个十进制数k0(不一定是n位数),然后,从k0开始不断地做K变换,得出k1,k2,...,那么结果会是怎样的呢?现在已经知道的是:
    n=2,只能形成一个循环:(27,45,09,81,63).例如取两个数字7与3,连续不断地做K变换,得出:36,27,45,09,81,27,...出现循环.
    n=3,只能形成一个循环:(495).
    n=4,只能形成一个循环:(6174).
    n=5,已经发现三个循环:(53855,59994),(62964,71973,83952,74943),(63954,61974,82962,75933).
    n=6,已经发现三个循环:(642654,...),(631764,...),(549945,...).
    n=7,已经发现一个循环:(8719722,...).
    n=8,已经发现四个循环:(63317664),(97508421),(83208762,...),(86308632,...)
    n=9,已经发现三个循环:(864197532),(975296421,...),(965296431,...)
    容易证明,对于任何自然数n>=2,连续做K变换必定要形成循环.这是因为由n个数字组成的数只有有限个的缘故.但是对于n>=5,循环
的个数以及循环的长度(指每个循环中所包含数的个数)尚不清楚,这也是国内一些数学爱好者热衷于研究的一个课题.

8.【平方数猜想】

    可以证明,用同一个数字1,2,3,...,9组成的十进制数,只有1,4,9是完全平方数,换句话说,在11,111,1111,...;22,222,2222,...;
99,999,9999,...;中没有完全平方数.
    由此可知,除了1,4,9之外,一个完全平方数至少是由两个不同的数字组成的.下面是一些用两个不同数字组成的完全平方数:
    25,49,64,81,225,1444,7744,11881,29929,44944,55225,9696996.
    希托突玛图(S.Hitotumatu)提出了一个猜想:除了102n,4*102n,9*102n之外,由两个数字组成的完全平方数只有有限个.这个猜想至今未获证明.
    一般地,对于k个(2,3,...9)不同数字组成的完全平方数,能做出什么结论呢?我们知道,完全平方数有无穷多个,因此,至少有一个k,由k个不同的数字组成的完全平方数有无穷多个,是哪一个k具有这样的性质呢?

9.【克拉茨问题】
50年代开始,在国际数学界广泛流行着这样一个奇怪有趣的数学问题:任意给定一个自然数x,如果是偶数,则变换成x/2,如果是奇数,则变换成3x+1.此后,再对得数继续进行上述变换.例如x=52,可以陆续得出26,13,40,20,10,5,16,8,4,2,1.如果再做下去就得到循环:
(4,2,1).再试其他的自然数也会得出相同的结果.
    上述变换,实际上是进行下列函数的迭代
{ x/2    (x是偶数)
C(x)=
3x+1   (x是奇数)

    问题是,从任意一个自然数开始,经过有限次函数C迭代,能否最终得到循环(4,2,1),或者等价地说,最终得到1?据说克拉茨(L.Collatz)在1950年召开的一次国际数学家大会上谈起过,因而许多人称之为克拉茨问题.但是后来也有许多人独立地发现过同一个问题,所以,从此以后也许为了避免引起问题的归属争议,许多文献称之为3x+1问题.
    克拉茨问题吸引人之处在于C迭代过程中一旦出现2的幂,问题就解决了,而2的幂有无穷多个,人们认为只要迭代过程持续足够长,必定会碰到一个2的幂使问题以肯定形式得到解决.正是这种信念使得问题每到一处,便在那里掀起一股"3x+1问题"狂热,不论是大学还是研究机构都不同程度地卷入这一问题.许多数学家开始悬赏征解,有的500美元,有的1000英镑.
    日本东京大学的米田信夫已经对240大约是11000亿以下的自然数做了检验.1992年李文斯(G.T.Leavens)和弗穆兰(M.Vermeulen)已经对5.6*1013的自然数进行了验证,均未发现反例.题意如此清晰,明了,简单,连小学生都能看懂的问题,却难到了20世纪许多大数学家.著名学者盖伊(R.K.Guy)在介绍这一世界难题的时候,竟然冠以"不要试图去解决这些问题"为标题.经过几十年的探索与研究,人们似乎接受了大数学家厄特希(P.Erdos)的说法:"数学还没有成熟到足以解决这样的问题!"有人提议将3x+1问题作为下一个费尔马问题.
    下面是我对克拉茨问题的初步研究结果,只是发现了一点点规律,距离解决还很遥远.

克拉茨命题:设 n∈N,并且

{ n/2    (n是偶数)
f(n)=
3n+1   (n是奇数)

     现用f1(n)表示f(n),f2(n)=f(f(n)),...fk(n)=f(f(...f(n)...)).
     则存在有限正整数m∈N,使得fm(n)=1.(以下称n/2为偶变换,3n+1为奇变换,并且称先奇变换再偶变换为全变换)

克拉茨命题的证明

    引理一:若n=2m,则fm(n)=1 (m∈N)

      证明:当m=1时,f(n)=f(2)=2/2=1,命题成立,设当m=k时成立,则当m=k+1时,fk+1(n)=f(fk(2k+1))=
               =f(2)=2/2=1.证毕.

    引理二:若n=1+4+42+43+...+4k=(4k+1-1)/(4-1)   (k∈N),则有f(n)=3n+1=4k+1=22k+2,从而f2k+3(n)=1.

      证明:证明是显然的,省略.

    引理三:若n=2m(4k+1-1)/(4-1)       (m∈N),  则有fm+2k+3(n)=1.

      证明:省略.

     定理一:集合 O={X|X=2k-1,k∈N} 对于变换f(X)是封闭的.

    证明:对于任意自然数n,若n=2m,则fm(n)=1,对于n=2k,经过若干次偶变换,必然要变成奇数,所以我们以下之考虑奇数的情形,即集合O的情形.对于奇数,首先要进行奇变换,伴随而来的必然是偶变换,所以对于奇数,肯定要进行一次全变换.为了直观起见,我们将奇数列及其全变换排列如下:

  k 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 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
0 2k-1 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101
1 3k-1 2 5 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 68 71 74 77 80 83 86 89 92 95 98 101 104 107 110 113 116 119 122 125 128 131 134 137 140 143 146 149 152
2 3k-2 1   4   7   10   13   16   19   22   25   28   31   34   37   40   43   46   49   52   55   58   61   64   67   70   73   76
3 3k-1     2       5       8       11       14       17       20       23       26       29       32       35       38
4 3k-2     1               4               7               10               13               16               19
5 3k-1                     2                               5                               8                
6 3k-2                     1                                                               4                
7 3k-1                                                                                     2                
8 3k-2                                                                                     1                

     第一行(2k-1)经过全变换(3(2k-1)+1)/2=3k-1变成第二行,实际上等于第一行加上一个k,其中的奇数5,11,...6k-1又回到了第一行.以下各行是等差数列3k-2,3k-1交错排列.由于最终都变成了奇数,所以集合O对于变换f(X)是封闭的.

    定理二:任何奇自然数经过若干次变换都会变成1.

    证明:

    我们看到 奇数经过全变换变成为3k-1型数,3k-1型奇数经过全变换有一半仍然变成3k-1型奇数,而另一半3k-1型偶数经过除以2有一半变成为3k-2型奇数,而3k-2型奇数经过全变换又变成为3k-1型数.换句话说不可能经过全变换得到3k-2型数.
    下面我们只研究奇数经过全变换的性质,因为对于其他偶数经过若干次偶变换,仍然要回到奇数的行列里来.
    我们首先证明奇数经过若干次全变换必然会在某一步变成偶数.
    设2a0-1是我们要研究的奇数,它经过全变换变成3a0-1,假设它是一个奇数并且等于2a1-1,2a1-1又经过全变换变成为3a1-1=2a2-1,3a2-1=2a3-1,...3ak-1-1=2ak-1,所以a1=(3/2)a0,a2=(3/2)a1,...ak=(3/2)ak-1.
    所以最后ak=(3/2)ka0,要使ak是整数,可令a0=2kn,(n是奇数).于是ak=3kn.则从2a0-1经过若干次全变换过程如下:
    2k+1n-1 -> 3*2kn-1 -> 32*2k-1n-1 -> 33*2k-2n-1 ->... -> 3k+1n-1 (偶数).

    然后我们证明经过全变换变成偶数的奇数一定大于该偶数经过若干偶变换之后得到的奇数.
    设3k+1n-1=2mh (h为奇数),我们要证明 h<2*3kn-1:
    h=(2*3kn-1+3kn)/2m<2*3kn-1,令a=3kn,b=2m-1,则有 2ab>a+b,而这是显然的.

    定义:以下我们将称呼上述的连续全变换紧接着连续的偶变换的从奇数到另外一个奇数的过程为一个变换链.

    接着我们证明奇数经过一个变换链所得的奇数不可能是变换链中的任何中间结果,包括第一个奇数.

    若以B(n)表示奇数n的变换次数,m是n经过变换首次遇到的其他奇数,则有

    定理三:B(n)=k+1+B(m),其中k是满足3n+1=2km的非负整数.

    证明:n经过一次奇变换,再经过k次偶变换变成奇数m,得证.
    举例来说,B(15)=2+B(23)=2+2+B(35)=2+2+2+B(53)=2+2+2+5+1+B(5)=2+2+2+5+1+5=17

10.负数克拉茨】

    人们在对自然数进行C迭代研究的同时,又想到:如果迭代在整数集上进行,其结果又会如何呢?
当x为正整数时,如前所述出现循环(4,2,1)
当x=0,出现循环(0)
当x=-1,-2,-3,-4时,最终出现循环(-1,-2).
当x=-5,出现循环(-5,-14,-7,-20,-10).
当x=-6,-7,...-16时,最终出现循环(-1,-2),(-5,-14,-7,-20,-10)
当x=-17,出现循环(-17,-50,-25,-74,-37,-110,-55,-164,-82,-41,-122,-61,-182,-91,-272,-136,-68,-34)
对x<-17的数进行迭代,再未出现新的循环,于是,人们猜想:
    如果对全体整数进行C迭代,只能出现上述5个循环.
    人们已经对|x|<108的负整数x进行了验算,证明猜想是正确的,但并没有得到一般情形的证明.
11.【广义克拉茨】

    人们注意到克拉茨迭代所得的C数列中,取奇数的项更为重要,因此,人们引进了简化克拉茨函数:
                                                C(x)=(3x+1)/2e(x)
  其中e(x)是3x+1所含的素因子2的个数.例如,当x=29时,3x+1=88=23*11,e(29)=3,对应的简化C数列为
                           11,17,13,5,1,1,...
  路径由原来的18减少到5,更有利于C迭代的研究.
  一般地,设a,b是正整数,a>1,且b为奇数,广义克拉茨函数是C(x)=(ax+b)/2e(x)
  其中x取正奇数,e(x)是ax+b所含素因子2的个数.显然,a=3,b=1就是3x+1问题.
  ax+b问题就是,对于任何一个正奇数x,经过有限次的广义C迭代最终是否可得到1?
    令人感到意外的是,ax+b问题有可能以否定的形式而解决,人们估计下面的ax+b猜想是正确的:
    除了a=3,b=1(即3x+1问题)外,对于其他的正整数a,b(a>1,b为奇数)都可以找到一个正奇数r,使得r的广义C迭代中始终不出现1.
    实际上,取r=bt(t为任意正奇数),则
    C(r)*2e(r)=ar+b=(at+1)b
    如果b>1,则C(r)必能被b整除,从而r的广义C数列各项都能被大于1的数b整除,永远的不到1,此时,猜想是正确的.
    如果b=1,则当a为偶数时,C(x)*2e(x)=ax+1恒为奇数且C数列是递增的,C迭代不会得到1,而当a是奇数时,ax+1猜想就是:
    对于给定的奇数a>3,必定存在某个正奇数r,使得r的广义C迭代,即C(x)=(ax+1)/2e(x)不出现1.
  1978年,克兰多尔已经证明,当a=5,181,1093时候,上述猜想是正确的.
    (1)5x+1问题:C(x)=(5x+1)/2e(x)
  取r=13,则r的广义C迭代数列是33,83,13,33,...出现循环(33,83,13),不出现1.
    (2)181x+1问题:C(x)=(181x+1)/2e(x)
  取r=27,则r的广义C迭代数列是611,27,611,27,...出现循环(611,27),不出现1.
    (3)1093x+1问题:C(x)=(1093x+1)/2e(x)
取s=(2364k-1)/1093(其中k为任意自然数),则1093+1=2364k,故e(s)=364k,C(s)=1.可以证明这是1093x+1问题中能达到1的仅有的一祖数,而对于其他任何正奇数r(不等于s),则C迭代可以无限地进行下去,永远得不到1.
    此外,有人研究了7x+1问题,对于r=3的迭代项数已经超过102000,仍然看不出任何重复的迹象,看来7x+1猜想很可能也是正确的.但还没有从理论上加以证明.
    到目前为止,ax+1问题远未解决.
12.【原始克拉茨】

    二十世纪30年代,克拉茨还在上大学的时候,受到一些著名的数学家影响,对于数论函数发生了兴趣,为此研究了有关函数的迭代问题.
在1932年7月1日的笔记本中,他研究了这样一个函数:
{ 2x/3      x被3整除
F(x)= (4x-1)/3  x被3除余1
(4x+1)/3  x被3除余2

    则F(1)=1,F(2)=3,F(3)=2,F(4)=5,F(5)=7,F(6)=4,F(7)=9,F(8)=11,F(9)=6,...为了便于观察上述迭代结果,我们将它们写成置换的形式:

( 1 2 3 4 5 6 7  8 9  ... )
1 3 2 5 7 4 9 11 6 ...

    由此观察到:对于x=2,3的F迭代产生循环(2,3)
    对于x=4,5,6,7,9的F迭代产生循环(5,7,9,6,4).
接下来就是对x=8进行迭代,克拉茨在这里遇到了困难,他不能确知,这个迭代是否会形成循环,也不知道对全体自然数做迭代除了得到上述两个循环之外,是否还会产生其他循环.后人将这个问题称为原始克拉茨问题.现在人们更感兴趣的是它的逆问题:

{ 3x/2      x是偶数
G(x)= (3x-1)/4  x被4除余3
(3x+1)/4  x被4除余1

不难证明,G(x)恰是原始克拉茨函数F(x)的反函数.对于任何正整数x做G迭代,会有什么样的结果呢?
    经计算,已经得到下列四个循环:
    (1),(2,3),(4,6,9,7,5),(44,66,99,74,111,83,62,93,70,105,79,59).
因为G迭代与F迭代是互逆的,由此知道,F迭代还应有循环(59,79,105,70,93,62,83,111,74,99,66,44).
    G迭代还能有别的循环吗?为了找到别的循环,人们想到了下面的巧妙方法:
    由于G迭代使后项是前项的3/2(当前项是偶数时)或近似的3/4(当前项是奇数).如果G迭代中出现循环,比如迭代的第t项at与第s项as重复(t<s):at=as.但
    as/as-1,as-1/as-2,...at+1/at
    或等于3/2,或者近似于3/22,因而
    1=as/at=as/as-1*as-1/as-2*...at+1/at≈3m/2n
    这里 m=s-t,m < n
    即 2n≈3m
    log22n≈log23m
    故 n/m≈log23
    这就是说,为了寻找出有重复的项(即有循环),应求出log23的渐进分数n/m,且m可能是一个循环所包含的数的个数,即循环的长度.
    log23展开成连分数后,可得到下列紧缺度不同的渐进分数:
    log23≈2/1,3/2,8/5,19/12,65/41,84/53,485/306,1054/665,24727/15601,...
    渐进分数2/1表明,31≈22,循环长度应为1.实际上恰存在长度为1的循环(1).
    渐进分数3/2表明,32≈23,循环长度应为2.实际上恰存在长度为2的循环(2,3).
    渐进分数8/5表明,35≈28,循环长度应为5.实际上恰存在长度为5的循环(4,6,9,7,5).
    渐进分数19/12表明,312≈219,循环长度应为12,实际上恰存在长度为12的循环(44,66,...59).
    这四个渐进分数的分母与实际存在的循环长度的一致性,给了人们一些启发与信心,促使人们继续考虑:是否存在长度为41,53,306,665,15601,...的循环?令人遗憾的是,已经证明长度是41,53,306的循环肯定不存在,那么,是否会有长度为665,15601,...的循环呢?
    F迭代与G迭代究竟能有哪些循环呢?人们正在努力探索中!

 

13.其它猜想

素数的间隔 卡迈克猜想 费马数猜想 谢尔品斯基数 卡伦素数 广义费马数
新梅森猜想 奇完全数猜想 亲和数猜想 克拉默猜想 安德里卡猜想 商克斯猜想 素阶乘问题 赛弗里奇挑战 厄特希猜想
希夫曼问题 坡默兰斯问题 数的素数剖分 互逆对公式 共素因子集合 连续素数和 连续素数表示 伯恩斯坦问题 贝特曼问题
素数公式之谜 反序素数之谜

阅读(7374) | 评论(2)


版权声明:编程爱好者网站为此博客服务提供商,如本文牵涉到版权问题,编程爱好者网站不承担相关责任,如有版权问题请直接与本文作者联系解决。谢谢!

评论

loading...
您需要登录后才能评论,请 登录 或者 注册