The diophantine-equations tag has no wiki summary.

**13**

votes

**1**answer

505 views

### Algorithmic (un-)solvability of diophantine equations of given degree with given number of variables

Question: For which $d, k \in \mathbb{N}$ is there an algorithm to determine
whether a polynomial diophantine equation
$$
P(x_1, \dots, x_k) = 0, \ \ \ P \in \mathbb{Z}[x_1, \dots, x_k]
$$
...

**13**

votes

**2**answers

675 views

### Origin of the term “Diophantine equation”

It seems that the term "Diophantine equation" has been around at least since the second half of the 19th century, since the historian Hermann Hankel writes (polemically) in the chapter on Diophantus ...

**2**

votes

**3**answers

557 views

### A Diophantine equation with prime powers

Let $p$ and $q$ be prime numbers such that $p^2+p+1=3q^a$: is it true that $a=1$?
This specific equation appears when computing order components of finite groups.

**4**

votes

**1**answer

158 views

### Numbers represented by inhomogeneous forms

I have a family of Diophantine equations that I am trying to solve, and I am trying to figure out what methods could be used to prove existence of solutions. Unfortunately, the equations are ...

**13**

votes

**3**answers

1k views

### Diophantine equation: Egyptian fraction representations of 1

According to the OEIS (A002966) there are 294314 solutions in positive integers to the equation
$$\sum_{i=1}^7\frac{1}{x_i}=1$$ assuming $x_1\leq x_2\leq\cdots\leq x_7$.
Similarly for 8 summands there ...

**5**

votes

**1**answer

204 views

### Congruence properties of $x_1^6+x_2^6+x_3^6+x_4^6+x_5^6 = z^6$?

(This was posted previously in MSE without getting any answers.)
It is known that given primitive (co-prime) integer solutions to,
$$x_1^4+x_2^4+x_3^4+x_4^4 = z^4$$
then there is one $x_i$ such ...

**9**

votes

**1**answer

397 views

### On a result attributed to W. Ljunggren and T. Nagell

I've read in a number of places that, building on previous work of T. Nagell, W. Ljunggren proved in 1 that the Diophantine equation
$$\frac{x^{n}-1}{x-1} = y^{2}$$
doesn't admit solutions in ...

**8**

votes

**1**answer

204 views

### Integers $d$ for which the Negative Pell equation is soluble for both $d$ and $2d$?

Let $\text{NPE}_d$ denote the negative Pell equation:
$$ x^2-dy^2=-1$$
Where $d$ is a given positive nonsquare integer and integer solutions are sought for x and y.
we know that (in this paper):
...

**3**

votes

**0**answers

70 views

### Low height integer points on a rank variety

Let $M_i$ be fixed rectangular matrices with integer coefficients less than $n$. Consider the variety defined by the condition
$$
\mathrm{rank}(\lambda_1M_1 + \lambda_2M_2 + ... + \lambda_kM_k) = 1.
...

**13**

votes

**4**answers

736 views

### Random Diophantine polynomials: Percent solvable?

Suppose one generates a random polynomial
of degree $d$ with integer coefficients
uniformly distributed within $[-c_\max,c_\max]$.
For example, for
$d=8$, $|c_\max|=100$, here is one random ...

**10**

votes

**0**answers

409 views

### Why are solutions to $\sqrt[k]{x_1^k+x_2^k+x_3^k+x_4^k}$ for $k=2,3$ curiously smooth?

Given an integer solution $s_m$ to the system,
$$x_1^2+x_2^2+\dots+x_n^2 = y^2$$
$$x_1^3+x_2^3+\dots+x_n^3 = z^3$$
and define the function,
$$F(s_m) = x_1+x_2+\dots+x_n$$
For $n\geq3$, using an ...

**0**

votes

**0**answers

905 views

### Diophantine: a^n + b^n + c^n = d^n and a^n + b^n = c^n + d^n

Let us consider the equation $a^n+b^n=c^n$ for positive integers $a,b,c$ and $n\ge 2$. The $n=2$ case has a well-known and beautiful parametrization known as Pythagorean triples. Fermat's Last Theorem ...

**7**

votes

**0**answers

180 views

