2
$\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$
  • 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$ – Gerry Myerson May 26 '17 at 6:40
  • 1
    $\begingroup$ This is a Thue equation, for which there are solvers available. $\endgroup$ – Max Alekseyev May 26 '17 at 10:12
8
$\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$
  • $\begingroup$ Hello,$24n^4+1=l^2$ have simple methods? $\endgroup$ – inequality May 26 '17 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$ – José Hdz. Stgo. May 26 '17 at 7:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.