Maths Olympiad Prep

Library / /1 of 11

Number theory Difficulty 5.4 AIME, harder Prove it Romania

Find all the positive integers aa and bb, such that 7a5b8\frac{7^a - 5^b}{8} is a prime number.

Solution

For any natural number kk, we have 52k=M8+15^{2k} = M_8 + 1, 52k+1=M8+55^{2k+1} = M_8 + 5, 72k=M8+17^{2k} = M_8 + 1 and 72k+1=M8+77^{2k+1} = M_8 + 7, therefore from 87a5b8 \mid 7^a - 5^b we deduce that aa and bb are even. Denote a=2ma = 2m, b=2nb = 2n, with mm and nn positive integers. Then 72m52n=8p7^{2m} - 5^{2n} = 8p, i.e. (7m5n)(7m+5n)=8p(7^m - 5^n)(7^m + 5^n) = 8p, with pp a prime.
If p=2p = 2, then (7m5n)(7m+5n)16(7^m - 5^n)(7^m + 5^n) \neq 16.
If p3p \ge 3, from 7m5n<7m+5n7^m - 5^n < 7^m + 5^n, as 7m5n7^m - 5^n and 7m+5n7^m + 5^n are even, we have the following situations:
(1){7m5n=47m+5n=2p,(2){7m5n=27m+5n=4p. (1^\circ) \begin{cases} 7^m - 5^n = 4 \\ 7^m + 5^n = 2p \end{cases}, \qquad (2^\circ) \begin{cases} 7^m - 5^n = 2 \\ 7^m + 5^n = 4p \end{cases}.
Case (1°): From 7m=M3+17^m = M_3 + 1 and 5n=M3±15^n = M_3 \pm 1, it follows that 7m5n=M37^m - 5^n = M_3 if nn is even, and 7m5n=M3+27^m - 5^n = M_3 + 2 if nn is odd. Since 4=M3+14 = M_3 + 1, there are no solutions in this case.
Case (2°): By subtracting the equations, we find that 2p=7m12p = 7^m - 1. Since 37m13 \mid 7^m - 1, it follows that 32p3 \mid 2p, thus p=3p = 3. We deduce that m=n=1m = n = 1, p=3p = 3, therefore the solution is (a,b)=(2,2)(a, b) = (2, 2).

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.