solution to $ 7^{a}+1 =3^{b}+5^{c} $ for natural $a$,$b$ and $c$ How do I solve $ 7^{a}+1 =3^{b}+5^{c} $ for natural $a$,$b$ and $c$?All I got after some modular arithmetic is that the $a$,$b$ and $c$ are all odd.The problem was posted on Art of Problem Solving(with no responses till now) and is supposedly from India International Mathematical Olympiad Training Camp.I was wondering if someone could please shed some insight as to whether it can be solved.
Thanks.(I am a bit skeptical about this problem although I may be wrong)
 A: It looks as if the problem can be conquered by persistent use of modular arithmetic. Throughout, it is assumed that $a,b,c$ are sufficiently large.


*

*Apply $\bmod{3}$ to find that 
$$ 2 \equiv 2^c \pmod{3} $$
It follows that $c \equiv 1 \pmod{2}$. Write $c = 2c_1 + 1$.

*Apply $\bmod{8}$ to find that:
$$ (-1)^a + 1 \equiv 3^b + 5 \pmod{8} $$
It follows that $a \equiv b \equiv 1 \pmod{2}$. Write $a = 2a_1 + 1, \ b = 2b_1 + 1$.

*Apply $\bmod{5}$ to find that:
$$ 2 \cdot (-1)^{a_1} +1 \equiv 3 \cdot (-1)^{b_1} \pmod{5} $$
It follows that $a_1 \equiv b_1 \equiv 0 \pmod{2}$. Write $a_1 = 2a_2,\ b_1 = 2b_2$. Th

*Apply $\bmod{16}$ to find that:
$$ 7+1 \equiv 3 + 5 \cdot 9^{c_1} \pmod{16} $$
It follows that $c \equiv 0 \pmod{2}$. Write $c_1 = 2c_2$.
The equation is now:
$$ 7^{4a_2 + 1} + 1 = 3^{4b_2+1} + 5^{4c_2+1} $$

*Apply $\bmod{13}$ [note: the number $13$ comes from the observation that $5^4 \equiv 1 \pmod{13}$ and $\phi(13) = 12$ is divisible by $4$] to find that:
$$ 7^{4a_2 + 1} + 1 \equiv 3^{4b_2+1} + 5 \pmod{13} $$
By Fermat's theorem, only the residues of $4a_2 + 1$ and $4b_2+1$ in arithmetic $\bmod \phi(13)$ play a role in the above congruence, so we have just $\frac{\phi(13)}{\gcd(4,\phi(13))} = 3$ values of $a_2,b_2$ to check. It turns out that $a_2,b_2 \equiv 0 \pmod{3}$ are the only solutions. Write $a_2 = 3 a_3$ and $b_2 = 3b_3$.
The equation is now:
$$ 7^{12a_3 + 1} + 1 = 3^{12b_3+1} + 5^{4c_2+1} $$

*Apply $\bmod{9}$ to find that:
$$ 7 + 1 \equiv 5\cdot4^{c_2} \pmod{9} $$
By checking the $6$ possible values of $c_2$, one finds that $c_2 \equiv 2 \pmod{3}$. Write $c_2 = 3c_3 + 9$.
The equation is now:
$$ 7^{12a_3 + 1} + 1 = 3^{12b_3+1} + 5^{12c_3+9} $$

*Apply $\bmod{37}$. Again, it is a reasonable guess because $\phi(37) = 36$ has many common factors with the $12$ that occurs in the exponentials, so the resulting congruence depends only on $a_3,b_3,c_3 \pmod{3}$. A rather mudane [I advise against attempting to do it by hand] direct check proves that there are no solutions. 

*We have shown that there are no solutions with the assumption that all numbers are "sufficiently large". One should now check how large the numbers really have to be, and look for small solutions. This will be significantly easier, since at least one of $a,b,c$ will be fixed at some small value. However, a lot of cases will be involved. 
