丢番图方程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).     

关于丢番图方程x3＋1＝3pqy2的整数解

设P=3i∏pi(s≥2),其中pi=1(mod 6)(i=1,2,…,s)为奇素数.关于丢番图方程x3+1=Py2的初等解法至今仍未解决.主要利用同余式、平方剩余、Pell方程的解的性质以及递归序列证明了:当p≡q≡1(mod6)为奇素数,pq≡7(mod 24),(p/q)=-1时,丢番图方程x3+1=3pqy2仅有平凡解(x,y)=(-1,0).     

TayLor定理的再改进

S.W.Golomb提出猜想[1]:在任何有限域中总存在两个本原元素α和β适合关系α+β=1。并给出于Taylor定理:若p=2~mr+1和r都是奇素数,则r>2~(m-1)+2时,该猜想在GF(p)中成立。[2]中证明了:若p=4 p_1+1和p_1都是奇素数,则该猜想在GF(p)中成立。[3]中证明了:若p=2p_1+1和p_1都是奇素数,则该猜想在GF(p)中     

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

关于Diophantine方程x3±1=Dy2至今仍未解决.论文利用同余式、平方剩余、Pell方程解的性质、递归序列证明:(1)p≡1(mod 12)为素数,q=12s2+1(s是正奇数)为素数,(p q)=-1时,Diophantine方程x3±1=pqy2仅有整数解(x,y)=(1,0);(2)p≡1(mod 24)为素数,q=12s2+1(s是正奇数)为素数,(p q)=-1时,Diophantine方程x3±1=pqy2仅有整数解(x,y)=(-1,0).     

关于丢番图方程p~2-2q~2=-1

Berger在关于有限群的工作中提出了丢番图方程p~m-2q~n=±,p.q素数,m>1,n>1.(1)Grescenzo在1975年对此进行了研究。并问:是否存在无穷多对素数(p.q)适合p~2-2q~2=±1,p.q素数 (2)对于方程p~2-2q~2=1.模4立刻得到该方程有唯一素数解p=3.q=2。困难的是丢番图方程p~2-2q~2=-1,p.q素数 (3)对于方程(3),目前还没有什么结果。本文通过研究pell数的性质,得到一糸列(2)有解的必要条件     

关于不定方程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这4个条件之一时,方程x3-1=709 q y2无正整数解.     

关于Diophantine方程x~3+1=3pqy~2

关于Diophantine方程x~3+1=3pqy~2整数解的情况至今仍未解决。本文主要利用递归数列、同余式、平方剩余以及Pell方程解的性质证明:设素数p≡1(mod 24),素数q=12s~2+1,(s是正奇数),(p/q)=-1,Diophantine方程x~3+1=3pqy~2仅有整数解,即(x,y)=(-1,0)。关键词:Diophantine方程;同余式;平方剩余;Pell方程     

关于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).     

关于丢番图方程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的结果.     

关于Diophantine方程组x+1=3pqu2,x2-x+1=3v2的整数解

设 p, q是互异的奇素数, p≡q≡1(mod6),主要利用递归序列、Pell方程和四次Diophantine方程解的性质证明了 Diophantine 方程组x+1=3pqu2,x2-x+1=3v2除开pq=7×13有非平凡解外,仅有平凡解。
     

关于丢番图方程组x-1=3pqu2,x2+x+1=3v2 的整数解

设p,q是互异的奇素数,p≡q≡1(mod6),本文主要利用递归序列、Pell方程的解的性质、Maple小程序等证明了丢番图方程组x-1=3pqu2,x2+x+1=3v2 除开p=7,q=181有非平凡解(x,u,v)=(60817,±4,±35113)外,仅有平凡解(x,u,v)=(1,0,±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-1=3pqa~2和x~2+x+1=3b~2

设p,q是适合3pq的奇素数,根据二次和四次Diophantine方程的结果,运用初等数论方法证明了:仅当(p,q)=(7,181)时方程组x-1=3pqa2和x2+x+1=3b2有正整数解(x,a,b)=(60 817,4,35 113).     

关于丢番图方程组x-1=3pqu~2,x~2+x+1=3v~2的整数解

设p,q是互异的奇素数,p≡q≡1(mod 6),本文主要利用递归序列、Pell方程的解的性质、Maple小程序等证明了丢番图方程组x-1=3pqu2,x2+x+1=3v2除开p=7,q=181有非平凡解(x,u,v)=(60 817,±4,±35 113)外,仅有平凡解(x,u,v)=(1,0,±1)。     

孪生素数椭圆曲线E_+的整数点

设p和q是适合p+2=q的孪生素数.文章根据二元四次Diophantine方程和联立Pell方程组的解数上界证明了:当p≡1(mod 4)时,椭圆曲线E+:y2=x(x+p)(x+q)没有非平凡整数点(x,y);当p3且p≡3(mod 4)时,E+至多有3对非平凡整数点.     

关于费马方程xp+yp=zp的一个结果

设p为奇素数,利用初等方法证明了著名费马方程xp+yp=zp的正整数解满足z=x+bp或者z=x+plp-1或者z=x+plp-1 cp,其中p(l)c,l为正整数,b,c为大于1的整数.     

关于丢番图方程x~4-2Dy~2=1

对于丢番图方程x(?)-2Dy~2=1,(1)当D=p 是奇素数时,柯召、孙琦得到了一个完满的结果,即定理1.设D=p 是一个奇素数,则方程(1)除p=3,x=7,y=20外无其它正整数解.本文内容之一,在于给出定理1的一个初等而简短的证明.后来,柯召、孙琦又证明了:设D=pq,p,q 为不同的奇素数,p≡q≡1(mod4),((p/q))     

关于不定方程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方程x3+1=13qy2的整数解

设D 是无平方因子的正整数,D =∏si=1pi(s≥2),pi≡1(mod6)(1≤i≤s)为奇素数。关于Diophantine方程x3+1=Dy2的初等解法至今仍未解决。主要利用同余式、平方剩余、Pell方程的解的性质、递归序列,证明了q≡7(mod12)为奇素数,且q( )13=-1时,Diophantine方程x3+1=13qy2当q=7时有整数解(4367,±30252),(-1,0);当q≠7时仅有整数解(x,y)=(-1,0)。
     

丢番图方程x~3+1=PQy~2的整数解

利用同余式、递归序列、勒让德符号、Pell方程的解的性质证明了p≡19(mod 24)为奇素数,q=73,97,241,337,409,(pq)=-1时,丢番图方程x3+1=PQy2仅有整数解(x,y)=(-1,0).