Questions tagged [diophantine-equations]
Diophantine equations are polynomial equations $F=0$, or systems of polynomial equations $F_1=\ldots=F_k=0$, where $F,F_1,\ldots,F_k$ are polynomials in either $\mathbb{Z}[X_1,\ldots,X_n]$ of $\mathbb{Q}[X_1,\ldots,X_n]$ of which it is asked to find solutions over $\mathbb{Z}$ or $\mathbb{Q}$. Topics: Pell equations, quadratic forms, elliptic curves, abelian varieties, hyperelliptic curves, Thue equations, normic forms, K3 surfaces ...
935 questions
2
votes
0
answers
184
views
Will Coppersmith's method work for this bivariate modular polynomial shape?
I have a bivariate modular polynomial of shape
$$f(x,y)=x^2y-g(x)\equiv 0\bmod q$$
where
$q=(2p-1)(2p+1)$ is a product of two primes $2p-1$ and $2p+1$,
$g(x)\in\mathbb Z[x]$ is of degree four and
$f(...
3
votes
0
answers
176
views
For which primes $p$ in $\mathbb Z$ is $p\omega$ the sum of two cubes in $\mathbb Q(\omega)$?
This is related to an earlier question I posed —"Possible extensions of a conjecture …". Now that my note arXiv:2309.00162 has appeared I'll use it as a reference.
Elementary results(along ...
0
votes
1
answer
419
views
Integers representable as binary quadratic forms
It is known that odd prime $p$ can be represented as $p=x^2+y^2$ if and only if $p \equiv 1$ mod $4$, represented as $p=x^2+2y^2$ if and only if $p \equiv 1$ or $3$ mod $8$, represented as $p=x^2+3y^2$...
0
votes
0
answers
178
views
Elementary method for finding integer solutions for certain types of elliptic curve
There are some problems in high school Olympiad that ask to find integer solutions of the form $Q(x^2) = dy^2 (*)$ where $Q$ is a quadratic polynomial and $d$ is an absolute constant and quite often, $...
2
votes
0
answers
78
views
Is the continued fraction of a constructible number special in some way?
Rationals have finite CF and quadratic have periodic CF. CF in turn can be represented in terms of the modular group SL2(Z), e.g. using the standard generators S(z)=-1/z and T(z)=z+1. On the other ...
4
votes
1
answer
208
views
Representation of a number as a product of $\sqrt{n^2 + 1} + n$
Question. Do there exist two multisets $A, B$ consisting of positive integer numbers such that $|A|$ and $|B|$ have different parity and
$$
\prod_{n\in A}(n + \sqrt{n^2 + 1}) = \prod_{m\in B}(m + \...
5
votes
0
answers
454
views
Is 136 a difference of two rational fourth powers?
There is a rich literature that studies which small positive integers are the sums of two rational fourth powers, see e.g. Section 6.6 of Henri Cohen's book Volume I: Tools and Diophantine Equations. ...
9
votes
1
answer
637
views
Representing $x^6-4$ as a sum of two squares
Prove that there exist infinitely many integers $x$ such that integer $P(x)=x^6-4$ is a sum of two squares of integers.
Equivalently, prove that $x^3-2$ and $x^3+2$ are simultaneously sums of two ...
16
votes
2
answers
1k
views
Representing $x^3-2$ as a sum of two squares
Prove that there exist infinitely many integers $x$ such that integer $P(x)=x^3-2$ is a sum of two squares of integers.
Ideally, I am looking for a proof method that also applies for other $P(x)$, ...
8
votes
1
answer
627
views
Hilbert 10th problem for cubic equations
Hilbert 10th problem, asking for algorithm for determining whether a polynomial Diopantine equation has an integer solution, is undecidable in general, but decidable or open in some restricted ...
4
votes
1
answer
408
views
Are these equations solvable in positive integers?
By Matiyasevich theorem, there is no algorithm to decide whether a given Diophantine equation $P(x_1,\dots, x_n)=0$ has a solution in positive integers. As suggested in What is the smallest unsolved ...
9
votes
1
answer
467
views
Positive integers such that $(x+y)(xy-1)=z^2+1$
Do there exist positive integers $x,y,z$ such that
$$
(x+y)(xy-1)=z^2+1
$$
In my previous question Can you solve the listed smallest open Diophantine equations?, I discuss the smallest equations for ...
6
votes
1
answer
964
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. Theorem: "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\qquad\tag3$$
with $(u,v,w)$ as the symmetric polynomials $u=a+b+c,\; ...
4
votes
2
answers
343
views
Algorithm for computing rational points if the rank of Jacobian is 0
Is there a general algorithm that can compute in finite time all rational points on any curve of genus $g\geq 2$ whose Jacobian has rank $0$?
If not, for what special cases such algorithm is known? ...
3
votes
1
answer
115
views
3-dimensional Boolean cube of Squares
Do there exist positive integers $A, B, C$ such that all seven numbers $$A, B, C, A+B, B+C, A+C, A+B+C$$ are perfect squares?
14
votes
1
answer
612
views
What are the rational solutions to $y^4=x^3+x+1$?
What are the rational solutions to $y^4=x^3+x+1$?
This equation is interesting because it has substitution $y^2=z$ that reduces it to elliptic curve $z^2=x^3+x+1$. Sometimes, the existence of such ...
1
vote
0
answers
138
views
Diophantine equation Oeis A159589
Considera the diophantine equation:
$y^2=x^2+(x+449)^2$.
Is there a method to solve this equation?
And why an Oeis sequence Is dedicated to this equation? Has this diophantine equation something ...
11
votes
3
answers
2k
views
Is there any formula to find number of Pythagorean triplets between two integers 2 and j, j>2?
Given $j \geq 5$, is there a formula for the number of Pythagorean triplets $(a, b, c)$ satisfying the constraint that $a, b, c \leq j$?
There exists at least one Pythagorean triplet for $j\geq5$; ...
22
votes
2
answers
7k
views
Which types of Diophantine equations are solvable?
Is there a list somewhere of which types of Diophantine equations are solvable, which types are not solvable, and which types are not known to be solvable or not? (When I say solvable, I mean that we ...
5
votes
2
answers
421
views
On the Diophantine equation $x^{4}+y^{4}=z^p$
Do there exist integers $x,y,z$ with $xyz\neq 0$, such that
$$x^4 + y^4 = z^p$$
where $p\geq 5$ is some prime ?
If yes, are there infinitely many of them ? And if there exists infinitely many of ...
1
vote
0
answers
106
views
Mahler's proof of $S$-unit equation
Many modern proofs of the (ineffective) finiteness of solutions of the $S$-unit equation $x+y=1$ use Roth's theorem. In particular it is used Lang's version of Roth's theorem which takes in account ...
7
votes
3
answers
771
views
Something interesting about the quintic $x^5 + x^4 - 4 x^3 - 3 x^2 + 3 x + 1=0$ and its cousins
(Update):
Courtesy of Myerson's and Elkies' answers, we find a second cyclic quintic for $\cos\frac{2\pi}{p}$ with $p=\text{1 mod 10}$ as,
$$\frac{z^5}{\beta} = 10 z^3 - 20 n^2 z^2 + 5 (3 n^4 - 25 n^...
5
votes
1
answer
279
views
Diophantine equations involving the difference between perfect square and perfect cube
(a) Do there exist infinitely many triples $(x,y,z)$ of integers with $z\neq 0$ such that
$$
z(x^3-y^2) = x+1.
$$
(b) The same question for
$$
z(x^3-y^2) = y+1.
$$
In other words, are there infinitely ...
1
vote
2
answers
643
views
Describe all integer/rational solutions to $x^3+y^3+z^3+t^3+s^3=0$
The question is in the title.
Equation $\sum_{i=1}^n x_i^3 = 0$ has no non-trivial integer solutions for $n=3$. For $n=4$, there are known descriptions of all integer/rational solutions, see
Choudhry, ...
3
votes
2
answers
191
views
What can be said about the cube-free part of $x^3 -3xy^2 +y^3$?
For $x$ and $y$ in $\mathbf{Z}$, not both zero, let $cfp(x,y)$ be the cube-free part of $x^3 -3xy^2 + y^3$ (normalized to be $> 0$). One sees:
(#) $cfp(x,y)$ is either a product of primes $p$, with ...
6
votes
0
answers
321
views
A generalization of the Diophantine $m$-tuple problem
Are there distinct positive integers $a_1,a_2,a_3,b_1,b_2,b_3$ such that $a_ib_j+1$ is a perfect square number for each $i,j$ ($1\leq i,j\leq3$)?
I asked the following question in a group, and ...
4
votes
0
answers
307
views
Equations involving sum of fourth powers
Do there exist rational numbers $x,y,z$ such that
$$
\quad \quad z^3 - 1 = x^4+y^4 \neq 0 \tag{$a$} \quad ?
$$
Also, do there exist rational numbers $x,y,z$ such that
$$
\quad \quad z^3 - z = x^4+y^4 \...
1
vote
0
answers
152
views
How difficult is to find rational points on these genus 3 curves:
How difficult is to find all rational points on these genus 3 curves:
$$
(a) \quad \quad x^3 + y^3 x +y^2 - y = 0
$$
$$
(b) \quad \quad x^4 - y^3 + x y + x = 0
$$
Short motivation. Consider the ...
1
vote
2
answers
127
views
Number of integers $x \leq B$ such that $f(x)\mid g(x)$ for coprime polynomials $f,g$
Let $f, g \in \mathbb{Z}[x]$ be coprime polynomials.
I am interested in an upper bound for
$$
N(B) = \# \{ x \in [-B, B] \cap \mathbb{Z}: f(x)\mid g(x) \}.
$$
I assume there must be something known ...
0
votes
2
answers
228
views
$y^3=x^4+x$, and computing all rational points on rank $0$ Picard curves
What are the rational solutions to the equation
$$
y^3 = x^4 + x,
$$
in particular, are there any (finite) solutions other than $(x,y)=(0,0)$ and $(-1,0)$?
Context: This is the simplest-looking ...
6
votes
1
answer
438
views
$y^3 = x^4 + x + 2$, and existence of rational points on rank 0 Picard curves
Do there exists rational numbers $x$ and $y$ such that
$$
y^3 = x^4 + x + 2 ?
$$
Context: There are a lot of publications about computing rational points on elliptic and hyperelliptic curves, and ...
3
votes
0
answers
511
views
Regarding the Challenge Problem in 3Blue1Brown's most recent video: Will $\binom{x}{4}+\binom{x}{2}+1=2^k$ for $x>10$? [duplicate]
Link to the video here with timestamp
In deriving the formula for regions of Moser's Circle Problem, it observed that the formula
$$
F(x)=\binom{x}{4}+\binom{x}{2}+1
$$
achieves values that are equal ...
0
votes
0
answers
87
views
Number of solution to homogeneous linear Diophantine equations
Let $T,M\in\mathbb{N}$ be fixed. Consider a linear Diophantine equation of the form
$a_1 x_1 + a_2 x_2 + … + a_n x_n = 0 $
with $a_i \in [-T,T] \subset \mathbb{Z}$. Is there an asymptotic formula to ...
5
votes
0
answers
180
views
Existence of large integer solution for a simple-looking equation
Is it true that for every $k>0$ Diophantine equation
$$
y^2 + x^2y + z^2x + 1 = 0
$$
has an integer solution $(x,y,z)$ such that $\min\{|x|,|y|,|z|\}\geq k$?
Motivation: this equation arises in the ...
0
votes
1
answer
204
views
Rational points on genus 3 curves defined by short equations
(a) Find all pairs of rational numbers $(x,y)$ such that
$$
y^3-y=x^4-x.
$$
(b) Find all pairs of rational numbers $(x,y)$ such that
$$
y^3+y=x^4+x.
$$
If not a complete answer, I would be happy to ...
2
votes
1
answer
587
views
On the equation $4y^p= x^2 + 3$
Do there exist some non-zero rational numbers $x, y$ such that $x \neq \pm y$ and
$$4y^p = x^2 + 3 \tag{1}$$
for some odd prime $p$?
If one lets $y=a/b$ and $x=c/d$ where $a, b, c, d$ are non-zero ...
7
votes
3
answers
611
views
Question on a crucial lemma in Euler's approach to Fermat's Last Theorem for $n=3$
As many of you may know, the illustrious L. Euler put forward a proof of the case $n=3$ of Fermat's Last Theorem via infinite descent. The thing is that, at a certain point, he resorted to the ...
1
vote
0
answers
34
views
Does $2$ variable linear Diophantine equation in $NC$ imply $2$ dimensional shortest vector is in $NC$?
Consider the Linear Diophantine in known $a,b,c\in\mathbb Z$
$$ax+by=c.$$
Above can be solve by Extended Euclidean which is not in $NC$ as far as we know. It is clear if Extended Euclidean is in $NC$ ...
2
votes
3
answers
574
views
Centered-hexagonal triangular squares
Is there a centered-hexagonal, triangular, square (apart from 0 and 1)?
In other words, is there a positive integer that is simultaneously
(1) a perfect square, $n^2$, $n \ge 2$,
(2) a triangular ...
10
votes
2
answers
1k
views
Integer solutions of an exponential equation
How can I solve this equation?
$$7^{x} +2=y^{2}$$
$x$ and $y$ must be natural numbers.
0
votes
0
answers
74
views
Lowest asymptotic bound to $4^n - 2v_n^2$ where $v$ is an odd integer, $n$ fixed
The general problem is this. I try to find a positive integer $\delta_n$ such $qv_n^2 +\delta_n = p\cdot 4^n$. More precisely, I am looking for a lower bound (depending on $n$) for $\delta_n$ as $n\...
2
votes
0
answers
101
views
Persistence of KAM tori as a function of dimension
I have tried posting this question in MSE, but I think it might be too technical so I'm trying again here.
In KAM theory one tries to describe the persistence of quasi-periodic motion when an ...
4
votes
1
answer
916
views
Does this conic have a rational point?
Consider the conic
$$C = \{X^2+uY^2+vZ^2=0\}\subset\mathbb{P}^2_{\mathbb{Q}(u,v)}$$
over the function field $\mathbb{Q}(u,v)$.
Does $C$ have a $\mathbb{Q}(u,v)$-rational point?
1
vote
0
answers
129
views
Is every even number greater than $44$ not divisible by $8$ of the form $x^2+y^2+z^4+t^4$?
Related to this question,
where Bogdan Grechuk suggested this question.
Q1 Is every even number greater than $44$ not divisible by $8$ of the form $x^2+y^2+z^4+t^4$...
1
vote
1
answer
364
views
Good references to study Baker's theory
I am studying diophantine equations and I need the theory of Bakers, Can you advise me about good books, or lectures on Baker's theory?
5
votes
0
answers
230
views
Diophantine applications of Paramodularity
I’ve asked this question to quite a few people in person and so far haven’t seen a good answer... but I believe one should exist, so here goes!
Ok, we all know how to (roughly) prove Fermat’s Last ...
2
votes
1
answer
139
views
Solutions to the Diophantine equation $a^xy+x=c$
Fix positive integers $a,c$ with $a>2$. Is it possible that the Diophantine equation
$$a^xy+x=c$$
has infinitely many solutions (in positive integers $x$ and $y$)?
3
votes
1
answer
233
views
Pythagorean triples and quadratic residues modulo primes
QUESTION. Are my following conjectures true? How to prove them?
Conjecture 1. For each prime $p>100$, there are $a,b,c\in\{1,\ldots,p-1\}$ such that
$$\left(\frac ap\right)=\left(\frac bp\right)=\...
3
votes
0
answers
235
views
Is $16a+5$ always of the form $x^2+y^2+z^4$?
Working over the integers.
For $a$ up to $10^7$, $16a+5$ is always of the form $x^2+y^2+z^4$.
Q1 Is $16a+5$ always of the form $x^2+y^2+z^4$?
Heuristic argument:
For prime $p=4b+1$, both of $p$ and $...
3
votes
0
answers
257
views
Are all odd integers greater than $599$ of the form $x^2+y^2+z^4+t^4$?
For $a \le 10^7$, the equation over integers $4a+1=x^2+y^2+z^4+t^4$
has solutions.
Q1 Is it true that all integers of the form $4a+1$
are also of the form $x^2+y^2+z^4+t^4$?
Heuristic argument: ...