張四保， 官春梅， 席小忠

(1.喀什大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院 新疆 喀什 844008； 2.宜春學(xué)院 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院 江西 宜春 336000)

Euler方程φ(xy)=k1φ(x)+k2φ(y)(k1≠k2)的正整數(shù)解

張四保1， 官春梅1， 席小忠2

(1.喀什大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院 新疆 喀什 844008； 2.宜春學(xué)院 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院 江西 宜春 336000)

討論了一個(gè)形如φ(xy)=k1φ(x)+k2φ(y)(k1≠k2)的具體方程φ(xy)=5φ(x)+7φ(y)的可解性，給出了其一切整數(shù)解.并根據(jù)這一方程的解的情況，給出了(x,y)=(k1+k2,k1+k2)是方程φ(xy)=k1φ(x)+k2φ(y)(k1≠k2)的1組整數(shù)解的結(jié)論，這里的k1，k2都是正整數(shù).

Euler函數(shù)； 可解性； 整數(shù)解

0 引言

方程整數(shù)解的研究是數(shù)論研究中的一個(gè)重要課題之一，其研究內(nèi)容與成果也很豐富[1-3]，令φ(n)為Euler函數(shù)是數(shù)論研究中的一個(gè)重要函數(shù).關(guān)于包含Euler函數(shù)φ(n)的方程的研究有著豐富的研究成果[4-9].對(duì)于形如

φ(xy)=k1φ(x)+k2φ(y)，(k1，k2是正整數(shù))

(1)

的討論，大多文獻(xiàn)討論的都是當(dāng)k1=k2的情況，即討論的是形如φ(xy)=k(φ(x)+φ(y))的方程.文獻(xiàn)[10]研究了當(dāng)k為素?cái)?shù)時(shí)，方程φ(xy)=k(φ(x)+φ(y))的正整數(shù)解，并給出了當(dāng)k=3時(shí)其所對(duì)應(yīng)方程的部分正整數(shù)解.文獻(xiàn)[11]研究了方程φ(xy)=3(φ(x)+φ(y))的可解性，并給出其全部的35組正整數(shù)解.文獻(xiàn)[12]研究了方程φ(xy)=7(φ(x)+φ(y))的可解性，并給出了其全部的15組正整數(shù)解.本文將討論形如方程(1)的具體方程的一切整數(shù)解問題.并根據(jù)這一具體方程解的情況，給出了方程(1)中有(x,y)=(k1+k2,k1+k2)解的結(jié)論.

φ(xy)=5φ(x)+7φ(y)

(2)

1 引理

引理3[13]當(dāng)n≥3是整數(shù)，則φ(n)為偶數(shù)．

引理4[14]方程φ(x)=14無正整數(shù)解.

2 定理及其證明

定理1 方程(2)有整數(shù)解(x,y)=(43, 7)，(43, 9)，(43, 14)，(43, 18)，(49, 9)，(49, 18)，(86, 7)，(86, 9)，(98, 9)，(13, 21)，(13, 28)，(13, 36)，(13, 42)，(21, 13)，(21, 26)，(26, 21)，(28, 13)，(36, 13)，(42, 13)，(15, 41)，(15, 82)，(15, 88)，(16, 41)，(16, 55)，(16, 75)，(20, 41)，(24, 41)，(24, 55)，(30, 41)，(14, 18)，(18, 14)，(8, 50)，(8, 66)，(10, 44)，(10, 66)，(12,50)，(15, 24)，(24, 15)，(12, 44)，(12, 12).

證明 對(duì)于方程(1)，設(shè)gcd(x,y)=d，則由引理1可知，存在x1,y1∈Z+,使得φ(x)=x1φ(d)，φ(y)=y1φ(d). 再由引理2，有φ(xy)=x1y1dφ(d).結(jié)合方程(1)，有d=k1y1-1+k2x1-1.由于k1≠k2，不妨設(shè)k12k2，則有2k2

在方程(2)中，k1=5，k2=7.因而，只需考慮gcd(x,y)=d∈[1,14]的情況.

