不定方程x2+256=y17的整数解

高 丽，董 娟

(延安大学数学与计算机科学学院，陕西延安716000)

1 引言及主要引理

不定方程既是数论的一个主要研究对象，也是研究数论的重要理论工具。不定方程的研究结论，不仅有助于数学各个领域的发展，并且在其他非数学的领域中也存在着巨大的应用价值。在不定方程的解法问题上，还没有得到通用的结论，但总的原则是通过初等方法或者高等方法把所求解的不定方程转化为相对简单、熟悉的方程进行求解。

设A∈N，关于不定方程

x2+A=yn(x，y，n∈N,n≥2)

(1)

整数解的存在情况，是数论中的一个重要问题。近年来，许多数学家对相关方程进行了探究，并得出了相应的结论。

文献[1]证明了当A=1时，方程(1)无整数解；文献[2]证明了当A=16,n=3时，方程(1)无整数解；文献[3]证明了当A=16,n=7时，方程(1)无整数解；文献[4]证明了当A=44,n=7时，方程(1)无整数解；文献[5]分别证明了当A=4m,m=3,4,5,n=9时，方程(1)当m=4时存在整数解(x，y)=(±16,2)，而当m=3,5时无整数解；文献[6]证明了当A=4m,m=1,2,3,n=15时，方程(1)无整数解；文献[7]证明了当A=36,n=17时，方程(1)无整数解；文献[8]证明了当A=64,n=17时，方程(1)无整数解；文献[9]证明了当A=256,n=7时，方程(1)无整数解，当A=1024,n=7时，方程(1)同样无整数解；文献[10]分别证明了当A=4,n=5，当A=64,n=5以及当A=64，n=7时，方程(1)均无整数解。

目前，对于不定方程x2+A=yn的研究较多，但针对当A=256,n=17时，不定方程x2+A=yn的整数解问题并未做过研究。因此，在本文中主要探究当A=256,n=17时，不定方程x2+A=yn整数解的情况。

引理1[11]设M是唯一分解整数环，正整数k≥2，以及α,β∈Z,(α,β)=1，αβ=τk,τ∈M，则有α=ε1μk,β=ε2υk，μ,υ∈M，其中ε1,ε2是M中的单位元素，并且ε1ε2=εk,ε为单位元素。

2 定理及证明

定理不定方程

x2+256=y17,x,y∈Z

(2)

无整数解。

证明分x≡1(mod2)和x≡0(mod2)两个方面进行分析：

(1)当x≡1(mod2)时，在Z[i]中(2)式可以等价为