Bonjour,
en ce qui concerne la résolution exacte de l'équation de Pell, ce n'est ni au programme du tout, ni demandé.
en tout cas les solutions sont bien plus compliquée que du simple x = 3k±2 car c'est très loin de suffire (comme le montre le tableau précédent, x = 3*1+2 = 5 ne donne aucune solution)
la factorisation effectuée n'apporte vraiment rien au problème.
la clé à un niveau raisonnable (lycée) serait de commencer par démontrer l'identité de Brahmagupta :
(X² + AY²)(X'² + AY'²) = (XX' - AYY')² + A(XY' + X'Y)²
elle permet alors à partir de 2 solutions de les trouver toutes
ainsi si on "double" la solution (2; 1) avec A = -3
(2² - 3*1²)(2² - 3*1²) = (2*2 + 3*1*1)² - 3(2*1 + 2*1)² = 1
(-A = +3 et car chacun des facteurs du premier membre est égal à 1)
soit la solution "suivante" 7² - 3*4² = 1
il n'y en a pas entre ces solutions là
(la partie -très- difficile de la chose est de démontrer cela, que ce procédé donne toutes les solutions sans en oublier, cela faisait l'objet de questions d'un problème de concours général de 1965&pm1; je n'ai pas gardé ni retrouvé le sujet, j'avais lamentablement raté )
on peut re "multiplier" encore par la solution "fondamentale" (2;1) pour obtenir la suivante etc
le mot "multiplier" n'est pas choisi au hasard car l'ensemble des solutions forme un groupe multiplicatif avec comme opération de multiplication l'identité de Brahmagupta, et comme élément neutre la solution triviale (1; 0),
c'était ça le concours général en question, sans le vocabulaire employé ici
les solutions croissent en gros comme une suite géométrique de raison
vu que elles sont toutes , avec comme opération de "multiplication" ce qui a été défini ci dessus, égales à (2; 1)n dans ce groupe multipiicatif
mais tout ceci est très loin de ce qui est demandé dans l'exo !!
on va donc arrêter là cette digression sur les équations de Pell-Fermat.
et revenir au sujet qui est d'écrire un algorithme "de force brute" qui essaye successivement des valeurs systématiques (x; y) "dans l'ordre"
c'est à dire, en gros , traduire sous forme d'algorithme ce que fait le tableau de ZEDMAT