Olympiad Maths Prep

Library / /3 of 3

Number theory Difficulty 4.5 AIME Prove it Turkey

Let mm, nn, aa, kk be positive integers and k>1k > 1 such that the equality
5m+63n+49=ak 5^m + 63n + 49 = a^k
holds. Find the minimum value of kk.

Solution

Answer: 55. The quadruple (m,n,a,k)=(1,3,3,5)(m, n, a, k) = (1, 3, 3, 5) satisfies the equation. We will show the cases k4k \le 4 are not possible.

For k=2k = 2, we will look at the equation in modulo 77. 5ma2(mod7)5^m \equiv a^2 \pmod{7} hence mm should be even. Therefore
5m+63n+492(mod3) 5^m + 63n + 49 \equiv 2 \pmod{3}
and LHS cannot be a perfect square. Similarly the case k=4k = 4 is also eliminated.

For k=3k = 3, we again consider modulo 77 and 5ma3(mod7)5^m \equiv a^3 \pmod{7} hence mm should be a multiple of 33, say m=3lm = 3l. Then 53l+63n+49125l+43,5(mod9)5^{3l} + 63n + 49 \equiv 125^l + 4 \equiv 3,5 \pmod{9} however a30,1,8(mod9)a^3 \equiv 0,1,8 \pmod{9} so there are no solutions in this case as well.

Since 5m{1,5,25,1,5,25}(mod63)5^m \in \{1,5,25,-1,-5,-25\} \pmod{63} we get
ak{11,24,44,48,50,54}(mod63) a^k \in \{11,24,44,48,50,54\} \pmod{63}
Then ak2(mod3)a^k \equiv 2 \pmod{3} or ak{3,5,6}(mod7)a^k \in \{3,5,6\} \pmod{7}. Therefore, aka^k is not a perfect square: kk is odd. Moreover ak{2,3,4,5}(mod7)a^k \in \{2,3,4,5\} \pmod{7} or ak{3,5}(mod9)a^k \in \{3,5\} \pmod{9}. Therefore, aka^k is not a perfect cube: 3k3 \nmid k. Thus, k5k \ge 5.

Looking for a route rather than 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.