**4**

votes

**0**answers

107 views

### Integers in a given box that can be represented by a polynomial

Suppose that $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ is a polynomial of degree $d$, and examine the quantity
$$\displaystyle N(F;X, B) = \# \{(x_1, \cdots, x_n) \in \mathbb{Z}^n | -X ...

**7**

votes

**4**answers

455 views

### Number of solutions of linear homogenous Diophantine equation inside a box

Let $a_1, ..., a_d$ be positive reals and consider the linear Diophantine equation
$$
\sum_i a_in_i = 0.
$$
I am interested in estimating the number of integer solutions of this equation inside a ...

**6**

votes

**1**answer

439 views

### Is the following consequence of the Lang conjecture known?

This came up in a discussion with a colleague of mine, who studies PDEs. He was asking for a function $f \colon \mathbb{N} \rightarrow \mathbb{N}$ such that, for all but finitely many $n$, the ...

**0**

votes

**1**answer

133 views

### Solutions of the equation $X^4-DY^4=z^4$

In order to obtain infinite integer non trivial solutions of the equation $X^4-DY^4=Z^4$ (all numbers natural) we do the following.
We set $X=(r_1●p+p)$, $Y=p$, $Z=(r_1●p)$, ...

**-1**

votes

**1**answer

155 views

### How many integer points does my favorite ellipse goes through? [closed]

What value on P gives an ellipse with 768 lattice Points? x^2 + 3y^2 = P
P= 4*7*13*19*31*37*43 gives 384 lattice points

**4**

votes

**0**answers

106 views

### Curves on hypersurfaces generated by diagonal sums

This is related to an earlier question of mine ((Non-)Existence of curves of low degree on affine and projective varieties). It seems that the question is too difficult for specific surfaces, although ...

**5**

votes

**1**answer

294 views

### Subsets of all Diophantine's sets

I have asked this question on math.stackexchange already:
http://math.stackexchange.com/questions/627461/subsets-of-all-diophantines-sets
Function $\mathbb{N}^k \to \mathbb{N}^m$ is computable ...

**2**

votes

**0**answers

108 views

### Congruences of binary forms

Suppose $f(x,y) \in \mathbb{Z}[x,y]$ is a binary form (that is, homogeneous polynomial in two variables). Further suppose that $f$ is irreducible over $\mathbb{Z}$ and has no fixed prime divisor. Let ...

**4**

votes

**1**answer

206 views

### Special Case of famous Equation

I'm interested in the following diophantine eqaution: $(5^n-1)/4=y^2$.
It turns out that this is a special case of the Nagell-Ljunggren equation, where $x=5$ and $q=2$
It has been shown that for ...

**11**

votes

**3**answers

314 views

### (Non-)Existence of curves of low degree on affine and projective varieties

I am interested in papers that investigates the existence or non-existence of curves of low degree (relative to the degree of the ambient variety). The starting example is that of surfaces and ...

**0**

votes

**1**answer

167 views

### Reference request: on sums of the form $ax^m + by^n = h$

I know that equations of the form
$$\displaystyle ax^d + by^d = h$$
with $a,b,h \in \mathbb{Z}$ have been thoroughly investigated as a special (and interesting) case of the Thue-Mahler equation, for ...

**10**

votes

**0**answers

951 views

### Consecutive averages of sequence (or difference quotients of partial sums) always square

I proposed the following problem for the December 2013 USA IMO TST earlier this month:
Let $a_1,a_2,a_3,\ldots$ be a sequence of integers, with the property that every consecutive group of $a_i$'s ...

**6**

votes

**3**answers

441 views

### On the equation $a^n + b^n = c^2$

I am interested in the possible natural solutions of the equation $a^n + b^n = c^2$ where $n \geq 4$ is fixed. I am not sure if it is well-known or not, so any suggestion would be helpful.

**10**

votes

**1**answer

498 views

### Can the sum of two non-zero coprime fifth powers be powerful?

