Maths Olympiad Prep

Library / /42 of 133

, 2015

Number theory Difficulty 5.3 AIME, harder Prove it Saudi Arabia

Find all integer solutions of the equation 14x3y=201514^{x} - 3^{y} = 2015.

Solution

Notice that 14x201514^{x} \geq 2015 which implies that x3x \geq 3. On the other hand 3y=14x20151432015=729=363^{y} = 14^{x} - 2015 \geq 14^{3} - 2015 = 729 = 3^{6}. We deduce that y6y \geq 6.

We have 3y=14x20151(mod7)3^{y} = 14^{x} - 2015 \equiv 1 \pmod{7}. But Ord73=6\operatorname{Ord}_{7} 3 = 6. We deduce that y=6ky = 6k for some positive integer kk.

We have 0201514x36k(1)x(1)k(mod5)0 \equiv 2015 \equiv 14^{x} - 3^{6k} \equiv (-1)^{x} - (-1)^{k} \pmod{5}. We deduce that xx and kk have the same parity.

Because y6y \geq 6, we have 5x14x3y20151(mod9)5^{x} \equiv 14^{x} - 3^{y} \equiv 2015 \equiv -1 \pmod{9}. This implies that x3(mod6)x \equiv 3 \pmod{6} and therefore both xx and kk are odd numbers.

Now, assume that x>3x > 3. This means that 14x0(mod16)14^{x} \equiv 0 \pmod{16} which implies that 9k36k1(mod16)9^{k} \equiv 3^{6k} \equiv 1 \pmod{16}. But Ord169=2\operatorname{Ord}_{16} 9 = 2, which means that kk is even, which is a contradiction.

We deduce that x=3x = 3 and hence y=6y = 6 which gives the unique solution of the equation.

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.