4 Anneaux et Corps
4.6 Problème 3 : somme de deux carrés
On s’intéresse au problème suivant : trouver les nombres entiers naturels qui s’écrivent comme
somme de deux carrés d’entiers, comme 5 = 12+ 22.
1. Préliminaires.
a) Montrer qu’un nombre de la forme 4k+ 3, où k∈Zn’est jamais somme de deux
carrés. On pourra étudier les carrés modulo 4.
b) Soit pun nombre premier différent de 2. Vérifier qu’il est de la forme 4k+ 1 ou de la
forme 4k+ 3.
c) En appliquant le théorème de Gauss, montrer que
p|p!
(p−k)!k!
pour tout k∈ {1,2, . . . , p −1}. En déduire que, dans Z/pZon a
(x+y)p=xp+yp
d) Prouver que pour tout xnon nul de Z/pZon a :
xp−1= 1
On prouvera d’abord, par récurrence, que pour tout xon a xp=x.
e) Montrer l’existence dans Z/pZde x0tel que
x
p−1
2
0=−1
On pourra factoriser Xp−1−1et utiliser que Z/pZest un corps.
f) En déduire que −1est un carré dans Z/pZsi et seulement si pest de la forme p= 4k+1.
2. L’anneau des entiers de Gauss.
On définit l’ensemble des entiers de Gauss Z[i]par
Z[i] = {z∈C| ∃(a, b)∈Z, z =a+ib}
et l’application Nde Z[i]dans Ndéfinie par
N(a+bi) = a2+b2
a) Montrer que l’ensemble des entiers de Gauss est un sous-anneau de C.
b) Montrer que N(zz′) = N(z)N(z′), pour tout (z, z′)entiers de Gauss. En déduire que
les inversibles (unités) de Z[i]sont les éléments tels que N(z) = 1. Montrer qu’il y en
a quatre que l’on précisera.
c) Montrer que, si xet ysont des entiers de Gauss (ynon nul), il existe un couple
d’entiers de Gauss (q, r)tels que
x=qy +r, et |r|<|y|
On pourra utiliser le plan complexe et raisonner géométriquement en considérant le
point d’affixe x
y.
50