Salut,
Je suppose qu'il faut montrer que a² + 2b carré parfait => a² + b somme de 2 carrés parfaits (sinon ça ne marche pas)
a² + b = (a² + 2b) - b
Par hypothèse, a² + 2b = n² et b = (n² - a²)/2, donc a² + b = (n² + a²)/2. D'après a), n et a ont même parité, donc le nombre (n² + a²)/2 est bien entier.
Clairement, il existe des entiers u et v tels que n = u + v et a = u - v. En effet, il suffit de choisir u = (n + a)/2 et v = (n-a)/2 (ces deux nombres sont bien entiers car n et a sont de même parité).
Dans ce cas, on obtient (n² + a²)/2 = u² + v², donc par transitivité, a² + b = u² + v². CQFD