x² = 6y² + y^4 + 2
==>y^4 +6y² +(2-x²)=0
on pose y²=Y
on a :
Y²+6Y+(2-x²)=0
cette équation n´a de solutions que si le discriminant du trinome (qui est en fonction de Y) est positif.
Delta=36-4(2-x²)=28+4x²=4(7+x²)
Il est évident que ceci est positif pour tout x, donc, quel que soit x, l´équation 2 solutions (mais pas dans Z)
ces solutions sont :
Y=-3-racine(7+x²)
et
Y=-3+racine(7+x²)
on avait posé y²=Y
donc, il faut que Y soit positif, donc, on peut jarter la première solution, qui est toujours négative...
il faut au moins que -3+racine(7+x²) soit un nombre entier, sinon, impossible que Y=y²
pour ceci, il faut que 7+x² soit un carré parfait
cad
7+x²=k² avec k€Z
7=(k-x)(k+x)
les diviseurs de 7 sont 1 et 7, on trouve donc comme seules solutions
x=3
k=4
et
x=-3
k=4
on a donc :
Y=-3+racine(7+9)=-3+4=1
donc, y=1