The positive integer solutions for $2^a+3^b=5^c$

Question

What are the positive integer solutions to the equation

$$2^a + 3^b = 5^c$$

Of course $(1,\space 1, \space 1)$ is a solution.

Answer 1

If $a=0$, then it is clear there are no solutions. If $b=0$, then we need $2^a + 1 = 5^c$. It is easy to show in this case $a=2,c=1$ is the only solution by showing that we need $2^{a-2}|c$. When $c=0$ there are obviously no solutions.

Suppose $a=1$. Then $2 + 3^b = 5^c$ only has the solution of $b=1,c=1$. To show this check modulo $275$ to deduce $c=1$ and thus $b=1$ is forced.

Now, suppose $a \ge 3$. Then remark that by checking modulo $4$ we need $b$ to be even so let $b = 2b'$. So let's solve $2^a + 3^{2b'} = 5^c$. Checking modulo $8$ we get $c$ is even so let $c = 2c'$. Then: $$2^a = (5^{c'} - 3^{b'})(5^{c'}+3^{b'})$$ We get $5^{c'} - 3^{b'} = 2^m, 5^{c'}+3^{b'} = 2^n$ for some $m,n$. But then $2 \cdot 5^{c'} = 2^m + 2^n$, forcing $m=1$. Thus we need $5^{c'} - 3^{b'} = 2$. But we already showed this only has the solution $b' = 1, c' = 1$. Thus it follows the only solution where $a \ge 2$ is with $a=4, b = 2, c= 2$.

Putting every together, we have proven the only solutions are $(2,0,1), (1,1,1), (4,2,2)$

EDIT: I realize I forgot to do the case of $a=2$. So we need to solve $4 + 3^{2b'} = 5^c$. Modulo $275$ happens to work again to force $c=1$ and thus we get no solutions when $b$ is nonzero.

Answer 2

Another solution is $2^4 + 3^2 = 5^2$. That's probably all.

Answer 3

Here is a little program in Python:

for k in range(10):
for l in range(10):
    for m in range(10):
        if 2**k + 3**l == 5**m:
            print (k, l, m)

Its output is as follows

    python check.py
1 1 1
2 0 1
4 2 2

This yields these three equations.

$$2 + 3 = 5$$ $$2^2 + 3^0 = 5^1$$ $$2^4 + 3^2 = 5^2.$$

And that's all folks! Swap 100 for 10 and the result is the same. Cooking up an analytical proof of we have done is not hard.