与Euler函数φ(n)有关的一个四元不定方程的解

张四保，杨燕妮，姜莲霞，席小忠

(1.喀什大学 数学与统计学院, 新疆 喀什 844008；2.宜春学院 数学与计算机科学学院, 江西 宜春 336000)

Euler函数φ(n)是数论中的一个重要函数，与Euler函数φ(n)有关的不定方程的研究内容丰富，文献颇多，如文献[1-3]都讨论了与Euler函数φ(n)有关的不定方程的整数解问题。许多文献对于以下形式的方程

φ(x1x2…xn)=k(φ(x1)+φ(x2)+…+φ(xn))

(1)

也进行了丰富的研究。如文献[4]讨论了当n=2，k=2时方程(1)的解问题；文献[5]讨论了当n=2，k=11时方程(1)的解问题；文献[6]讨论了当n=2，k=4,6时方程(1)的解问题；文献[7]讨论了当n=2，k=4时方程(1)的解问题；文献[8]讨论了当n=2，k=7时方程(1)的解问题；文献[9]讨论了当n=3，k=2时方程(1)的解问题；文献[10]讨论了当n=3，k=5时方程(1)的解问题；文献[11]讨论了当n=3，k=6时方程(1)的解问题；文献[12]讨论了当n=4，k=2时方程(1)的解问题。本文将讨论方程(1)中当n=4，k=4时所对应的方程的解问题，即讨论了方程

φ(xyzw)=4(φ(x)+φ(y)+φ(z)+φ(w))

(2)

的解问题,利用初等方法给出了其满足x≤y≤z≤w的整数解，再由对称性确定其全部的整数解。

1 定理及其证明

定理1数论函数方程(2)满足x≤y≤z≤w的整数解为(x,y,z,w)= (1,1,5,35)，(1,1,5,45)，(1,1,5,70)，(1,1,5,90)，(1,1,6,24)，(1,1,6,30)，(1,1,7,17)，(1,1,7,32)，(1,1,7,34)，(1,1,7,40)，(1,1,7,48)，(1,1,7,60)，(1,1,8,14)，(1,1,8,18)，(1,1,9,17)，(1,1,9,32)，(1,1,9,34)，(1,1,9,40)，(1,1,10,10)，(1,1,10,14)，(1,1,10,18)，(1,1,10,35)，(1,1,10,45)，(1,1,11,15)，(1,1,11,16)，(1,1,11,20)，(1,1,11,24)，(1,1,11,30)，(1,1,12,14)，(1,1,12,21)，(1,1,14,17)，(1,1,15,22)，(1,1,17,18)，(1,2,3,24)，(1,2,3,30)，(1,2,4,8)，(1,2,4,10)，(1,2,4,12)，(1,2,5,10)，(1,2,5,14)，(1,2,5,18)，(1,2,5,35)，(1,2,5,45)，(1,2,6,6)，(1,2,6,8)，(1,2,6,10)，(1,2,6,15)，(1,2,7,8)，(1,2,7,10)，(1,2,7,12)，(1,2,7,17)，(1,2,8,9)，(1,2,9,10)，(1,2,9,17)，(1,2,11,15)，(1,3,3,11)，(1,3,3,12)，(1,3,3,22)，(1,3,6,11)，(2,2,3,6)，(2,2,3,8)，(2,2,3,10)，(2,2,3,15)，(2,2,4,5)，(2,2,5,6)，(2,2,5,5)，(2,2,5,7)，(2,2,5,9)，(2,3,3,11)。

(3)

由于n≥φ(n)，则由式(3)有

4[φ(x)+φ(y)+φ(z)+φ(w)]≥φ(x)φ(y)φ(z)φ(w)

(4)

则

φ(x)[φ(y)φ(z)φ(w)-4]≤4[φ(y)+φ(z)+φ(w)]

(5)

由于当n≥3时，φ(n)为偶数，现可对φ(y)φ(z)φ(w)的值分如下2种情况讨论：

情况1φ(y)φ(z)φ(w)≤4，此时φ(y)φ(z)φ(w)=1,2,4。

