丢番图方程X~2-(a~2+4p~(2n))Y~4=-4p~(2n)

令α,n≥1为整数,p为素数.本文证明了丢番图方程X~2-(a~2+4p~(2n))Y~4=-4p~(2n)以及X~2-(a~2+p~(2n))Y~4=-p~(2n)在一定条件下最多只有两组互素的正整数解(X,Y).     

丢番图方程X~2-(a~2+1)Y~4=3-4a

设a≥2是正整数.本文证明了:当a=2时,方程X~2一(a~2+1)Y~4=3-4a仅有正整数解(X,Y)=(20,3);当a=3时,该方程仅有2组互素的正整数解(X,Y)=(1,1)和(79,5);当a≥4且4a+1非平方数时,该方程最多有4组互素的正整数解(X,Y);当a≥4且4a+1为平方数时,该方程最多有5组互素的正整数解(X,Y).     

关于丢番图方程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的全部正整数解.     

丢番图方程aX~4-bY~2=1

应用Thue-Siegel方法,我们证明:对任意正整数a,b,不定方程aX~4-bY~2=1至多只有两组正整数解(X,Y),这证实了Walsh提的一个猜测.     

关于丢番图方程x￣2+D=y￣n

本文运用Ｂａｋｅｒ方法证明了：当Ｄ＝６７时，方程ｘ２＋Ｄ＝ｙｎ，ｘ，ｙ，ｎ∈Ｎ，ｎ＞２，仅有解（ｘ，ｙ，ｎ）＝（１１０，２３，３）；当Ｄ＝４３或１６３时，该方程无解     

关于丢番图方程x￣2+D=y￣n

本文运用Ｂａｋｅｒ方法证明了：当Ｄ＝６７时，方程ｘ２＋Ｄ＝ｙｎ，ｘ，ｙ，ｎ∈Ｎ，ｎ＞２，仅有解（ｘ，ｙ，ｎ）＝（１１０，２３，３）；当Ｄ＝４３或１６３时，该方程无解     

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

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

关于丢番图方程X~2-(a~2+1)Y~4=8-6a

设a是正整数.本文证明了:当a=1时,方程X~2-(a~2+1)Y~4=8~6a仅有正整数解(X,Y)=(2,1);当a=2时,该方程仅有正整数解(X,Y)=(1,1);当a=3时,该方程无正整数解(X,Y);当a=4时,该方程仅有2组互素的正整数解(X,Y)=(1,1)和(103,5);当a≥5且6a+1非平方数时,该方程最多有3组互素的正整数解(X,Y);当a≥5且6a+1为平方数时,该方程最多有4组互素的正整数解(X,Y).     

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

关于丢番图方程 x~4ーDy~2=1,D>0且不是平方数。 (1)Ljunggren,Cohn和本文作者都有过不少工作,现简述如下: 1.1942年,Ljunggren证明了丢番图方程(1)最多只有二组正整数解(x,y). 2.1966年,Ljunggren还证明了D=p是一个奇素数时,则方程(1)在p≠5,29     

丢番图方程x~2+By~(2p)=z~3

设p≥11为素数,对于某些形式的整数B,我们给出了方程x~2+By~(2p)=z~3满足xyz≠0且x,y,z两两互素的所有整数解.     

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

<正> 关于丢番图方程x~4-Dy~2=1,D>0且不是平方数,(1)有过一系列工作,其主要结果如下:Nagell 证明了 D≡3(mod 8)是素数,(1)无正整数解.Ljunggren 证明了(1)最多只有两组正整数解.Cohn 证明了 D 使得 x~2-Dy~2=-4有解 x≡y≡1(mod 2),则(1)除开有限个D 的值外,仅有整数解 x=1.     

关于丢番图方程x~2+y~2=p与x~2+2y~2=p的整数解

利用p次单位根e~((2πi)/p)作为原始材料,通过不同层次的组合,当p≡1(mod 4)时,给出了方程x~2+y~2=p的整数解.在此基础上,当p≡1(mod 8)时,进一步给出了x~2+2y~2=p的整数解.     

关于丢番图方程x~p-y~p=z~2

Terjanian在1977年曾经证明不定方程 p是奇素数 (1)如果有整数解,则2p|x或2p|y。 本文证明了以下结果: 1. 设y=2(mod 4),则不定方程 x~p-y~p=z~2,(x,y)=1,p>3是素数 (2)没有整数解。 2. 设y=4(mod 8),则(2)没有整数解。 3. 如果(1)有整数解,p>3,则8p|x或8p|y。这是Terjanian的结果的改进。     

指数丢番图方程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)。     

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