The diophantine-equations tag has no wiki summary.

**20**

votes

**4**answers

671 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 ...

**-5**

votes

**0**answers

132 views

### perfect numbers and their properties [closed]

Yesterday I asked a question about perfect numbers. After thinking about the answer and comments I received, I now conjecture that the cube of any perfect number can be written in the form of the sum ...

**-8**

votes

**1**answer

160 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 ...

**6**

votes

**2**answers

202 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
...

**1**

vote

**0**answers

408 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 ...

**4**

votes

**1**answer

495 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 + ...

**1**

vote

**1**answer

162 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 ...

**1**

vote

**1**answer

99 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, ..., ...

**5**

votes

**2**answers

218 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

**0**answers

210 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 ...

**23**

votes

**1**answer

822 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 = ...

**5**

votes

**1**answer

278 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 ...

**-1**

votes

**0**answers

136 views

### Algorithm Involving Quadratic Diophantine Equation

Let $a,b,c,d\in\Bbb Z$.
$abcd\neq 0$ and $a>0$.
What is the best standard low complexity procedure to find the set of solutions for $x,y,t\in\Bbb Z$ such that:
$$-axy+bx+cy+d=t^2$$
where ...

**11**

votes

**1**answer

644 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

209 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
...

**28**

votes

**3**answers

923 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,
...

**7**

votes

**1**answer

302 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. ...

**32**

votes

**4**answers

3k 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 ...

**0**

votes

**1**answer

201 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

175 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 ...

**11**

votes

**2**answers

2k 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

**0**answers

131 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 ...

**3**

votes

**3**answers

410 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 ...

**4**

votes

**0**answers

169 views

### Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes
as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either
returns true or false, we say that $\mathcal{A}$ works for ...

**10**

votes

**1**answer

197 views

### Schoenberg's Rational Polygon Problem

"A polygon is said to be rational if all its sides and diagonals are rational, and I. J. Schoenberg has posed the difficult question, ‘Can any given polygon be approximated as closely as we like by ...

**3**

votes

**4**answers

459 views

### solutions to special diophantine equations [closed]

