In this paper we investigate Diophantine equations of the form $T^2=G(\overline{X}),\; \overline{X}=(X_{1},\ldots,X_{m})$, where $m=3$ or $m=4$ and $G$ is specific homogenous quintic form. First, we prove that if $F(x,y,z)=x^2+y^2+az^2+bxy+cyz+dxz\in\Z[x,y,z]$ and $(b-2,4a-d^2,d)\neq (0,0,0)$, then the Diophantine equation $t^2=nxyzF(x,y,z)$ has solution in polynomials $x, y, z, t$ with integer coefficients, without polynomial common factor of positive degree. In case $a=d=0, b=2$ we prove that there are infinitely many primitive integer solutions of the Diophantine equation under consideration. As an application of our result we prove that for each $n\in\Q\setminus\{0\}$ the Diophantine equation \begin{equation*} T^2=n(X_{1}^5+X_{2}^5+X_{3}^5+X_{4}^5) \end{equation*} has a solution in co-prime (non-homogenous) polynomials in two variables with integer coefficients. We also present a method which sometimes allow us to prove the existence of primitive integers solutions of more general quintic Diophantine equation of the form $T^2=aX_{1}^5+bX_{2}^5+cX_{3}^5+dX_{4}^5$, where $a, b, c, d\in\Z$. In particular, we prove that for each $m, n\in\Z\setminus\{0\},$ the Diophantine equation \begin{equation*} T^2=m(X_{1}^5-X_{2}^5)+n^2(X_{3}^5-X_{4}^5) \end{equation*} has a solution in polynomials which are co-prime over $\Z[t]$. Moreover, we show how modification of the presented method can be used in order to prove that for each $n\in\Q\setminus\{0\}$, the Diophantine equation \begin{equation*} t^2=n(X_{1}^5+X_{2}^5-2X_{3}^5) \end{equation*} has a solution in polynomials which are co-prime over $\Z[t]$.
The paper assesses the top number of integer solutions for algebraic Diophantine Thue diagonal equation of the degree $n \geq 2$ and number of variables $k > 2$ and equations with explicit variable in the case when the coefficients of the equation are of the opposite signs. The author found integer conversions that maintain the asymptotic behavior of the number of integer solutions of algebraic Diophantine equation in the case of the conversion equation to diagonal form. The paper considers the estimation of the number of integer solutions for some types of algebraic Diophantine equations with…
This paper investigates the upper bound of the number of integer (natural) solutions of inhomogeneous algebraic Diophantine diagonal equations with integer coefficients without a free member via the circle method of Hardy and Littlewood. Author found the upper bound of the number of natural solutions of inhomogeneous algebraic Diophantine diagonal equations with explicit variable. He developed a method in the paper, which allows you to perform the low estimate of the number of natural (integer) solutions of algebraic Diophantine equation with integer coefficients. Author obtained a lower estim…
The author showed that any homogeneous algebraic Diophantine equation of the second order can be converted to a diagonal form using an integer non-orthogonal transformation maintaining asymptotic behavior of the number of its integer solutions. In this paper, we consider the transformation to the diagonal form of a wider class of algebraic second-order Diophantine equations, and also we consider the conditions for converting higher order algebraic Diophantine equations to this form. The author found an asymptotic estimate for the number of integer solutions of the diagonal Thue equation of odd…
We prove a generalization of W.M. Schmidt's theorem related to the Diophantine approximations for a linear form of the type $α_1x_1+α_2x_2 +y$ with {\it positive} integers $x_1,x_2$.
In this paper, we use some extension of the Cayley-Hamilton theorem to find a family of matrices with integer entries that satisfy the non-linear Diophantine equation $ x^{n}+y^{p}=z^{q}$ where $n,p$ and $q$ are arbitrary positive integers.
The paper presents a new generalized integer orthogonal transformation which consists of a well known orthogonal transform followed by stretching the basis vectors maintaining the asymptotic behavior of the number of integer solutions for algebraic Diophantine equation. The author shows the properties of this transformation and he receives the algorithm for finding the matrix elements of a generalized integer orthogonal transformation for algebraic Diophantine equation of the second order to diagonal form. The article includes examples illustrating the reduction of algebraic equations of the s…
Author developed a method in the paper, which, unlike the circle method of Hardy and Littlewood (CM), allows you to perform a lower estimate for the number of natural (integer) solutions of algebraic Diophantine equation with integer coefficients. It was found the lower estimate of the number of natural solutions to various types of homogeneous algebraic Diophantine equations with integer coefficients diagonal form with any number of variables using this method. Author obtained upper bound of the number of the natural solutions (using CM) of one type of homogeneous Diophantine equation for val…
A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. It was recently proven that there is no Diophantine quintuple in positive integers. We study the same problem in the rings of integers of imaginary quadratic fields. By using a gap principle proven by Diophantine approximations, we show that $m\leqslant 42$. Our proof is relatively simple compared to the proofs of the similar results in positive integers.
In this note we find all the solutions of the Diophantine equation $x^4\pm y^4=iz^2$ using elliptic curves over $\mathbb Q(i)$. Also, using the same method we give a new proof of Hilbert's result that the equation $x^4\pm y^4=z^2$ has only trivial solutions in Gaussian integers.
Let E_n={x_i=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. For a positive integer n, let f(n) denote the greatest finite total number of solutions of a subsystem of E_n in integers x_1,...,x_n. We prove: (1) the function f is strictly increasing, (2) if a non-decreasing function g from positive integers to positive integers satisfies f(n) \geq g(n) for any n, then a finite-fold Diophantine representation of g does not exist, (3) if the question of the title has a positive answer, then there is a computable strictly increasing function g from positive integers to positive integers su…
A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. In this paper we study the extensibility of a Diophantine triple $\{k-1, k+1, 16k^3-4k\}$ in Gaussian integers $\mathbb{Z}[i]$ to a Diophantine quadruple. Similar one-parameter family, $\{k-1, k+1, 4k\}$, was studied in Franušić's previous paper, where it was shown that the extension to a Diophantine quadruple is unique (with an element $16k^3-4k$). The family of the triples of the same form $\{k-1, k+1, 16k^3-4k\}$ was already studied in rational integers.…
Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies x_1,...,x_n \leq f(2n). We prove: (1) the conjecture implies that there exists an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the heights of integer (non-negative integer, positive integer, rational) solutions, if the solution …
In this paper, we study the solutions of the equation $F_n-F_m=p^a$ where $p$ is either $7$ or $13$ and $n>m\geqslant 0$, $a\geqslant 2$. We confirm the conjecture of Erduvan and Keskin by proving that there is no solutions for this Diophantine equation. We will use the lower bounds for linear forms in logarithms (Baker's theory) and a version of the Baker-Davenport reduction method in Diophantine approximation.
The study of finiteness or infiniteness of integer solutions of a Diophantine equation has been considered as a standard problem in the literature. In this paper, for f(x) in Z[x] monic and q1 ,...., qm in Z, we study the conditions for which the Diophantine equatio (y + q1 )(y + q2 ) .... (y + qm ) = f(x) has finitely many solutions in integers. Also assuming ABC Conjecture, we study the conditions for finiteness of integer solutions of the Diophantine equation f(x) = g(y).
In this article the Diophantine equations of the form $x^{2}-8C_{n}xy+ 16y^{2}=\pm2^{r}$, $x^{4}-8C_{n}x^{2}y+ 16y^{2}=\pm2^{r}$ and $x^{2}-8C_{n}xy^{2}+ 16y^{4}=\pm2^{r}$ are taken into consideration for the investigations of existence of any positive integer solutions. Furthermore, the solutions are manifested in terms of the balancing, Pell and Lucas-Pell numbers.
The Diophantine equation $A^4+hB^4=C^4+hD^4$, where $h$ is a fixed arbitrary positive integer, has been investigated by some authors. Currently, by computer search, the integer solutions of this equation are known for all positive integer values of $h \le 5000$ and $A, B, C, D \le 100000$, except for some numbers, while a solution of this Diophantine equation is not known for arbitrary positive integer values of $h$. Gerardin and Piezas found solutions of this equation when $h$ is given by polynomials of degrees $5$ and $2$ respectively. Also Choudhry presented some new solutions of this equat…
In this paper, we obtain new results on the integers solutions X, Y, Z of the diophantine equation X^t+Y^t=BZ^t for a rationnal integer B and a prime number t verifying some conditions explained in the paper.
Let p, c be distinct odd primes, and l \ge 2 an integer. We find sufficient conditions for the Diophantine equation cy^l=(x^p-1)/(x-1) not to have integer solutions
Integer solutions of the diophantine equation $A^4+hB^4=C^4+hD^4$ are known for all positive integer values of $h < 1000$. While a solution of the aforementioned diophantine equation for any arbitrary positive integer value of $h$ is not known, Gerardin and Piezas found solutions of this equation when $h$ is given by polynomials of degrees 5 and 2 respectively. In this paper, we present several new solutions of this equation when $h$ is given by polynomials of degrees $2,\;3$ and 4.
Let E_n={x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. For each integer n \geq 13, J. Browkin defined a system B_n \subseteq E_n which has exactly b_n solutions in integers x_1,...,x_n, where b_n \in N\{0} and the sequence {b_n}_{n=13}^\infty rapidly tends to infinity. For each integer n \geq 12, we define a system T_n \subseteq E_n which has exactly t_n solutions in integers x_1,...,x_n, where t_n \in N\{0} and lim_{n \to \infty} t_n/b_n=\infty.
In this work, we accomplish three goals. First, we determine the entire family of positive integer solutions to the three- variable Diophantine equation, xy=z^2; for n=2,3,4,5,6. For n=2, we obtain a 3-parameter family of solutions; for n=3, a 5-parameter of solutions; likewise for n=4. For n=5, a 7-parameter family of solutions; and likewise for n=6. See Theorems 2 through 6 respectively. The second goal of this paper, is determining all the positive integer solutions of xyz=w^2. This is done in Theorem7; the solution set is described in terms of six independent parameters. Finally, in Theore…
We investigate the solvability of the Diophantine equation in the title, where $d>1$ is a square-free integer, $p, q$ are distinct odd primes and $x,y,a,b$ are unknown positive integers with $\gcd(x,y)=1$. We describe all the integer solutions of this equation, and then use the main finding to deduce some results concerning the integers solutions of some of its variants. The methods adopted here are elementary in nature and are primarily based on the existence of the primitive divisors of certain Lehmer numbers.
Let $a$, $b$, $c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this survey, we consider some unsolved problems and related works concerning the positive integer solutions $(x,y,z)$ of the ternary purely exponential diophantine equation $a^x + b^y = c^z$.
Let $n$ be a positive integer. We discuss pairs of distinct odd primes $p$ and $q$ not dividing $n$ for which the Diophantine equations $pq=x^2+ny^2$ have integer solutions in $x$ and $y$. As its examples we classify all such pairs of $p$ and $q$ when $n=5$ and $14$.
In this paper, we determine the primitive solutions of the Diophantine equation $(x-d)^2+x^2+(x+d)^2=y^n$ when $n\geq 2$ and $d=p^b$, $p$ a prime and $p\leq 10^4$. The main ingredients are the characterization of primitive divisors on Lehmer sequences and the development of an algorithmic method of proving the non-existence of integer solutions of the equation $f(x)=a^b$, where $f(x)\in\mathbb Z[x]$, $a$ a positive integer and $b$ an arbitrary positive integer.
We give upper and lower bounds for the largest integer not representable as positive linear combination of three given integers, disproving an upper bound conjectured by Beck, Einstein and Zacks.
Let $K= \mathbf{Q}(\sqrt{d})$ be a quadratic field and $\mathcal{O}_{K}$ be its ring of integers. We study the solvability of the Diophantine equation $r + s + t = rst = 2$ in $\mathcal{O}_{K}$. We prove that except for $d= -7, -1, 17$ and $101$ this system is not solvable in the ring of integers of other quadratic fields.
We prove that for each odd prime p, positive integer alpha, and non-negative integers beta and gamma, the Diophantine equation X^{2N} + 2^{2 alpha} 5^{2 beta} p^{2 gamma} = Z^5 has no solution with X, Z, N in Z^+, N > 1, and gcd(X,Z) = 1.
Stiller proved that the Diophantine equation $x^2+119=15\cdot 2^{n}$ has exactly six solutions in positive integers. Motivated by this result we are interested in constructions of Diophantine equations of Ramanujan-Nagell type $x^2=Ak^{n}+B$ with many solutions. Here, $A,B\in\Z$ (thus $A, B$ are not necessarily positive) and $k\in\Z_{\geq 2}$ are given integers. In particular, we prove that for each $k$ there exists an infinite set $\cal{S}$ containing pairs of integers $(A, B)$ such that for each $(A,B)\in \cal{S}$ we have $\gcd(A,B)$ is square-free and the Diophantine equation $x^2=Ak^n+B$ h…
Let $A\subset \N_{+}$ and by $P_{A}(n)$ denotes the number of partitions of an integer $n$ into parts from the set $A$. The aim of this paper is to prove several result concerning the existence of integer solutions of Diophantine equations of the form $P_{A}(x)=P_{B}(y)$, where $A, B$ are certain finite sets.
A perfect Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. Such cuboids are not yet discovered and their non-existence is also not proved. Perfect Euler cuboids are described by a system of four Diophantine equation possessing a natural $S_3$ symmetry. Recently these equations were factorized with respect to this $S_3$ symmetry and the factor equations were derived. In the present paper the factor equations are transformed to $E$-form and then reduced to a single biquadratic equation.
In this paper we find a third order unimodular matrix, none of whose entries is $1$ or $-1$, such that when each entry of the matrix is replaced by its cube, the resulting matrix is also unimodular. Further, we find third order square integer matrices $(a_{ij})$, none of the integers $a_{ij}$ being $1$ or $-1$, such that $\det{(a_{ij})}=k$ and $\det{(a_{ij}^3)}=k^3$, where $k$ is a nonzero integer.
The inequalities concern the sum of s powers of primes with non-integer exponent c>1. Here s =2,3,4,or 5. The equations are similar, taking integer part before summing; here s = 3 or 5. New ranges of c are found in all cases for which many solutions in primes exist.
This paper is concerned with the diophantine equation $\sum_{i=1}^na_ix_i^4= \sum_{i=1}^na_iy_i^4$ where $n \geq 3$ and $a_i,\,i=1,\,2,\,\ldots,\,n$, are arbitrary integers. While a method of obtaining numerical solutions of such an equation has recently been given, it seems that an explicit parametric of this diophantine equation has not yet been published. We obtain a multi-parameter solution of this equation for arbitrary values of $a_i$ and for any positive integer $n \geq 3$, and deduce specific solutions when $n=3$ and $n=4$. The numerical solutions thus obtained are much smaller than th…
Let $a,b,c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this paper, by analyzing the gap rule for solutions of the ternary purely exponential diophantine equation $a^x+b^y=c^z$, we prove that if $\max\{a,b,c\}\geq 10^{62}$, then the equation has at most two positive integer solutions $(x,y,z)$.
We find upper and lower bounds on the number of rational points that are $ψ$-approximations of some $n$-dimensional $p$-adic integer. Lattice point counting techniques are used to find the upper bound result, and a Pigeon-hole principle style argument is used to find the lower bound result. We use these results to find the Hausdorff dimension for the set of $p$-adic weighted simultaneously approximable points intersected with $p$-adic coordinate hyperplanes. For the lower bound result we show that the set of rational points that $τ$-approximate a $p$-adic integer form a set of resonant points …
Motivated by the recent result of Farhi we show that for each $n\equiv \pm 1\pmod{6}$ the title Diophantine equation has at least two solutions in integers. As a consequence, we get that each (even) perfect number is a sum of three cubes of integers. Moreover, we present some computational results concerning the considered equation and state some questions and conjectures.
Let $r\ge 1$ be an integer and ${\bf U}:=\{U_n\}_{n\ge 0}$ be the Lucas sequence given by $U_0=0,~U_1=1$, and $U_{n+2}=rU_{n+1}+U_n$ for $n\ge 0$. In this paper, we explain how to find all the solutions of the Diophantine equation, $AU_{n}+BU_{m}=CU_{n_1}+DU_{m_1}$, in integers $r\ge 1$, $0\le m<n,~0\le m_1<n_1$, $AU_n\ne CU_{n_1}$, where $A,B,C,D$ are given integers with $A\ne 0,~B\ne 0$, $m,n,m_1,n_1$ are nonnegative integer unknowns and $r$ is also unknown.
For a positive integer n, let θ(n) denote the smallest positive integer b such that for each system S \subseteq {x_i \cdot x_j=x_k, x_i+1=x_k: i,j,k \in {1,...,n}} which has a solution in positive integers x_1,...,x_n and which has only finitely many solutions in positive integers x_1,...,x_n, there exists a solution of S in ([1,b] \cap N)^n. We conjecture that there exists an integer δ \geq 9 such that the inequality θ(n) \leq (2^{2^{n-5}}-1)^{2^{n-5}}+1 holds for every integer n \geq δ. We prove: (1) for every integer n>9, the inequality θ(n)<(2^{2^{n-5}}-1)^{2^{n-5}}+1 implies that 2^{2^{n-…
Let (a,b,c) be a primitive Pythagorean triple, i.e., a^{2}+b^{2}=c^{2} with gcd(a,b,c)=1, a even and b odd. Terai's conjecture says that the Diophantine equation x^{2}+b^{y}=c^{z} has only the positive integer solutions (x,y,z)=(a,2,2). In this study, we prove that Terai's conjecture is true when b is a product of two primes and c=5(mod8).
For any integer $m\ge0$, we recall that triangular numbers are those $\mathbf{T}(m)=\frac{m(m+1)}{2}$. A conjecture of Sun Zhi-Wei states that an integer $2^n\pm n$ with any $n>2$ can not be a triangular number. The motivation of this work is to confirm this conjecture.
Suppose that $n$ is a positive integer. In this paper, we show that the exponential Diophantine equation $$(n-1)^{x}+(n+2)^{y}=n^{z},\ n\geq 2,\ xyz\neq 0$$ has only the positive integer solutions $(n,x,y,z)=(3,2,1,2), (3,1,2,3)$. The main tools on the proofs are Baker's theory and Bilu-Hanrot-Voutier's result on primitive divisors of Lucas numbers.
Let $S$ denote a set of primes and let $a_1,\ldots,a_m$ be positive distinct integers. We call the $m$-tuple $(a_1,\ldots,a_m)$ an $S$-Diophantine tuple if $a_ia_j+1=s_{i,j}$ are $S$-integers for all $i\not=j$. In this paper, we show that no $S$-Diophantine quadruple (i.e~$m=4$) exists if $S=\{2,q\}$ with $q\equiv 3\; (\bmod\, 4)$ or $q<10^9$. For two arbitrary primes $p,q<10^5$ we gain the same result.
As an application of the method of Thue-Siegel, we will resolve a conjecture of Walsh to the effect that the Diophantine equation $aX^{4} - bY^2=1$, for fixed positive integers $a$ and $b$, possesses at most two solutions in positive integers $X$ and $Y$. Since there are infinitely many pairs $(a,b)$ for which two such solutions exist, this result is sharp.
In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the number of 3-Diophantine triples in $\mathbb{F}_p$ as well as an asymptotic formula for the number of $k$-Diophantine $k$-tuples.
In this paper Gauss integers are used for to develop some geometry of full Erdoes graphs which vertics are points with integer coordinates. These graphs are called Diophantine figures.
Let $S$ be a set of primes. We call an $m$-tuple $(a_1,\ldots,a_m)$ of distinct, positive integers $S$-Diophantine, if for all $i\neq j$ the integers $s_{i,j}:=a_ia_j+1$ have only prime divisors coming from the set $S$, i.e. if all $s_{i,j}$ are $S$-units. In this paper, we show that no $S$-Diophantine quadruple (i.e.~$m=4$) exists if $S=\{3,q\}$. Furthermore we show that for all pairs of primes $(p,q)$ with $p<q$ and $p\equiv 3\mod 4$ no $\{p,q\}$-Diophantine quadruples exist, provided that $(p,q)$ is not a Wieferich prime pair.
Let $a,b,c$ be fixed coprime positive integers with $\min\{a,b,c\}>1$. In this paper, combining the Gel'fond-Baker method with an elementary approach, we prove that if $\max\{a,b,c\}>5\times 10^{27}$, then the equation $a^x+b^y=c^z$ has at most three positive integer solutions $(x,y,z)$.
Let $p$ be a prime number with $p>3$, $p\equiv 3\pmod{4}$ and let $n$ be a positive integer. In this paper, we prove that the Diophantine equation $(5pn^{2}-1)^{x}+(p(p-5)n^{2}+1)^{y}=(pn)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $pn \equiv \pm1 \pmod 5$. As an another result, we show that the Diophantine equation $(35n^{2}-1)^{x}+(14n^{2}+1)^{y}=(7n)^{z}$ has only the positive integer solution $(x,y,z)=(1,1,2)$ where $n\equiv \pm 3% \pmod{5}$ or $5\mid n$. On the proofs, we use the properties of Jacobi symbol and Baker's method.
Let x be a real number and let n be a positive integer. We define four exponents of Diophantine approximation, which complement the exponents w_n(x) and w_n^*(x) defined by Mahler and Koksma. We calculate their six values when n=2 and x is a real number whose continued fraction expansion coincides with some Sturmian sequence of positive integers, up to the initial terms. In particular, we obtain the exact exponent of approximation to such a continued fraction x by quadratic surds.
In this work, we prove the following result(Theorem 1): Suppose that n is a positive integer, p an odd prime, and such that either n is congruent to 0 modulo4 and p congruent to 3 modulo8; or alternatively, n is congruent to 2 modulo4 and p congruent to 7 modulo 8. In addition to the above, assume that one of the following holds: Either (i) n^2-p>0 and the positive integer is a prime, Or (ii) n^2-p<0 and the positive integer N=-m=-(n^2-p) is a prime. Then the diophantine equation x^4 +2nx^2y^2+my^4=z^2 has no positive integer solutions. The method of proof is elementary in that it only uses co…
