2025/03/02 by Takafumi Miyazaki, Miyazaki, Takafumi · 1 citation
Computer Science · Mathematics · #11D61 #Algebraic Geometry and Number Theory #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2503.00843
openalex publication_date 2025/03/02 · openalex created_date 2025/10/12 · openalex updated_date 2026/07/28
An important unsolved problem in Diophantine number theory is to establish a general method to effectively find all solutions to any given S-unit equation with at least four terms. Although there are many works contributing to this problem in literature, most of which handle purely exponential Diophantine equations, it can be said that all of them only solve finitely many equations in a natural distinction. In this paper, we study infinitely many purely exponential Diophantine equations with four terms of consecutive bases. Our result states that all solutions to the equation nx+(n+1)y+(n+2)z=(n+3)w in positive integers n,x,y,z,w with n ≡ 3 \pmod4 are given by (n,x,y,z,w)=(3,3,1,1,2), (3,3,3,3,3). The proof uses elementary congruence arguments developed in the study of ternary case, Baker's method in both rational and p-adic cases, and the algorithm of Bertók and Hajdu based on a variant of Skolem's conjecture on purely exponential equations.