情况1.1当φ(y)φ(z)φ(w)=1，此时φ(y)=φ(z)=φ(w)=1，则y=z=w=1,2，此时方程(2)无解。

情况1.2当φ(y)φ(z)φ(w)=2，此时φ(y)=φ(z)=1，φ(w)=2或φ(y)=φ(w)=1，φ(z)=2或φ(y)=2，φ(z)=φ(w)=1。由于对称性，不妨就φ(y)=φ(z)=1，φ(w)=2的情况讨论。此时有y=z=1,2，w=3,4,6，则可得此时方程(2)有满足y≤z≤w的整数解(x,y,z,w)=(24,1,1,6)，(30,1,1,6)，(24,1,2,3)，(30,1,2,3)，(10,1,2,4)，(10,1,2,6)，(15,1,2,6)，(8,1,2,6)，(6,1,2,6)，(10,2,2,3)，(15,2,2,3)，(8,2,2,3)，(6,2,2,3)，(5,2,2,4)，(5,2,2,6)，(3,2,2,6)。

情况1.3当φ(y)φ(z)φ(w)=4。此时φ(y)=φ(z)=1，φ(w)=4或φ(y)=φ(w)=1，φ(z)=4或φ(y)=4，φ(z)=φ(w)=1或φ(y)=1，φ(z)=φ(w)=2或φ(z)=1，φ(x)=φ(w)=2或φ(w)=1，φ(y)=φ(z)=2。不妨就φ(y)=φ(z)=1，φ(w)=4与φ(y)=1，φ(z)=φ(w)=2情况讨论。

当φ(y)=φ(z)=1，φ(w)=4时，y=z=1,2，w=5,8,10,12，则可得此时方程(2)有满足y≤z≤w的整数解(x,y,z,w)=(35,1,1,5)，(45,1,1,5)，(70,1,1,5)，(90,1,1,5)，(14,1,1,8)，(18,1,1,8)，(14,1,1,10)，(18,1,1,10)，(35,1,1,10)，(45,1,1,10)，(10,1,1,10)，(14,1,1,12)，(21,1,1,12)，(35,1,2,5)，(45,1,2,5)，(10,1,2,5)，(7,1,2,8)，(9,1,2,8)，(6,1,2,8)，(7,1,2,10)，(9,1,2,10)，(6,1,2,10)，(4,1,2,10)，(5,1,2,10)，(7,1,2,12)，(4,1,2,12)，(7,2,2,5)，(9,2,2,5)，(6,2,2,5)，(4,2,2,5)，(5,2,2,5)，(3,2,2,8)，(3,2,2,10)。

当φ(y)=1，φ(z)=φ(w)=2时，y=1,2，z=w=3,4,6，则可得此时方程(2)有满足y≤z≤w整数解(x,y,z,w)=(11,1,3,3)，(22,1,3,3)，(12,1,3,3)，(11,1,3,6)，(2,1,6,6)，(11,2,3,3)，(2,2,3,6)。

情况2φ(y)φ(z)φ(w)≥6。因(φ(y)-1)(φ(z)-1)(φ(w)-1)≥0，则

φ(y)φ(z)φ(w)-1≥φ(y)φ(z)+φ(y)φ(w)+φ(z)φ(w)-(φ(y)+φ(z)+φ(w))

(6)

再因φ(y)φ(z)≥φ(y)+φ(z)-1，φ(y)φ(w)≥φ(y)+φ(w)-1，φ(z)φ(w)≥φ(z)+φ(w)-1，则由式(6)有

φ(y)φ(z)φ(w)+2≥φ(y)+φ(z)+φ(w)

(7)

结合φ(y)φ(z)φ(w)≥8与式(5)、(7)有

由于14是非Euler商数，因此φ(x)=1,2,4,6,8,10,12,16。

情况2.1φ(x)=16

