Pell方程組x2-(k2+k)y2=1,y2-bz2=4的公解

羅長盛

(西華師范大學數學與信息學院，四川南充 637009)

0 引言

目前人們對于Pell方程的研究已經取得了相當豐富的成果，但對于Pell方程組的求解問題還未被完全解決，近年來人們對Pell方程組

(1)

的求解問題做了許多的研究:

本文討論了，當k=7,b為偶數時方程組(1)的公解的情況，得到了如下結論.

定理令p1,…,ps(1≤s≤4)為互異的奇素數，當b=2p1…ps,1≤s≤4時，方程組

(2)

當b=2×449時方程組(2)有非平凡解(x,y,z)=(±13 455,±1 798,±60)；當b≠2×449時方程組(2)僅有平凡解(x,y,z)=(±15,±2,0).

1 引理

引理1.2[15]當a>1并且a是一個平方數，此時方程ax4-by2=1,x,y∈N最多有一組解.

引理1.4設(x1,y1)是Pell方程x2-Dy2=1的基本解,則x2-Dy2=1的所有正整數解，可由下式給出

引理1.5(1)不定方程x4-56y2=1只有整數解(x,y)=(±1,0).

(2)不定方程225x4-56y2=1只有整數解(x,y)=(±1,±2)

(3)不定方程x2-224y4=1只有整數解(x,y)=(±15,±1)，(x,y)=(±1,0).

證明(1)因為Pell方程x2-56y2=1的基本解是(x1,y1)=(15,2)，由引理1.4得x2=449，由于15,449均不為平方數,則由引理1.1得方程x4-56y2=1只有一組平凡解(x,y)=(±1,0).

(2)由引理1.2知，方程225x4-56y2=1最多有一組正整數解，因為(1，2)為方程225x4-56y2=1的正整數解，所以方程225x4-56y2=1只有整數解(x,y)=(±1,±2).

(3)因x2-224y2=1的基本解是(15,1),但是y2=2x0=30是非平方數,由引理1.3得方程225x4-56y2=1僅有一組正整數解,(15,1),故方程225x4-56y2=1僅有整數解(x,y)=(±15,±1),(±1,0).

引理1.6易知(15,2)為Pell方程x2-56y2=1的基本解,令Pell方程x2-56y2=1所有解為(xn,yn),n∈Z,任意的xn,yn具有下面的性質：

(1)xn+2=30xn+1-xn,x0=1,x1=15 ，yn+2=30yn+1-yn,y0=0,y1=2

(2)xn+1=15xn+112yn,yn+1=2xn+15yn,yn-1=15yn-2xn,y2n=2xnyn

(6)xn≡1(mod2),x2n≡±1(mod15),x2n+1≡0(mod15),y2n≡0(mod4)

y2n-1≡2(mod4),y2n+1≡±2(mod15),y2n≡0(mod15)

(7)gcd(xn,yn)=1,gcd(xn,xn+1)=1,gcd(yn,yn+1)=2

gcd(x2n,y2n+1)=gcd(x2n+2,y2n+1)=1,gcd(x2n+1,y2n)=gcd(x2n+1,y2n+2)=15

證明Pell方程x2-56y2=1的基本解是(x1,y1)=(15,2);根據引理1.4得,?n∈Z(1)成立，

(2)由引理1.4得?n∈Z

故xn+1=15xn+112yn,yn+1=2xn+15yn,同理可得yn-1=15yn-2xn,y2n=2xnyn.

(3)由條件知，?n∈Z

(6)根據引理1.6的(1)可以得出引理1.6的(6)成立.

(7)由方程x2-56y2=1可以知道xn為奇數,yn為偶數,且gcd(xn,yn)=1,根據引理1.6的 (2)和(6)得

gcd(xn,xn+1)=gcd(xn,15xn+112yn)=gcd(xn,112yn)=gcd(xn,yn)=1

gcd(yn,yn+1)=gcd(yn,2xn+15yn)=gcd(yn,2xn)=gcd(yn,2)=2

gcd(x2n,y2n+1)=gcd(x2n,2x2n+15y2n)=gcd(x2n,15y2n)=gcd(x2n,y2n)=1

gcd(x2n+2,y2n+1)=gcd(15x2n+1+112y2n+1,y2n+1)=gcd(15x2n+1,y2n+1)=gcd(15x2n+1,y2n+1)

=gcd(x2n+1,y2n+1)=1

gcd(x2n+1,y2n)=gcd(15x2n+112y2n,y2n)=gcd(15x2n,y2n)=gcd(15,y2n)=15

gcd(x2n+1,y2n+2)=gcd(x2n+1,2x2n+1+15y2n+1)=gcd(x2n+1,15y2n+1)=gcd(x2n+1,15)=15

2 定理的證明

設(x,y,z)=(xn,yn,z)是方程組(1)的正整數解,由引理1.6的(3)有

(3)

情形1當n為正奇數時，令n=2m-1,m∈Z+，由引理1.6的(2)此時(3)可化為

(4)

當m=1時,(4)式化為Dz2=4x0y0x1y1=0,則z=0,此時方程組(2)僅有平凡解(x,y,z)=(±15,±2,0)

當m=2時，(4)式為Dz2=4x1y1x2y2=4×15×2×449×60=602×2×449，因此可得z=60,

D=2×449故方程組(2)的正整數解解為(x,y,z)=(13 455,1 789,60)則方程組(2)的非平凡解為(x,y,z)=(±13 455,±1 789,±60).

當m∈z+,m≠1并且m≠2，對m分情況討論:

情形1.1當m是正偶數且m≠2,根據引理(1.6)的(7)可得

gcd(xm-1,ym-1)=gcd(xm,ym)=1,gcd(xm-1,ym)=15,gcd(xm,ym-1)=1

gcd(xm,xm-1)=1,gcd(ym,ym-1)=2

這與D的假設矛盾,故此時方程組(2)無正整數解

情形1.2當m為正奇數且m≠1,根據引理1.6的(7)可得

gcd(xm-1,ym-1)=gcd(xm-1,ym)=1,gcd(xm-1,ym)=1 ,gcd(xm,ym-1)=15,

令m=2k-1.k∈Z+并且k≥2,則有

Dz2=4x2(k-1)y2(k-1)x2k-1y2k-1

(5)

根據引理1.6的(2)知(5)式可化為

Dz2=8x2(k-1)xk-1yk-1x2k-1y2k-1

(6)

情形1.2.1當k為正奇數且k≠1,令k=2l-1,l∈Z+,l≥2,將k=2l-1帶入(6)式得

Dz2=8x4(l-1)x2(l-1)y2(l-1)x4l-3y4l-3

(7)

根據引理1.6的(2)知(7)式可化為

Dz2=16x4(l-1)x2(l-1)xl-1yl-1x4l-3y4l-3

(8)

取l=2,由(8)式可得,Dz2=16×43 201×449×15×2×12 082 575×1 614 602，即

Dz2=26×32×53×11×19×61×79×191×139×449×929×2 111

故可解的z=120,D=5×11×19×61×79×191×139×449×929×2111，此時D與題設矛盾,因此方程組(2)不存在正整數解.

情形2n是正偶數的情況下,由引理1.6的(6)可知