Diophantus方程x^2+2~m=y^n

摘要

设Z,N,Q分别是全体整数,正整数以及有理数的集合.数论和组合论中的很多问题都与指数型Diophantus方程x^2+2~m=y^n,x,y,m,n∈N,2(?)y,n>2的解(x,y,m,n)有关.近五十年来,Ljunggren,Nagell,Brown,Toyoizumi和Cohn等人都曾对此有过很多工作.1986年,文献[1]宣布已经找出了方程(1)的全部解,但是迄今没有见到该结果的证明.因此方程(1)的求解仍是个尚未解决的问题本文运用Baker方法证明了:定理 方程(1)没有适合2|m以及m>2的解(x,y m,n).由于文献[2]运用代数数论方法证明了:方程(1)仅有解(x,y,m,n)=(5,3,1,3)和(7,3,5,4)适合2(?)m;文献[3]用初等数论方法证明了:方程(1)仅有解(x,y,m,n)=(11,5,2,3)适合m=2.因此综合上述结果即可确定方程(1)的全部解.推论 方程(1)仅有解(x,y,m,n)=(5,3,1,3),(7,3,5,4)和(11,5,2,3).