Maths Olympiad Prep

Library / Junior Turkish Mathematical Olympiad /18 of 19

Junior Turkish Mathematical Olympiad

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 k≤4k \le 4 are not possible.

For k=2k = 2, we will look at the equation in modulo 77. 5m≡a2(mod7)5^m \equiv a^2 \pmod{7} hence mm should be even. Therefore
5m+63n+49≡2(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 5m≡a3(mod7)5^m \equiv a^3 \pmod{7} hence mm should be a multiple of 33, say m=3lm = 3l. Then 53l+63n+49≡125l+4≡3,5(mod9)5^{3l} + 63n + 49 \equiv 125^l + 4 \equiv 3,5 \pmod{9} however a3≡0,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 ak≡2(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: 3∤k3 \nmid k. Thus, k≥5k \ge 5.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.