### Integer solutions of $x^2=4+8y^2+13z^2$

I have been looking for integer solutions of certain Diophantine equations, one of the simplest examples being
$x^2=4+8y^2+13z^2$.
The ideal answer would be a way to parametrize all the integer ...

**7**

votes

**3**answers

271 views

### Deciding a quadratic diophantine equation

Given $a,b\in\Bbb Q_+$, is there an easy way to decide if $$S_{a,b}=\{(x,y)\in\Bbb Z^2:ax^2 + by^2=1\}=\emptyset?$$
I am more interested in seeing if there is a quick way to test for case when ...

**1**

vote

**3**answers

132 views

### Decidability of sum of powers exponential diophantine equation

I want to ask about decidability of exponential Diophantine equation:
$z_12^{\eta_1} + \ldots + z_n2^{\eta_n} = z$, where $z_i,\eta_i,z \in \mathbb{Z}$, and $\eta_i$ - are variables.
Can we find ...

**2**

votes

**0**answers

143 views

### Diophantine equations and the numbers $4,7,8$

Consider the diophantine equation
$$
x^n+y^n+z^n=k\cdot xyz,
$$
where $n,x,y,z$ are positive integers. Now consider $k\in\left\{4,7,8\right\}$. It is well-known or easily provable that for $n=1$ and ...

**10**

votes

**8**answers

4k views

### Is there an algorithm to solve quadratic Diophantine equations?

I was asked two questions related to Diophantine equations.
Can one find all integer triplets $(x,y,z)$ satisfying $x^2 + x = y^2 + y + z^2 + z$? I mean some kind of parametrization which gives all ...

**8**

votes

**2**answers

581 views

### Sum of consecutive cubes

I'm investigating when the sum of $n$ consecutive cubes equals a cube, i.e., for which $n$ does
$$\sum_{i=0}^{n-1} (k+i)^3 = k^3 + (k+1)^3 + \cdots + (k+n-1)^3 = Y^3 $$
have nontrivial solutions ...

**33**

votes

**4**answers

2k views

### Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here ...

**24**

votes

**5**answers

1k views

### Parametric solutions of Pell's equation

Given a positive integer $n$ which is not a perfect square, it is well-known that
Pell's equation $a^2 - nb^2 = 1$ is always solvable in non-zero integers $a$ and $b$.
Question: Let $n$ be a ...

**3**

votes

**2**answers

767 views

### algorithm for solving systems of linear Diophantine inequalities

So, I posted on stack overflow looking for a reasonably fast algorithm to solve systems of linear Diophantine inequalities and was pointed to this article by Cheng-Zhi Gao and Yu-Lin Dong. The problem ...

**2**

votes

**4**answers

549 views

### solution of the equation $a^2+pb^2-2c^2-2kcd+(p+k^2)d^2=0$

i am wondering if there is a complete solution for the equation $a^2+pb^2-2c^2-2kcd+(p+k^2)d^2=0$ in which $a,b,c,d,k$ are integer(not all zero) and $p$ is odd prime.

**3**

votes

**5**answers

797 views

### Integer polynomials taking square values

Is there a way to determine a formula giving all integer values of $x$ for which the value of a polynomial $P(x)$ with integer coefficients is a square?
That is, is there a closed formula for:
$X = ...

**5**

votes

**5**answers

2k views

### General integer solution for $x^2+y^2-z^2=\pm 1$

How to find general solution (in terms of parameters) for diophantine equations
$x^2+y^2-z^2=1$ and $x^2+y^2-z^2=-1$?
It's easy to find such solutions for $x^2+y^2-z^2=0$ or $x^2+y^2-z^2-w^2=0$ or ...

**7**

votes

**2**answers

253 views

### Decidability of diophantine equation in a theory

Given a theory $T \subseteq \operatorname{Th}(\mathbb{N})$, define the decision problem $D_T$ as follows:
Given a polynomial $p$ with integer coefficients and variables $\bar{x}$, decide whether
...

**3**

votes

**1**answer

638 views

### Does the following Diophantine equation have nontrivial rational solutions?

Are there any solutions to the equation $s^{2}(1+t^{2})^{2}+t^{2}(1+s^{2})^{2}=u^2$ where $s,t,u\in \mathbb{Q}$ and $0 < s,t<1$? If so, is there a simple way to parametrize them all?
If I am ...

