At most one solution to $a^x + b^y = c^z$ for some ranges of $a$, $b$, $c$

Abstract

We consider the number of solutions in positive integers $(x,y,z)$ for the purely exponential Diophantine equation $a^x+b^y =c^z$ (with $\gcd(a,b)=1$). Apart from a list of known exceptions, a conjecture published in 2016 claims that this equation has at most one solution in positive integers $x$, $y$, and $z$. We show that this is true for some ranges of $a$, $b$, $c$, for instance, when $1 < a,b < 3600$ and $c<10^{10}$. The conjecture also holds for small pairs $(a,b)$ independent of $c$, where $2 \le a,b \le 10$ with $\gcd(a,b)=1$. We show that the Pillai equation $a^x - b^y = r > 0$ has at most one solution (with a known list of exceptions) when $2 \le a,b \le 3600$. Finally, the primitive case of the Jeśmanowicz conjecture holds when $a \le 10^6$ or when $b \le 10^6$. This work highlights the power of some ideas of Miyazaki and Pink and the usefulness of a theorem by Scott.

Theorems & Definitions (25)

• Conjecture 1
• Theorem 1
• Lemma 1: Miyazaki and Pink
• Lemma 2: Miyazaki and Pink
• Lemma 3
• proof
• Lemma 4
• Theorem 2: Scott
• proof
• Theorem 3