在黑色的陶板上,洛书又写上了几行算式:
3=4-1
7=8-1
31=32-1
而2、4、8、16、32,又都是2的乘方,这会不会是完全数的规律所在?
洛书不由心中激动,按照这个规律写出另一个算式:8*15=120。
但是简单地验算之后,她就发现120并不是完全数,它的真因子全部加起来比120要大得多。
在计算的过程中,洛书敏锐地发现了原因:15不是素数!
如果15是素数,不能分解成3和5的乘积,那120的真因子加起来就是:
1+2+4+8+15+30+60=120!
按照这个思路,32*63=2016也不是完全数,因为63是合数。
下一个,64*127=8128呢?
洛书使用“试除法”,很快判断出127是素数,所以……8128就是第四个完全数!
“哈哈哈……”
小姑娘激动得俏脸发红,拿着粉笔快速演算起来。
……
晚上秦钧去饭堂吃饭时,就听到了一个令人惊讶的消息:第四个完全数,8128被人找出来了!
做到这一点的人,正是他的“老婆”洛书。
而且,洛书还给出了一个寻找完全数的公式:当(2^n-1)是素数时,2^(n-1)*(2^n-1)是一个完全数。
这个公式要证明并不困难,把式子一列再算一算就出来了。
但是秦钧出题才过去半个下午,洛书仅仅凭借三个已有的完全数,就能根据它们的特性推出这个公式,这个小姑娘的智商……有点恐怖啊!
秦钧一时间,竟感到有点压力。
有了洛书给出的公式,完全数的寻找方法被大大简化,只需要找到一个(2^n-1)形式的素数就可以了。
这种素数在地球被称为梅森素数,在这个世界很可能会叫做“洛书素数”。
比如2^13-1=8191是素数,那么第六个完全数33550336就可以得出,其发现速度将远远快于秦钧原来的估计。甚至第七个、第八个、第九个完全数,只要有人肯当苦力去进行素数验算,都是可以找出来的。
在这个发明创造可以成神的世界,愿意当这种苦力的人恐怕不会少!
而秦钧的第一个完全数猜想,即是否存在无穷多个完全数,也可以通过证明有无穷多个“洛书素数”而证明之。当然反过来就不成立了,假设洛书素数有限,也不能得出完全数有限。
秦钧和洛书这一波“配合”,在道院掀起了研究完全数的热潮。
接着过了两天,有位助教提出按照洛书公式得到的完全数,都是“三角形数”。
什么是三角形数呢?
就是玩台球,有多少个台球可以排成三角形,这个数就是三角形数:
1
1+2=3
1+2+3=6
1+2+3+4=10
……
像这样类推,1、3、6、10都是三角形数。
要证明这个更加简单,设2^n-1=M,2^(n-1)*(2^n-1)=M(M+1)/2,正是三角形数的公式。
这位助教的发现,只能算是锦上添花。
不过这样一来,“完全数”的神秘性又进一步被强化,未来各种带有祭祀或礼仪色彩的场合,6,28,496,8128这些数字肯定会被大量应用。
而秦钧最初的目的,似乎也得到了实现。
现在来找他讨论四色猜想的人少了许多,一个个都去寻找完全数去了!