Maths Olympiad Prep

Library / /14 of 28

Number theory Difficulty 5.7 AIME, harder Prove it JBMO

Problem:
Find all natural numbers aa, bb, cc for which 1997a+15b=2012c1997^{a} + 15^{b} = 2012^{c}.

Solution

Solution:
1997a+15b=2012c1+(1)b0(mod4)1997^{a} + 15^{b} = 2012^{c} \Rightarrow 1 + (-1)^{b} \equiv 0 \pmod{4}, so bb is an odd number.
1997a+15b=2012c1+02c(mod3)1997^{a} + 15^{b} = 2012^{c} \Rightarrow 1 + 0 \equiv 2^{c} \pmod{3}, so cc is even, say c=2c1c = 2c_{1}.
We intend to consider the given equation modulo 88 and for this reason we discern two cases:

(1): c=1c = 1. Clearly then a=b=1a = b = 1 and a=b=c=1a = b = c = 1 is a solution. This is actually the only solution of the given equation since in the remaining case where c>1c > 1 it will be shown that there exist no solution.

(2): c>1c > 1. Then 2012c=(4503)c2012^{c} = (4 \cdot 503)^{c} is a multiple of 88 and
1997a+15b=2012c5a+(1)b5a+(1)0(mod8)1997^{a} + 15^{b} = 2012^{c} \Rightarrow 5^{a} + (-1)^{b} \equiv 5^{a} + (-1) \equiv 0 \pmod{8}, so aa is even, say a=2a1a = 2a_{1}. Hence
3b5b=15b=2012c1997a=(2012c11997a1)(2012c1+1997a1) 3^{b} \cdot 5^{b} = 15^{b} = 2012^{c} - 1997^{a} = \left(2012^{c_{1}} - 1997^{a_{1}}\right) \cdot \left(2012^{c_{1}} + 1997^{a_{1}}\right)
Observe that 2012c11997a12012^{c_{1}} - 1997^{a_{1}}, 2012c1+1997a12012^{c_{1}} + 1997^{a_{1}} are both greater than 11 and prime to each other as gcd(2012c11997a1,2012c1+1997a1)=gcd(2012c11997a1,21997a1)=1\gcd\left(2012^{c_{1}} - 1997^{a_{1}}, 2012^{c_{1}} + 1997^{a_{1}}\right) = \gcd\left(2012^{c_{1}} - 1997^{a_{1}}, 2 \cdot 1997^{a_{1}}\right) = 1. So there exist two cases:
Case 1:2012c11997a1=5b2012c1+1997a1=3b,Case 2:2012c11997a1=3b2012c1+1997a1=5b \text{Case 1:} \begin{aligned} & 2012^{c_{1}} - 1997^{a_{1}} = 5^{b} \\ & 2012^{c_{1}} + 1997^{a_{1}} = 3^{b} \end{aligned}, \quad \text{Case 2:} \begin{aligned} & 2012^{c_{1}} - 1997^{a_{1}} = 3^{b} \\ & 2012^{c_{1}} + 1997^{a_{1}} = 5^{b} \end{aligned}

Case 1:
2012c11997a1=5b2c12a10(mod5)c1a1(mod5)2012c1+1997a1=3b2c1+2a10(mod5)c1a1+1(mod5) \begin{gathered} 2012^{c_{1}} - 1997^{a_{1}} = 5^{b} \Rightarrow 2^{c_{1}} - 2^{a_{1}} \equiv 0 \pmod{5} \Rightarrow c_{1} \equiv a_{1} \pmod{5} \\ 2012^{c_{1}} + 1997^{a_{1}} = 3^{b} \Rightarrow 2^{c_{1}} + 2^{a_{1}} \equiv 0 \pmod{5} \Rightarrow c_{1} \equiv a_{1} + 1 \pmod{5} \end{gathered}
a contradiction.

Case 2:
2012c11997a1=3b2012c1+1997a1=5b \begin{aligned} & 2012^{c_{1}} - 1997^{a_{1}} = 3^{b} \\ & 2012^{c_{1}} + 1997^{a_{1}} = 5^{b} \end{aligned}
Since bb is an odd number we get 2012c1+1997a15b(mod3)2c1+2a15b2(mod3)2012^{c_{1}} + 1997^{a_{1}} \equiv 5^{b} \pmod{3} \Rightarrow 2^{c_{1}} + 2^{a_{1}} \equiv 5^{b} \equiv 2 \pmod{3} so a1,c1a_{1}, c_{1} are even numbers, say a1=2a2,c1=2c2a_{1} = 2a_{2}, c_{1} = 2c_{2}. Then
(2012c21997a2)(2012c2+1997a2)=3b \left(2012^{c_{2}} - 1997^{a_{2}}\right) \cdot \left(2012^{c_{2}} + 1997^{a_{2}}\right) = 3^{b}
But gcd(2012c21997a2,2012c2+1997a2)=1\gcd\left(2012^{c_{2}} - 1997^{a_{2}}, 2012^{c_{2}} + 1997^{a_{2}}\right) = 1 and the above implies 2012c21997a2=12012^{c_{2}} - 1997^{a_{2}} = 1. But then mod 44, we get 013(mod4)0 - 1 \equiv 3 \pmod{4}, a contradiction.

Therefore there exists no solution for c>1c > 1.

Hence a=b=c=1a = b = c = 1 is the only solution.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.