Citation :
Je suis en train d'essayer autre chose, mais je ne m'en sors pas, pour l'instant:
J'ai remarqué que (a,b,N) permet de construire (Na-b,a,N).
Je cherche donc à "descendre" d'une solution (a,b,N) vers (a',b',N) où a' ou b' < a ou b et je cherche à montrer que, si N n'est pas un carré parfait, on arrive à une merde. Mais, pour l'instant ...
Oui, ça a l'air de marcher......
si a;b;N solution.....
on a nécessairement a et b différents sinon 1+a² serait un diviseur de 2a² sauf si a=1 ou 0
prenons a<b
Nab+N=a²+b²
donc Nab <a²+b²
donc Nab-b²<a²
donc Na-b < a²/b <a
la solution a;b;N
conduit à la solution.....
(Na-b; a N).....
on a descendu d'un cran car a<b Na-b<a.....
de proche en proche, on arrive à .....un minimum....
calculs à vérifier.....et à terminer....