The diophantine-equations tag has no wiki summary.

**1**

vote

**2**answers

288 views

### Computational complexity of solution of Pell equation and more

What is computational complexity for computing integral solution of Pell equation .It seems to be in P ,and could any one give an algorithm and reference for proof of it's complexity?
And more,could ...

**3**

votes

**0**answers

143 views

### A question on a paper by Ribet

I'm reading the article On the equation $a^p + 2^\alpha b^p + c^p = 0$ by Ribet (http://math.berkeley.edu/~ribet/Articles/acta.pdf), but I'm having trouble understanding his proof of Theorem 3. For ...

**0**

votes

**0**answers

101 views

### Are there generating functions of rational or integral solutions of Diophantine equation that

As we know,there are generating functions for c.e.languages which are some retricted rational or algebraic or transcendental functions dependent on the class of languages like regular ...

**0**

votes

**0**answers

81 views

### Using the circle method to prove that there are no solutions to diophantine equaltions

Would it be possible to use the circle method to prove that there are no solutions to certain diophantine equations. For example, could one use the circle method to prove the fact that there are no ...

**3**

votes

**0**answers

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

**1**

vote

**1**answer

195 views

### Non-coprime solutions to x^n+y^n = z^2

Let $n$ be an odd prime. I know that the equation $x^n+y^n = z^2$ has no non-zero coprime solution in integers whenever $n \geq 5$, and that there are infinitely many solutions as soon as one drops ...

**17**

votes

**1**answer

856 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) ...

**2**

votes

**3**answers

231 views

### Specific Diophantine Equation Appearing in Faa Di Bruno Formula

In a Faa Di Bruno Formula there is an equation:
$m_1$+2*$m_2$+3*$m_3$+...n*$m_n$=n
Is there any general solution for this equation.
For example for
$m_1$+$m_2$+$m_3$+...+$m_n$=n, there is a ...

**1**

vote

**1**answer

229 views

### On $x^3-y^2=1728 \text{ unit}$ in number fields

Consider solution of
$$x^3-y^2=1728 \text{ unit} \qquad (1)$$
in a number field.
This is related to the discriminant of elliptic curve
in terms of $c_4,c_6$.
Via elliptic curves it might have ...

**21**

votes

**3**answers

686 views

### Consecutive square values of cubic polynomials

Let $P(x)$ be a cubic polynomial with integer coefficients. Does there exist a constant $c$ such that at least one of the following values $P(0),P(1),...,P(c)$ is not a square?
It is known that the ...

**2**

votes

**0**answers

128 views

### What is the general feeling for Hilbert's 10th problem for Q?

We know that Hilbert's 10th problem for $\mathbb{Z}$ is undecidable. I was wondering whether there is a strong opinion in the mathematical community on the decidability of Hilbert's 10th for ...

**9**

votes

**1**answer

454 views

### Integer Solutions of $x+y^n = y + x^m$ for $n < m$

I found 8 of them and believe there is no more:
$$2+3^2=3+2^3$$
$$2+6^2=6+2^5$$
$$6+15^2=15+6^3$$
$$3+16^2=16+3^5$$
$$3+13^3=13+3^7$$
$$2+91^2=91+2^{13}$$
$$5+280^2=280+5^7$$
$$30+4930^2=4930+30^5$$
...

**4**

votes

**0**answers

104 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

364 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

428 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

124 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

148 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

103 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

292 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

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

**3**

votes

**1**answer

193 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

303 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

161 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

884 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

431 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

468 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

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

**6**

votes

**2**answers

460 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

864 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

141 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

146 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}$.

**5**

votes

**0**answers

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

**2**

votes

**1**answer

151 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

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

**5**

votes

**2**answers

340 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

528 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

311 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

874 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

686 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

344 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

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

**0**

votes

**0**answers

104 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

82 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

276 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

128 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

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

**6**

votes

**2**answers

406 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

519 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

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