正整数被素数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...     

Diophantine方程x~3+1=3Qy~2的整数解

设Q=p∏ni=1ri(n∈Z+),ri≡-1(mod 6)(i=1,2,…,n)为互异的奇素数,p≡1(mod 6)为奇素数.运用Pell方程的解的性质、同余式、平方剩余、递归序列等证明了Diophantine方程x~3+1=3Qy~2仅有平凡解(x,y)=(-1,0).     

Lehmer型同余式在多重调和级数上的推广

证明了若a为正整数且满足2na≤p-4,则∑ 1≤ll〈…ln≤p-1/2 1/ll^2a…ln^2a≡（-1）n＋1 1/n（1-1/2^2na＋1）2^2na 2na/2na＋1 Bp-a-1p（mod p^2）其中a=2a1＋…＋2an.推广了Lehmer关于幂次和的一类同余式,同时给出更多关于调和级数的同余式．     

丢番图方程x~3±1=2pDy~2的整数解

设D=∏r+i(n∈Z),ri≡5 mod 6(1≤i≤n)为彼此不相同的奇素数,p≡1 mod 6为奇素数,关于丢番i=1图方程x3±1=2pDy2的初等解法至今仍未解决.运用Pell方程的解的性质、同余式、平方剩余、递归序列等讨论了丢番图方程x3±1=2pDy2的整数解的情况.     

一类含有调和数的同余式（英文）

该文目的是创建一系列含有调和数的同余式.当p3为一素数时,利用已有的组合恒等式和同余式,得到了如下的同余式:∑p-1k=1k~2H_k~2≡79/108p-4/9(mod p~2)和∑p-1k=1H_k~3≡23/18(mod p).同时也得到了∑(p-1)/2k=1H_k~2/k≡-8/3q_p~3(2)+1/6B(p-3)(mod p)和∑(p-1)/2k=1H_(2k)~2≡-1+1/2q_p~2(2)(mod p),这里Bn(n∈N)称为Bernoulli数,当pa时,q_p(a)=(a~(p-1)-1)/p称为Fermat商.     

丢番图方程x~3±1=3qPy~2的整数解

设P=∏r+i(s∈Z),ri≡-1 mod 6(1≤i≤s)为彼此不相同的奇素数,q≡1 mod 6为奇素数,关于丢番i=1图方程x3±1=3qPy2的整数解目前只有部分结果.运用Pell方程的解的性质、同余式、递归序列等讨论了丢番图方程x3±1=3q Py2的整数解的情况,从而推进了该类丢番图方程的研究.     

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12     

丢番图方程x~3-1=3Py~2的整数解

设P=∏si=1p_i(s≥2),p_i≡1(mod 6)(1≤i≤s)为奇素数.主要利用同余式、平方剩余、Pell方程的解的性质、递归序列证明了P=pq,p≡13(mod 24)为奇素数,q=12s~2+1(s∈Z~+,2■s)为奇素数,(p/q)=-1时,丢番图方程x~3-1=3Py~2仅有平凡解(x,y)=(1,0).     

关于不定方程x~3-1=3pqy~2的整数解研究

设pi≡1(mod 6)(1≤i≤s)为奇素数.关于不定方程x3-1=3s∏i=1piy2(s≥2)的初等解法至今仍未解决.主要利用Pell方程的解的性质、递归序列、同余式、平方剩余等证明了p≡q≡1(mod 6)为奇素数,pq≡7(mod 12),(p/q)=1时,不定方程x3-1=3pqy2仅有平凡解(x,y)=(1,0).     

关于不定方程x~3+5~3=2Ry~2

设R=p1 p2 Q,Q=r i(n∈Z),ri-1(mod6)(1≤i≤n)为互异的奇素数,p1≡p2≡1(mod 6)为奇素数。运用初等方法得出了不定方程x 3+53=2Ry 2无正整数解的一个充分条件。