We discuss the equation $a^p+2^{\alpha }{b}^p+c^p=0$ in which a, b, and c are non-zero relatively prime integers, p is an odd prime number, and α is a positive integer. The technique used to prove Fermat’s Last Theorem shows that the equation has no solutions with α < 1 or b even. When α=1 and b is odd, there are the two trivial solutions (±1, ∓ 1, ±1). In 1952, Dénes conjectured that these are the only ones. Using methods of Darmon, we prove this conjecture for p≡ 1 mod 4.

We study coprime integer solutions to the equation a³ + b³ⁿ = c² using Galois representations and modular forms. This case represents perhaps the last natural family of generalized Fermat equations descended from spherical cases which is amenable to resolution using the so-called modular method. Our techniques involve an elaborate combination of ingredients, ranging from ℚ-curves and a delicate multi-Frey approach, to appeal to intricate image of inertia arguments.

For any positive integer $D$ which is not a square, let $(u_1,v_1)$ be the least positive integer solution of the Pell equation $u^2-D{v}^2=1,$ and let $h\left(4D\right)$ denote the class number of binary quadratic primitive forms of discriminant $4D$. If $D$ satisfies $2\nmid D$ and $v_{1}h\left(4D\right)\equiv 0(modD)$, then $D$ is called a singular number. In this paper, we prove that if $(x,y,z)$ is a positive integer solution of the equation $x^y+y^x=z^z$ with $2\mid z$, then maximum $max\{x,y,z\}<480000$ and both $x$, $y$ are singular numbers. Thus, one can possibly prove that the equation has no positive integer solutions $(x,y,z)$.

Skolem conjectured that the "power sum" A(n) = λ₁α₁ⁿ + ⋯ + λₘαₘⁿ satisfies a certain local-global principle. We prove this conjecture in the case when the multiplicative group generated by α₁,...,αₘ is of rank 1.

This paper is concerned with the estimation of the number of integer solutions to exponential equations in several variables, over function fields. We develop a method which sometimes allows to replace known exponential bounds with polynomial ones. More generally, we prove a counting result (Thm. 1) on the integer points where given exponential terms become linearly dependent over the constant field. Several applications are given to equations (Cor. 1) and to the estimation of the number of equal...

Let $k\ge 2$ and define $F^{\left(k\right)}:={\left(F_n^{\left(k\right)}\right)}_{n\ge 0}$, the $k$-generalized Fibonacci sequence whose terms satisfy the recurrence relation $F_n^{\left(k\right)}=F_{n-1}^{\left(k\right)}+F_{n-2}^{\left(k\right)}+\cdots +F_{n-k}^{\left(k\right)}$, with initial conditions $0,0,\cdots ,0,1$ ($k$ terms) and such that the first nonzero term is $F_1^{\left(k\right)}=1$. The sequences $F:=F^{\left(2\right)}$ and $T:=F^{\left(3\right)}$ are the known Fibonacci and Tribonacci sequences, respectively. In 2005, Noe and Post made a conjecture related to the possible solutions of the Diophantine equation $F_n^{\left(k\right)}=F_m^{\left(\ell \right)}$. In this note, we use transcendental tools to provide a general method for finding the intersections $F^{\left(k\right)}\cap F^{\left(m\right)}$ which gives evidence supporting...

We completely solve the Diophantine equations $x²+2^a{q}^b=yⁿ$ (for q = 17, 29, 41). We also determine all $C=p{₁}^{a₁}\cdots p_k^{a_k}$ and $C=2^{a₀}p{₁}^{a₁}\cdots p_k^{a_k}$, where $p₁,...,p_k$ are fixed primes satisfying certain conditions. The corresponding Diophantine equations x² + C = yⁿ may be studied by the method used by Abu Muriefah et al. (2008) and Luca and Togbé (2009).