LM220 : ARITHM

ETIQUE
par
Alberto Mnguez
December 13, 2010
1. Les entiers de Gauss
1.1. Somme de deux carres. La question quon se pose dans cette section est la
suivante : quels sont les entiers relatifs qui peuvent secrire comme somme de deux carres
(dentiers)? Cest-` a-dire, pour quel entier a N, il existe x, y N tels que
x
2
+ y
2
= a.
Par exemple, 0, 1, 2, 5, 8 et 9 peuvent secrire comme somme de deux carres (exercice :
montrez-le) mais 3, 6 et 7 ne peuvent pas (exercice : montrez-le).
Lemme 1.1. Soit a N. Alors a secrit comme somme de deux carres si, et seule-
ment si, a = b
2
c o` u b, c N et c secrit comme somme de deux carres c = s
2
+ t
2
avec
pgcd(s, t) = 1.
Demonstration. Si a = b
2
c o` u b, c N et c secrit comme somme de deux carres
c = s
2
+ t
2
, alors a = (bs)
2
+ (bt)
2
. Reciproquement, si a secrit comme somme de deux
carres x
2
+ y
2
= a, on pose b = pgcd(x, y), s =
x
b
, t =
y
b
de sorte que a = b
2
c o` u
c = s
2
+ t
2
.
Ce lemme nous permet de nous ramener au cas o` u x et y sont premiers entre eux.
Proposition 1.2. Si a secrit comme somme de deux carres dentiers premiers entre
eux, alors a nest divisible par aucun nombre premier p positif tel que p 3 mod 4.
Demonstration. Soit p un diviseur premier positif de a. On a donc que x
2
+ y
2
0
mod p. Puisquon a suppose que x et y sont premiers entre eux, lun deux nest pas
divisible par p et lidentite precedente implique que aucun de deux nest a fortiori divisible
par p. On a donc que x
2
y
2
mod p et donc, si on multiplie par linverse de y
2
dans
Z/pZ,
(xy
1
)
2
1 mod p.
2 ALBERTO M

INGUEZ
Cest-` a-dire, il existe k Z/pZ tel que k
2
1 mod p. La proposition decoule alors du
theor`eme suivant.
Theor`eme 1.3. Si p est un nombre premier positif, il existe k Z/pZ tel que
k
2
1 mod p
si, et seulement si p = 2 ou p 1 mod 4.
Demonstration. Si p = 2 alors 1 = 1 et donc 1
2
= 1 = 1 mod 2. Supposons donc
p de la forme p = 2b + 1, avec b N. Supposons que p 1 mod 4, cest-` a-dire, b est
pair. Alors, dapr`es le theor`eme de Wilson on a que
(p 1)! 1 mod p
et donc
2b(2b 1) (b + 1)b 2 1 1 mod p
On remarque que, pour tout 0 i b 1, 2b i (i + i) mod p et donc on trouve
que
b
2
2
2
1
2
(1)
b
1 mod p
Comme on a suppose b pair on a que
(b!)
2
= b
2
2
2
1
2
1 mod p
do` u le resultat.
Reciproquement, supposons quil existe k Z/pZ tel que k
2
1 mod p avec p
impair. On a donc que k est dordre 4 dans (Z/pZ)

. Dapr`es le petit theor`eme de