此时结合式(4)与(7)有12φ(y)φ(z)φ(w)≤72，即φ(y)φ(z)φ(w)≤6，则有φ(y)φ(z)φ(w)=6。则有φ(y)=φ(z)=1，φ(w)=6或φ(y)=φ(w)=1，φ(z)=6或φ(y)=6，φ(z)=φ(w)=1。由于对称性，不妨就φ(y)=φ(z)=1，φ(w)=6的情况讨论。此时y=z=1,2，w=7,9,14,18，则可得此时方程(2)有满足y≤z≤w整数解(x,y,z,w)=(17,1,1,7)，(32,1,1,7)，(34,1,1,7)，(40,1,1,7)，(48,1,1,7)，(60,1,1,7)，(17,1,1,9)，(32,1,1,9)，(34,1,1,9)，(40,1,1,9)，(17,1,1,14)，(17,1,2,7)，(17,1,1,18)，(17,1,2,9)。

情况2.2φ(x)=12

此时结合(4)与(7)有8φ(y)φ(z)φ(w)≤56，即φ(y)φ(z)φ(w)≤7，结合φ(y)φ(z)φ(w)≥6可得φ(y)φ(z)φ(w)=6。由方程(2)有Pφ(x)=φ(xyzw)=4φ(x)+32，即有(P-4)φ(x)=32，而此时φ(x)=12，12⫮32，则此时方程(2)无解，符号⫮表示不整除。

情况2.3φ(x)=10

此时结合式(4)与(7)有6φ(y)φ(z)φ(w)≤48，即φ(y)φ(z)φ(w)≤8，结合φ(y)φ(z)φ(w)≥6可得φ(y)φ(z)φ(w)=6,8。

当φ(y)φ(z)φ(w)=6时，类似情况2.2的说明，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=8时，有φ(y)=φ(z)=1，φ(w)=8或φ(y)=φ(w)=1，φ(z)=8或φ(y)=8，φ(z)=φ(w)=1或φ(y)=1，φ(z)=2，φ(w)=4或φ(y)=1，φ(z)=4，φ(z)=2或φ(y)=2，φ(z)=1，φ(w)=4或φ(y)=2，φ(z)=4，φ(w)=1或φ(y)=4，φ(z)=1，φ(w)=2或φ(y)=4，φ(z)=2，φ(w)=1。由于对称性，不妨就φ(y)=φ(z)=1，φ(w)=8与φ(y)=1，φ(z)=2，φ(w)=4进行讨论。

当φ(y)=φ(z)=1，φ(w)=8时，此时y=z=1,2，w=15,16,20,24,30，则可得此时方程(0.2)有满足y≤z≤w整数解(x,y,z,w)=(11,1,1,15)，(22,1,1,15)，(11,1,1,16)， (11,1,1,20)，(11,1,1,24)，(11,1,1,30)，(11,1,2,15)。

当φ(y)=1，φ(z)=2，φ(w)=4时，此时由方程(2)有Pφ(x)=4φ(x)+28，即有(P-4)φ(x)=28，而此时φ(x)=10，10⫮28，则此时方程(2)无解。

情况2.4φ(x)=8

此时结合式(4)与(7)有4φ(y)φ(z)φ(w)≤40，即φ(y)φ(z)φ(w)≤10，结合φ(y)φ(z)φ(w)≥6可得φ(y)φ(z)φ(w)=6,8,10。

当φ(y)φ(z)φ(w)=6时，结合情况2.1中情况的讨论与φ(x)=8，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=8时，结合情况2.3中情况的讨论与φ(x)=8，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=10时，有φ(y)=φ(z)=1，φ(w)=10或φ(y)=φ(w)=1，φ(z)=10或φ(y)=10，φ(z)=φ(w)=1。由于对称性，不妨就φ(y)=φ(z)=1，φ(w)=10进行讨论。此时y=z=1,2，w=11,22，则可得此时方程(2)有满足y≤z≤w的整数解(x,y,z,w)=(15,1,1,11)，(16,1,1,11)，(20,1,1,11)，(24,1,1,11)，(30,1,1,11)，(15,1,1,22)，(15,1,2,11)。

情况2.5φ(x)=6

