关于丢番图方程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。     

关于丢番图方程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并利用所得结果证明几个推论．     

关于丢番图方程z2=(x(x+1)(x+2))2+(y(y+a)(y+b))2

证明了对任意的整数a,b,方程z~2=(x(x+1)(x+2))~2+(y(y+a)(y+b))~2有无穷多整数解(x,y,z).特别的,当a为偶数以及b=a+2,a+4时,该方程有无穷多组满足x■y的整数解.     

关于不定方程x~2-6y~2=1与y~2-Dz~2=4的公解

利用递归序列、Pell方程的解的性质、Maple小程序等,证明了D=2~n(n∈Z+)时,不定方程x~2-6y~2=1与y~2-Dz~2=4:(i)n=1时,有整数解(x,y,z)=(±485,±198,±140),(±5,±2,0);(ii)n=3时,有整数解(x,y,z)=(±485,±198,±70),(±5,±2,0);(iii)n=5时,有整数解(x,y,z)=(±485,±198,±35),(±5,±2,0);(iv)n≠1,3,5时,只有平凡解(x,y,z)=(±5,±2,0).     

关于丢番图方程1+7x=2y5z+2u5v7w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+7^x=2^y5^z+2^u5^v7^w的全部非负整数解,(x,y,z,u,v,w)≡(1,2,0,2,0,0）,（2,0,2,0,2,0）,（2,1,1,3,1,0）,（2,3,1,1,1,0）,（3,5,0,3,1,1）,（t,0,0,0,0,t）,其中t为任意非负整数.     

关于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的基本解。     

关于丢番图方程ax4+bx2y2+cy4=dz2

该文利用初等数论和Fermat无穷递降法 ,证明了丢番图方程ax4 bx2 y2 cy4=dz2 在 (a ,b ,c,d) =(1,± 5 0 ,12 5 ,1) ,(1,± 2 5 ,12 5 ,1) ,(1,- 10 ,5 ,1) ,(1,5 ,5 ,1) (1,± 10 ,5 ,5 ) ,(1,± 5 ,5 ,5 ) ,(1,- 5 0 ,12 5 ,5 )和 (1,2 5 ,12 5 ,5 )时均无满足 (x,y) =(x,z) =(y ,z) =1的正整数解。     

方程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猜想.     

一类微分方程解的表达式的研究

讨论了方程anx(n) (t) +an - 1x(n - 1) (t) +… +a0 x(t) +bx(t -τ) =eαttk 的解的一些表达式 ,获得了更一般的结果     

关于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的基本解。
     

四元数集上的商高方程

揭示出四元数集上的商高方程存在无限多组非零四元数解、无限多组本原解、无限多组强本原解,分析了强本原解必要条件．     

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

关于一类Pell方程的公解

证明了如果1≤l≤3,D＝Лlj=1qjЛsj=1pi,其中,qj和pi为互异的奇素数,而且qj≡3（mod8),pi≡5(mod8)或pi≡7（8),mj Pell方程x2-2y2=1主y2-Dz2=4仅有平凡解z=0。Л     

Pell方程x^2-（a^2-1）y^2=k的解集

应用本原解、解数列等概念,完整、清晰地表述了形如x^2-（a^2-1）y^2=k（k∈Z,k≠0,a≥2）型Pell方程的整数解集.     

关于不定方程组11x2-9y2=2，40y2-11z2=29

对于不定方程组a2x2-a1y2=a2-a1,a3y2-a2z2=a3-a2,本文取(a1,a2,a3)=(9,11,40),得不定方程组 11x2-9y2=2,40y2-11z2=29。再进一步构造出一个集合M,M中的数由一个二无线性递归数列确定,在此基础上做一些初等计算,即可求出本文所得的不定方程组的解。     

关于不定方程组5x~2－3y~2＝2，16y~2－5z~2＝11

研究了不定方程组５ｘ２－３ｙ２＝２，１６ｙ２－５ｚ２＝１１，给出了求此不定方程组正整数解的一种方法     

关于不定方程组（m＋2）x^2—my^2=2,（4m＋4）y^2—（m＋2）z^2=3m＋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).