Bonjour,
Les idées de Adelinet sont bonnes. Mais la démonstration est plus claire encore si on sait ce qu'est un nombre pair et un nombre iùpair.
L'idée qu'un entier pair est un entier dont le dernier chiffre est 0 2, 4, 6, 8 n'est plus assez efficace en lycée.
Dans ce genre de question, on a intérêt à connaître les définitions suivantes:
les nombres pairs sont ceux qui s'écrivent sous la forme 2 k avec k entier.
les nombres impairs sont ceux qui s'écrivent sous la forme (2 k + 1) avec k entier.
La première démonstration d'Adelinet devient:
Soit n un entier pair. Il existe donc k entier tel que: n = 2k
n² = (2k)² = 4 k² = 2 (2k²)
donc n² s'écrit bien sous la forme 2 fois un entier (2k² est un entier).