关于Diophantine方程kx~4-(2k+4)x~2y~2+ky~4=-4

利用Pell方程及同余的性质给出了Diophantine方程G:kx4-(2k+4)x2y2+ky4=-4仅有整数解(|x|,|y|)=(1,1)的充分条件。证明了:1)若k≠12(mod 16),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1);2)若k=4m,m≡3(mod4),且2︱s或s≡0(mod 4),t≡3,5(mod 8)或s≡2(mod 4),t≡1,7(mod 8),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1),这里s+t m1/2是Pell方程x2-my2=1的基本解。     

关于Diophantine方程kx4-(2k+4)x2y2+ky4=-4

利用Pell方程及同余的性质给出了Diophantine方程 G:kx4-(2k+4)x2y2+ky4=-4仅有整数解(|x|,|y|)=(1,1)的充分条件。证明了:1)若k 12(mod16),则Diophantine方程G 仅有整数解(|x|,|y|)=(1,1);2)若k=4m,m≡3(mod4),且2s或s≡0(mod4),t≡3,5(mod8)或s≡2(mod4),t≡1,7(mod8),则Diophantine方程G 仅有整数解(|x|,|y|)=(1,1),这里s+t m 是Pell方程x2-my2=1的基本解。
     

关于Diophantine方程x~3±1=6pqy~2的整数解

主要利用同余式、Pell方程的解的性质、递归序列、平方剩余等理论得出了如下结果:(1)p≡q≡1(mod 6)为奇素数,(p/q)=-1,pq≡19(mod 24),或p≡1(mod 24),q≡13(mod 24)时,Diophantine方程x~3-1=6pqy~2仅有平凡解(x,y)=(1,0);(2)p≡q≡1(mod6)为奇素数,(p/q)=-1,且pq≡7(mod 24),或p≡1(mod 24),q≡13(mod2 4)时,Diophantine方程x~3+1=6pqy~2仅有平凡解(x,y)=(-1,0).     

关于Diophantine方程x~3±1=2pqry~2

设p,q,r为奇素数,p≡13 mod 24,q≡19 mod 24,(p/q)=-1.利用同余式、平方剩余、递归序列、Legendre符号的性质、Pell方程解的性质等证明了:(A)若r≡5 mod 12,则方程G:x3-1=2pqry2仅有平凡解(x,y)=(1,0);若r≡11 mod 12,则方程G最多有2组正整数解.(B)若r≡11 mod 12,则方程H:x3+1=2pqry2仅有平凡解(x,y)=(-1,0);若r≡5 mod 12且(pq/r)=-1,则方程H最多有2组正整数解.     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

关于不定方程x~3±1331=2pqy~2的整数解

设p、q为奇素数,p≡13(mod24),q≡19(mod24),Legendre符号值p(q)=-1.利用递归序列、Legendre符号的性质、同余的性质以及Pell方程的解的性质等,证明了:(i)若p()11=pq(11)=-1且n■3(mod4),则不定方程x3-1331=2pqy2至多有2组正整数解;(ii)若pq(11)=-1且n■1(mod4),则不定方程x3+1331=2pqy2仅有平凡解(x,y)=(-11,0);推进了此类不定方程的研究.     

Diophantine方程x~3+5~3=2pqy~2的整数解

设p≡13(mod 24)为奇素数,q≡19(mod 24)为奇素数.运用同余的性质、Legendre符号的性质等得出了Diophantine方程x~3+5~3=2pqy~2无正整数解的一个充分条件.     

关于丢番图方程x~4-pqy~2=1(Ⅱ)

3.方程(1)在p≡17(mod24),q≡3(mod8)或p≡5(mod24),q≡23(mod24)或p≡5(mod24),q≡3(mod8),(p/q)=1时均无正整数解.4.当D=2p时,方程(1)除开有解p=3,x=7,y=20外,无其他的正整数解.5.方程(1)在p≡3(mod4),q≡3(mod4)时无正整数解.国外,Nagell,Ljunggren,Cohn等人有过不少工作,可参看文[4]所附文献.本文用不同于前面诸文的方法,对于D=pq的情形,得到进一步的结果.我们有     