Fermat, on a que k
p1
1 mod p, donc p 1 est divisible par lordre de k, cest-`a-dire,
p 1 mod 4.
A la n du chapitre on montrera la reciproque de la proposition 1.2, dont on avance
lenonce :
Theor`eme 1.4. Un entier a secrit comme somme de deux carres si, et seulement si
a = b
2
c avec b, c Z et b nest divisible par aucun nombre premier p positif tel que p 3
mod 4.
Un autre facon decrire ce theor`eme est sous la forme suivante (exo : montrez que les
deux theor`emes sont equivalents) :
Theor`eme 1.5. Un entier a secrit comme somme de deux carres si, la valuation
p-adique de a est paire pour tout nombre premier positif p 3 mod 4.
LM220 : ARITHM

ETIQUE 3
1.2. Les entiers de Gauss. Pour montrer une reciproque `a la proposition 1.2, on
va introduire une notion qui apparat naturellement dans ce contexte.
Denition 1.6. Un nombre de Gauss est un nombre complexe de la forme x + yi
avec x, y Q. Un entier de Gauss est un nombre complexe de la forme x + yi avec
x, y Z. On notera lensemble des entiers de Gauss Z[i].
Lemme 1.7. Lensemble Z[i] des entiers de Gauss, muni de la somme et la multiplica-
tion des nombres complexes est un anneau commutatif int`egre et Z[i] est une sous-anneau
de C..
Demonstration. Il sut juste de verier que la somme, la dierence et le produit de
deux entiers de Gauss est encore un entier de Gauss. Tout sous-anneau dun anneau
int`egre est int`egre.
Denition 1.8. Si = x+yi est un nombre de Gauss, on denit la norme de , par
N() = x
2
+ y
2
.
Avec cette denition, un entier a est une somme de deux carres si, et seulement si, il
existe un entier de Gauss Z[i] tel que a = N(), ce qui nous montre linteret dune
telle denition dans notre contexte.
Vous pouvez verier facilement la proposition suivante
Proposition 1.9. Si a, b sont deux nombres de Gauss, alors
N() = N()N().
Corollaire 1.10. Si a et b sont des sommes de deux carres, alors leur produit ab est
aussi une somme de deux carres.
Demonstration. Les entiers a et b sont des sommes de deux carres si, et seulement si,
il existe respectivement des entiers de Gauss , Z[i] tels que a = N() et b = N().
Alors ab = N() donc ab est une somme de deux carres.
En fait, pour pouvoir repondre ` a la question pose au debut de ce chapitre, il va falloir
bien comprendre lanneau Z[i]. On va etudier, comme pour Z et lanneau des polyn omes,
ses elements inversibles, denir ses elements premiers et on essaiera de trouver un theor`eme
fondamental de larithmetique pour les entiers de Gauss.
Je vous rappelle quun entier a Z etait inversible si, et seulement si, il etait de valeur
absolue 1. Un polynome etait inversible si, et seulement si, il est de degre 0. La norme,
pour les entiers de Gauss, va jouer le meme role que la valeur absolue pour Z et le degre
pour les polyn omes.
Proposition 1.11. Un entier de Gauss est inversible si, et seulement si N() = 1.
Ce qui arrive exactement quand = 1, 1, i ou i.
4 ALBERTO M

INGUEZ
Demonstration. Si est inversible, alors il existe tel que = 1, do` u, par la
proposition 1.9, N()N() = N() = N(1) = 1. Comme N(a) est un entier naturel, on
deduit que N() = 1.
Si = x + iy est un entier de Gauss tel que N() = 1. On a que x
2
+ y
2
= 1. Mais
cette equation na des solutions que si x = 1 et y = 0 ou bien si y = 1 et x = 0,
cest-` a-dire, quand = 1, 1, i ou i. Dans ces cas est clairement inversible.
On denit les entiers de Gauss premiers de mani`ere similaire au cas des entiers relatifs.
Denition 1.12. Soit un entier de Gauss. On dit que est premier si nest pas
inversible et si, pour toute decomposition = avec , Z[i], on a que ou sont
inversibles.
Proposition 1.13. Tout entier de Gauss est inversible ou premier ou un produit
dentiers de Gauss premiers
Demonstration. La preuve est similaire au cas des entiers relatifs. Par recurrence sur
n = N(). Notons P(n) la propriete : tout entier de Gauss tel que N() = n est est
inversible ou premier ou un produit dentiers de Gauss premiers. P(1) est vraie, dapr`es
la proposition precedente. Soit n 2 un entier quelconque et supposons P(k) vraie pour
k < n.
Si nest pas premier, alors = avec , Z[i], on et et ne sont pas inversibles.
2 N(), N() < n. Par hypoth`ese de recurrence, P(N()) et P(N()) sont vraies donc
P(n) est vraie.
On a de meme une division euclidienne pour les entiers de Gauss.
Theor`eme 1.14 (Division euclidienne). Soient , Z[i] avec ,= 0. Il existe
un couple (, ) Z[i] Z[i] tel que = + et 0 N() < N().
On dit que est le quotient et que est le reste de la division euclidienne de par .
Demonstration. Soient x, y Q tels que / = x + yi. On choisit des entiers s, t Z
tels que [x s[ 1/2 et [y t[ 1/2. On pose = s + ti et = . Alors
N() = N
_

__
= N()N
_

_
= N()N ((x s) + i(y t)) N()(1/4+1/4) < N()
ce qui montre le theor`eme
Remarque 1.15. Voyez que cette fois-ci, les nombres et ne sont pas uniques (exo :
trouvez un contre-exemple).
Exemple 1.16. Soit = 2+5i et = 12i. Alors
2+5i
12i
=
8
5
+
9
5
i. Soit = s+ti
Z[i] tel que [s+
8
5
[
1
2
et [t
9
5
[
1
2
. Prenons = 2+2i. Donc 2+5i = (12i)(2+2i)i.
Comme dans le cas des entiers relatifs et lanneau des polyn ome ce resultat entrane
que tout ideal dans Z[i] est principal.
Proposition 1.17. Tout ideal dans Z[i] est principal.
LM220 : ARITHM

ETIQUE 5
Demonstration. Soit I ,= 0 un ideal. Soit I un element de norme minimale
non nulle. Montrons que I = : Z[i]. Par denition dideal, tout multiple de
est bien dans I. Reciproquement, soit I et eectuons la division euclidienne de
par . On a que = + et 0 N() < N(). Si ,= 0, alors = I
contradiction.
On montrera dans le TD que cette proposition, ` a nouveau, implique lexistence dun
theor`eme fondamental de larithmetique pour Z[i]. On se contentera ici de montrer de
montrer un lemme dEuclide pour Z[i].
Proposition 1.18. Si est un entier de Gauss premier et divise avec ,
Z[i], alors divise ou divise .
Demonstration. La preuve est similaire `a celle des entiers.
Supposons que ne divise pas . Considerons lideal de Z[i]
I = + : , Z[i].
Dapr`es la proposition precedente il existe Z[i] tel que I est de la forme : Z[i].
En particulier et sont des multiples de donc, comme ils sont premiers entre eux,
on a que est inversible et I = Z[i]. Il existe donc , Z[i] tels que 1 = + . En
multipliant cette identite par on trouve que = + . Or divise et
donc divise .
1.3. Les entiers de Gauss premiers. Dans cette section on se pose la question
suivante. Comment caracteriser les entiers de Gauss qui sont premiers? Par exemple
2 = (1 + i)(1 i) donc 2 nest pas premier. Par contre 3 ne peut pas secrire comme
produit de deux entiers de Gauss de norme inferieure ` a la norme de 3 (exercice!).
Theor`eme 1.19. Soit p un nombre premier positif. Les conditions suivantes sont
equivalentes :
(1) p 3 mod 4.
(2) p ne peut pas secrire comme somme de deux carres.
(3) p est un entier de Gauss premier.
Demonstration. Si p 3 mod 4, alors p ne peut pas secrire comme somme de deux
carres car le carre dun entier est toujours congru `a 1 ou 0 modulo 4.
Supposons que p ne peut pas secrire comme somme de deux carres et montrons que p est
un entier de Gauss premier. Soient a, b, c, d Z tels que p = (a+bi)(c+di). On a donc que
p
2
= N(p) = N ((a + bi)(c + di)) = N (a + bi) N (c + di). Si N (a + bi) = N (c + di) = p,
alors p est somme de deux carres. On a donc que ou N (a + bi) = 1 ou N (c + di) = 1,
cest-` a-dire, p est premier.
Finalement, supposons que p est un entier de Gauss premier. Si, p 1 mod 4, alors
par le theor`eme 1.3, il existe x Z tel que x
2
1 mod p, cest-`a-dire, p divise x
2
+1 =
(x+i)(xi). Dapr`es le lemme dEuclide (pour les entiers de Gauss), comme on a suppose
p premier, on que p divise (x + i) ou(x 1), ce qui est impossible.
6 ALBERTO M

INGUEZ
Corollaire 1.20. Un entier a secrit comme somme de deux carres si, et seulement
si a = b
2
c avec b, c Z et b nest divisible par aucun nombre premier p positif tel que
p 3 mod 4.
Demonstration. Dapr`es la proposition 1.2, il ne nous reste ` a montrer que, si a = b
2
c
avec b, c Z et b nest divisible par aucun nombre premier p positif tel que p 3 mod 4,
alors a est la somme de deux carres. Or, dans ce cas, c est le produit de nombres premiers
qui sont, dapr`es le theor`eme precedent, des sommes de deux carres. Dapr`es le corollaire
1.10, on a que c est la somme de deux carres et donc, dapr`es le lemme 1.1, a est aussi la
somme de deux carres.
On nit la section par une caracterisation des entiers de Gauss premiers :
Theor`eme 1.21. Soit Z[i]. Alors est un entier de Gauss premier si, et seule-
ment si, lune des conditions suivantes est satisfaite :
(1) N() est un entier premier.
(2) = p ou = ip avec p un entier premier positif avec p 3 mod 4.
Demonstration. Si lune des deux conditions est satisfaite, est clairement un entier
de Gauss premier (en eet, si = alors N() = N()N()). Reciproquement, soit
= a +bi un entier de Gauss premier. Si b = 0 (resp. a = 0) alors, par le theor`eme 1.19,
satisfait `a la condition 2. Si ab ,= 0, montrons que N() est premier. Sinon, supposons
N() = cd avec c, d 2, cest-`a-dire, (a bi) = cd. Alors divise c ou d. Supposons
divise c. Alors, c = , avec Z[i]. On multiplie cette egalite par a bi et on trouve
que (abi)c = cd, cest-` a-dire d divise abi. Comme abi est premier, on a que d = 1
contradiction.
2. La loi de reciprocite quadratique
Le probl`eme quon va essayer de resoudre dans cette section est le suivant. Soient a, n
des entiers. Lequation
x
2
a mod n
a-t-elle des solutions?
Par exemple, si n = 7 on sait que les carres modulo 7 des entiers 0, 1, 2, 3, 4, 5, 6 sont
0, 1, 4, 2, 2, 4, 1. Ainsi lequation
x
2
a mod 7
aura une solution si, et seulement si, a 0, 1, 2, 4 mod 7.
On a aussi vu dans la section precedente (Theor`eme 1.3) que, si n = p est un nombre
premier positif, et a = 1, alors lequation
x
2
1 mod p
a une solution si, et seulement si, p nest pas congru ` a 3 modulo 4.
Ici on va resoudre le cas o` u n = p est un entier premier positif : cest le cas le plus
interessant, le cas general se deduit de celui-ci sans beaucoup plus deort, en utilisant,
LM220 : ARITHM

ETIQUE 7
grosso modo, le theor`eme chinois. Puisque le cas o` u p = 2 est aussi trivial (tout le monde
est un carre modulo 2), on va considerer dorenavant que p est un nombre premier positif
impair.
On a une solution tr`es facile `a notre probl`eme.
Proposition 2.1. Soit a un entier non divisible par p. Alors a est un carre (cest-`a-
dire lequation x
2
a mod p a une solution) si, et seulement si,
a
p1
2
1 mod p.
Demonstration. Si a = b
2
alors a
p1
2
b
p1
1 mod p, par le theor`eme de Fermat.
Prouvons la reciproque. Considerons le morphisme de groupes abeliens multiplicatifs
: (Z/pZ)

(Z/pZ)

x x
2
Limage de est lensemble de carres non nuls modulo p et son noyau est 1. On
a donc que lensemble de carres non nuls modulo p est en bijection avec le quotient
(Z/pZ)

/1. Cest-` a-dire, on a exactement

p1
2
carres non nuls modulo p. Or chaque
carre non nul modulo p est, dapr`es la premi`ere implication, une solution `a lequation
X
p1
2
1 = 0. Cette equation a
p1
2
solutions et on a
p1
2
carres donc a est un carre si, et
seulement si a
p1
2
1 mod p.
Remarque 2.2. Dans le cas particulier o` u a = 1 cette proposition nous fournit une
nouvelle preuve du Theor`eme 1.3.
Comme, dapr`es le theor`eme de Fermat, a
p1
1 mod p, on que (a
p1
2
1)(a
p1
2
+1)
0 mod p, et donc a
p1
2
1.
Denition 2.3. Soient a un entier et p un nombre premier impair tels que p ne divise
pas a. On denit le symbole de Legendre
_
a
p
_
= a
p1
2
= 1 mod p, cest-`a-dire
_
a
p
_
=
_
1 si a est un carre modulo p
1 si a nest pas un carre modulo p
Exemple 2.4. (1)
_
1
p
_
= 1 (1 est toujours un carre, 1 = 1
2
).
(2)
_
1
p
_
= (1)
p1
2
. (Cest une autre facon decrire que (1) est un carre modulo p
si, et seulement si, p nest pas congru ` a 3 modulo 4.)
Remarque 2.5. Par denition de
_
a
p
_
, on a directement que
_
ab
p
_
=
_
a
p
__
b
p
_
.
On a maintenant deux probl`emes :
(1) Imaginez quon veut savoir si 29 est un carre modulo 43. Comment calculer de
facon simple (sans calculette!)
_
29
43
_
? 29
21
modulo 43 est complique ` a faire ` a la main...
8 ALBERTO M

INGUEZ
(2) Etant donne p xe, on connat maintenant les a tels que x
2
a mod p a une
solution. Mais si on xe a comment calculer lensemble des nombres premiers p tels que
x
2
a mod p a une solution?
Cest pour repondre `a ces deux probl`emes que Gauss a trouve la loi de reciprocite
quadratique. Il etait tr`es er de son resultat, il la appele le Theorema Aureum, le theor`eme
dor. Il trouva six preuves dierentes de son theor`eme. Aujourdhui on en connat plus
de 200! Celle quon va expliquer ici, particuli`erement simple, est due ` a G. Einsenstein.
Pour plus de details vous pouvez consulter le Cours dArithmetique de J.P. Serre.
Soit p un nombre premier positif et S un sous-ensemble de (Z/pZ)

tel que
(Z/pZ)

= S . S
On va prendre S = 1, 2, . . . ,
p1
2
. Si s S et a (Z/pZ)

alors sa =
s
(a)s
a
avec

s
(a) = 1 et s
a
S.
Lemme 2.6 (Gauss).
_
a
p
_
=

sS

s
(a).
Demonstration. Remarquons dabord que si s, s

S, s ,= s

alors s
a
,= s

a
. En eet,
si s
a
= s

a
, on aurait que s = s

et donc, puisque s, s

S, on aurait s = s

. Donc
lapplication
S S
s s
a
est injective et, puisque S est un ensemble ni, elle est une bijection de S sur lui-meme.
On a :

sS
as =

sS

s
(a)s
a
do` u
a
p1
2

sS
s =

sS

s
(a)

sS
s
a
donc
_
a
p
_
=

sS

s
(a).
Exemple 2.7. Calculons
_
2
p
_
. Alors
s
(2) = 1 si 2s
p1
2
et
s
(2) = 1 si 2s >
p1
2
,
cest-` a-dire,
_
2
p
_
= (1)
n
p
o` u n
p
est le cardinal de lensemble s Z :
p1
4
< s
p1
2
.
LM220 : ARITHM

ETIQUE 9
Si p = 4k + 1, alors n
p
= k et si p = 4k + 3, alors n
p
= k + 1. Donc n
p
est pair si, et
seulement si p = 4k + 1 avec k pair ou p = 4k + 3 avec k impair, cest-` a-dire, p 1
mod 8. On trouve nalement
_
2
p
_
=
_
1 si p 1 mod 8
1 si p 3 mod 8.
Le lemme suivant, un exercice elementaire danalyse, je le laisse comme exercice.
Lemme 2.8. Soit m un entier positif impair. On a legalite suivante :
sin(mx)
sin(x)
= (4)
m1
2

1t
m1
2
_
sin
2
(x) sin
2
_
2t
m
__
.
Il sut de voir que le terme de droite est un polyn ome de degre
m1
2
en sin
2
(x). Ensuite
on prouve que les sin
2
_
2t
m
_
, 1 t
m1
2
sont les racines de ce polyn ome. Le facteur
(4)
m1
2
on lobtient en comparant les coecients des deux polyn omes.
Theor`eme 2.9 (Loi de reciprocite quadratique). Soient p, q deux nombres pre-
miers impairs distincts. Alors
_
q
p
__
p
q
_
= (1)
(q1)(p1)
4
.
Demonstration. On rappelle que, dapr`es le lemme
_
q
p
_
=

sS

s
(q).
Legalite qs =
s
(q)s
q
implique que
sin
_
2s
p
q
_
=
s
(q) sin
_
2
p
s
q
_
,
do` u

sS

s
(q) =

sS
sin
_
2s
p
q
_

sS
sin
_
2
p
s
q
_,
et comme les s
q
s est une bijection on trouve

sS

s
(q) =

sS
_
_
sin
_
2s
p
q
_
sin
_
2
p
s
_
_
_
On applique le lemme avec m = q et x =
2s
p
et on trouve que
_
q
p
_
=

sS
(4)
q1
2

1t
m1
2
_
sin
2
_
2s
p
_
sin
2
_
2t
q
__
.
10 ALBERTO M

INGUEZ
Si on note T = 1, 2, . . . ,
q1
2
, on a que
_
q
p
_
= (4)
(q1)(p1)
4

sS

tT
_
sin
2
_
2s
p
_
sin
2
_
2t
q
__
.
En echangeant les r oles de p et q on a que
_
p
q
_
= (4)
(q1)(p1)
4

sS

tT
_
sin
2
_
2t
q
_
sin
2
_
2s
p
__
= (4)
(q1)(p1)
4

sS

tT
(1)
_
sin
2
_
2s
p
_
sin
2
_
2t
q
__
= (4)
(q1)(p1)
4
(1)
|S||T|

sS

tT
_
sin
2
_
2s
p
_
sin
2
_
2t
q
__
= (1)
|S||T|
_
q
p
_
donc
_
q
p
_
et
_
p
q
_
di`erent dun signe qui est le cardinal de ST, cest-`a-dire, (1)
(q1)(p1)
4
,
do` u la formule
_
q
p
__
p
q
_
= (1)
(q1)(p1)
4
.
Remarque 2.10. On a donc montre que
_
q
p
_
=
_
p
q
_
sauf si p et q sont tous les deux congrus `a 3 modulo 4, cas o` u
_
q
p
_
=
_
p
q
_
Exemple 2.11.
_
29
43
_
=
_
43
29
_
=
_
14
29
_
=
_
2
29
_ _
7
29
_
=
_
7
29
_
=
_
29
7
_
=
_
1
7
_
= 1.
Donc lequitation
x
2
29 mod 43
na pas de solution.
Conclusion : avec les formules
(1)
_
1
p
_
= (1)
p1
2
;
(2)
_
2
p
_
= (1)
p
2
1
8
=
_
1 si p 1 mod 8
1 si p 3 mod 8;
(3)
_
q
p
__
p
q
_
= (1)
(q1)(p1)
4
;
LM220 : ARITHM

ETIQUE 11
on peut calculer
_
q
p
_
pour tous nombres premiers p et q.
Alberto Mnguez, Institut de Mathematiques de Jussieu, Universite Paris 6. 175, rue de Chevaleret.
75013 Paris, France. URL: http://www.institut.math.jussieu.fr/minguez/
E-mail : minguez@math.jussieu.fr