此时结合式(4)与(7)有2φ(y)φ(z)φ(w)≤32，即φ(y)φ(z)φ(w)≤16，结合φ(y)φ(z)φ(w)≥6可得φ(y)φ(z)φ(w)=6,8,10,12,16。

当φ(y)φ(z)φ(w)=6时，结合情况2.1中情况的讨论与φ(x)=6，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=8时，结合情况2.3中情况的讨论与φ(x)=6，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=10时，结合情况2.4中情况的讨论与φ(x)=6，可得此时方程(2)无解。

当φ(y)φ(z)φ(w)=12时，有φ(y)=φ(z)=1，φ(w)=12或φ(y)=φ(w)=1，φ(z)=12或φ(y)=12，φ(z)=φ(w)=1或φ(y)=1，φ(z)=2，φ(w)=6或φ(y)=1，φ(z)=6，φ(w)=2或φ(y)=2，φ(z)=1，φ(w)=6或φ(y)=2，φ(z)=6，φ(w)=1或φ(y)=6，φ(z)=1，φ(w)=2或φ(y)=6，φ(z)=2，φ(w)=1。由对称性，不妨就φ(y)=φ(z)=1，φ(w)=12与φ(y)=1，φ(z)=2，φ(w)=6进行讨论。

当φ(y)=φ(z)=1，φ(w)=12时，此时由方程(2)有Pφ(x)=4φ(x)+56，即有(P-4)φ(x)=56，而此时φ(x)=6，6⫮56，则此时方程(2)无解。

当φ(y)=1，φ(z)=2，φ(w)=6时，此时y=1,2，z=3,4,6，w=7,9,14,16，结合φ(x)=6可得，此时方程(2)无解。

当φ(y)φ(z)φ(w)=16时，有φ(y)=φ(z)=1，φ(w)=16或φ(y)=φ(w)=1，φ(z)=16或φ(y)=16，φ(z)=φ(w)=1或φ(y)=1，φ(z)=2，φ(w)=8或φ(y)=1，φ(z)=8，φ(w)=2或φ(y)=2，φ(z)=1，φ(w)=8或φ(y)=2，φ(z)=8，φ(w)=1或φ(y)=8，φ(z)=1，φ(w)=2或φ(y)=8，φ(z)=2，φ(w)=1或φ(y)=1，φ(z)=4，φ(w)=4或φ(y)=4，φ(z)=1，φ(w)=4或φ(y)=4，φ(z)=4，φ(w)=1。由于对称性，不妨就φ(y)=φ(z)=1，φ(w)=16与φ(y)=1，φ(z)=2，φ(w)=8与φ(y)=1，φ(z)=4，φ(w)=4进行讨论。

当φ(y)=φ(z)=1，φ(w)=16时，此时y=z=1,2，w=17,32,34,40,48,60，结合φ(x)=6，则可得此时方程(2)有满足y≤z≤w的整数解(x,y,z,w)=(7,1,1,17)，(9,1,1,17)，(14,1,1,17)，(18,1,1,17)，(7,1,1,32)，(9,1,1,32)，(7,1,1,34)，(9,1,1,34)，(7,1,1,40)，(9,1,1,40)，(7,1,1,48)，(7,1,1,60)，(7,1,2,17)，(9,1,2,17)。

当φ(y)=1，φ(z)=2，φ(w)=8时，此时由方程(2)有Pφ(x)=4φ(x)+44，即有(P-4)φ(x)=44，而此时φ(x)=6，6⫮44，则此时方程(2)无解。

当φ(y)=1，φ(z)=4，φ(w)=4时，此时y=1,2，z=w=5,8,10,12，结合φ(x)=6，则可得此时方程(2)无解。

情况2.6当φ(x)=4

由于φ(y)φ(z)φ(w)≥6，则φ(y)，φ(z)，φ(w)三者中必有一数满足φ(n)≥2，此处不妨令φ(w)≥2，则(φ(y)-1)(φ(z)-1)(φ(w)-2)≥0，因而

φ(y)φ(z)φ(w)≥2φ(y)φ(z)+φ(y)φ(w)+φ(z)φ(w)-2φ(y)-2φ(z)-φ(w)+2

