Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /128 of 395

Saudi Arabian Mathematical Competitions, 2015

Number theory Difficulty 5.3 AIME, harder Prove it Saudi Arabia

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

Solution

Notice that 14x≥201514^{x} \geq 2015 which implies that x≥3x \geq 3. On the other hand 3y=14x−2015≥143−2015=729=363^{y} = 14^{x} - 2015 \geq 14^{3} - 2015 = 729 = 3^{6}. We deduce that y≥6y \geq 6.

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

We have 0≡2015≡14x−36k≡(−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 y≥6y \geq 6, we have 5x≡14x−3y≡2015≡−1(mod9)5^{x} \equiv 14^{x} - 3^{y} \equiv 2015 \equiv -1 \pmod{9}. This implies that x≡3(mod6)x \equiv 3 \pmod{6} and therefore both xx and kk are odd numbers.

Now, assume that x>3x > 3. This means that 14x≡0(mod16)14^{x} \equiv 0 \pmod{16} which implies that 9k≡36k≡1(mod16)9^{k} \equiv 3^{6k} \equiv 1 \pmod{16}. But Ord⁡169=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,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.