Lycée Moulay AL Hassan Tanger .
Classe Préparatoire MPSI 1
Année 2022 − 2023 Mathématiques
Devoir libre no 6
à rendrele samedi 28 janvier 2023
Noter Bien : la présentation , la lisibilité , la qualité de la rédaction, la clarté et la précision
des raisonnements entreront pour une part importante dans l’appréciation des copies . l’élève
pourra admettre et utiliser le résultat d’une question non résolue s’il l’indique clairement sur sa
copie . il convient en particulier de rappeler avec précision les références des questions abordées .
1 Problème :
L’objectif de ce problème est de déterminer quels sont les entiers naturels qui sont somme
de deux carrés.
Notations :
N, Z et C désignent respectivement les ensembles des entiers naturels, des entiers relatifs
et des nombres complexes.
On pose Z[i] = {a + i.b/a ∈ Z, b ∈ Z} ⊂ C et Z[i]∗ = Z[i]\{0}
Pour z ∈ C, on pose N (z) = z z̄.
Partie I :Présentation de l’anneau de Z[i]
1. Présentation de l’anneau Z[i].
(a) Vérifier que Z[i] est un sous-anneau de C muni de l’addition et de la multiplication
usuelles.
(b) Etablir que pour tout u, v ∈ Z[i], N (uv) = N (u)N (v) et que pour tout u ∈
Z[i], N (u) ∈ N.
(c) Un élément u ∈ Z[i] est dit inversible ssi il existe v ∈ Z[i] tel que uv = 1.
Montrer que si u est inversible alors N (u) = 1.
Déterminer alors l’ensemble, noté U , des éléments inversibles de Z[i].
2. Divisibilité dans l’anneau Z[i]. Soit u, v ∈ Z[i]. On dit que u divise v dans Z[i], et on
note u | v, ssi il existe s ∈ Z[i] tel que v = su.
(a) Soit u, v, w ∈ Z[i]. Etablir l’implication que si u | v et v | w alors u | w.
(b) Soit u, v ∈ Z[i]. Etablir que si u | v et v | u alors u = ±v ou ±iv.
(c) Soit u, v ∈ Z[i]. Montrer que si u divise v alors N (u) divise N (v) dans Z.
(d) Déterminer les diviseurs de 1 + i, puis de 1 + 3i dans Z[i].
3. Division euclidienne dans Z[i].
(a) Montrer que pour tout z ∈ C, il existe u ∈ Z[i] tel que N (u − z) < 1.
Ce u est-il unique ?
(b) Montrer que pour tout u ∈ Z[i] et tout v ∈ Z[i]∗ , il existe (q, r) ∈ Z[i] × Z[i] tel
que :
u = vq + r avec N (r) < N (v).
On pourra utiliser la division dans C.
1
Partie II : Arithmétique dans Z[i]
1. Soit δ ∈ Z[i]. On note δ.Z[i] = {δu/u ∈ Z[i]}. Montrer que δ.Z[i] est un sous-groupe
additif de Z[i].
2. Soit u, v ∈ Z[i] avec u ̸= 0 ou v ̸= 0. On note I(u, v) = {uz + vz ′ /z, z ′ ∈ Z[i]}.
(a) Observer que u et v appartiennent à l’ensemble I(u, v).
(b) Montrer que l’ensemble A = {N (w)/w ∈ I(u, v)\{0}} possède un plus petit élé-
ment d > 0.
(c) Soit δ un élément de I(u, v) tel que N (δ) = d. Etablir que I(u, v) = δ.Z[i]. On
pourra exploiter la division euclidienne présentée en I.3b. 2.d Montrer que δ divise
u et v puis que pour tout w ∈ Z[i], on a l’équivalence : (w | u et w | v) ⇔ w | δ.
On dit que δ est un pgad de u et v.
3. Soit u, v ∈ Z[i] avec u ̸= 0 ou v ̸= 0. On dit que u et v sont premiers entre eux ssi le
nombre δ défini en II.2.d appartient à {±1, ±i}.
Dans les questions 3.a et 3.b, on suppose que u et v sont premiers entre eux.
(a) Justifier qu’il existe z, z ′ ∈ Z[i] tel que 1 = uz + vz ′
(b) Soit w ∈ Z[i]. Montrer que si u divise vw alors u divise w.
4. Soit u ∈ Z[i] − {0, ±1, ±i}. On dit que u est irréductible ssi ses seuls diviseurs sont
±1, ±i, ±u et ±iu.
(a) Soit v ∈ Z[i]. On suppose que u irréductible et ne divise pas v.
Montrer que u et v sont premiers entre eux.
(b) Soit v, w ∈ Z[i]. On suppose que u est irréductible et divise vw.
Montrer que u divise v ou divise w.
Partie III : Nombres somme de deux carrés
1. On note Σ = {a2 + b2 /a ∈ Z, b ∈ Z}.
(a) Montrer que n ∈ Σ ⇔ ∃u ∈ Z[i], n = N (u).
(b) En déduire que si n, n′ ∈ Σ alors nn′ ∈ Σ.
2. p désigne un nombre premier strictement supérieur à 2.
(a) Montrer que p ∈ Σ ⇒ p ≡ 1 modulo 4 .
Nous admettrons que l’implication réciproque est vraie (quoique loin d’être immé-
diate).
Ainsi 5 = 12 + 22 , 13 = 22 + 32 , 17 = 12 + 42 , . . . sont des éléments de Σ.
(b) Montrer que si p n’est par irréductible alors p ∈ Σ.
3. Soit a, b ∈ Z et n = a2 + b2 ∈ Σ. Soit p ≡ 3 modulo 4 , un nombre premier diviseur de
n.
(a) Montrer que p | a + i.b dans Z[i].
(b) En déduire que p2 divise n.
4. Etablir que les entiers naturels non nuls appartenant à Σ sont les nombres de la
forme n = pα1 1 pα2 2 . . . pαNN avec p1 , p2 , . . . , pN nombres premiers deux à deux distincts et
α1 , α2 , . . . , αN entiers naturels tels que : ∀1 ≤ i ≤ N, pi ≡ 3 modulo 4 ⇒ αi est pair.