因φ(y)φ(z)≥φ(y)+φ(z)-1，φ(y)φ(w)≥2φ(y)+φ(w)-2，φ(z)φ(w)≥2φ(z)+φ(w)-2，则有

φ(y)φ(z)φ(w)≥2φ(y)+2φ(z)-4

(8)

结合φ(x)=4，(4)与(8)有φ(y)φ(z)φ(w)≤φ(y)+φ(z)+φ(w)+6。因而，2φ(y)+2φ(z)-4≤φ(y)+φ(z)+φ(w)+6，则φ(y)+φ(z)≤10，因而φ(y)+φ(z)=2,3,4,5,6,7,8,9,10。

当φ(y)+φ(z)=2时，有φ(y)=φ(z)=1。此时y=z=1,2，结合φ(x)=4，则可得此时方程(2)有满足y≤z≤w的整数解(x,y,z,w)=(5,1,1,35)，(5,1,1,45)，(5,1,1,70)，(5,1,1,90)，(5,1,2,14)，(5,1,2,18)，(5,1,2,35)，(5,1,2,45)，(5,1,2,10)，(5,2,2,7)，(5,2,2,9)，(5,2,2,6)，(5,2,2,4)，(5,2,2,5)，(8,1,1,6)，(8,1,1,4)，(8,1,2,7)，(8,1,2,9)，(8,1,2,6)，(8,1,2,4)，(8,2,2,3)，(10,1,1,14)，(10,1,1,18)，(10,1,1,35)，(10,1,1,45)，(10,1,1,10)，(10,1,2,7)，(10,1,2,9)，(10,1,2,6)，(10,1,2,4)，(10,1,2,5)，(10,2,2,3)，(12,1,1,14)，(12,1,1,21)，(12,1,2,7)，(12,1,2,4)。

当φ(y)+φ(z)=3时，有φ(y)=1，φ(z)=2或φ(y)=2，φ(z)=1.就φ(y)=1，φ(z)=2情况有y=1,2，z=3,4,6，结合φ(x)=4，则可得此时方程(2)有整数解(x,y,z,w)=(5,2,4,2)，(5,2,6,2)，(8,1,4,2)，(8,1,6,2)，(8,2,3,2)，(8,2,4,1)，(8,2,6,1)，(10,1,4,2)，(10,1,6,2)，(10,2,3,2)，(10,2,4,1)，(10,2,6,1)，(12,1,4,2)，(12,2,4,1)。

当φ(y)+φ(z)=4时，有φ(y)=2，φ(z)=2。此时y=z=3,4,6，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)+φ(z)=5时，有φ(y)=1，φ(z)=4或φ(y)=4，φ(z)=1.就φ(y)=1，φ(z)=4情况有y=1,2，z=5,8,10,12，结合φ(x)=4，则可得此时方程(2)有整数解(x,y,z,w)= (5,1,10,2)，(5,2,5,2)，(5,2,10,1)，(10,1,5,2)，(10,1,10,1)，(10,2,5,1)。

当φ(y)+φ(z)=6时，有φ(y)=2，φ(z)=4或φ(y)=4，φ(z)=2。就φ(y)=2，φ(z)=4情况有y=3,4,6，z=5,8,10,12，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)+φ(z)=7时，有φ(y)=1，φ(z)=6或φ(y)=6，φ(z)=1.就φ(y)=1，φ(z)=6情况有y=1,2，z=7,9,14,18，结合φ(x)=4，可得此时方程(2)有整数解(x,y,z,w)=(5,1,14,2)，(5,1,18,2)，(5,2,7,2)，(5,2,9,2)，(5,2,14,1)，(5,2,18,1)，(8,1,7,2)，(8,1,9,2)，(8,1,14,1)，(8,1,18,1)，(8,2,7,1)，(8,2,9,1)，(10,1,7,2)，(10,1,9,2)，(10,1,14,1)，(10,1,18,1)，(10,2,7,1)，(10,2,9,1)，(12,1,7,2)，(12,1,14,1)，(12,2,7,1)。

