Number of solutions to $a^x+b^y=c^z$ with $\gcd(a,b)>1$
Reese Scott,Robert Styer
2024-08-16
Abstract:We show that there are at most two solutions in positive integers $(x,y,z)$ to the equation $a^x+b^y=c^z$ for positive integers $a$, $b$, and $c$ all greater than one, where at least one of $a$, $b$, $c$ is not a power of 2, and $(\{a,b\},c) \ne (\{3,5\},2)$ (two solutions $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ are considered the same solution if $\{ a^{x_1}, b^{y_1} \} = \{ a^{x_2}, b^{y_2} \}$). The case in which $\gcd(a,b)=1$ has been handled in a series of successive results by Scott and Styer, Hu and Le, and Miyazaki and Pink, who showed that there are at most two solutions, excepting $(\{a,b\},c) = (\{3,5\},2)$, which gives three solutions. So here we treat the case $\gcd(a,b)>1$, showing that there are at most two solutions in this case if at least one of $a$, $b$, $c$ is not a power of 2. This generalizes work of Bennett, who proved the equivalent result (for both $\gcd(a,b)=1$ and $\gcd(a,b)>1$) for the case in which one of $x$ or $y$ is a fixed positive integer.
For both $\gcd(a,b)=1$ and $\gcd(a,b)>1$, there are an infinite number of cases with exactly two solutions $(x,y,z)$, which are described in detail in this and a cited previous paper.
In a further result, in which we no longer consider two solutions $(x_1,y_1,z_1)$ and $(x_2,y_2,z_2)$ to be the same solution if $\{ a^{x_1}, b^{y_1} \} = \{ a^{x_2}, b^{y_2} \}$, we list all cases with more than two solutions.
Number Theory