Citation de KingBaum
On est sur N donc une simple disjonction de cas suffit ...
5^2 = 25 > 20 et comme un carré est strictement positif, et que la somme de deux carrés est un nombre forcément positif, on en déduit que le couple solution est contenu dans l'intervalle S={0,1,2,3,4}.
Le seule couple valide est
2^2 + 4^2 = 20

J'ai corrigé l'énoncé c'est a²-b², mais oui la disjonction de cas permet de justifier, comme on est sur N et 5² = 25 c'est justifié, cimer chef