|
细说哥猜中的“哈代_李特伍德公式”
[这个贴子最后由白新岭在 2009/11/09 03:48pm 第 1 次编辑]
项目→1→2→3→4→a→b→…→…→…→n-1→对角线
1→2→3→4→5→a+1→b+1→→→→n
2→3→4→5→6→a+2→b+2→→→n→n+1
3→4→5→6→7→a+3→b+3→→n→n+1→n+2
4→5→6→7→8→a+4→b+4→n→n+1→n+2→n+3
a→a+1→a+2→a+3→a+4→→n→n+…→n+…→n+…→n+a
b→b+1→b+2→b+3→b+4→n→n+b→n+…→n+…→n+…→n+b
…→→→→n→n+a→n+b→n+…→n+…→n+…→n+…
…→→→n→n+1→n+a→n+b→n+…→n+…→n+…→n+…
…→→n→n+1→n+2→n+a→n+b→n+…→n+…→n+…→n+…
n-1→n→n+1→n+2→n+3→n+a→n+b→n+…→n+…→n+…→2n-2
对角线
上边是一种图解证明,设T为大于1的自然,则MOD(N,T)的值为0,1,2,3,...,T-1.去掉MOD(N,T)=0的数值N,用其它余数做2元加法运算,则出现2,3,4,...,T,T+1,T+2,...2T-2的次数,分别为1,2,3,4,....,T-3,T-2,T-1,T-2,T-3,.....,4,3,2,1.
出现T的次数正好为数据区域对角线穿过的单元格,有T-1个(次),(对图解证明做些分析,项目所在的第一行和第一列为参与运算的2元数,行和列运算元都是不能整除T的,即大于0,小于T的余数元,主要部分为2元加法所得的值,为了便于说明,没有对加数做MOD( ,T)处理),出现T+1的次数为对角线下面的斜线穿过的单元格为T-2,比T少出现了一次,而MOD(T+1,T)=1,即余数1出现了T-2次;紧接着此斜线的下一个斜线穿过的单元格为T-3个,其值都是T+2,即(MOD(T+2,T)=2,余数2出现的次数,再加上左上角第二个单元格出现2的1次,也是出现了T-2次,这样分析下去,任何不能整除T的余数,都是出现了T-2次。
总共T种余数,余0的出现T-1次,其余余数(共有T-1类)各出现了T-2次,总次数为:(T-1)^2。所以能整除的数占新合成数的(T-1)/(T-1)^2=1/(T-1);而不能整除的其余余数类各占:(T-2)/(T-1)^2.
这就是我以前提到的:对于任何一个自然数K来说,如果去掉kn类数,仅留下其余不能整除的数做2元加法运算,其结果必然是能整除的数占新合成数的:1/(K-1);不能整除的其余各类每类数占新合成数的 K-2)/(K-1)^2.这里参与运算的余数只要均衡就可(各类余数数量相等),不要求是合数,还是质数,当然质数集合对于任意一个素数而言,都是符合条件的集合。 |
|