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

设p1,…,ps(1≤s≤4)是互异的奇素数.证明了当D＝2p1…ps,1≤s≤4时除开D为2×11×97外,不定方程组x2－6y2＝1与y2－Dz2＝4仅有平凡解(x,y,z)＝(±5,±2,0).     

关于丢番图方程ax2+by2+cz2+dxy+exz+fyz=gw2的整数解

当丢番图方程ax^2＋by^2＋cz^2＋dxy＋exz＋fyz=gw^2有整数解x0,y0,z0,ω0（ω0≠0）,（x0,y0,z0, ω0）=1时给出它满足（x,y,z,ω）=1,ω≠0的全部整数解的公式：{x=ηx-ξm/t,y=ηy0-ξn/t,z=ηz0-ξp/t,ω=ηω0/t其中η=am^2＋bn^2＋cp^2＋dmn＋emp＋fnp,ξ=2（ax0m＋by0n＋cz0p）＋d（nx0＋my0）＋e（px0＋mz0）＋f（py0＋nz0）,（m,n,p）=l并利用所得结果证明几个推论．     

关于指数 Diophantione 方程 p2x-pxDy+D2y=z2

设D是大于2的偶数，P是不能整除D的素数。机文证明了：方程p^2x＋p^xD^y＋D^2y=z^2的非负整数解（x，y，z）都满足y=1。     

丢番图方程ax^2＋by^2=z^（3^n）整数解族问题研究

研究了丢番图方程x2＋axy＋y2=z2,ax2＋b2y=z3n和x2＋pxy＋y2=z2n整数解族问题,给出了它们的整数解族公式。     

关于丢番图方程|6x2y2-x4+3y4|=2z2

证明了丢番图方程|-x4+6x2y2+3y4|=2z2,(x,y)=1的全部正整数解为(Ⅰ)若z＞2y2,则x=|m21n21-6m22n22|,y=m21m22+2n21n22,z=z(±)=(±)[24m21m22n21n22-2(|m21m22-2n21n22|±2m1m2n1n2)2],其中m2,n1满足-n41+6m22n21+3m42=2(D/2)2,2(×)n1m1m2;z=z-时,n2,m1满足(D-4m2m1)n2=m1(m22-n21)和(D+4m2n1)m1=2n2(n21+3m22),z=z+时,n2,m1满足n2(D±4m2n1)=(m22-n21)m1和m1(D(±)4m2n1)=2n2(3m22+n21).(Ⅱ)若z＜2y2,则x=|m21n21-6m22n22|,y=m21m22+2n21n22,z=±z0,z0=24m21m22n21n22-2(|m21m22-2n21n22|±2m1m2n1n2)2,其中m2,n1满足-n41+6m22n21+3m42=2(D/2)2,2(×)n1m1m2;z=z0时,n2,m1满足n2(D±4m2m1)=(m22-n21)m1和m1(D(±)4m2n1)=2n2(3m22+n21),z=-z0时,n2,m1满足(D(±)4m2n1)n2=m1(m22-n21)和(D±4m2n1)m1=2n2(n21+3m22).从而更正了梁莉莉,王云葵[1]关于上述方程仅有正整数解(x,y,z)=(1,1,2)的结果.     

关于丢番图方程ax2+by2+cz2=dw2的整数解

当丢番图方程αx^2 by^2 cz^2=dω^2有整数解x0,y0,z0,ω0(ω0≠1），（x0,y0,z0,ω0）＝1时，给出了它满足（x,y,x,ω）＝1的全部整数解的公式：｛x=(αn^2 bm^2 cp^2)x0-2n(αnx0 bmy0 cpz0)/t,y=(αn^2 bm^2 cp^2)y0-2m(αnx0 bmy0 cpz0)/t,z=(αn^2 bm^2 cp^2)z0-2p(αnx0 bmy0 cpz0)/t,ω=(αn^2 bm^2 cp^2)ω0/t。     

方程xp±y2p=z2与广义费尔马猜想

设p为奇素数,证明了丢番图方程x4 -y4 =zp 与x2p±y2p=z2 均无正整数解;方程xp y2p=z2 仅有整数解 16 2 3 =32 ;方程x2p 2 kyp =z2 (k≥ 1)仅有整数解 12p 2 3 · 1p =32 ;同时还获得了方程x2 ±y4 =zp与x2 ±y4 =±z2p 的深刻结果,从而很大程度地支持广义Fermat猜想.     

关于不定方程x3±1=7qy2

设q为奇素数且q≠7.利用同余式、平方剩余、Pell方程解的性质、递归序列证明了：1)当q≡11,23,29,53,65,71,95,107,113,137,149,155(mod 168)时,不定方程x3＋1＝7qy2仅有整数解(x,y)＝(－1,0);2)当q≡11,23,29,53,71,95,107,149,155,167(mod 168)时,不定方程x3－1＝7qy2仅有整数解(x,y)＝(1,0).     

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

