Integral Solutions of $ x^p-my^p=zw$

Antenor Ostine

DOI: https://doi.org/10.48550/arXiv.2004.14779

2020-04-22

Abstract:In this paper, using a basic algebraic approach, we demonstrate that, if the integers $x,y$ and $z$ are pairwise relatively prime, and $x^p-my^p=zw$ where $m$ is an integer and $p$ is a prime, then we can write $x,y,m,z$ and $w$ as explicit expressions in 7 integers.

Algebraic Geometry

What problem does this paper attempt to address?

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

Yasemin Kara,Diana Mocanu,Ekin Özman

2024-04-11

Abstract:In this paper, we use the modular method together with some standard conjectures to prove that infinitely many equations of the type $x^r+y^r=Dz^p$ do not have any non-trivial primitive integer solutions, where $r>5$ is a fixed prime, whenever $p$ is large enough.

Number Theory
The Diophantine Equation Xy + Yz + Zx = M

Tianxin Cai,Rongzhen Jiao

DOI: https://doi.org/10.1007/bf02886132

1999-01-01

Chinese Science Bulletin

Abstract:Under the generalized Riemann hypothesis, it is proved that the Diophantine equationxy+yz+zx=m always has a solution except for 18 positive integersm.
On the exponential Diophantine equation ${\displaystyle p\cdot 3^{x}+p^{y}=z^2}$ with $p$ a prime number

A. L. P. Porto,M. Buosi,G. S. Ferreira

2023-08-19

Abstract:In this paper we find non-negative integer solutions for exponential Diophantine equations of the type $p \cdot 3^x+ p^y=z^2,$ where $p$ is a prime number. We prove that such equation has a unique solution $\displaystyle{(x,y,z)=\left(\log_3(p-2), 0, p-1\right)}$ if $2 \neq p \equiv 2 \pmod 3$ and $(x,y,z)=(0,1,2)$ if $p=2$. We also display the infinite solution set of that equation in the case $p=3$. Finally, a brief discussion of the case $p \equiv 1 \pmod 3$ is made, where we display an equation that does not have a non-negative integer solution and leave some open questions. The proofs are based on the use of the properties of the modular arithmetic.

Number Theory
Geometric Aspects to Diophantine Equations of the Form $x^2 + zxy + y^2 = M$ and $z$-Rings

Chris Busenhart

2024-11-01

Abstract:In the following we consider Diophantine equations of the form $x^2+ zxy + y^2 = M$ for given $M,z \in \mathbb{Z}$ and discuss the number of its (primitive) solutions as well as the construction of them. To reach this goal we introduce $z$-rings which turn out to be a useful tool to investigate these Diophantine equations. Moreover, we will extend these rings and study the algebraic curves defined by them on a plane by methods inspired by the complex plane. Then we define the so called subbranches which are bounded and connected parts of the algebraic curves containing a representative of each solution of the Diophantine equations with respect to association in $z$-rings. With the help of them we can easily prove the existence or non-existence of solutions to the above Diophantine equations. Then we divide the integer primes with respect to the different $z$-rings into two main categories, i.e. the regular and irregular elements. We show that the irregular elements are prime in the corresponding $z$-rings and we identify that most of the $z$-rings cannot be unique factorization domains. We determine the number of positive, primitive solutions of the above Diophantine equation if $M \in \mathbb{N}$ is a product of irregular elements in the corresponding $z$-ring for $z \in \mathbb{N}$. We also give an overview how many primitive and non-primitive solutions in a given quadrant we can find for arbitrary $M,z \in \mathbb{Z}$, especially, if $M$ is a power of any irregular element. Furthermore, we consider the case $z = 3$, determine the regular and irregular elements as well as the number of positive, primitive solutions of the Diophantine equation $x^2 + 3xy + y^2 = M$ depending on $M \in \mathbb{N}$.

Number Theory
On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Tianxin Cai,Zhongyan Shen,Peng Yang

DOI: https://doi.org/10.2298/fil2402621c

2024-01-01

Filomat

Abstract:Let p be an odd prime. In this paper, analogs of Wilson?s and Wolstenholme?s theorems on the solution sets S+ = {n ? Z* p | n ? a + b ? ab (mod p)} and S? = {n ? Z* p | n ? a ? b ? ab (mod p)} are given, where Z* p denote a reduced residue system modulo p. We also establish congruences about sum and product of the quadratic residues in S+ or in S? modulo p. Finally, we raise a problem on how to solve Hadamard?s conjecture in the last section.
Unique polynomial solution of $m/n=1/x+1/y+1/z$ for $n \equiv b {\rm mod}\, a$ if $(a,m)=1$

Bernd R. Schuh

2024-03-03

