也谈不定方程组x2-2y2=1,y2-Dz2=4

设D=2k∏i=1pil∏j=1qj，其中，诸pi和qj是互异的奇素数，pi≡5或7（mod8),qi≡3(mod8），l≤3。本文证明了不定方程组x^2-2y^2=1，y^2-Dy^2=4仅有平凡解z=0。     

关于Pell方程x2-2y2＝1和y2-Dz2＝4的一个注记

证明了当D=kⅡi=1 PilⅡj=1 qj,其中pi,qj皆为互异的奇素数,Pj≡5(mod 8)或Pi≡7(mod 8),Qj≡3(mod 8)时,Pe11方程x2-2y2=1和y2-Dz2=4仅有平凡解z=0.     

关于Pell方程x2-2y2=1和y2-Dz2=4的公解

证明了若D =2 ∏si=1pi,pi 为互异的奇素数 ,且pi ≡ 5 (mod 8)或pi ≡ 7(mod 8)时 ,Pell方程x2 - 2y2 =1和y2 -Dz2 =4仅有平凡解z=0     

关于不定方程x~3±1=6pqDy~2的整数解

设Q=6p_1…p_sr_1…r_n(s,n∈Z_+),其中p_j≡1(mod 6)(j=1,2,…,s)为奇素数,r_i≡5(mod 6)(i=1,2,…,n)为奇素数.关于不定方程x3±1=Qy2的初等解法至今仍未解决.利用同余式、Legendre符号的性质、递归序列、Pell方程解的性质证明了:当D=r_1…r_n(n∈Z+),r_i≡5(mod 6)(i=1,2,…,n)为奇素数,p≡q≡1(mod 6)为奇素数,(p/q)=-1时,不定方程x~3±1=6pqDy~2仅有平凡解的两个充分条件.     

关于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-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的情形,得到进一步的结果.我们有     

关于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组正整数解.     

关于Pell方程x2－6y2＝1与y2－Dz2＝4的公解

该文证明了：1) 若p1，…，ps是不同的奇素数，则当D＝p1…ps(1≤s≤3)时除开D为11,11×89×109,11×97×4801外，方程组G：x2－6y2＝1与y2－Dz2＝4仅有平凡解(x，y，z)＝(±5，±2,0)；2)若D是无平方因子正整数，则当D为偶数且D没有适合p≡1(mod 24)以及p≡7(mod 24)的素因数p，则方程组G仅有平凡解(x，y，z)＝(±5，±2,0).     

关于不定方程组x±1=6pqu~2,x~2■x+1=3υ~2的整数解

设p,q是互异的奇素数,p≡q≡1(mod 6),利用递归序列、Pell方程的解的性质、Maple小程序等方法证明了不定方程组x-1=6pqu2,x2+x+1=3v2仅有平凡解(x,u,v)=(1,0,±1);而不定方程组x+1=6pqu2,x2-x+1=3v2仅有平凡解(x,u,v)=(-1,0,±1).     

关于不定方程组x~2-6y~2=1,y~2-Dz~2=4

证明了当D=2k∏i=1pi,其中pi是互异的奇素数,且pi≡13,17,19,23(mod 24)时不定方程组x2-6y2=1,y2-Dz2=4仅有平凡解z=0.     

关于丢番图方程px~4-（p-1）y~2=z~4

对任意的奇素数p,还没有找到给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一的初等方法,目前只解决了某类特殊的奇素数p的求解问题,例如王洪昌等人完全解决了p-1=Q2;或2Q2;或qQ2,2｜Q,q≡3（mod4）为奇素数,Q为正整数的情形.认为对某类特殊的奇素数p求解丢番图方程px4-（p-1）y2=z4,目的是对任意的奇素数p,寻找给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.当p=2q＋1,q≡5（mod8）,p,q为奇素数时,利用初等方法把方程px4-（p-1）y2=z4化为方程x2＋my2=z2,从而给出方程px4-（p-1）y2=z4的全部正整数解;当q为任意正整数时,上述解法仍然适用,因此对任意给定的奇素数p,实际上已经给出了丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.     

不定方程组x~2-10y~2=1,y~2-Dz~2=4

设D是无平方因子的偶数且D=2Πki=1piΠlj=1qj,pi=3,11,13,17,19,23,29,31,37（mod40）,qj=3,7,11,19,23,31（mod40）,或qj=1,5,13,17,19,29,37（mod40）,l≤3,其中诸pi,qj是互异奇素数,本文证明了不定方程组x2-10y2=1,y2-Dz2=4仅有非凡解D=2,（x,y,z）=（19,6,4）。     

关于不定方程x~3-1=181y~2

设p为素数且p≡1(mod 6).关于不定方程x~3-1=py~2的求解是数论的重要研究课题之一.研究p=181时不定方程x~3-1=py~2的可解性问题.利用递归数列,同余式,Pell方程解的性质证明了不定方程x~3-1=181y~2仅有整数解(x,y)=(1,0).     

关于不定方程x~2+4~n=y~3

利用代数数论的方法,证明了不定方程x2+4n=y3(其中n∈N,x≡1(mod2),x,y∈Z)仅有整数解(x,y,n)=(±11,5,1)。     

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

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x3±1=Dy2(D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k+1之形的素数整除的正整数,p=3(12r+7)(12r+8)+1,r是正整数)的解的情况。证明了当D1≡7(mod12)时,方程x3+1=Dy2无正整数解;当D1≡5,8(mod12)时,方程x3-1=Dy2无正整数解。     

关于丢番图方程pX4-(p-1)y2=z4

姜信君等利用初等方法给出了丢番图方程px4-(p-1)y2=x4当p=2q+1,q≡5(mod8),p,q为奇素数时的全部正整数解.但由于篇幅限制,并未给出全部证明,我们给出了补充证明.     

关于指数diophantine方程x^2＋q^m=p^n的可解性

设p和q是适合q^2＋1=2p^2的奇素数,运用初等方法证明了：当q≡3（mod 4）时,方程x^2＋qm=pn仅有正整数解（x,m,n）=（p^2-1,2,4）.     

关于不定方程x3＋8=61 y2的整数解

利用递归数列和同余式的相关性质证明了不定方程x3＋1=122y2仅有整数解（ x,y）=（-1,0）,然后证明了不定方程x3＋8=61y2仅有整数解（ x,y）=（-2,0）。