求解丟番圖方程

王恒豐， 陳星

(重慶師范大學(xué) 數(shù)學(xué)學(xué)院，重慶 401331)

摘要：利用高斯二平方和定理求解一個(gè)特殊的丟番圖方程，將其轉(zhuǎn)化為a2+b2=c2+d2.經(jīng)討論得知，a2+b2≡c2+d2≡1,2(mod 4)，當(dāng)(k1-k3)(k1+k3-1)≡(k4+k2)(k4-k2)時(shí)，a2+b2≡c2+d2≡1(mod 4)；當(dāng)(k1-k3)(k1+k3-1)≡(k4-k2)(k4+k2-1)≡0,2(mod 4)時(shí)，a2+b2≡c2+d2≡2(mod 4).

關(guān)鍵詞：丟番圖方程；高斯二平方和定理；整數(shù)解

doi:10.16055/j.issn.1672-058X.2015.0011.020

收稿日期：2015-04-11；修回日期：2015-05-24.

基金項(xiàng)目：*數(shù)學(xué)天元基金(11426050).

作者簡(jiǎn)介：王恒豐(1992-)，女，重慶長壽人，從事數(shù)學(xué)與應(yīng)用數(shù)學(xué)研究.

中圖分類號(hào)：O157文獻(xiàn)標(biāo)志碼：A

1引理

引理1[1](高斯二平方和定理)設(shè)n為正整數(shù)，n=m2n0，m∈Ζ，n0是n的無平方因子部分，則n是兩個(gè)有理整數(shù)的平方和?n0沒有素因子p≡3(mod 4).

引理2[2]設(shè)a,b是任意兩個(gè)不全為零的整數(shù)，

(i) 若m是任一整數(shù)，則(am,bm)=(a,b)m;

引理3[2]不定方程p=x2+y2有正整數(shù)解的充分與必要條件是p=4m+1.

引理4[2]

(i) 若a1=b1(modm)，a2=b2(modm)，則a1+a2=b1+b2(modm);

(ii) 若a=b(modm)，b=c(modm)，則a≡c(modm);

(iii) 若a1=b1(modm)，a2=b2(modm)，則a1a2=b1b2(modm).

在求解齊次方程時(shí)，把只相差一個(gè)公因子的解視為同一個(gè)解.

y2z2w2+x2z2w2=x2y2w2+x2y2z2

令a=yzw,b=xzw,c=xyw,d=xyz，則a>0,b>0,c>0,d>0，且a2+b2=c2+d2.

情形Ⅰ當(dāng)d=(x,y,z,w)=1時(shí)，令a=yzw,b=xzw,c=xyw,d=xyz,m=xyzw，則abc=m2w,abd=m2z,acd=m2y,bcd=m2x，此時(shí)(abc,abd,acd,bcd)=(m2w,m2z,m2y,m2x)=m2(w,z,y,x)=m2.

情形Ⅱd=(x,y,z,w)>1時(shí)，有

(*)

接下來考慮丟番圖方程a2+b2=c2+d2(a>0,b>0,c>0,d>0)的解.

若a=b=c=d，此即最簡(jiǎn)單的情形，方程有無窮多個(gè)解.

若a=c，b=d，方程有無窮多個(gè)解.

若a，b，c，d全不相等時(shí)，由于?a∈Z，有a2≡0,1(mod 4)；?b∈Z，有d2≡0,1(mod 4)；?c∈Z，有c2≡0,1(mod 4)；?d∈Z，有d2≡0,1(mod 4).故a2+b2≡c2+d2≡0,1(mod 4).

當(dāng)a2+b2≡c2+d2≡1(mod 4)時(shí)，不妨設(shè)a2≡c2≡1(mod 4),b2≡d2≡0(mod 4).令

(1)

由a2+b2=c2+d2得(k1-k3)(k1+k3-1)=(k4+k2)(k4-k2).顯然(k1-k3)(k1+k3-1)=0,2(mod 4)，(k4+k2)(k4-k2)≡0,1,3(mod 4).故

(2)

當(dāng)a2+b2≡c2+d2時(shí)，只能a2≡b2≡c2≡d2≡1(mod 4).令

(3)

由a2+b2=c2+d2得(k1-k3)(k1+k3-1)=(k4+k2)(k4-k2).故

(4)

從而當(dāng)式(4)成立時(shí)，有4k1(k1-1)+1+4k2(k2-1)+1=4k3(k3-1)+1+4k4(k4-1)+1，亦即a2+b2=c2+d2.故方程a2+b2≡c2+d2≡2(mod 4)的通解具有方程(3)的形式，其條件為k1，k2，k3，k4滿足方程(4).

參考文獻(xiàn)：

[1] 馮克勤.代數(shù)數(shù)論[M].北京:科學(xué)出版社,2000

[2] 閔嗣鶴，嚴(yán)士健.初等數(shù)論[M].北京:高等教育出版社,2003

[3] HARDY G H,WRIGHT E M.數(shù)論導(dǎo)論[M].北京:人民郵電出版社,2008

[4] 科斯特利金.代數(shù)學(xué)引論[M].北京:高等教育出版社,2007

[5] 張杰.關(guān)于不定方程x2+64=y7的解的討論[J].重慶工商大學(xué)學(xué)報(bào):自然科學(xué)版,2012,29(3)：27-28

WANG Heng-feng，CHEN Xing

(College of Mathematical and Sciences，Chongqing Normal University，Chongqing 401331，China)

Key words： diophantus equation; the sum of two squares and Gauss theorem; integer solution