Maths Olympiad Prep

Library / /215 of 397

Number theory Difficulty 6.0 AIME, harder Prove it Taiwan

Find all ordered triples of positive integers (a,b,c)(a, b, c) such that
ab+bc+ca=ac+ba+cb a^b + b^c + c^a = a^c + b^a + c^b
holds.

Solution

Permutations of (1,2,3)(1, 2, 3) or (x,y,y)(x, y, y) where x,yNx, y \in N, NN is the set of all positive numbers.

Lemma 1. 2<(1+1n)n<32 < (1 + \frac{1}{n})^n < 3 for all nN2n \in N_{\ge 2}

Proof. Use binomial theorem, we have
2=1+n1n<1+n1n+i=2n(ni)ni=(1+1n)n. 2 = 1 + n \cdot \frac{1}{n} < 1 + n \cdot \frac{1}{n} + \sum_{i=2}^{n} \frac{\binom{n}{i}}{n^i} = (1 + \frac{1}{n})^n.
On the other hand,
(1+1n)n=1+n1n+i=2n(ni)ni<1+1+i=2n12k1<3. (1 + \frac{1}{n})^n = 1 + n \cdot \frac{1}{n} + \sum_{i=2}^{n} \frac{\binom{n}{i}}{n^i} < 1 + 1 + \sum_{i=2}^{n} \frac{1}{2^{k-1}} < 3.

Lemma 2. xy>yxx^y > y^x for all 3x<yN3 \le x < y \in N.

Proof. Fix xx, we use induction to prove this lemma. When y=x+1y = x + 1,
x(x+1)=xxx3xx>(1+1x)xxx=(x+1)x. x^{(x+1)} = x \cdot x^x \ge 3x^x > (1 + \frac{1}{x})^x \cdot x^x = (x+1)^x.
Suppose it's true for y=x+1,,x+k1y = x + 1, \dots, x + k - 1. Then,
xx+k=xxx+k1(1+1x+k1)x(x+k1)x=(x+k)x. x^{x+k} = x \cdot x^{x+k-1} \ge (1 + \frac{1}{x+k-1})^x \cdot (x+k-1)^x = (x+k)^x.
Therefore, it's true for all yNx+1y \in N_{\ge x+1}, as desired.

Lemma 3. If a>b>c2a > b > c \ge 2, then ab+bc+ca<ac+ba+cba^b + b^c + c^a < a^c + b^a + c^b

Proof. Fix bb and cc, we consider the difference between RHS and LHS.
Let's claim:
ba+1ca+1+(a+1)c(a+1)b>baca+acab, for all ab>c2. b^{a+1} - c^{a+1} + (a+1)^c - (a+1)^b > b^a - c^a + a^c - a^b, \text{ for all } a \ge b > c \ge 2.
Rewrite the inequality:
(b1)ba(c1)ca+(a+1)cac>(a+1)bbb(1) (b-1)b^a - (c-1)c^a + (a+1)^c - a^c > (a+1)^b - b^b \quad (1)
Notice that (a+1)cac>0(a+1)^c - a^c > 0 and (a+1)b<(1+1a)bab<3ab(a+1)^b < (1+\frac{1}{a})^b \cdot a^b < 3a^b. Thus, if the following:
(b1)ba(c1)ca>2ab(2) (b-1)b^a - (c-1)c^a > 2a^b \quad (2)
holds, then so does the claim. By lemma 1, we have (bc)a(1+1c)c>2(\frac{b}{c})^a \ge (1+\frac{1}{c})^c > 2. So
(b1)ba(c1)ca>(b1c12)ba(c+12)ba. (b-1)b^a - (c-1)c^a > \left(b-1-\frac{c-1}{2}\right)b^a \ge \left(\frac{c+1}{2}\right)b^a.
If c3c \ge 3, (c+12)ba2ba>2ab(\frac{c+1}{2}) b^a \ge 2b^a > 2a^b. Also, when c=2,b4c=2, b \ge 4, Eq. (2) holds by similar argument.
It remains to check for b=3,c=2b=3, c=2 for Eq.(1), that is,
23a2a+(a+1)2a2>(a+1)3a3 2 \cdot 3^a - 2^a + (a+1)^2 - a^2 > (a+1)^3 - a^3
which clearly holds. Finally, note that when a=ba=b, it's an equation, therefore, the inequality holds.

Case 1. a>b>ca > b > c: By lemma 3, LHS<RHSLHS < RHS. In particular, there is no solution.

Case 2. b>a>cb > a > c: By lemma 3 again, RHS<LHSRHS < LHS. Still no solution. So the possibilities are permutations of (x,y,y)(x, y, y) where x,yNx, y \in N with min{x,y}=2\min\{x, y\} = 2, which indeed satisfy the equation. Next, when c=1c = 1, it becomes
abba=ab a^b - b^a = a - b
WLOG a>ba > b, then
abba=ab>0ab>ba. a^b - b^a = a - b > 0 \rightarrow a^b > b^a.
By lemma 2, we must have b<3b < 3. In other words, b=1b = 1 or 22. If b=1b = 1, then aa can be arbitrary positive integer. If b=2b = 2, then
2a=a2a+2=(a+1)(a2) 2^a = a^2 - a + 2 = (a + 1)(a - 2)
which means a+1,a2a + 1, a - 2 are powers of 2. Thus, they must be 4,14, 1, respectively, since the difference between distinct powers of 2 is at least 3. The equality holds if and only if they are 1,41, 4. So, a=3a = 3 and we conclude the solutions are permutations of (1,2,3)(1, 2, 3) and (x,y,y)(x, y, y) with x,yNx, y \in N.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from the original; metadata (topic, difficulty) added by this project.