Bonsoir,
1)soit d diviseur (>1) de x-2n et y-2n : son carré divise 2n2, or 2 est premier donc
si d2 divisait 2, 2 serait composé, contradiction. Donc (th Gauss) d2 divise n2, donc d divise n.
Donc d divise n et x-2n : il divise x, idem pour y (traiter avant de conclure le cas où d divise 2 ie d=2)
Tout diviseur de x et y divise (x+y-2n)2, d'après l'égalité proposée (qui s'obtient en développant les deux égalités) et divise donc (x+y-2n) (th Gauss)
donc il divise 2n. Donc il divise x-2n et y-2n.
2)Si d=2 et d divise x et y alors 2 divise x-2n et y-2n donc 4 divise n2
donc 2 divise n : d divise n
Sinon d divise x et x-2n donc d divise 2n donc (th Gauss) d divise n