Ba pour le 2b j'ai déjà marqué sur ma copie :
On sait que a et b sont des entiers naturels.
Le carré d'un entier étant un entier, a² est aussi un entier, ainsi que b².
L'égalité prouvant que a² = 2b², un nombre impair multiplié par 2 donne toujours un nombre pair.
On en conclus donc que a² est un nombre pair.
Pour le 3a :
Soit a un nombre pair = à 2k avec k entier naturel, a² = 4k² = 2(2k²) ce qui implique donc que a est pair suivant l'égalité par le facteur de 2 sur k.