Let $0\le x,y,z,u,v,w\le n$ be integer numbers obeying
\begin{align*}
x^2+y^2+z^2=&u^2+v^2+w^2\\
x+y+v=&u+w+z\\
x\neq& w
\end{align*}
(Please note that the second equality is ...

**4**

votes

**1**answer

196 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

324 views

### A congruence conjecture regarding $(r-s)^4-1 \equiv 0\!\pmod{4r^2s}$

Is the following conjecture true?
Conjecture. If $r > s \ge 1$ are relatively prime integers such that
\begin{equation}
(r-s)^4-1 \equiv 0\!\pmod{4r^2s}, \tag{1}
\end{equation}
then $r-s = 1$ ...

**0**

votes

**6**answers

579 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 ...

**12**

votes

**2**answers

601 views

### Failing of heuristics from circle method

The heuristic from circle method for integral points on diagonal cubic surfaces $x^3+y^3+z^3=a$ ($a$ is a cubic-free integer) seems to fit well with numerical computations by ANDREAS-STEPHAN ELSENHANS ...

**13**

votes

**3**answers

1k views

### Finding integer points on elliptic curves via divisibility conditions like $(a+b)^2 \mid (2b^3+6ab^2-1)$

Is the following conjecture correct?
Conjecture. The divisibility condition $(\alpha+\beta)^2 \mid (2\beta^3+6\alpha\beta^2-1)$ has no solutions in positive integers $1 \le \beta < \alpha < ...

**0**

votes

**0**answers

75 views

### Superelliptic Curves [duplicate]

I'm trying to find information on superelliptic curves and how to solve them over the integers. The equation is $$y^k = f(x)$$ where $k=3$ and $f$ has degree $d=3$. Does anyone know any ...

**7**

votes

**1**answer

265 views

### The Diophantine equation $x^p - 4y^p = z^2$

If $p \geq 5$ is a prime, are there any integers $x, y, z > p$ such that
$(x, y) = 1$
and
$$x^{p} - 4y^{p} = z^{2}$$

**1**

vote

**0**answers

297 views

### When is a cubic polynomial a cube? [closed]

I've been researching cubes and I'm trying to solve this Diophantine equation over the integers.
$$ax^3 + bx^2 + cx + d = y^3$$where a, b, c, d are parameters for a given $n$. For example, for $n = ...

**-4**

votes

**2**answers

196 views

### If $~(c - b) ^ 2 + 3cb = a^3~$ has nonzero integer solutions, then $~(a,c) \gt 1~$ or $~(b,c) \gt 1$? [closed]

If $~(c - b) ^ 2 + 3cb = a^3~$ has nonzero integer solutions, then $~(a,c) \gt 1~$ or $~(b,c) \gt 1$?
I think this is true, how to prove this?

**15**

votes

**0**answers

437 views

### The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in
a unit $d$-dimensional cube, with perfectly elastic wall collisions.
Let $k=n^{\frac{1}{d}}$.
For example, in 3D, $d=3$, with ...

**2**

votes

**1**answer

275 views

### Integer points on $y^2=x^2-x^3+x^4$

Does the Diophantine equation $y^2=x^2-x^3+x^4$ have solutions other than
$x=1,y=1$? Interestingly, the Diophantine equation $y^2=x^2-x^3+x^5$ has such solutions: $x=3,y=15$, $x=5,y=55$, ...

**14**

votes

**3**answers

978 views

### Not-lonely runners

The lonely runner conjecture
has several formulations.
They all involve a number $n$ runners running on a circular track,
each with a different speeds, and the conjecture is that each runner is ...

**16**

votes

**0**answers

286 views

### Are there any integers which can't be written as a sum of two fourth powers minus a cube?

To be precise, I am asking:
Does there exist an integer $k$ such that there do not exist (possibly negative) integers $x,y,z$ satisfying $x^4+y^4=z^3+k$?
Heuristically the answer must be yes, in ...

**3**

votes

**1**answer

491 views

### Some types of diophantine equations and their decidability

The MDRP theorem – which answers Hilbert's tenth problem in the negative – says:
There is no algorithm for determining whether an
arbitrary diophantine equation has a solution.
In ...

**4**

votes

**1**answer

468 views

### Hyperrectangles with integer diagonals

What is the largest value of $n$ for which there exists $n$ (not necessarily distinct) complete squares of natural numbers such that the sum of every subset of it is also a complete square? ( For ...

**1**

vote

**0**answers

134 views

### Equation in the Gaussian Integers

Let $a,b \in \mathbb{N}$. Is there a possibility to characterize the solutions of $a N(\alpha) - b N(\beta)=1$ where $\alpha,\beta \in \mathbb{Z}[i]$? In particular I am interested in the case $a=1$ ...

**1**

vote

**1**answer

145 views

### Link between integral points on varieties and solutions to Diophantine equations

Let $k$ be a number field, $S$ a finite set of places of $k$ including the infinite ones and $F(X_1,\dots,X_n)$ a polynomial in $k[X_1,\dots,X_n]$.
I am looking for notes, books or surveys detailing ...

**12**

votes

**1**answer

563 views

### Can we extend the proof of Catalan's conjecture?

What is it, in Mihailescu's proof of Catalan conjecture, that uses explicitly the fact that there is a 1 on the right hand side of $x^p - y^q = 1$? In other words, why can't we extend his argument to ...

**2**

votes

**2**answers

254 views

### Enumerating solutions to an underdetermined non-homogenous linear system of Diophantine equations

I have a large, under-determined system (60 equations and 116 unknowns) of linear Diophantine equations. I am aware of the algorithms typically used to solve these systems, which is not my question.
...

**2**

votes

**0**answers

129 views

### n-ary quadratic forms with $S$-integer values

Let $Q(x_1,\ldots,x_n):=x_1^2+\cdots+x_n^2$ be an $n$-ary quadratic form.
Given a finite set of (rational) primes $S$ is there an algorithm or theorem that describes all solutions to ...

**1**

vote

**0**answers

41 views

### Question about link between non-terminals of grammars and variables of Diophantine equations

If we change the right arrow in the rewriting rules of grammar into equators , changes all terminals into x and keep the non-terminals unchanged,we get system of equations.In some cases,those ...

**5**

votes

**1**answer

270 views

### $xyz = \frac{7}{16}\left(\frac{2x - y - z}{3}\right)^3$ in nonvanishing integers

From research completely unrelated to Number Theory I stumbled onto the following equation:
$$
xyz = \frac{7}{16}\left(\frac{2x - y - z}{3}\right)^3
$$
for $x, y, z$ integers, $x,y,z \neq 0$. Are ...

**3**

votes

**1**answer

406 views

### Diophantine equations with infinitely many large solutions

Let $F(x,y)$ be a squarefree binary form with integer coefficients,
possibly reducible, $\deg(F) \ge 3$.
I am interested in ways of getting infinitely many integer solutions $(x,y,m), m \ne 0$
to ...

**1**

vote

**0**answers

59 views

### Cassels-Birch-Davenport theorem for multiple quadratic forms of certain type

A classical theorem of Cassels states that if a homogenous quadratic form $Q$ has an integer zero, then there is a zero of small height (bounded solely by the coefficients and number of variables). ...