I am wondering if the sum of two non-zero coprime fifth powers can
be powerful. There are no small solutions.
Q1 Can the sum of two non-zero coprime fifth powers be powerful?
Got a partial ...

**25**

votes

**2**answers

988 views

### Does Fermat's last theorem hold in the ordinals?

My question is whether there are no nontrivial solutions in the ordinals of the equations arising in Fermat's last theorem $$x^n+y^n=z^n$$
where $n\gt 2$, and where we use the natural ordinal ...

**7**

votes

**2**answers

482 views

### The Theory of Transfinite Diophantine Equations [closed]

The theory of Diophantine equations is one of the main stream research areas in number theory. There are many known results and unknown conjectures about the existence of non-trivial solutions for ...

**19**

votes

**2**answers

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

**2**

votes

**1**answer

145 views

### Integral values of rational map

This question is related to this post on Math.MO.
A theorem of B.Segre tells us that if there is one rational point on a non-singular cubic surface $X$ over $\mathbb{Q}$, then the surface is ...

**-4**

votes

**1**answer

148 views

### $p=4x^2+27y^2$,with $p$ a prime [closed]

p is a prime ,on what condition the Diophantine equation is solvable.what is it Linear expression ,for example ,$x^2+3y^2=p$, $p=3k+1$ ,$x^2+5y^2=p$ ,
$p=1,9\pmod{20}$.

**4**

votes

**0**answers

236 views

### Counting Special Rational Points on Cubic Surfaces

A paper of Heath-Brown gives an heuristic argument for the density of rational points on two cubic surfaces: $x^3+y^3+z^3=kw^3,k=2,3$, say, the number of rational points of height less than $N$ on ...

**1**

vote

**1**answer

161 views

### Paired Quadratic diophantine equations

For a given $t\geq4$, does the following system of equations have a solution over the integers? $$ax^2+by^2=2^{2^t-t}$$$$cx^2+dy^2=1$$$$0<|ta|^2,|tb|^2,|tc|^2,|td|^2<|x|,|y|$$
If so, how to ...

**3**

votes

**0**answers

219 views

### Ternary form related to identity for abc conjecture

Consider the identity:
$$ \begin{aligned}
f_1 &= 4 (4 x + z) \cdot z^{3} \\
f &= x^{4} + 4 x^{3} y + 6 x^{2} y^{2} + 4 x y^{3} + y^{4} + 4 x^{3} z + 12 x^{2} y z + 12 x y^{2} z + 4 y^{3} z + ...

**4**

votes

**2**answers

357 views

### On class numbers $h(-d)$ and the diophantine equation $x^2+dy^2 = 2^{2+h(-d)}$

Given fundamental discriminant $d \equiv -1 \bmod 8$ such that the quadratic imaginary number field $\mathbb{Q}(\sqrt{-d})$ has odd class number $h(-d)$. Is it true that one can always solve the ...

**7**

votes

**2**answers

568 views

### The equation $x^m-1=y^n+y^{n-1}+…+1$ in prime powers $x,y$

Does the equation $x^m-1=y^n+y^{n-1}+...+1$ have only finitely many solutions $(x,y,m,n)$ where $x,y$ are prime powers with $y>2$ and $m,n$ are integers with $m,n>1$?
This question arose in the ...

**-1**

votes

**1**answer

350 views

### Solutions of system of diophantine equations

The system of diophantine equations $$\{x^2-y^2+z^2-u^2+q^2-t^2=0,\,xy+zt-uq=0 \}$$ is given. Do the formulas
$$x:=(j(p^2-4ps+3s^2)-(p-s)(3p^2-4ps+s^2))k^2+2(j-2(p-s))(p-s)kn+(j-p+s)n^2, $$
...

**7**

votes

**3**answers

956 views

### How many integer points does my favorite ellipse go through?

The equation of the ellipse interpolating the six lattice points $(0,0)$, $(1,0)$, $(0,1)$, $(d-1,d)$, $(d,d)$, $(d,d-1)$ in the plane for a fixed $d$ (at least 3) is
$$
x^2+y^2 - ...

