Abstract:This paper contributes to the conjecture of R. Scott and R. Styer which asserts that for any fixed relatively prime positive integers $a,b$ and $c$ greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for specific cases. The fundamental result proves the conjecture under some congruence condition modulo $c$ on $a$ and $b$. As applications the conjecture is confirmed to be true if $c$ takes some small values including the Fermat primes found so far, and this particularly provides an analytic proof of the celebrated theorem of Scott [R. Scott, On the equations $p^x-b^y=c$ and $a^x+b^y=c^z$, J. Number Theory 44(1993), 153-165] solving the conjecture for $c=2$ in a purely algebraic manner. The method can be generalized for smaller modulus cases, and it turns out that the conjecture holds true for infinitely many specific values of $c$ not being perfect powers. The main novelty is to apply a special type of the $p$-adic analogue to Baker's theory on linear forms in logarithms via a certain divisibility relation arising from the existence of two hypothetical solutions to the equation. The other tools include Baker's theory in the complex case and its non-Archimedean analogue for number fields together with various elementary arguments through rational and quadratic numbers, and extensive computation.

A note on the number of solutions of the generalized Ramanujan-Nagell equation x 2 − D = p n

On the Diophantine Equation Y~2=px(x~2+2)

A note on the Diophantine equation px(2) + q(2n) = y(p)

A new generalization of Fermat's Last Theorem

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

A variety of Euler’s sum of powers conjecture

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

A Note on Integers of the Form 2(N)+cp

Non-trivial Integer Solutions of $x^r+y^r=Dz^p$

A remark on large even integers of the form $p+P_3$

Number of solutions to a special type of unit equations in two variables II

Solution of certain Diophantine equations in Gaussian integers

On a binary Diophantine inequality involving primes of a special type

On an equation involving fractional powers with one prime and one almost prime variables

A number-theoretic problem concerning pseudo-real Riemann surfaces

Binomial Coefficients, Catalan Numbers and Lucas Quotients

Number of solutions to a special type of unit equations in two unknowns, II

Factoring integers using elliptic curves over q

A note on the Diophantine equations 2 l n 2 = 1 + q + ⋯ + q α and application to odd perfect numbers

Number of solutions to a special type of unit equations in two unknowns

New Congruences Involving Harmonic Numbers