abs est la valeur absolue ...
oui bien sur "ma" méthode repose sur le fait que les solutions ne sont pas "compliquées" ....
je factorise par 4 et ne m'occupe que de
(*) évidemment tout le monde connaît les carrés de 1 + i et 1 - i (ça s'appelle l'expérience et le travail manuel :lol3: ) donc
 = (a + ib \sqrt 5)^2 = a^2 - 5b^2 + 2abi \sqrt 5)
donc

donc

équation bicarrée qui se résout sans aucune difficulté ....
et comme tout le monde connaît les racines carrés de i (d'après (*)) c'est fini ...
pour revenir à

alors

en remplaçant x² dans la deuxième on obtient une équation bicarrée qui permet de déterminer y puis x
évidemment élever au carré conduit à une implication et non pas une équivalence ... il faut donc vérifier les solutions ....
cette méthode permet de se passer du module ... mais bon quand l'idée du module est connue c'est tout de même beaucoup plus simple ...
:lol3:
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE