Permutations of (1,2,3) or (x,y,y) where x,y∈N, N is the set of all positive numbers.
Lemma 1. 2<(1+n1)n<3 for all n∈N≥2
Proof. Use binomial theorem, we have
2=1+n⋅n1<1+n⋅n1+i=2∑nni(in)=(1+n1)n.
On the other hand,
(1+n1)n=1+n⋅n1+i=2∑nni(in)<1+1+i=2∑n2k−11<3.
Lemma 2. xy>yx for all 3≤x<y∈N.
Proof. Fix x, we use induction to prove this lemma. When y=x+1,
x(x+1)=x⋅xx≥3xx>(1+x1)x⋅xx=(x+1)x.
Suppose it's true for y=x+1,…,x+k−1. Then,
xx+k=x⋅xx+k−1≥(1+x+k−11)x⋅(x+k−1)x=(x+k)x.
Therefore, it's true for all y∈N≥x+1, as desired.
Lemma 3. If a>b>c≥2, then ab+bc+ca<ac+ba+cb
Proof. Fix b and c, we consider the difference between RHS and LHS.
Let's claim:
ba+1−ca+1+(a+1)c−(a+1)b>ba−ca+ac−ab, for all a≥b>c≥2.
Rewrite the inequality:
(b−1)ba−(c−1)ca+(a+1)c−ac>(a+1)b−bb(1)
Notice that (a+1)c−ac>0 and (a+1)b<(1+a1)b⋅ab<3ab. Thus, if the following:
(b−1)ba−(c−1)ca>2ab(2)
holds, then so does the claim. By lemma 1, we have (cb)a≥(1+c1)c>2. So
(b−1)ba−(c−1)ca>(b−1−2c−1)ba≥(2c+1)ba.
If c≥3, (2c+1)ba≥2ba>2ab. Also, when c=2,b≥4, Eq. (2) holds by similar argument.
It remains to check for b=3,c=2 for Eq.(1), that is,
2⋅3a−2a+(a+1)2−a2>(a+1)3−a3
which clearly holds. Finally, note that when a=b, it's an equation, therefore, the inequality holds.
Case 1. a>b>c: By lemma 3, LHS<RHS. In particular, there is no solution.
Case 2. b>a>c: By lemma 3 again, RHS<LHS. Still no solution. So the possibilities are permutations of (x,y,y) where x,y∈N with min{x,y}=2, which indeed satisfy the equation. Next, when c=1, it becomes
ab−ba=a−b
WLOG a>b, then
ab−ba=a−b>0→ab>ba.
By lemma 2, we must have b<3. In other words, b=1 or 2. If b=1, then a can be arbitrary positive integer. If b=2, then
2a=a2−a+2=(a+1)(a−2)
which means a+1,a−2 are powers of 2. Thus, they must be 4,1, respectively, since the difference between distinct powers of 2 is at least 3. The equality holds if and only if they are 1,4. So, a=3 and we conclude the solutions are permutations of (1,2,3) and (x,y,y) with x,y∈N.