当φ(y)+φ(z)=8时，有φ(y)=2，φ(z)=6或φ(y)=6，φ(z)=2或φ(y)=4，φ(z)=4。

当φ(y)=2，φ(z)=6时，有y=3,4,6，z=7,9,14,18，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)=4，φ(z)=4时，有y=z=5,8,10,12，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)+φ(z)=9时，有φ(y)=1，φ(z)=8或φ(y)=8，φ(z)=1。当φ(y)=1，φ(z)=8，此时有y=1,2，z=15,16,20,24,30，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)+φ(z)=10时，有φ(y)=2，φ(z)=8或φ(y)=8，φ(z)=2或φ(y)=4，φ(z)=6或φ(y)=6，φ(z)=4。

当φ(y)=2，φ(z)=8时，有y=3,4,6，z=15,16,20,24,30，结合φ(x)=4，可得此时方程(2)无解。

当φ(y)=4，φ(z)=6时，有y=5,8,10,12，z=7,9,14,18，结合φ(x)=4，可得此时方程(2)无解。

情况2.7φ(x)=2

情况2.7.1当φ(y)、φ(z)、φ(w)中仅有一数满足φ(n)=1时，不妨令φ(y)=1，则y=1,2。

情况2.7.1.1当φ(z)、φ(w)中仅有一数满足φ(n)=2时，不妨令φ(z)=2，且φ(w)≠1，此时x=z=3,4,6，则可得此时方程(2)有整数解(x,y,z,w)=(3,1,3,11)，(3,1,3,22)，(3,2,6,2)，(6,1,6,2)，(6,2,3,2)，(6,2,6,1)。

情况2.7.1.2当φ(z)、φ(w)都满足φ(n)=2时，此时z=w=3,4,6，结合φ(x)=2，可得此时方程(2)无解。

情况2.7.1.3当φ(z)、φ(w)都满足φ(n)>2时，则有(φ(z)-4)(φ(w)-4)≥0，即有

φ(z)φ(w)≥4(φ(z)+φ(w))-16

(9)

由于φ(xyzw)=4(φ(x)+φ(y)+φ(z)+φ(w))=4(3+φ(z)+φ(w))≥φ(x)φ(y)φ(z)φ(w)，结合式(9)有4(3+φ(z)+φ(w))≥2φ(z)φ(w)≥8(φ(z)+φ(w))-32，则有φ(z)+φ(w))≤11，因而φ(z)+φ(w))=8或φ(z)+φ(w))=10。

当φ(z)+φ(w))=8时，有φ(z)=φ(w)=4，则z=w=5,8,10,12，结合φ(x)=2，可得此时方程(2)无解。

当φ(z)+φ(w))=10时，有φ(z)=4，φ(w)=6或φ(z)=6，φ(w)=4。由于对称性，现只对φ(z)=4，φ(w)=6的情况讨论。此时z=5,8,10,12，w=7,9,14,18，结合φ(x)=2，可得此时方程(2)无解。

情况2.7.2当φ(y)、φ(z)、φ(w)中有两数满足φ(n)=1时，不妨令φ(y)=1，φ(z)=1，且φ(w)≠1.此时y=z=1,2，结合φ(x)=2，可得此时方程(2)有整数解(x,y,z,w)=(3,1,2,24)，(3,1,2,30)，(3,2,1,24)，(3,2,1,30)，(3,2,2,10)，(3,2,2,15)，(3,2,2,8)，(3,2,2,6)，(4,1,2,10)，(4,1,2,12)，(4,1,2,8)，(4,2,1,10)，(4,2,1,12)，(4,2,1,8)，(4,2,2,5)，(6,1,1,24)，(6,1,1,30)，(6,1,2,10)，(6,1,2,15)，(6,1,2,8)，(6,1,2,6)，(6,2,1,10)，(6,2,1,15)，(6,2,1,8)，(6,2,1,6)，(6,2,2,5)，(6,2,2,3)。

情况2.7.3当φ(y)、φ(z)、φ(w)都满足φ(n)=1时，此时y=z=w=1,2，结合φ(x)=2，可得此时方程(2)无解。