**-8**

votes

**1**answer

201 views

### Proof of a cubic equation problem [closed]

Well I was doing some questions and i found something. This equation
$x^3+y^3+z^3=w^3$
has only one solution which is
$x=3,y=4,z=5,w=6$.
And what I have have proposed is that there is not other ...

**1**

vote

**0**answers

442 views

### Is $ a^2b^2-ab-ap$ a perfect square for suitable $a,b\in \mathbb{Z}^+$?

Consider the expression
$$
a^2b^2-ab-ap\qquad (a,b\in \mathbb{Z}^+),
$$
where $p\equiv1\pmod{4}$.
Question. For every prime $p\equiv1\pmod{4}$ do there exist $a,b\in\mathbb{Z}^+$ such that ...

**5**

votes

**1**answer

531 views

### The elliptic curve for $x_1^9+x_2^9+\dots+x_6^9 = y_1^9+y_2^9+\dots+y_6^9$

I. If there are $a,b,c,d,e,f$ such that,
$$a+b+c = d+e+f\tag1$$
$$a^2+b^2+c^2 = d^2+e^2+f^2\tag2$$
$$3u^3-3uv+w=-def\tag3$$
where $u=a+b+c,\; v = ab+ac+bc,\;w = abc$, then,
$$(a + u)^k + (b + ...

**19**

votes

**2**answers

897 views

### State of knowledge of $a^n+b^n=c^n+d^n$ vs. $a^n+b^n+c^n=d^n+e^n+f^n$

As far as I understand, both of the Diophantine equations
$$a^5 + b^5 = c^5 + d^5$$
and
$$a^6 + b^6 = c^6 + d^6$$
have no known nontrivial solutions, but
$$24^5 + 28^5 + 67^5 = 3^5+64^5+62^5$$
and
...

**24**

votes

**1**answer

987 views

### $x^4+y^4$ powerful for relatively prime $x,y$

I asked this question on the NMBRTHRY mailing list on
17 February 2014, but it remains unsolved as far as I know.
Recall that a "powerful
number" is a positive integer whose prime factorizations
$m = ...

**1**

vote

**1**answer

180 views

### Diophantine equation with factorials

Find all natural solutions $m!=a^2n!$ .
It's clear that $m>=n$.
When $m=n$ we have solutions $(1,m,m)$.
When $m=n+1$ we have solutions $(a,a^2,a^2-1)$.
I think that when $m>n+1$ we have no ...

**28**

votes

**3**answers

1k views

### Why do Pell equations appear in Ramanujan's pi formulas?

While answering this MSE question about the Pell equation $x^2-29y^2=1$, I noticed that certain fundamental solutions appeared in Ramanujan's famous pi formula.
I. Given the fundamental unit,
...

**0**

votes

**6**answers

612 views

### Does the Diophantine equation $(x^2+ay^2)(u^2+bv^2) = p^2+cq^2$ admit a complete solution?

In this MSE question/thread, I have been discussing the equation
$$
(x^2+ay^2)(u^2+bv^2) = p^2+cq^2, \tag{$\star$}
$$
where $x,a,y,u,b,v,p,c,q$ are integers. I posed a conjecture which turned out to ...

**1**

vote

**1**answer

123 views

### basis of the lattice generated by the integer points inside a subspace of R^L

Consider $K$ linearly independent vectors $\mathbf{a}_1, \mathbf{a}_2, ..., \mathbf{a}_K \in \mathbb{Z}^L$, where $1 \leq K<L $. Hence, the span of $\lbrace\mathbf{a}_1, \mathbf{a}_2, ..., ...

**3**

votes

**0**answers

285 views

### Integer solutions of $ z^3 y^2 = x(x-1)(x+1)$

According to a conjecture there are no three
consecutive powerful numbers.
Necessary condition for this is integer solution of
$$ z^3 y^2 = x(x-1)(x+1) \qquad (1) $$
What are integer solutions ...

**3**

votes

**0**answers

229 views

### On 7th and 8th powers for $x_1^k+x_2^k+x_3^k+x_4^k = y_1^k+y_2^k+y_3^k+y_4^k$

The Diophantine equation,
$$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$
for either $k=5$ or $6$ is quite well explored, and it has long been known that it has an infinite number of primitive ...

**5**

votes

**2**answers

229 views

### Density of multi-grade solutions to $x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k$ for $k = 5$ or $6$?

Given the Diophantine equation,
$$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$
there is the rather curious observation that the smallest positive solutions for $k=5$ or $6$ is multi-grade.
...

**3**

votes

**2**answers

245 views

### Maximum size of powers with a given difference

Pillai's conjecture -- that the gap between (nontrivial) powers is unbounded below -- is still open (it would be a consequence of the $abc$ conjecture, were that proven). But I wonder what the right ...

**4**

votes

**1**answer

214 views

### polynomials in many variables and Hasse principle

I was wondering whether there exists any result of the form
"if $f \in \mathbb{Z}[x_1, ..., x_k]$ is a polynomial (not form! I don't require homogeneity) of total degree $n$, with $k \geq \delta ...

**5**

votes

**1**answer

289 views

### On the elliptic curve $x(x+a^2)(x+b^2) = y^2$

Ajai Choudhry showed that special cases of the elliptic curve,
$$x(x+a^2)(x+b^2)=y^2\tag1$$
can be used to prove that,
$$u_1^7+u_2^7+\dots + u_9^7 = 0\tag2$$
has an infinite number of primitive ...

**11**

votes

**1**answer

791 views

### More elliptic curves for $a^4+b^4+c^4+d^4 = (a+b+c+d)^4$?

(Note: See also the $a^4+b^4+c^4 = 1$ version in this old MSE post.)
The equation discussed in a paper by Jacobi and Madden,
$$a^4+b^4+c^4+d^4 = (a+b+c+d)^4 = z^4\tag1$$
or equivalently,
$$(p-2q + ...

**3**

votes

**2**answers

210 views

### Sets of squares representing all squares up to $n^2$

Let $S_n=\{1,2,\ldots,n\}$ be natural numbers up to $n$.
Say that a subset $S \subseteq S_n$
square-represents $S_n^2$ if every
square $1^2,2^2,\ldots,n^2$ can be represented by adding or subtracting
...

**17**

votes

**1**answer

886 views

### Ramanujan's pi formulas with a twist

Given the binomial function $\binom{n}{k}$.
1. Define the following sequences,
$$\begin{aligned}
u_1(k) &= \tbinom{2k}{k}\tbinom{3k}{k}\tbinom{6k}{3k} = 1, 120, 83160, 81681600,\dots \\
u_2(k) ...

**7**

votes

**1**answer

373 views

### rational points of a hyperelliptic curve

I have the following hyperelliptic curve of genus $2$:
$$
y^2 = 561 x^6 - 41904 x^5 + 627264 x^4 + 11860992 x^3 - 197074944 x^2 + 124416^2
$$
I need to find all the rational points on this curve. ...

**3**

votes

**3**answers

411 views

### Pairs of quadratic polynomials taking values pairs of consecutive squares

Let $f,g \in \mathbb{Z}[x]$ be quadratic and neither square.
For $x,y,z \in \mathbb{Z}$ what is the maximal number
of solutions to $f(x)=z^2,g(y)=(z+1)^2$?
Solutions are integral points on the genus ...

**11**

votes

**2**answers

1k views

### How many Pythagorean triples are there in which every member is triangular?

How many Pythagorean triples $(a,b,c)$ are there such that $a, b$ and $c$ are triangular?
Any two solutions with only $a$ and $b$ interchanged are considered equivalent.
The question of existence ...

**0**

votes

**1**answer

210 views

### The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity.
That is, I am asking whether the number ...

**2**

votes

**0**answers

196 views

### Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...

**0**

votes

**0**answers

140 views

### The Diophantine equation $x^2 + bxy + cy^2 = p^z_1 \cdots p^{z_k}$

Let $b,c \in \mathbb{Z}$ and let $p_1,\ldots,p_k$ be given primes. Is there an effective algorithm to find all the solutions of the Diophantine equation $$x^2 + bxy + cy^2 = p_1^{z_1} \cdots ...