2010年2月 安庆师范学院学报(自然科学版) Feb.2010 第16卷第1期 Journal of Anqing Teachers colIege(NaturaI Science Edition) VO1.16 No.1 关于丢番图方程 3+1=2py 2的一个注记 周伟平 (安庆师范学院数学与计算科学学院,安徽安庆246133) 摘要:对于丢番图方程 +1—2py ,P为形如12s +1的素数,其中S为奇整数,本文用初等方法证明了该方程 除平凡解X一一1,Y一0外,没有其它的整数解。 关键词:三次丢番图方程;正整数解;奇素数 中图分类号:0156.1 文献标识码:A 文章编号:1007—4260(2010)01—0014—02 1引言及预备知识 设D是无平方因子的正整数,方程 X。+1一Dy ,X,Y∈N (1) 是一类基本而又重要的指数丢番图方程。当D>2且不能被3或形如6愚+1的素数整除时,Ljunggren在 1942年证明了方程(1)最多只有一组正整数解(z, )。在这以前Nagell证明了当d仅能被形如6忌+5的 素数整除时,方程(1)除了X一一1, 一0外没有其它的整数解,但其证明方法不是初等的。1981年,柯召 和孙琦I1]运用Pell方程和二次剩余等初等方法证明了当D>2且不能被3或形如6k+1的素数整除时 方程(1)除了z一一1, 一0外没有其它的整数解。1995年,杨丽芬和郝立柱 。 证明当D<100且被形 如6k q-1的素数整除,D≠7,14,35,37,38,57,65,86,91时方程(1)无非平凡整数解。 本文将讨论D一2p,其中奇素数P 1(mod 6)时的情况,此时方程(1)可写成 -z。I-1—2py。,X, ∈N (2) 本文证明了如下结论: 定理 当P一12s。-t-1,S为奇数时方程(2)除平凡解z一一1,y一0外没有其它的整数解。 在证明该定理时需用到如下引理 引理 设e一2+ ,否一2一 。令 一 , 一e—n - ̄", ∈Z_,则Pe11方程w。一3z2—1的 2√3 正整数解集为{(w ,乙),n∈z+,z+为正整数集),且 (I)[3]W— gL ̄I为平方数甘忌一0;(Ⅱ)Ⅲ对任意 ∈Z+, 不是平方数;(Ⅲ)_3]gcd(W ,Z 井 )一1。 厶 厶 2 定理的证明 不妨设y—ab,a,b∈ ,则方程(2)可分解成(z-F1)( 一z-p1)一2pa b。。设(z, )是除X一一1, Y一0外的一组解,其中X 一X-t-1是奇数,且gcd(x q-1,z 一X+1)一1或3。 (1)当 ≠2(mod 3)时,gcd(xq-1,X 一zq-1)一1,则方程(2)可转化成 z q-1—2pa , 一z+1一b (3) 或X q-1—2a ,z 一X q-1一 (4) 考虑(3)式,由z 一X+1一b (2x一1) +3一(26) 得b一1,X一0或1,带入X q-1—2pa。,显然 不可能 ,故(3)式不成立。若(4)式成立,则 f一1(mod 8),if 2 I a l 1 (mod 8),if 2 口 *收稿日期:2009—09—10 作者简介:周伟平,女,安徽安庆人,安庆师范学院数学与计算科学学院讲师,硕士。 第1期 周伟平:关于丢番图方程 +1—2 , 的一个注记 于是 程(2)无解。 。一 2一 +1兰{一3(1m(omd。8d)8,)if, 2,]2a n 5(mod 8)。故(4)式不成立,即当z≠2(rood 3)时方 X+1—6a。, 一 +1—3 (5) 但P一12s。+1 i 5(rood 8),b为奇数,于是pb。 (2)当X毫2(mod 3),gcd(x+1,z 一X+1)一3,则方程(2)可转化成 或 +1—6pa ,z。一z+1—3b。 (6) 若(5)式成立,则 于是 z一6az一1 J一 ‘m。d 8 ’ ,2 I口 l5(mod 8),i,2 口 3 一 (mod一 +1兰兰三l35(m8),if a 。d 8),t厂口但3pb 兰3・5 3b。得 7(mod 8),矛盾,故(5)式不成立。若(6)式成立,将X一6pa 一1带人 。一z+1— 1 3(2户)。a 一3・(2p)a +1一b。 (26)。一3(4pa。一1)。一 于是有 若 一4t+1,贝 2b+ ̄/3(4pa。一1)一e , >0,2 ,l 4pa 一1兰(一1) 兰1(rood 4) (7) 矛盾。故 一4£+3,于是4pa。一 二三一 +1一 兰二 .!: ; : ・(e+i) 因为e+享一4,因此上式可写成 抛 = e。 一 一s2t+l+  一! :二 !竺… ̄2,+1-I-E-2'+1一 2盥. 4 4 2 2 e一£ e_t-£ 引理知gcd(等,w-- ̄)一1且等不为平方数,于是争一1或 一g2,得£一0 o于是(7)式为 2b+ (4pa。~1)一s。 得4pa 一1—15,矛盾。 由(1)(2)知当奇素数 一12s +1,S为奇数时方程(2)除平凡解X一一1,Y一0外没有其它整数解。 参考文献: [1]柯召,孙琦.关于丢番图方程 士1一Dy [刀.中国科学,1981,24(12):1453—1457. [2]柯召,孙琦.关于丢番图方程z。土8一Dy 0和 士8—3Dy。[J].四川大学学报:自然科学版,1981,4:1—5 [3]杨丽芬,郝立柱.关于丢番图方程z。十1一E 。[J].哈尔滨师范大学学报;自然科学版,1995,11(4);32—36 [4]段明辉.关于不定方程z。一1一工 [J].贵州师范大学学报:自然科学版,2004,24(2):67~68. [5]乐茂华.关于Diophantine方程 一1一Py [J].宝鸡文理学院学报:自然科学版,2005,23(3):102—103. [6]黄寿生.关于指数Diophantine方程 一1—2py 口].数学研究与评论,2007,27(3);664—667. A Note on the Dionphantine Equation 。+1=2py ZHOU Wei—ping (Department of Mathematics and Computational Science,Anqing teachers College,Anqing,Anhui,246133,China) Abstract:LetPbe an odd prime.This paper provesthatifP一12s +1,where sis an odd positiveinteger,thenthe on— ly solution in integers of the cubie Diophantine equation一+1—2 。, 一一1,'),一0. Key words:cubic Diophantine equation;positive integer solution;odd prime