3
$\begingroup$

t's probably common knowledge that there are Diophantine equations which do not admit any solutions in the integers, but which admit solutions modulo nn for every nn. This fact is stated, for example,

Conjecture Let $m,n $be integer,find all $$m^4+n^4=10m^2n^2+1$$

I this equality have only foursolution$(m,n)=(0,1),(0,-1),(1,0),(-1,0)$.But I can't prove it

$\endgroup$
2
  • 3
    $\begingroup$ I don't see the point of the bit about Diophantine equations that have no integer solutions, since your equation does have integer solutions. $\endgroup$ Commented May 26, 2017 at 6:40
  • 1
    $\begingroup$ This is a Thue equation, for which there are solvers available. $\endgroup$ Commented May 26, 2017 at 10:12

1 Answer 1

10
$\begingroup$

You have already listed all the possible solutions $(m,n)$ in which either $m=0$ or $n=0$.

Let us suppose that $(m,n) \in \mathbb{N} \times \mathbb{N}$ is a solution of your equation. Then, the discriminant $\Delta$ of the polynomial

$$p(z)=z^{2} - 10 \, z \,n^{2} +(n^{4}-1)$$

is necessarily a perfect square. Since

$$\Delta = 100n^{4}-4(n^{4}-1) = 96n^{4}+4=4(24n^{4}+1)$$

and $\gcd(4,24n^{4}+1)=1$, it follows that

$$24n^{4}+1 = \ell^{2}$$

for some $\ell \in \mathbb{Z}^{+}$. Since any equation of the type $y^{2}=Dx^{4}+1$, where $D>0$ and is not a perfect square, has at most two solutions in positive integers (cf. L. J. Mordell, Diophantine equations, p. 270: if I understand correctly the said result is original with the industrious Wilhelm Ljunggren who would also remark that "if the equation has two solutions in positive integers, these will be determined by the fundamental unit in $\mathbb{Q}(\sqrt{D})$ and its square, apart from the case $D=1785$, where the solutions are given by the first and the fourth power of the fundamental unit"), it follows that your equation has at most four different solutions in positive integers.

$\endgroup$
2
  • $\begingroup$ Hello,$24n^4+1=l^2$ have simple methods? $\endgroup$
    – math110
    Commented May 26, 2017 at 6:21
  • $\begingroup$ I am not sure what you mean by "simple". In any case, I think that the remark I put between quotations marks settles the matter completely. $\endgroup$ Commented May 26, 2017 at 7:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .