关于Pell方程组x2-42y2=1与y2-Dz2=4的

2020-04-09 13:36公解高
关键词:正整数奇数方程组

公解高 丽,刘 婷

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

本文主要研究了当D1=42,D为偶数时Pell方程组解的情况,证明下面的定理成立:

定理若p1,…,ps(1≤s≤4)是互异的奇素数,当D=2p1…ps,1≤s≤4时,方程组x2-42y2=1与y2-Dz2=4

(A)

(1)当d=2×337时,方程有非平凡解(x,y,z)

=(±8749,±1350,±52)和平凡解(x,y,z)=(±13,±2,0);

(2)当D≠2×337时,方程仅有平凡解(x,y,z)=(±13,±2,0)。

1 相关引理及证明

引理2[14]当a>1并且a是一平方数,方程ax4-by2=1,x,y∈N最多只有1组解。

引理3[15]如若D是个非平方正整数,此时方程x2-Dy4=1最多只有两组正整数解(x,y),并且方程恰好有2组正整数解的充要条件为D=1785或D=28560或2x0和y0都为平方数,且这里的(x0,y0)是x2-Dy2=1的一个基本解。

引理5 (1)不定方程x4-42y2=1只有整数解

(x,y)=(±1,0);

(2)不定方程169x4-42y2=1只有整数解(x,y)=(±1,±2);

(3)不定方程x2-168y4=1只有整数解(x,y)=(±13,±1),(±1,0)。

(2)由引理2知,方程169x4-42y2=1最多就一组正整数解,因(1,2)是方程169x4-42y2=1的正整数解,所以方程169x4-42y2=1只有整数解(x,y)=(±1,±2)。

(3)因x2-168y2=1的基本解是(13,1),但是2x0=26是非平方数,y0=1为平方数,由引理3得x2-Dy1仅有一组正整数解,计算知(13,1)是x2-168y4=1的正整数解,故方程x2-168y4=1仅有整数解(x,y)=(±13,±1),(±1,0)。

引理6 假设Pell方程x2-42y2=1的所有解为(xn,yn),n∈Z,任意n∈Z,xn,yn具有下面性质:

(1)xn+1=13xn+84yn,yn+1=2xn+13yn,

yn-1=13yn-2xn,y2n=2xnyn;

(5)xn+2=26xn+1-xn,x0=1,x1=13,

yn+2=26yn+1-yn,y0=0,y1=2;

(6)xn≡1(mod2),x2n≡±1(mod13),

x2n+1≡0(mod13),y2n≡0(mod4),

y2n-1≡2(mod4),y2n+1≡±2(mod13),

y2n≡0(mod13);

(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)=13。

证明Pell方程x2-42y2=1的基本解是

(x1,y1)=(1,3,2),

(1)根据引理4得,∀n∈Z,

故xn+1=13xn+84yn,yn+1=2xn+13yn。

类似可得yn-1=13yn-2xn,y2n=2xnyn。

(2)由条件知,∀n∈Z,

(3)设(xn,yn),n∈Z为Pell方程x2-42y2=1的一个整数解,如果xn=a2,代入该方程得到a4-42y2=1。由引理5(1)得方程a4-42y2=1只有整数解(a,y)=(±1,0),因此xn=1,而n=0。反过来,亦然。

(5)据引理6(1)得xn+2=26xn+1-xn,x0=1,x1=13,yn+2=26yn+1-yn,y0=0,y1=2。

(6)根据引理6(5)可以得出引理6(6)成立。

据引理6(1)(6)得

gcd(xn,xn+1)=gcd(xn,13xn+84yn)=

gcd(xn,84yn)=gcd(xn,yn)=1,

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

gcd(yn,2xn)=gcd(yn,2xn)=gcd(yn,2)=2,

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

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

gcd(x2n+2,y2n+1)=gcd(13x2n+1+84y2n+1,y2n+1)=

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

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

gcd(13x2n,y2n)=gcd(13,y2n=13,

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

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

2 定理的证明

证明假设(x1,y1)是Pell方程x2-42y2=1的基本解,这时有(x1,y1)=(13,2)。故而我们根据引理4可以知道Pell方程x2-42y2=1的所有的正整数解为:

设(x,y,z)=(x1,y1,z)是(A)式的正整数解,再从引理6的(2)看到

情形1 当n为正奇数,令n=2m-1,m∈Z+,这时上式可得

从引理6的(1)知,上式即为

Dz2=2xmym·2xm-1ym-1=4xm-1ym-1xmym。

当m=1,代入上式得Dz2=4x0y0x1y1=0,则z只能为0,此时方程组(A)只有平凡解(x,y,z)=(±13,±2,0)。

当m=2,Dz2=4x1y1x2y2=4×13×2×337×5=522×2×337,因此可得z=52,D=2×337,故方程组(A)的正整数解为(x,y,z)=(8749,1350,52),那么方程组(A)的非平凡解为(x,y,z)=(±8749,±1350,±52)。

当m∈Z+,m≠1并且m≠2,需要对m进行分情况讨论:

情形1.1 当m是正偶数且m≠2,根据引理6(7)可得

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

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

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

这与D的假设矛盾,故此时方程组(A)同样无正整数解。

情形1.2 当m为正奇数且m≠1,根据引理6(7)得

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

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

gcd(ym,ym-1)=2,

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

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

根据引理6(1)知,上式为

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

情形1.2.1 当k是正奇数且k≠1,令k=2l-1,l∈Z+,定义域为l≥2。将k=2l-1代入上式化简成Dz2=8x4(l-1)x2(l-1)y2(l-1)y2(l-1)x4l-3y4l-3,

再根据引理6(1)得

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

取l=2,由上式得

Dz2=16×227137×337×13×2×5896813×

909898=26×132×17×13361×337×453601×

454949。

故可解得

z=104,D=17×13361×337×453601×454949。

此时计算结果与题设条件“D=2p1…ps(1≤s≤4)”矛盾,因此方程组(A)不存在正整数解。

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

右端是25×132与至少5个互异奇素数的乘积,与题设条件“1≤s≤4”矛盾,故此时方程组(A)依旧无正整数解。

猜你喜欢
正整数奇数方程组
关于包含Euler函数φ(n)的一个方程的正整数解
奇数凑20
奇数与偶数
《二元一次方程组》巩固练习
关于奇数阶二元子集的分离序列
方程xy=yx+1的全部正整数解
巧用方程组 妙解拼图题
一起学习二元一次方程组
“挖”出来的二元一次方程组
对一道IMO题的再研究