**11**

votes

**2**answers

775 views

### On Generalizations of Fermat's Conjecture

We know the following facts:
(1) For all $1\leq n\leq 2$ the equation $x_{1}^{n}+x_{2}^{n}=x_{3}^{n}$ has a solution in $\mathbb{N}$.
(2) For all $3\leq n$ the equation ...

**3**

votes

**1**answer

348 views

### Proving conditions on $(r+s)^2 \mid (4r^4+1)$, related to Pell oblongs

While working on another problem (Solving the quartic equation $r^4 + 4r^3s - 6r^2s^2 - 4rs^3 + s^4 = 1$), I came across a question which seems to be of [semi-] independent interest.
Conjecture. If ...

**1**

vote

**0**answers

209 views

### Integral points on affine rational curves over $\mathbb{Q}$

Given a rational curve $C:(f_1(t),f_2(t))$, where $f_i(t),i=1,2$ are rational functions with rational coefficients.
Question: Is there any criterion(proved or conjectural) for the existence of ...

**1**

vote

**0**answers

106 views

### Rational solutions of equations of the form $y^2 x = f(x)$

Let $k$ be any number field, and suppose we want to study the $k$-rational points on
$$y^2 x = f(x),$$ where $f$ is a polynomial of degree greater or equal than 3. In other words, $y^2 x = f(x)$ is a ...

**1**

vote

**0**answers

85 views

### Is there any track for proving $D=NP$, besides showing that $D$ has polynomial-bounded universal quantifiers?

