丢翻图方程x~2+a~2=2y~n解法的计算研究

本文研究了一类丢番图方程的解.利用对Thue方程解的估计和方程解的连分式展开,获得了所求丢番图方程解的个数、解上界的估计和一般的求解算法.最后利用该算法给出了1≤a≤108的所有解.     

关于丢番图方程x2-2p=yn的解

利用初等方法讨论了丢番图方程x2-2p=yn,n＞1,得到当素数p满足一定条件时,存在一类方程无解.     

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

数论中作为勾股定理的推广曾讨论过方程x2 +y2 =z2 +w2 ( 1 )的整数解 (如文 [1 ]、[2 ]) ,文 [2 ]得到了方程 ( 1 )满足 ( x,y,z,w) =1的全部整数解的一组公式 ,但表达式不够简洁。本文将其推广 ,考虑更一般的这类四元二次丢番都方程ax2 +by2 =cz2 +dw2 ( 2 )其中 a,b,c,d均为正整数 ,( a,b,c,d) =1。当知道它的一组不全为零的整数解时 ,来导出它满足 ( x,y,z,w) =1的全部整数解的公式。按所设 ,显然 z,w不会全为 0 ,不妨设 w≠ 0 ,从而方程 ( 2 )可变为a( xw) 2 +b( yw) 2 -c( zw) 2 =d令 X=x/ w,Y=y/ w,Z=z/ w,得a X2 +b Y2 -c Z2 =d …     

关于丢番图方程X~2+4Y~4=pZ~4

设p为素数,p=4A~2+1+2|A,A∈N~*.运用二次和四次丢番图方程的结果证明了方程G:X~2+4Y~4=pZ~4,gcd(X,Y,Z)=1,除开正整数解(X,Y,Z)=(1,A,1)外,当A≡1(mod4)时,至多还有正整数解(X,Y,Z)满足X=|p(a~2-b~2)~2-4(A(a~2-b~2)±ab)~2|,Y~2=A(a~2-b~2)~2±2ab(a~2-b~2)-4a~2b~2A,Z=a~2+b~2;当A≡3(mod4)时,至多还有正整数解(X,Y,Z)满足X=|4a~2b~2A-(4abA±(a~2-b~2))~2|,Y~2=4a~2b~2A±2ab(a~2-b~2)-A(a~2-b~2)~2,Z=a~2+b~2.这里a,b∈N~*并且ab,gcd(a,b)=1,2|(a+b).同时具体给出了p=5时方程G的全部正整数解.     

关于丢番图方程x~2-D=p~n的解数

设D是正整数,p是适合p?D的奇素数。本文证明了:当max(D,p)≥10~(190)时,方程x~2-D=p~n至多有3组正整数解(x,n)。     

关于丢番图方程$x^y+y^x=z^z$

利用$p$-adic对数线性型估计, 证明了方程x^y+y^x=z^z满足x,y,z均大于1的整数解(x,y,z)必然两两互素且有z<2.8*10^9.     

两个丢番图方程y~2=nx(x~2±1)

本文利用Ljunggren,Cohn,Bennett和Walsh以及陈建华等人的结果,给出了两个丢番图方程正整数解的解数上界和有效算法.     

四个素数的平方及2的若干次幂和丢番图逼近

Under certain condition, the inequality |λ_1p_1~2 λ_2p_2~2 λ_3p_3~2 λ_4p_4~2 μ_12~(x1) … μ_s2~(xs) γ|＜ηhas infinitely many solutions in primes p_1,p_2,p_3,p_4 and positive integers x_1,…,x_s.     

不定方程6y^2=x（x＋1）（2x＋1）的解的简洁初等证明

不定方程６ｙ￣２＝ｘ（ｘ＋１）（２ｘ＋１）的解的简洁初等证明汉江机床厂何宗友１８７５年卡斯（Ｌｕｃａｓ）问不定方程或是否仅有非平凡解ｘ＝２４，ｙ＝７０．１９１９年沃森（Ｗａｔｓｏｎ）、１９５２年琼格伦（Ｌｊｕｎｇｇｒｅｎ）分别利用椭圆函数与二次域理论...     

关于丢番图方程x^m—1／x—1=y^n的一个注记

本文得到了Ｓｈｏｒｅｙ和Ｔｉｊｄｅｍａｎ关于不定方程ｘ＾ｍ－１／ｘ－１＝ｙ＾ｎ的一个猜想的一个结果，并且基本上解决了Ｅｄｇａｒ的关于上述不定方程的一个猜想。     

关于指数丢番图方程(an-1)((a+s)n-1)=x2可解性的研究

运用同余,整除,Pell方程等性质,其它已知结论以及初等数论方法,研究了一类与平方数有关的指数丢番图方程的可解性问题.通过将方程的参数限定在一定的数量关系下,给出判定方程无正整数解的三个充分条件,一定程度上拓展了方程无正整数解的范围,也进一步推广了前人的研究结果.     

串行运算向量化的丢番图方程及其限界解法

综观计算机的发展史,对超高运算速度的追求是刺激巨型机发展的首要指标。因此,所有的巨型机都是以并行处理为基础的。在巨型机不断地更新换代的过程中,面向向量型并行计算的向量机,成为现代巨型机的主要型式。 在通常的标量机中,标量是基本操作对象。例如下面的两个DO循环:     

关于指数丢番图方程a~x+b~y=c~z的Terai猜想

本文证明了:当a=|m(m4-10m2+)|,b=5m4-10m2+1,c=m2+1,其 中m是偶数时,如果m≥542,则方程ax+by=cz仅有正整数解(x,y,z)=(2,2,5).     

指数丢番图方程a~x+b~y=c~z

设a=|m(m~4-10m~2+5)|,b=5m~4-10m~2+1,c=m~2+1,其中m是正偶数。利用Bilu,Hanrot和Voutier关于本原素除子的深刻结果,证明了指数丢番图方程a~x+b~y=c~z仅有正整数解(x,y,z)=(2,2,5)。     

关于丢番图方程D1x^2＋2^mD2=y^n的解数

设Ｄ１、Ｄ２、ｍ、ｘ、ｙ是适合Ｄ１〉１，Ｄ２〉１，２├Ｄ１Ｄ２，ｇｃｄ（Ｄ１，Ｄ２）＝ｇｃｄ（ｘ，ｙ）＝１的正整数，ｎ是适合ｎ├ｈ的奇素数，其中ｈ是虚二次域Ｑ（√－２＾ｍＤ１Ｄ２）的类数。本文主要证明了：方程Ｄ１ｘ＾２＋２＾ｍＤ２＝ｙ＾ｎ至多有５．１０＾１６组例外解（Ｄ１，Ｄ２，ｘ，ｙ，ｍ，ｎ）而且这些解都满足了７≤ｎ〈８．５．１０＾６以及ｙ＾ｎ〈ｅｘｐ（ｅｘｐ（ｅｘｐ４６））。     

两个丢番图方程y~2=nx(x~2±1)

本文利用Ljunggren,Cohn,Bennett和Walsh以及陈建华等人的结果,给出了两个丢番图方程正整数解的解数上界和有效算法.     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．