Maths Olympiad Prep

Library / /8 of 42

Number theory Difficulty 5.3 AIME, harder Prove it Romania

Find all positive integers aa and bb such that a4a=bba^{4a} = b^b.

Solution

If b4ab \ge 4a, then b>ab > a and bb>a4ab^b > a^{4a}. Therefore, in this case the equality is impossible.

If b<4ab < 4a, we have bb=a4a=a4ababb^b = a^{4a} = a^{4a-b} a^b, so bbb^b is divisible by aba^b. Therefore, bb is divisible by aa. It follows that b=nab = n a, with n=1n = 1 (I), n=2n = 2 (II), or n=3n = 3 (III).

We get (a4)a=((na)n)a(a^4)^a = ((n a)^n)^a, then a4=nnana^4 = n^n a^n, or a4n=nna^{4-n} = n^n. In case (I), we obtain a=b=1a = b = 1, in case (II) we obtain a=2,b=4a = 2, b = 4, while a=27,b=81a = 27, b = 81 in case (III).

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.