Abstract:Necessary and sufficient conditions for the existence of an integer solution of the diophantine equation $m/n=1/x(\lambda)+1/y(\lambda)+1/z(\lambda)$ with $n=b+a\lambda$ are explicitly given for a,b coprime and a not a multiple of m . The solution has the form $x(\lambda)=kn(\lambda)$, $y(\lambda)=n(\lambda)(s+r\lambda)$, $z(\lambda)=(kl/r)(s+r\lambda)$ where parameters $k,l,s,r\in \mathbb{Z}$ obey certain conditions depending on $a,b$. The conditions imply restrictions for some choices of $a,b$ which differ from the ones known in the case $m=4$. E.g., the modulus must be of the form $l(mk-1)$. One can also deduce that primes of the form $1+4K$ are excluded as modulus. Also if $a=p\ne m$ is prime and $b=a+1$, i.e., $n\equiv 1{\rm mod}\, p$, polynomial solutions are shown to be impossible. All results are valid for integers $m \ge 4$.

General Mathematics
Circularity in Finite Fields and Solutions of the Equations $\boldsymbol{x^{m}+y^{m}-z^{m}=1}$

Wen-Fong Ke,Hubert Kiechle

2023-07-13

Abstract:An explicit formula for the number of solutions of the equation in the title is given when a certain condition, depending only on the exponent and the characteristic of the field, holds. This formula improves the one given by the authors in an earlier paper.

Number Theory,Combinatorics
On the system of Diophantine equations x2 - 6y2 = -5 and x = az2 - b.

Silan Zhang,Jianhua Chen,Hao Hu

DOI: https://doi.org/10.1155/2014/632617

2014-01-01

The Scientific World JOURNAL

Abstract:Mignotte and Pethö used the Siegel-Baker method to find all the integral solutions (x, y, z) of the system of Diophantine equations x (2) - 6y (2) = -5 and x = 2z (2) - 1. In this paper, we extend this result and put forward a generalized method which can completely solve the family of systems of Diophantine equations x (2) - 6y (2) = -5 and x = az (2) - b for each pair of integral parameters a, b. The proof utilizes algebraic number theory and p-adic analysis which successfully avoid discussing the class number and factoring the ideals.
Two results on $x^r + y^r = dz^p$

Nuno Freitas,Filip Najman

2023-06-11

Abstract:This note proves two theorems regarding Fermat-type equation $x^r + y^r = dz^p$ where $r \geq 5$ is a prime. Our main result shows that, for infinitely many integers~$d$, the previous equation has no non-trivial primitive solutions such that $2 \mid x+y$ or $r \mid x+y$, for a set of exponents $p$ of positive density. We use the modular method with a symplectic argument to prove this result.

Number Theory
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

DOI: https://doi.org/10.1016/j.jnt.2014.09.014

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
Integer Solutions, Rational solutions of the equations x^4+y^4+z^4 -2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)=n and x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^2)(z^2)=n; And Crux Mathematicorum Contest problem CC24

Konstantine Zelator

DOI: https://doi.org/10.48550/arXiv.1308.4040

2013-08-16

General Mathematics

Abstract:The subject matter of this work are the two equations: x^4+y^4+z^4-2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)= n (1) And x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^4)(z^4)= n (2) where n is a natural number. Contest Corner problem CC24, published in the May2012 issue of the journal Crux Mathematicorum(see reference[1]); provided the motivation behind this work. In Th.1, we show that eq.(1) if n=8N, N odd; then eq.(1) has no integer solutions; which generalizes problem CC24(the case n=24). We use Th.2, to find some rational solutions of eq.(1); which answers the second question in CC24. In Th.4, we show that if n= p, 4, or pq; where p and q are distinct primes. Then eq.(1)has no integer solutions. In Th.6, we determine all the integer solutions to (1), when n=p^2, p an odd prime. Theorems 7 through13, deal with equation (2). In Th.11, we determine all the integer solutions of eq.(2). Th.12 states that (2) has no integer solutions in n is congruent to 2 or 3 modulo4. Finally, in Th.13 we determine all the rational solutions of eq.(2).
General Solution of the Diophantine equation involving Mersenne Prime

Arkabrata Ghosh

2023-07-22

Abstract:In this article, I study and solve the exponential Diophantine equation $M_p^{x} + (M_q + 1)^{y}= (lz)^2$ where $M_p$ and $M_q$ are Mersenne primes, $l$ is a prime number, and $x,y$, and $z$ are non-negative integers. Several illustrations are presented as well as cases where no solution of the given Diophantine equation is present.

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

Takafumi Miyazaki,István Pink

DOI: https://doi.org/10.48550/arXiv.2205.11217

2022-05-23

Number Theory

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.
Structure and form of the solutions of the Erdos-Straus conjecture

Miguel Angel Lopez

2024-08-21