當(dāng)x1=42，y1=6時(shí)，有φ(x)=x1φ(d)=42，φ(y)=y1φ(d)=6.因而有x=43,49,86,98，y=7,9,14,18. 因而，此時(shí)方程(2)有整數(shù)解(x,y)=(43, 7)，(43, 9)，(43, 14)，(43, 18)，(49, 9)，(49, 18)，(86, 7)，(86, 9)，(98, 9).

當(dāng)x1=14，y1=10時(shí)，有φ(x)=x1φ(d)=14，φ(y)=y1φ(d)=10.由引理4可知，方程(2)無整數(shù)解.

當(dāng)x1=y1=12時(shí)，有φ(x)=x1φ(d)=12，則x=y=13,21,26,28,36,42.方程(2)有整數(shù)解(x,y)=(13, 21)，(13, 28)，(13, 36)，(13, 42)，(21, 13)，(21, 26)，(26, 21)，(28, 13)，(36, 13)，(42, 13).

當(dāng)x1=8，y1=40時(shí)，有φ(x)=x1φ(d)=8，φ(y)=y1φ(d)=40.因而有x=15,16,20,24,30，y=41,55,75,82,88, 100,110,132,150. 因而，此時(shí)方程(2)有整數(shù)解(x,y)=(15, 41)，(15, 82)，(15, 88)，(16, 41)，(16, 55)，(16, 75)，(20, 41)，(24, 41)，(24, 55)，(30, 41).

當(dāng)x1=21，y1=3時(shí)，有φ(x)=x1φ(d)=21，φ(y)=y1φ(d)=3.由引理3可知，此時(shí)方程(2)無整數(shù)解.同理，當(dāng)x1=7，y1=5時(shí)，方程(2)亦無整數(shù)解.

當(dāng)x1=y1=6時(shí)，φ(x)=φ(y)=6，有x=y=7,9,14,18.方程(2)有整數(shù)解(x,y)=(14, 18)，(18,14).

當(dāng)x1=4，y1=20時(shí)，有φ(x)=x1φ(d)=4，φ(y)=y1φ(d)=20.因而有x=5,8,10,12，y=25,33,44,50,66.因而，此時(shí)方程(2)有整數(shù)解(x,y)= (8, 50)，(8, 66)，(10, 44)，(10, 66)，(12, 50).

當(dāng)x1=14，y1=2時(shí)，有φ(x)=x1φ(d)=28，φ(y)=y1φ(d)=4.因而有x=29,58，y=5,8,10,12. 由于，以上x，y的值沒有滿足gcd(x,y)=3. 因而，此時(shí)方程(2)無整數(shù)解.

當(dāng)x1=4，y1=4時(shí)，有φ(x)=x1φ(d)=y1φ(d)=8.因而有x=y=15,16,20,24,30. 因而，此時(shí)方程(2)有整數(shù)解(x,y)=(15, 24)，(24, 15).

當(dāng)x1=3，y1=3時(shí)，有φ(x)=x1φ(d)=y1φ(d)=6.因而有x=y=7,9,14,18. 由于以上x，y的值沒有滿足gcd(x,y)=3. 因而，此時(shí)方程(2)無整數(shù)解.

當(dāng)x1=2，y1=10時(shí)，有φ(x)=x1φ(d)=4，φ(y)=y1φ(d)=20.因而有x=5,8,10,12，y=25,33,44,50,66. 因而，此時(shí)方程(2)有整數(shù)解(x,y)=(12, 44).

當(dāng)x1=7，y1=1時(shí)，有φ(x)=x1φ(d)=14，φ(y)=y1φ(d)=2.由引理4可知，此時(shí)方程(2)無整數(shù)解.

當(dāng)x1=2，y1=2時(shí)，有φ(x)=x1φ(d)=y1φ(d)=4.因而有x=y=5,8,10,12.方程(2)無整數(shù)解.

綜合以上討論，可得本文結(jié)論. 證畢.

在定理1中，當(dāng)k1=5，k2=7時(shí)，方程(2)有解，(x,y)=(12,12)，此時(shí)k1+k2=12.那么，對(duì)于任意的正整數(shù)k1,k2，方程(1)是否一定有(k1+k2,k1+k2)這一組解.為此，證明了以下結(jié)論.

定理2 對(duì)于任意的正整數(shù)k1,k2，(x,y)=(k1+k2,k1+k2)是方程(1)的1組解.

3 結(jié)語