情况2.7.4当φ(y)、φ(z)、φ(w)都满足φ(n)≥2时，则有(φ(y)-2)(φ(z)-2)(φ(w)-2)≥0，则

φ(y)φ(z)φ(w)≥2φ(y)φ(z)+2φ(y)φ(w)+2φ(z)φ(w)-4(φ(y)+φ(z)+φ(w))+8

(10)

而φ(y)φ(z)≥2(φ(y)+φ(z))-4，φ(y)φ(w)≥2(φ(y)+φ(w))-4，φ(z)φ(w)≥2(φ(z)+φ(w))-4，则由(10)有φ(y)φ(z)φ(w)≥4(φ(y)+φ(z)+φ(w))-16。而由式(4)有4(2+φ(y)+φ(z)+φ(w))≥2φ(y)φ(z)φ(w)≥8(φ(y)+φ(z)+φ(w))-32，则有φ(y)+φ(z)+φ(w)≤10.从而有φ(y)+φ(z)+φ(w)=6,8,10。

情况2.7.4.1当φ(y)+φ(z)+φ(w))=6时，有φ(y)=φ(z)=φ(w)=2，此时y=z=w=3,4,6，结合φ(x)=2，可得此时方程(2)无解。

情况2.7.4.2当φ(y)+φ(z)+φ(w))=8时，有φ(y)=2，φ(z)=2，φ(w)=4或者φ(y)=2，φ(z)=4，φ(w)=2或者φ(y)=4，φ(z)=2，φ(w)=2.现不妨就φ(y)=2，φ(z)=2，φ(w)=4情况讨论。此时y=z=3,4,6，w=5,8,10,12，结合φ(x)=2，可得此时方程(2)无解。

情况2.7.4.3当φ(y)+φ(z)+φ(w))=10时，有φ(y)=2，φ(z)=2，φ(w)=6或者φ(y)=2，φ(z)=6，φ(w)=2或者φ(y)=6，φ(z)=2，φ(w)=2或者φ(y)=2，φ(z)=4，φ(w)=4或者φ(y)=4，φ(z)=4，φ(w)=2或者φ(y)=4，φ(z)=2，φ(w)=4。

当φ(y)=2，φ(z)=2，φ(w)=6时，此时y=z=3,4,6，w=7,9,14,18，结合φ(x)=2，可得此时方程(2)无解。

当φ(y)=2，φ(z)=4，φ(w)=4时，此时y=3,4,6，z=w=5,8,10,12，结合φ(x)=2，可得此时方程(2)无解。

情况2.8φ(x)=1

情况2.8.1当φ(y)、φ(z)、φ(w)中仅有一数满足φ(n)=1时，不妨令φ(y)=1。

情况2.8.1.1当φ(z)、φ(w)中仅有一数满足φ(n)=2时，不妨令φ(z)=2，且φ(w)≠1，此时x=y=1,2，z=3,4,6，则可得此时方程(2)有整数解(x,y,z,w)=(1,1,6,24)，(1,1,6,30)，(1,2,3,24)，(1,2,3,30)，(1,2,4,10)，(1,2,4,12)，(1,2,4,8)，(1,2,6,10)，(1,2,6,15)，(1,2,6,8)，(1,2,6,6)，(2,2,3,10)，(2,2,3,15)，(2,2,3,8)，(2,2,3,6)，(2,2,4,5)，(2,2,6,5)，(2,2,6,3)。

情况2.8.1.2当φ(z)、φ(w)都满足φ(n)=2时，此时x=y=1,2，z=w=3,4,6，则可得方程(2)有整数解(x,y,z,w)=(2,1,6,6)，(2,2,3,6)，(2,2,6,3)，(1,2,6,6)。

情况2.8.1.3当φ(z)、φ(w)都满足φ(n)>2时，则有(φ(z)-4)(φ(w)-4)≥0，即有

φ(z)φ(w)≥4(φ(z)+φ(w))-16

(11)

