Maths Olympiad Prep

Library / /6 of 27

Number theory Difficulty 5.3 AIME, harder Prove it Romania

Determine all pairs of positive integers aa and bb for which a65b+1a^6 \ge 5^{b+1} and b65a+1b^6 \ge 5^{a+1}.

Solution

We will prove the inequality 5n+1n65^{n+1} \ge n^6 holds for all positive integers nn, except n=3n = 3 and n=4n = 4.

Indeed, this is readily verified for n=1n = 1, n=2n = 2 and n=5n = 5. When the thesis is true for n5n \ge 5, then 5n+2=55n+15n65^{n+2} = 5 \cdot 5^{n+1} \ge 5n^6. It is then sufficient to show that 5n6(n+1)65n^6 \ge (n+1)^6, rewritten as 5(1+1n)65 \ge \left(1 + \frac{1}{n}\right)^6. Since (1+1n)6<(1+14)6=55546=531254096<5\left(1 + \frac{1}{n}\right)^6 < \left(1 + \frac{1}{4}\right)^6 = 5 \cdot \frac{5^5}{4^6} = 5 \cdot \frac{3125}{4096} < 5, everything is thus proven, by simple induction; moreover, the inequality becomes strict for n>5n > 5.

One thus gets 5a+1a65^{a+1} \ge a^6 and 5b+1b65^{b+1} \ge b^6, for all a,ba, b different from 33 and 44. Multiplying, first the two inequalities given in the problem statement, then those two just obtained in the above, we get a6b65b+15a+1b6a6a^6 b^6 \ge 5^{b+1} 5^{a+1} \ge b^6 a^6. But equality only holds here if a=b=5a = b = 5, which clearly checks. Otherwise, it needs a=4a = 4 or a=3a = 3 (or, symmetrically, b=4b = 4 or b=3b = 3). If a=4a = 4, then the inequalities given in the problem statement become 46>5b+14^6 > 5^{b+1} and b6>55b^6 > 5^5, leading to b4b \le 4 and b4b \ge 4 respectively, hence b=4b = 4. If a=3a = 3, then 36>5b+13^6 > 5^{b+1} and b6>54b^6 > 5^4, leading to b3b \le 3 and b3b \ge 3 respectively, hence b=3b = 3.

Two more pairs of solutions a=b=4a = b = 4 and a=b=3a = b = 3 have thus been found.

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 and solution reproduced as published; topic and difficulty added by this site.