关于a（mod p）≤b（mod p）＋2

Erd s等于1987年曾证明了:对于正整数a,b,如果对所有素数p,a,b被p除所得余数分别为a(modp),b(modp),都有a(modp)≤b(modp),则a=b.本文研究对哪些正整数a,b,满足对所有素数p,恒有a(modp)≤b(modp) 2,并对1≤a≤7,确定了所有的b.     

关于a(mod p)≤b(mod p)+1

ERDO S等于1987年曾证明了:对于正整数a,b,如果对所有素数p,a,b被p除所得余数分别为a(m od p),b(m od p),都有a(m od p)≤b(m od p),则a=b.该文则研究对哪些正整数a,b,满足对所有素数p,恒有a(m od p)≤b(m od p) 1,对1≤a≤5,确定了所有的b.即当a=1时,b可取一切正整数;a=2时,b=2k,k=0,1,2,…;a=3时,b=2,3,4,9;a=4时,b=3,4;a=5时,b=4,5.     

关于不定方程∏nk=1(k2+1)=a·m2的探讨

对于不定方程∏nk=1(k2+1)=a·m2,J. Cilleruelo证明了当a=1时,当且仅当n=3方程有解.证明了当a=5和7时,此方程无解;当a=17时,方程只有唯一解;还证明了一般情形,当a满足(a,17×101×1 297×739 601)=1且a的最大素因子p(a)≤2×738 740时,当n>3,方程无解.     

关于不定方程Пk=1^n（k^2＋1）=a·m^2的探讨

对于不定方程Пk=1^n（k^2＋1）=a·m^2,J．Cilleruelo证明了当a=1时,当且仅当n=3方程有解．证明了当a=5和7时,此方程无解;当a=17时,方程只有唯一解;还证明了一般情形,当a满足（a,17×101×1297×739601）=1且a的最大素因子p（a）≤2×738740时,当n〉3,方程无解．