由于φ(xyzw)=4(φ(x)+φ(y)+φ(z)+φ(w))=4(2+φ(z)+φ(w))≥φ(x)φ(y)φ(z)φ(w)，结合(11)有4(2+φ(z)+φ(w))≥2φ(z)φ(w)≥8(φ(z)+φ(w))-32，则有φ(z)+φ(w))≤10，因而φ(z)+φ(w))=8或φ(z)+φ(w))=10。

当φ(z)+φ(w))=8时，有φ(z)=φ(w))=4，此时z=w=5,8,10,12，结合φ(y)=1，可得此时方程(2)有整数解(x,y,z,w)=(2,1,5,10)，(2,1,10,5)，(1,1,10,10)，(2,2,5,5)，(1,2,5,10)，(1,2,10,5)。

当φ(z)+φ(w))=10时，有φ(z)=4，φ(w)=6或φ(z)=6，φ(w)=4。由于对称性，现只对φ(z)=4，φ(w)=6的情况讨论。此时z=5,8,10,12，w=7,9,14,18，结合φ(y)=1，可得此时方程(2)有整数解(x,y,z,w)=(2,1,5,14)，(2,1,5,18)，(2,1,8,7)，(2,1,8,9)，(1,1,8,14)，(1,1,8,18)，(2,1,10,7)，(2,1,10,9)，(1,1,10,14)，(1,1,10,18)，(2,1,12,7)，(1,1,12,14)，(2,2,5,7)，(2,2,5,9)，(1,2,5,14)，(1,2,5,18)，(1,2,8,7)，(1,2,8,9)，(1,2,10,7)，(1,2,10,9)，(1,2,12,7)。

情况2.8.2当φ(y)、φ(z)、φ(w)中有两数满足φ(n)=1时，不妨令φ(y)=1，φ(z)=1，且φ(w)≠1。结合φ(x)=1，可得此时，方程(2)无整数解。

情况2.8.3当φ(y)、φ(z)、φ(w)都满足φ(n)=1时，结合φ(x)=1，可得此时方程(2)无整数解。

情况2.8.4当φ(y)、φ(z)、φ(w)都满足φ(n)≥2时，则有(φ(y)-2)(φ(z)-2)(φ(w)-2)≥0，则

φ(y)φ(z)φ(w)≥2φ(y)φ(z)+2φ(y)φ(w)+2φ(z)φ(w)-4(φ(y)+φ(z)+φ(w))+8

(12)

而φ(y)φ(z)≥2(φ(y)+φ(z))-4，φ(y)φ(w)≥2(φ(y)+φ(w))-4，φ(z)φ(w)≥2(φ(z)+φ(w))-4，则由(12)有φ(y)φ(z)φ(w)≥4(φ(y)+φ(z)+φ(w))-16。而由式(4)有4(1+φ(y)+φ(z)+φ(w))≥2φ(y)φ(z)φ(w)≥8(φ(y)+φ(z)+φ(w))-32，则有φ(y)+φ(z)+φ(w)≤9，从而有φ(y)+φ(z)+φ(w)=6,8。

情况2.8.4.1当φ(y)+φ(z)+φ(w))=6时，有φ(y)=φ(z)=φ(w)=2。此时方程(2)无整数解。

情况2.8.4.2当φ(y)+φ(z)+φ(w))=8时，有φ(y)=2，φ(z)=2，φ(w)=4或者φ(y)=2，φ(z)=4，φ(w)=2或者φ(y)=4，φ(z)=2，φ(w)=2。此时，方程(2)有满足x≤y≤z≤w的整数解(x,y,z,w)=(1,3,3,12)。

综上所有情况的讨论，可得结论。

2 结束语

由定理1可知：在方程(2)满足x≤y≤z≤w的整数解中，x,y,z,w互不相同的解有22组，由对称性每组可确定24组解，此时可确定528组解；x,y,z,w有2个数相同的解有45组，由对称性每组可确定12组解，此时可确定540组解；x,y,z,w有两对数相同的解有2组，由对称性每组可确定6组解，此时可确定12组解，因而方程(2)共有1 080组整数解。