|
[分享]对于 7, 13, 17, 19 的整除性
[这个贴子最后由lizh714285在 2010/04/29 11:25am 第 2 次编辑]
从有限群方面出发,可以得到如下结论:
对于任意与10互质的自然数P, 都有类似于3楼陆老师形式的辨别法。
对应于P, 集合{1,2,3,....,p-1} 关于P的同余乘法构成一个群。
(“关于P的同余乘法”,定义为:对集合内任意两元所进行的普通乘法,其结果再除以P取余数)
如果10属于这个集合,则令r=10,否则,令r=10除以p的余数(譬如,当p=7时令r=3)
容易得到 r^(p-1)=r (这里,乘方a^b的定义是对b个a连续施行“关于p的同余乘法”)
--------------------
引用这个结论,本命题就得到: 一个自然数乘以10^(p-1)后与它自己同余于p。 换言之
elimqiu老师在12楼中所说“如果存在 k 使得 p|(10^k - 1)......”,这个k是存在的,它是p-1 (或p-1的一个因数)。
---------------------
(因为任何一个自然数去除P,获得的余数只能有p种情况,即:除尽,余1,余2,....余p-1;如果10与P互质,10,10^2,10^3,....10^(p-1);都不会被p整除,它们除以p的余数或者互不相同,分别取定前p-1个自然数,或者就会出现相同的情况,从而必定有一个余1,相同情况形成一种循环,各个余数会因此分组(所谓陪集)。)
————————————————————————————
设自然数Q=A*10^m+B (其中A,B均为非负整数,m为自然数)
Q*10^(p-1)≡Q(mod p)
即: A*10^(m+p-1)+B*10^(p-1))≡A*10^m+B(mod p)
即: ( A + B*10^(p-1-m) ) *10^m ≡A*10^m+B(mod p)
取u,v;另u为10^(p-1-m)除以p的余数,v为10^m除以p的余数
( A + B*u) *v ≡A*10^m+B(mod p)
-------------------
如果不保具体余数不变,仅判断是否能整除,那么仅做变换:
A*10^m+B ∽ A+B*u 亦不失去能否被P整除性质。
其中 u为10^(p-1-m)除以p的余数。
检验一下:令P=7,m=1时,u=10^5除以7的余数,是5。
即截末位后,加上末位乘以5。(加上末位乘5和减去末位乘2,两步骤均不失能否被7整除的性质)
令p=7,m=2; u=10^4除以7的余数,是4。
所以我在7楼写到
“一个数 将个、十两位截去, 然后加上(截去的两位数*4)”
如果要保余,这个变换要乘以u, 100/7余2,所以我主张这个变换再乘以2。
令p=7,m=3; u=10^3除以7的余数,是6。
即截三位后,加上截去的数乘6。 加上尾数乘6和减去尾数,两步骤均不失能否被7整除的性质。
根据这一方法,任何与10互质的数P均可构造检验方法。
不失一般性,对于其它进制也能得到相类似的结论。 |
|