Citation de Sadisme
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

Bien vu
(a-b)(a+b)=20

On en déduit que (a+b) et (a-b) sont des diviseurs de 20, et que donc, comme on est sur N :
(a-b)<20 et (a+b)<20
Diviseurs de 20 (1,2,4,5,10,20)
Et là tu fais ta disjonction de cas et c'est plié.
Ça ressemble à de la spé maths ça d'ailleurs.
Tu as fait le bon choix de spécialité.