方程p2x-pxDy+D2y=z2的非负整数解

设D是大于1的奇数,p是不能整除D的素数.文章给出了方程p2x-pxDy D2y=z2有适合y>1的非负整数解(x,y,z)的充要条件.     

关于不定方程6x(x+1)(x+2)(x+3)=7y(y+1)(y+2)(y+3)

主要运用pell方程、递推序列、同余式及(非)平方剩余等一些初等方法,证明了不定方程6x(x+1)(x+2)(x+3)=7y(y+1)(y+2)(y+3)仅有正整数解(x,y)=(25,24).沿用该文相同思路和方法得出关于不定方程mx(x+1)(x+2)(x+3)=ny(y+1)(y+2)(y+3)其中(m,n)=(6,11)和(m,n)=(5,11)时均无正整数解.     

不定方程x2＋y2＋z2=2（xy＋yz＋zx）的全部非负整数解

利用解序列的递归性，得到了不定方程x2＋y2＋z2=2（xy＋yz＋zx）的全部非负整数解。     

关于丢番图方程ax~2 by~2 cz~2=dw~2的整数解

当丢番图方程ax2 by2 cz2 =dw2 有整数解x0 ,y0 ,z0 ,w0 (w0 ≠ 1) ,(x0 ,y0 ,z0 ,w0 ) =1时 ,给出了它满足 (x ,y ,z,w) =1的全部整数解的公式 :x =(an2 bm2 cp2 )x0 - 2n(anx0 bmy0 cpz0 )t ,　y =(an2 bm2 cp2 )y0 - 2m(anx0 bmy0 cpz0 )t ,z =(an2 bm2 cp2 )z0 - 2p(anx0 bmy0 cpz0 )t ,　w =(an2 bm2 cp2 )w0t .     

关于Diophantine方程x~2＋4~n=y~3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

关于Diophantine方程（αx^3＋1）／（αx＋1）=f（y）

设α是大于1的正整数，f（z）是整值函数．本文证明了：方程（αx^3＋1）／（αx＋1）=f（y）没有适合x〉1的整数解（x，y）．     

关于不定方程组x2－22y2＝1与y2－Dz2＝1764的公解

利用Pell方程的解的性质及递归序列的方法,证明了不定方程组x2－22y2＝1与y2－Dz2＝1764有以下结果：当D＝2p1…ps,1≤s≤4(p1,…,ps为互异的奇素数)时,此方程组的整数解为(i)D≠2×77617时,仅有平凡解＝;(ii)D＝2×77617时,有非平凡解＝和平凡解＝.当D＝pm(m∈Z＋,p为任意素数)时,其整数解只有平凡解＝.     

一个丢番图方程的求解

设P为素数,P D>1,证明了丢番图方程P2z-PzDm D2m=X2除D=2仅有非负整数解32-3·23 26=72和2 D,P≡1(mod8)时,必有m=2,z=1或m=1以及2|D,D含2hq 1形素因子(这里q|m,q为奇素数,h≥1)之外,推出m=1.     

关于不定方程x2＋4n=y7

利用代数数论的方法,证明了不定方程x2＋4n=y7,x≡0（mod 2）,x,y,n∈Z仅有整数解（x,y,n）=（0,4m,7m）,（±8·27m,2·4m,7m＋3）,（m∈N）.     

关于勾股丢番图方程x~2+(x+k)~2=z~2

本文给出了勾股丢番图方程x2＋（x＋k）＝z2有正整数解的充要条件以及使该方程有正整数解k的必要条件，并根据k＝1，7时的正整数解，给出了对于给定k求该方程正整数解的一般方法。     

关于不定方程组x2-2y2=1,y2-54z2=4

运用了一种初等的方法，证明了当D=54时，不定方程组x^2-2y^2=1,y^2-Dz^2=4有整数解（x,y,z）=（±3,±2,0）。