本文討論了當(dāng)k1=5，k2=7時(shí)方程φ(xy)=5φ(x)+7φ(y)的解問題.而對(duì)于其他的正整數(shù)k1,k2，效仿定理1中方程的討論，同樣可以得到相對(duì)應(yīng)方程的解，只不過當(dāng)k1,k2中有一數(shù)略大時(shí)，需分2 max{k1,k2}種情況討論.

[1] 管訓(xùn)貴.關(guān)于Diophantine方程x3±1 = 2pqry2[J].鄭州大學(xué)學(xué)報(bào)(理學(xué)版)，2015，47(2)：49-52.

[2] 杜先存，管訓(xùn)貴，萬飛.關(guān)于不定方程x3-1 = 3pqy2的整數(shù)解研究[J].鄭州大學(xué)學(xué)報(bào)(理學(xué)版)，2014，46(3)：13-16.

[3] 張四保.七元一次不定方程整數(shù)解解公式[J].鄭州大學(xué)學(xué)報(bào)(理學(xué)版)，2013，45(3)：28-31.

[4] 張利霞，趙西卿，郭瑞，等.關(guān)于數(shù)論函數(shù)方程S(SL(n))=φ(n)的可解性[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)，2015，31(5)：533-536.

[5] 張四保，劉啟寬.關(guān)于Euler函數(shù)一個(gè)方程的正整數(shù)解[J].東北師大學(xué)報(bào)(自然科學(xué)版)，2015，47(3)：49-54.

[6] 劉艷艷.數(shù)論函數(shù)方程φ(n)=S(nk)的非平凡解[J].青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版)，2014，35(3)：326-329.

[7] 張四保，杜先存.一個(gè)包含Euler函數(shù)方程的正整數(shù)解[J].華中師范大學(xué)學(xué)報(bào)(自然科學(xué)版)，2015，49(4)：497-501.

[9] 熱伊麥·阿卜杜力木. 與Euler函數(shù)φ(n)有關(guān)的幾個(gè)方程[J].吉林師范大學(xué)學(xué)報(bào)(自然科學(xué)版)，2015，36(4)：71-75.

[10] SUN C F，CHENG Z. Some kind of equations involving euler functionφ(n)[J].Journal of mathematical study,2010,43(4):364-369．

[11] 張四保.有關(guān)Euler函數(shù)φ(n)的方程的正整數(shù)解[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2014，44(20)：302-305.

[12] 孫樹東.一個(gè)與Euler函數(shù)φ(n)有關(guān)的方程的正整數(shù)解[J].北華大學(xué)學(xué)報(bào)(自然科學(xué)版)，2015，16(2)：161-164.

[13] ROSEN K H. Elementary number theory and its applications[M].Pittsburgh:Academic wesley,2005.

[14] 姜友誼.關(guān)于Euler函數(shù)方程φ(x)=m的解[J].重慶工業(yè)管理學(xué)院學(xué)報(bào)，1998，12(5)： 91-94．

(責(zé)任編輯：方惠敏)

The Integer Solutions of Euler Equationφ(xy)=k1φ(x)+k2φ(y)(k1≠k2)

ZHANG Sibao1, GUAN Chunmei1, XI Xiaozhong2

(1.SchoolofMathematicsandStatistics,KashgarUniversity,Kashgar844008,China;2.InstituteofMathematicsandComputerScience,YichunCollege,Yichun336000,China)

The solvability of a specific equationφ(xy)=5φ(x)+7φ(y),such asφ(xy)=k1φ(x)+k2φ(y),was discussed.And all integer solutions were given. According to the condition of its solutions, a conclusion that (x,y) = (k1+k2,k1+k2) was a positive integer solution of equationφ(xy)=k1φ(x)+k2φ(y) was given, wherek1≠k2, andk1,k2were positived integers.

Euler function; solvability; integer solution

2016-08-11

國家自然科學(xué)基金項(xiàng)目(11201411)；喀什大學(xué)校內(nèi)項(xiàng)目(142513)．

張四保(1978—)，男，江西峽江人，副教授，主要從事數(shù)論研究，E-mail:sibao98@sina.com.

O156

A

1671-6841(2017)01-0007-04

10.13705/j.issn.1671-6841.2016200