Maths Olympiad Prep

Track / Stage 5 / 63 of 400 #1303 of 2604

Problem 1303

AIME late
Number theory Difficulty 5.1 Prove it Korean Mathematical Olympiad Final Round · South Korea

Find all pairs of positive integers mm, nn satisfying the equation 3m−7n=23^m - 7^n = 2.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Since 3m−2≡0(mod7)3^m - 2 \equiv 0 \pmod{7}, one may easily show that m≡2(mod6)m \equiv 2 \pmod{6}. If m=2m = 2 then n=1n = 1, which is a solution of the equation.

Assume that m=2s≥4m = 2s \ge 4. Note that 2+7n2 + 7^n is divisible by 2727 in this case and
79≡1(mod27),71≡−2(mod27). 7^9 \equiv 1 \pmod{27}, \quad 7^1 \equiv -2 \pmod{27}.
Hence we have n≡4(mod9)n \equiv 4 \pmod{9}. If we let n=9t+4n = 9t + 4, then
2+79t+4≡2+74≡35(mod37). 2 + 7^{9t+4} \equiv 2 + 7^4 \equiv 35 \pmod{37}.
For any positive integer uu less than 1010,
9n≡9,7,26,12,34,10,16,33,1(mod37). 9^n \equiv 9, 7, 26, 12, 34, 10, 16, 33, 1 \pmod{37}.
Therefore there does not exist a solution for any m≥4m \ge 4. □\square

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