Abstract:In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) and find characterizations for values of p that were initially difficult to classify, such as p=1009. We also study the solutions (x,y,z) that satisfy that gcd(x,y,z)=x and, finally, we classify all the cases in which any of these two variables coincide with each other.

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

Robert Styer

2024-02-07

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.

Number Theory
Deconstructing the Welch Equation Using $p$-adic Methods

Abigail Mann,Adelyn Yeoh

DOI: https://doi.org/10.48550/arXiv.1608.05880

2016-08-21

Abstract:The Welch map $x \rightarrow g^{x-1+c}$ is similar to the discrete exponential map $x \rightarrow g^x$, which is used in many cryptographic applications including the ElGamal signature scheme. This paper analyzes the number of solutions to the Welch equation: $g^{x-1+c} \equiv x \pmod{p^e}$ where $p$ is a prime and $g$ is a unit modulo $p$, and looks at other patterns of the equation that could possibly be exploited in a similar cryptographic system. Since the equation is modulo $p^e$, where $p$ is a prime number, $p$-adic methods of analysis are used in counting the number of solutions modulo $p^e$. These methods include: $p$-adic interpolation, Hensel's lemma and Chinese Remainder Theorem.

Number Theory,Cryptography and Security
On primitive integer solutions of the Diophantine equation $t^2=G(x,y,z)$ and related results

Maciej Gawron,Maciej Ulas

DOI: https://doi.org/10.48550/arXiv.1502.07307

2015-02-26

Abstract: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]$.

Number Theory
On the solutions to $Ax^p+By^p+Cz^p=0$ over quadratic fields

Alejandro Argáez-García,Luis Elí Pech-Moreno

2024-12-02

Abstract:We provide the necessary conditions for the existence of solutions to $Ax^p+By^p+Cz^p=0$ over any quadratic field $K$ with $A,B,C$ pairwise coprime $p$th powerfree integer numbers. Moreover, we prove that there are no solutions $(x,y,z)$ with $x,y,z\in\mathcal{O}_K$ satisfying $xyz\neq 0$.

Number Theory
On the diophantine equation $X^6-Y^6 = W^n-Z^n, n=2,3,4$

Seiji Tomita

2024-01-15

Abstract:In this paper, we proved that there are infinitely many integer solutions of $X^6 - Y^6 = W^n - Z^n,\ n=2,3,4$.

General Mathematics
On the solutions of $x^2= By^p+Cz^p$ and $2x^2= By^p+Cz^p$ over totally real fields

Narasimha Kumar,Satyabrat Sahoo

2024-04-06

Abstract:In this article, we study the solutions of certain type over $K$ of the Diophantine equation $x^2= By^p+Cz^p$ with prime exponent $p$, where $B$ is an odd integer and $C$ is either an odd integer or $C=2^r$ for $r \in \mathbb{N}$. Further, we study the non-trivial primitive solutions of the Diophantine equation $x^2= By^p+2^rz^p$ ($r\in {1,2,4,5}$) (resp., $2x^2= By^p+2^rz^p$ with $r \in \mathbb{N}$) with prime exponent $p$, over $K$. We also present several purely local criteria of $K$.

Mathematics

Integral Solutions of $ x^p-my^p=zw$

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

The Diophantine Equation Xy + Yz + Zx = M

On the exponential Diophantine equation ${\displaystyle p\cdot 3^{x}+p^{y}=z^2}$ with $p$ a prime number

Geometric Aspects to Diophantine Equations of the Form $x^2 + zxy + y^2 = M$ and $z$-Rings

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Unique polynomial solution of $m/n=1/x+1/y+1/z$ for $n \equiv b {\rm mod}\, a$ if $(a,m)=1$

Circularity in Finite Fields and Solutions of the Equations $\boldsymbol{x^{m}+y^{m}-z^{m}=1}$

On the system of Diophantine equations x2 - 6y2 = -5 and x = az2 - b.

Two results on $x^r + y^r = dz^p$

A new generalization of Fermat's Last Theorem

Integer Solutions, Rational solutions of the equations x^4+y^4+z^4 -2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)=n and x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^2)(z^2)=n; And Crux Mathematicorum Contest problem CC24

General Solution of the Diophantine equation involving Mersenne Prime

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

Structure and form of the solutions of the Erdos-Straus conjecture

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

Deconstructing the Welch Equation Using $p$-adic Methods

On primitive integer solutions of the Diophantine equation $t^2=G(x,y,z)$ and related results

On the solutions to $Ax^p+By^p+Cz^p=0$ over quadratic fields

On the diophantine equation $X^6-Y^6 = W^n-Z^n, n=2,3,4$

On the solutions of $x^2= By^p+Cz^p$ and $2x^2= By^p+Cz^p$ over totally real fields