Voy a resolver el problema bajo la condición de 1<a<b<c<d.
Vamos a decir S=abcd−1(a−1)(b−1)(c−1)(d−1). Sabemos que 2≤S≤4. Podemos tomar a=x+1,b=y+1,c=z+1,d=t+1. Por lo tanto, 1≤x<y<z<t S=(x+1)(y+1)(z+1)(t+1)−1xyzt=1+1x+1y+1z+1t+1xy+1xz+1xt+1yz+1yt+1zt+1xyz+1xyt+1xzt+1yzt+1xyzt
Desde 1≤x<y<z<t, S<1+4x+6x2+4x3 nos encontramos con que
(S−1)x3<4x2+6x+4.
1. CASO: Si ponemos S=2(2),x3<4x2+6x+4x∈{1,2,3,4,5}.
1.a Caso: Si ponemos x=1 en (1), 1=1+11+1y+⋯
Esta es una contradicción. No hay ninguna solución.
1.b Caso: Si ponemos x=2 en (1), 12=(1y+1z+1t)⋅32+(1yz+1yt+1zt)⋅32+12yzt
Desde 3≤y<z<t, (3) nos encontramos con que 12<92y+92y2+12y3 y, a continuación,y3<9y2+9y+1. Por lo tanto, y∈{3,4,5,6,7,8,9}
Si y=3 (3) nos encontramos con 12=(13+1z+1t)⋅32+(13z+13t+1zt)⋅32+16zt. Pero LHS<RHS y no hay solución.
Si Si y=4 (3) nos encontramos con 12=(14+1z+1t)⋅32+(14z+14t+1zt)⋅32+18zt. Con algunos de álgebra nos rendimientos 2z=15+2382t−15. No hay ninguna solución.
Este sub-caso ha y=5,6,7,8,9 sub-casos. Usted tiene que examinar estas. Por ejemplo, el último valor de y=9. Por (3), 12=(19+1z+1t)⋅32+(19z+19t+1zt)⋅32+118zt y nosotros los rendimientos 15zt=60(z+t)+56. Pero esto da una cotratiction en \pmod {5}. No hay ninguna solución.
1.c Caso: ponemos a x=3,S=2(1),
1.d Caso: ponemos a x=4,S=2(1),
1.e Caso: ponemos a x=5,S=2(1),
2. CASO: ponemos a S=3(2),2x^3< 4x^2 +6x + 4 x \in \{ 1,2,3 \}.
2.a Caso: ponemos a x=1,S=3(1),
2.b Caso: ponemos a x=2,S=3(1),
2.c Caso: ponemos a x=3,S=3(1).
3. CASO: ponemos a S=4(2),3x^3< 4x^2 +6x + 4 x \in \{ 1,2 \}. Vamos a resolver algunos sub-casos,
3.a Caso: ponemos a x=1,S=4(1).
4 = 1+ 1+ \left(\dfrac{1}{y} + \dfrac1z + \dfrac1t \right) \cdot 2 + \left(\dfrac{1}{yz} + \dfrac{1}{yt} + \dfrac{1}{zt} \right) \cdot 2 + \dfrac{1}{yzt} \tag{4}
Desde 2\le y < z< t, (4) rendimientos 2+ \dfrac{6}{y}+ \dfrac{6}{y^2}+\dfrac{1}{y^3} y, por tanto,y \in\{ 2,3\}.
Para y=2, en (4): 4=1+1+\left(\dfrac{1}{2} + \dfrac1z + \dfrac1t \right) \cdot 2 + \left(\dfrac{1}{2z} + \dfrac{1}{2t} + \dfrac{1}{zt} \right) \cdot 2 + \dfrac{1}{2zt} y 2zt = 6(z+t) + 3. Esta es una contradicción en \pmod{2}.
Para y=3, en (4): 4=1+1+\left(\dfrac{1}{3} + \dfrac1z + \dfrac1t \right) \cdot 2 + \left(\dfrac{1}{3z} + \dfrac{1}{3t} + \dfrac{1}{zt} \right) \cdot 2 + \dfrac{1}{3zt} y ...e.t.c.
3.b Caso: ponemos a x=2,S=4(1). Nos encontramos con 4= 1 +\dfrac12+ \left(\dfrac{1}{y} + \dfrac1z + \dfrac1t \right) \cdot \dfrac32 + \left(\dfrac{1}{3z} + \dfrac{1}{3t} + \dfrac{1}{zt} \right) \cdot \dfrac32 + \dfrac{1}{3zt}\tag{5}
También se 3\le y< z< t y, por tanto, \dfrac52 + \dfrac{1}{2y}+ \dfrac{1}{2y^2}+ \dfrac{1}{y^3} da 5y^3<y^2+y+2. No es y.
Soluciones probables pueden ser en mi unwriting de los casos. Por último añadimos 1 todas las varibles de (x,y,z,t). Que es (a,b,c,d)=(x+1,y+1,z+1,t+1).