1. 引言
对于任意正整数解n,欧拉函数
表示从
中与n互素的正整数解的个数 [1]。欧拉函数方程是数论及其应用中的一个重要的研究论题,不定方程的一元变系数和多元变系数问题使得我们延展出很多新的研究方法,对有关包含欧拉函数方程可解性的研究有着重要的理论意义和应用价值。张四保,官春梅,孙树东,席小忠 [2] [3] [4] [5] 分别得出了方程
在
时的全部正整数解,而孙翠芳,程智,张四保,杜先存 [6] [7] [8] 分别得出方程
在
时的所有正整数解;白继文,张四保 [9] [10] 等人分别研究了四元欧拉函数方程
在
时的全部正整数解;夏衣旦·莫合德,张四保,姜莲霞 [11] [12] 分别讨论了一个包含Euler函数
的非线性方程
和
的解,利用整数的分解、欧拉函数
的性质和初等方法从而得出了其全部解;袁合才,王波,王晓峰 [13] 讨论了混合型欧拉函数方程
的正整数解问题,得到了该方程的所有正整数解;杨张媛,赵西卿,张明丽,高丽 [14] [15] 分别研究了三元变系数欧拉函数方程
在
为连续的三个自然数时的全部正整数解。本文在前人对欧拉函数正整数解研究的基础上,利用初等数论的相关知识研究了系数为特定奇数的三元变系数欧拉函数方程
的正整数解。
2. 相关引理
引理1 [16] 若正整数
,其中
为素数,则欧拉函数
。
引理2 [16] 对任意的正整数
,则有
,
其中
表示m与n最大公约数。显然,当
时,有
。
引理3 [16] 当
时,有
;当
时,
为偶数。
引理4 [16] 在欧拉函数方程
中,若
,则该方程无正整数解。
3. 定理及其证明
定理1三元变系数欧拉函数方程
的正整数解共25组,分别为
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
。
证 对于三元变系数欧拉函数方程
(1)
由引理2可知
。
由引理3所以
,
,
,即
。
根据
和
的不同取值分14种情形分别讨论。
情形1当
时,有
,
。
1.1当
,情形
时,有
,
即
。
1.1.1若
,
,
为任意值时,此时(1)式为
,经检验,(1)无解。
1.1.2若
,
,此时
,经检验,(1)无解。
1.1.3若
,
,此时
,经检验,(1)无解。
1.1.4若
,
,此时
,即
。
当
,
时,即
,又
,
,经检验,(1)无解。
当
时 ,
,由引理3知(1)无解。
1.1.5若
,
,此时
,即
。
当
,
时,即
,又
,
,经检验,(1)无解。
当
时,
,由引理3知(1)无解。
1.1.6若
,
,此时
,即
。
当
,
时,不存在
使得
,(1)无解。
当
时,
,由引理3知(1)无解。
1.1.7若
,
,不存在
使得
,(1)无解。
1.1.8若
,
,此时
,即
。
当
,
时,即
,又
,
,经检验,(1)无解。
当
时,
,由引理3知(1)无解。
1.1.9若
,
时,此时
。
当
时,经检验,不存在
使(1)成立,(1)无解。
当
为偶数时,
为奇数,由引理3知(1)无解。
1.2当
,
时,有
。
1.2.1若
,
时,
,不存在c使(1)成立。
1.2.2若
,
时,
,即
,即
。
当
时,不存在
使(1)成立。
当
时,经检验,
。
1.2.3若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,不存在
使得
,所以(1)无解。
1.2.4若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
1.2.5若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,
,
。
1.2.6若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,不存在
使得
,所以(1)无解。
1.2.7若
,
时,不存在b使得
,所以(1)无解。
1.2.8若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,
,
。
1.2.9若
,
时,
。
当
时,
为奇数,由引理3知(1)无解。
当
时,经检验不存在
使得(1)成立,所以(1)无解。
1.3当
,
时,有
。
1.3.1若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,
,经检验,(1)无解。
当
时,
,不存在
使得
,所以(1)无解。
当
时,不存在c使得
,所以(1)无解。
1.3.2若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,不存在
使得
,所以(1)无解。
1.3.3若
,
时,
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,
,
,
,
,
,
,
。
1.3.4若
,
时,
,即
。
当
时,
是奇数,由引理3知(1)无解。
情形2当
时,有
,
为任意数;
,
为任意数。
当
,
为任意数时,由引理3知
不存在,所以(1)无解。
当
,
为任意数时,此时(1)式为
,即
。
2.1当
且
为任意时,
,由引理4知,
,所以方程有正整数解。
2.1.1当
时,
是奇数,由引理3知(1)无解。
2.1.2当
时,
,不存在
使得
,所以(1)无解。
2.1.3当
时,
,
,有
,
,
。
2.1.4当
时,
,
,有
,
,
,
,
,
,
,
,
,
。
2.2当
时,
,即
。
若
,
,
,经检验,(1)无解。
若
,
,由引理3知(1)无解。
2.3当
时,
,即
。
若
,
,不存在
使得
,所以(1)无解。
若
,
,由引理3知(1)无解。
2.4当
时,
,即
。
若
,
,
,经检验,(1)无解。
若
,
,由引理3知(1)无解。
2.5当
时,
,即
。
若
,不存在
使得
成立,所以(1)无解。
若
,
是奇数,由引理3知(1)无解。
2.6当
时,
,即
。
若
,不存在
使得
成立,所以(1)无解。
若
,
是奇数,由引理3知(1)无解。
情形3当
时,有
,
,则
,即
,即
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
情形4当
时,有
,
或
,
,由引理3知(1)无解。
情形5当
时,有
,
或
,
。
5.1 若
,
,则
,
。
当
时,
,由引理3知(1)无解。
5.2 若
,
,则
,
。
当
时,
,由引理3知(1)无解。
当
时,
,
,经检验,(1)无解。
情形6当
时,有
,
或
,
或
,
,由引理3知(1)无解。
情形7当
时,有
,
或
,
。
7.1若
,
,则
,
。
当
时,
,由引理3知(1)无解。
7.2若
,
,则
,
。
当
时,
,由引理3知(1)无解。
情形8当
时,有
,
或
,
或
,
或
,
,由引理3知(1)无解。
情形9当
时,有
,
或
,
。
9.1若
,
,则
,
。
当
时,
,由引理3知(1)无解。
9.2若
,
,则
,
。
当
时,
,由引理3知(1)无解。
情形10当
时,有
,
或
,
或
,
或
,
,由引理3知(1)无解。
情形11当
时,有
,
或
,
或
,
。
11.1 若
,
,则
,
。
当
时,
,由引理3知(1)无解。
11.2若
,
,则
,
。
当
时,
,由引理3知(1)无解。
11.3若
,
,则
,
。
当
时,
,由引理3知(1)无解。
情形12当
时,有
,
或
,
或
,
或
,
,由引理3知(1)无解。
情形13当
时,有
,
或
,
。
13.1若
,
,则
,
。
当
时,
,由引理3知(1)无解。
13.2若
,
,则
,
。
当
时,
,由引理3知(1)无解。
情形14当
时,有
,
或
,
或
,
或
,
或
,
或
,
,由引理3知(1)无解。
综合上述结论可知(1)式共有18组正整数解,证毕。
基金项目
国家自然科学基金资助项目(No. 11226038,11371012),陕西省教育厅专项基金(14JK1311)。