关于丢番图方程x~4-q~4=py~5

设p,q均为奇素数,且p≡3(mod 4).利用同余理论和代数数论的有关结论证明了:丢番图方程x~4-q~4=py~5(gcd(x,y)=1)有正整数解的必要条件是q=20m~2(m-1)~2-1,m≡0,1(mod 4),m≥3,并且x满足qx(lq)~(5/4),这里■.从而改进了Savin的结果.     

关于不定方程x3-1=709 q y2的正整数解

采用同余式、Pell方程解的性质以及递归序列等初等数论方法,得到了当q≡1(mod 12)为奇素数时,不定方程x3-1=709 qy2有解的充要条件.证明了当q满足q=12k2+12k+1(k∈N*),q=108k2±12k+1(k∈N*),q=12k2+1(k∈N*)以及q≡1(mod 12)为奇素数且q709=-1...     

关于丢番图方程x3+p3n=Dy2

设D是大于 2且不含σk +1之形素因数的无平方因子正整数 ,p是适合p D的素数。本文证明了 :当p>3且p ± 1(mod 12 )时 ,如果D有素因数q适合q≡ 1(mod 4) ,则方程x3 +p3n =Dy2 没有适合gcd(x ,y) =1的正整数解 (x,y ,n)。     

关于三次Diophantine方程x~3+1=2p_1p_2Qy~2的可解性

设p_1,p_2是适合_p1≡p_2≡1(mod 6)以及(p_1/p_2)=-1的奇素数,其中(p_1/p_2)是Legendre符号。设Q是至少有两个不同素因数且每个素因数q都满足q≡5(mod 6)的无平方因子正整数。运用初等数论方法证明了:如果p_1≡1(mod 8),p_2≡5(mod 8),Q≡1(mod 4),那么方程x~3+1=2p_1p_2Qy~2无正整数解(x,y)。     

图wn*pk的优美性

提出图wn*pk的概念,并在n≡0(mod 2)且n≥4,k≡1(mod 2),k≡0(mod 2)和n≡1(mod 2)且n≥5,k≡1(mod 2),k≡0(mod 2)时,证明图wn*pk是优美的.     

关于Pell方程qx~2-(qn±5)y~2=±1(q≡±1,±3(mod 10)是素数)

运用Legendre符号和同余的性质给出了形如qx2-(qn±5)y2=±1(q≡±1,±3(mod 10是素数)型Pell方程无正整数解的4个结论。这些结论对研究狭义Pell方程ax2-Dy2=±1(D是非平方数的正整数)具有重要作用。     

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

得到默森尼 (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     

完全二部多重图的K_(1,p)~k因子分解(英文)

研究了完全二部多重图λKm ,n 的K1,k 因子分解 ,给出pkKm ,n 存在K1,pk 因子分解的必要条件和充分条件 :(1)m ≤pkn ;(2 )n≤pkm ;(3)pkm-n≡pkn-m≡ 0 (mod(p2k- 1) ) ;(4) (pkm-n) (pkn-m)≡ 0 (mod(pk- 1) (p2k- 1) (m n) .其中p为质数 ,k为正整数 .     

Kohnen W公式的推广与简证

对Kohnen W给出的同余公式sum from k=1 to p-1(1/k·2~k)≡sum from k=1 to (p-1)/2((-1)~(k-1)/k)(mod p)进行了推广,并给出了一个简单证明。     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

关于对角圈系统

给出了k≡1(mod4)且k≥13时C(k-1)2kGD(2k 2)的存在性,从而解决了当υ≡2k 2(mod4k 2),k≡1(mod4),k≥13时对角2k长圈系统的存在性.     

不定方程■的正整数解

设k,l,m₁,m₂是正整数，p,q为奇素数且满足p^k=2^m1-3^m2,q^l=2^m1+3^m2．证明了若2■m₁,m₂≡2(mod 4),z≡0(mod 2)，则对任意正整数n>1，丢番图方程■仅有正整数解(x,y,z)=(2,2,2)，从而得到Jesmanowicz猜想在该情形下的正确性．