Background
By the MRDP theorem, every for every recursively enumerable set $S$, there exists a Diophantine polynomial $p$ such that
$$x \in S \iff \exists y_1, \dots, y_n \in \mathbb{N} \text{ such ...

**9**

votes

**3**answers

2k views

### Solving the quartic equation $r^4 + 4r^3s - 6r^2s^2 - 4rs^3 + s^4 = 1$

I'm working on solving the quartic Diophantine equation in the title. Calculations in maxima imply that the only integer solutions are
\begin{equation}
(r,s) \in \{(-3, -2), (-2, 3), (-1, 0), (0, ...

**3**

votes

**1**answer

279 views

### Is there an easy proof of this equation related to simultaneous Pell equations?

Working with the famous Baker-Davenport system of simultaneous Pell equations
\begin{align}
3x^2-2 &= y^2, &
8x^2-7 &= z^2, \qquad(\star)
\end{align}
I am left, after a series of ...

**5**

votes

**1**answer

136 views

### Relative size of Egyptian fraction denominators

Suppose we have a finite Egyptian fraction decomposition of a rational:
$$\frac{n}{m} = \sum_{i=1}^k \frac{1}{x_i}$$
such that
(i) $x_i>0$,
(ii) $x_i \neq x_j$ for $i \neq j$, and
(iii) $\gcd(m, ...

**10**

votes

**8**answers

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

**6**

votes

**2**answers

439 views

### On integers as sums of three integer cubes revisited

It is easy to find binary quadratic form parameterizations $F(x,y)$ to,
$$a^3+b^3+c^3+d^3 = 0\tag{1}$$
(See the identity (5) described in this MSE post.) To solve,
$$x_1^3+x_2^3+x_3^3 = 1\tag{2}$$
...

**7**

votes

**3**answers

560 views

### Diophantine equation - $a^4+b^4=c^4+d^4$ ($a,b,c,d > 0$)

How can I find the general solution of $a^4+b^4=c^4+d^4$ ($a,b,c,d > 0$)?
And how did Euler find the solution $158^4+59^4=133^4+134^4$?

**0**

votes

**0**answers

150 views

### On unique solutions to linear diophantine equations

Let $\sum_{i=1}^k a_ix_i = N$ be the equation with $a_i \in [2^t,2^{t+1}]$ being distinct primes. If we seek unique solutions $x_i\in R_i = (0,a_i)\cap \Bbb Z$, then in general it is not possible.
...

**5**

votes

**2**answers

1k views

### Solving $x^k+(x+1)^k+(x+2)^k+\cdots+(x+k-1)^k=(x+k)^k$ for $k\in\mathbb N$

This question has been asked previously on math.SE without receiving any answers.
http://math.stackexchange.com/questions/479740/solving-xkx1kx2k-cdotsxk-1k-xkk-for-k-in-mathbb-n
Letting $k$ be a ...

**1**

vote

**0**answers

236 views

### Can six square numbers be simultaneously represented in a single sum of consecutive odd numbers? [closed]

I had some free time from my work to do a little exploration regarding the existence (or non existence) of perfect cuboids. A solution is represented by the set of Diophantine equations:
$a^2 + b^2 = ...

**3**

votes

**0**answers

139 views

### Effective Lang-Weil bounds for del Pezzo surfaces

Let $X$ be variety in $\mathbb{P}^N$ over $\mathbb{F}_q$ of dimension $n$ and degree $d$.
By the Lang-Weil bounds
$ |\# X(\mathbb{F}_q) - q^n| \le (d-1)(d-2)q^{n-1/2} + Cq^{n-1}$for a constant $C$ ...

**2**

votes

**1**answer

285 views

### Are all sums of subsets of roots of unity unique?

For a prime $p$, let $S$ be the set of all $p$-roots of unity in the complex plane. Now, consider the sum, $W(R)$ of the members of a set $R$ which is a proper subset of $S$. I suspect that $R \ne R'$ ...

**10**

votes

**2**answers

1k views

### Which integers can be expressed as a sum of three cubes in infinitely many ways?

For fixed $n \in \mathbb{N}$ consider integer solutions to
$$x^3+y^3+z^3=n \qquad (1) $$
If $n$ is a cube or twice a cube, identities exist.
Elkies suggests no other polynomial identities are known.
...

**2**

votes

**3**answers

597 views

### Algorithm to count number of positive integer solutions of $x^2(8x-3)=y^2z$?

Given the Diophantine equation
$$ x^2(8x-3)=y^2z, $$
is there a way to efficiently count the number of solutions that satisfy $x+y+z\leq n$, where $n$ is a fixed given integer?
Also, for any fixed ...

**2**

votes

**3**answers

281 views

### Bounds on solutions to Diophantine equations of the form p(x)=q(y)

Thanks to responses in a previous question I asked, I was able to show that if $p$ and $q$ are two distinct polynomials with equal degree greater than 2 and coefficients in $\mathbb{N}$ that the ...

**2**

votes

**2**answers

266 views

### Four-Square Theorem for Negative Coefficient

What integers are not in the range of $a^2+b^2+c^2-x^2$ (for all integer combinations of a, b, c, and x)? This form is similar to that of Lagrange's Four-Square Theorem, for which the answer would be ...

**27**

votes

**6**answers

1k views

### Patterns among integer-distance points

Mark each point of $\mathbb{N}^2$ ($\mathbb{N}$ the natural numbers) if its
Euclidean distance from the origin is an integer. One obtains a plot like this, symmetric about the $45^\circ$ diagonal.
...

**8**

votes

**1**answer

496 views

### Fundamental units of imaginary quartic fields

Let $F/{\mathbb Q}$ be an imaginary quartic extension (i.e. the degree $[K:{\mathbb Q}]=4$ and no embedding of $K$ in ${\mathbb C}$ has its image inside the real numbers). Then the unit group of the ...

**0**

votes

**1**answer

550 views

### Is surface $x^2+z^2=2\cdot y^2$ something of a Möbius strip?

This question is naive. My association with Möbius strip comes from not being able to smoothly extract positive solutions of the diophantine equation
$$x^2+z^2=2\cdot y^2$$
I got a parametrization ...

**2**

votes

**0**answers

239 views

### Algorithm for solutions to quadratic forms over number fields

Are there any know (preferably implemented) algorithms to find solutions to quadratic forms over number fields (or global fields)?
I am especially interested in the quaternary case. There exist some ...