
1 R´esultats d´emontr´es faisant intervenir des r´esidus quadratiques
Les ´el´ements qui suivent proviennent essentiellement du livre de Marc Guinot aux ´editions Aleas “Une
´epoque de transition : Lagrange et Legendre”.
1.1 En utilisant le symbole de Legendre
Lorsqu’on utilise ce symbole a
m, le d´enominateur mest un nombre premier impair et le num´erateur a
est un entier non divisible par m.
1) Pour qu’un entier aquelconque soit r´esidu quadratique de p, il faut et il suffit que asoit congru `a l’un
des entiers
12,22,...,1
2(p−1)2
En utilisant le symbole de Jacobi, cela s’´ecrit :
a
m=1si a est un carr´e modulo m (i.e. ∃x≤m, a ≡x2(mod m));
-1 si a n0est pas un carr´e modulo m (i.e. ∀x≤m, a 6≡ x2(mod m)).
2) Le produit de deux r´esidus quadratiques de pet le produit de deux r´esidus non quadratiques de psont
toujours des r´esidus quadratiques de p. Le produit d’un r´esidu quadratique et d’un r´esidu non quadratique
est un r´esidu non quadratique.
2’) Un entier premier `a pr´esidu quadratique de pl’est aussi de toute puissance de pcar (Z/prZ)∗est un
groupe cyclique d’ordre pr−1(p−1) sauf si p= 2 car (Z/2rZ)∗n’est pas cyclique.
2”) Si un entier aest premier avec un nombre m≥1 et si mse d´ecompose en facteurs premiers sous la
forme
m=pn1
1. . . pnr
r
(avec des nombres premiers pideux `a deux distincts et des exposants ni≥1), alors pour que asoit r´esidu
quadratique modulo m, il faut et il suffit qu’il soit r´esidu quadratique de pni
iquel que soit i1.
3) Dans un syst`eme complet de r´esidus modulo pun nombre premier impair, il y a exactement 1
2(p−1)
r´esidus quadratiques de pet 1
2(p−1) r´esidus non-quadratiques.
4) Le nombre −1 est r´esidu quadratique de tous les nombres premiers pde la forme 4n+ 1 et non-r´esidu
quadratique de tous les nombres premiers de la forme 4n+ 3.
Corollaire de 4) : Si pest un nombre premier de la forme 4n+ 1, les r´esidus quadratiques (et les non-
r´esidus) se r´epartissent sym´etriquement dans l’intervalle [1, p −1] ; de fa¸con pr´ecise, si aest un r´esidu
(resp. un non-r´esidu) appartenant `a l’ensemble {1,2, . . . , p −1}alors p−aest encore un r´esidu (resp. un
non-r´esidu) appartenant au mˆeme ensemble.
5) Pour tout nombre premier pimpair, le caract`ere quadratique de 2 modulo pest donn´e par la formule
2
p= (−1)p2
−1
8,
cette formule signifiant que 2 est r´esidu quadratique des nombres premiers de la forme 8n+ 1 et 8n+ 7,
et non-r´esidu des nombres premiers de la forme 8n+ 3 et 8n+ 5.
1Je suis h´esitante l`a, j’avais l’impression d’apr`es Gauss qu’on pouvait ´egalement obtenir un r´esidu si on faisait le produit
d’un nombre pair de non-r´esidus.
1