正整数被素数p整除的判别法

摘要

设p是素数且p≠2,5,|k|是满足10k≡1(mod p)成立的最小正整数,Mn=n∏i=010iai(0≤ai≤9,i=0,1,…,n,an≠0).运用数学归纳法证明了:若对?i=0,1,…,n-1,有bi+1=kci+ai+1,bi+1≡ci+1(mod p),其中c0=a0,|ci+1|≤p-1/2,则p|Mn?p|bn.