You are on page 1of 11

LM220 : ARITHM

´
ETIQUE
par
Alberto M´ınguez
December 13, 2010
1. Les entiers de Gauss
1.1. Somme de deux carr´es. — La question qu’on se pose dans cette section est la
suivante : quels sont les entiers relatifs qui peuvent s’´ecrire comme somme de deux carr´es
(d’entiers)? C’est-` 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 s’´ecrire comme somme de deux carr´es (exercice :
montrez-le) mais 3, 6 et 7 ne peuvent pas (exercice : montrez-le).
Lemme 1.1. — Soit a ∈ N. Alors a s’´ecrit comme somme de deux carr´es si, et seule-
ment si, a = b
2
c o` u b, c ∈ N et c s’´ecrit comme somme de deux carr´es c = s
2
+ t
2
avec
pgcd(s, t) = 1.
D´emonstration. — Si a = b
2
c o` u b, c ∈ N et c s’´ecrit comme somme de deux carr´es
c = s
2
+ t
2
, alors a = (bs)
2
+ (bt)
2
. R´eciproquement, si a s’´ecrit comme somme de deux
carr´es 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 s’´ecrit comme somme de deux carr´es d’entiers premiers entre
eux, alors a n’est divisible par aucun nombre premier p positif tel que p ≡ 3 mod 4.
D´emonstration. — Soit p un diviseur premier positif de a. On a donc que x
2
+ y
2
≡ 0
mod p. Puisqu’on a suppos´e que x et y sont premiers entre eux, l’un d’eux n’est pas
divisible par p et l’identit´e pr´ec´edente implique que aucun de deux n’est a fortiori divisible
par p. On a donc que x
2
≡ −y
2
mod p et donc, si on multiplie par l’inverse de y
2
dans
Z/pZ,
(xy
−1
)
2
≡ −1 mod p.
2 ALBERTO M
´
INGUEZ
C’est-` a-dire, il existe k ∈ Z/pZ tel que k
2
≡ −1 mod p. La proposition d´ecoule alors du
th´eor`eme suivant.
Th´eor`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.
D´emonstration. — 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, c’est-` a-dire, b est
pair. Alors, d’apr`es le th´eor`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 suppos´e b pair on a que
(b!)
2
= b
2
2
2
1
2
≡ −1 mod p
d’o` u le r´esultat.
R´eciproquement, supposons qu’il existe k ∈ Z/pZ tel que k
2
≡ −1 mod p avec p
impair. On a donc que k est d’ordre 4 dans (Z/pZ)
×
. D’apr`es le petit th´eor`eme de
Fermat, on a que k
p−1
≡ 1 mod p, donc p −1 est divisible par l’ordre de k, c’est-`a-dire,
p ≡ 1 mod 4.
A la fin du chapitre on montrera la r´eciproque de la proposition 1.2, dont on avance
l’´enonce :
Th´eor`eme 1.4. — Un entier a s’´ecrit comme somme de deux carr´es si, et seulement si
a = b
2
c avec b, c ∈ Z et b n’est divisible par aucun nombre premier p positif tel que p ≡ 3
mod 4.
Un autre fa¸con d’´ecrire ce th´eor`eme est sous la forme suivante (exo : montrez que les
deux th´eor`emes sont ´equivalents) :
Th´eor`eme 1.5. — Un entier a s’´ecrit comme somme de deux carr´es 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 r´eciproque `a la proposition 1.2, on
va introduire une notion qui apparaˆıt naturellement dans ce contexte.
D´efinition 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 l’ensemble des entiers de Gauss Z[i].
Lemme 1.7. — L’ensemble 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..
D´emonstration. — Il suffit juste de v´erifier que la somme, la diff´erence et le produit de
deux entiers de Gauss est encore un entier de Gauss. Tout sous-anneau d’un anneau
int`egre est int`egre.
D´efinition 1.8. — Si α = x+yi est un nombre de Gauss, on d´efinit la norme de α, par
N(α) = x
2
+ y
2
.
Avec cette d´efinition, un entier a est une somme de deux carr´es si, et seulement si, il
existe un entier de Gauss α ∈ Z[i] tel que a = N(α), ce qui nous montre l’int´erˆet d’une
telle d´efinition dans notre contexte.
Vous pouvez v´erifier 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 carr´es, alors leur produit ab est
aussi une somme de deux carr´es.
D´emonstration. — Les entiers a et b sont des sommes de deux carr´es 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 carr´es.
En fait, pour pouvoir r´epondre ` a la question pos´e au d´ebut de ce chapitre, il va falloir
bien comprendre l’anneau Z[i]. On va ´etudier, comme pour Z et l’anneau des polynˆ omes,
ses ´el´ements inversibles, d´efinir ses ´el´ements premiers et on essaiera de trouver un th´eor`eme
fondamental de l’arithm´etique pour les entiers de Gauss.
Je vous rappelle qu’un entier a ∈ Z ´etait inversible si, et seulement si, il ´etait de valeur
absolue 1. Un polynˆome ´etait inversible si, et seulement si, il est de d´egr´e 0. La norme,
pour les entiers de Gauss, va jouer le mˆeme rˆole que la valeur absolue pour Z et le d´egr´e
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
D´emonstration. — Si α est inversible, alors il existe β tel que αβ = 1, d’o` u, par la
proposition 1.9, N(α)N(β) = N(αβ) = N(1) = 1. Comme N(a) est un entier naturel, on
d´eduit 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 n’a des solutions que si x = ±1 et y = 0 ou bien si y = ±1 et x = 0,
c’est-` a-dire, quand α = 1, −1, i ou −i. Dans ces cas α est clairement inversible.
On d´efinit les entiers de Gauss premiers de mani`ere similaire au cas des entiers relatifs.
D´efinition 1.12. — Soit γ un entier de Gauss. On dit que γ est premier si γ n’est pas
inversible et si, pour toute d´ecomposition γ = αβ avec α, β ∈ Z[i], on a que α ou β sont
inversibles.
Proposition 1.13. — Tout entier de Gauss γ est inversible ou premier ou un produit
d’entiers de Gauss premiers
D´emonstration. — La preuve est similaire au cas des entiers relatifs. Par r´ecurrence sur
n = N(γ). Notons P(n) la propri´et´e : tout entier de Gauss γ tel que N(γ) = n est est
inversible ou premier ou un produit d’entiers de Gauss premiers. P(1) est vraie, d’apr`es
la proposition pr´ec´edente. Soit n ≥ 2 un entier quelconque et supposons P(k) vraie pour
k < n.
Si γ n’est pas premier, alors γ = αβ avec α, β ∈ Z[i], on et α et β ne sont pas inversibles.
2 ≥ N(α), N(β) < n. Par hypoth`ese de r´ecurrence, P(N(α)) et P(N(β)) sont vraies donc
P(n) est vraie.
On a de mˆeme une division euclidienne pour les entiers de Gauss.
Th´eor`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 β.
D´emonstration. — 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 th´eor`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 β = 1−2i. Alors
2+5i
1−2i
= −
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 = (1−2i)(−2+2i)−i.
Comme dans le cas des entiers relatifs et l’anneau des polynˆ ome ce r´esultat entraˆıne
que tout id´eal dans Z[i] est principal.
Proposition 1.17. — Tout id´eal dans Z[i] est principal.
LM220 : ARITHM
´
ETIQUE 5
D´emonstration. — Soit I ,= ¦0¦ un id´eal. Soit β ∈ I un ´el´ement de norme minimale
non nulle. Montrons que I = ¦βγ : γ ∈ Z[i]¦. Par d´efinition d’id´eal, tout multiple de
β est bien dans I. R´eciproquement, soit α ∈ I et effectuons 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 l’existence d’un
“th´eor`eme fondamental de l’arithm´etique pour Z[i]”. On se contentera ici de montrer de
montrer un “lemme d’Euclide pour Z[i]”.
Proposition 1.18. — Si π est un entier de Gauss premier et π divise αβ avec α, β ∈
Z[i], alors π divise α ou π divise β.
D´emonstration. — La preuve est similaire `a celle des entiers.
Supposons que π ne divise pas α. Consid´erons l’id´eal de Z[i]
I = ¦γα + ρπ : γ, ρ ∈ Z[i]¦.
D’apr`es la proposition pr´ec´edente 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 identit´e 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 caract´eriser les entiers de Gauss qui sont premiers? Par exemple
2 = (1 + i)(1 − i) donc 2 n’est pas premier. Par contre 3 ne peut pas s’´ecrire comme
produit de deux entiers de Gauss de norme inf´erieure ` a la norme de 3 (exercice!).
Th´eor`eme 1.19. — Soit p un nombre premier positif. Les conditions suivantes sont
´equivalentes :
(1) p ≡ 3 mod 4.
(2) p ne peut pas s’´ecrire comme somme de deux carr´es.
(3) p est un entier de Gauss premier.
D´emonstration. — Si p ≡ 3 mod 4, alors p ne peut pas s’´ecrire comme somme de deux
carr´es car le carr´e d’un entier est toujours congru `a 1 ou 0 modulo 4.
Supposons que p ne peut pas s’´ecrire comme somme de deux carr´es 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 carr´es. On a donc que ou N (a + bi) = 1 ou N (c + di) = 1,
c’est-` a-dire, p est premier.
Finalement, supposons que p est un entier de Gauss premier. Si, p ≡ 1 mod 4, alors
par le th´eor`eme 1.3, il existe x ∈ Z tel que x
2
≡ −1 mod p, c’est-`a-dire, p divise x
2
+1 =
(x+i)(x−i). D’apr`es le lemme d’Euclide (pour les entiers de Gauss), comme on a suppos´e
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 s’´ecrit comme somme de deux carr´es si, et seulement
si a = b
2
c avec b, c ∈ Z et b n’est divisible par aucun nombre premier p positif tel que
p ≡ 3 mod 4.
D´emonstration. — D’apr`es la proposition 1.2, il ne nous reste ` a montrer que, si a = b
2
c
avec b, c ∈ Z et b n’est divisible par aucun nombre premier p positif tel que p ≡ 3 mod 4,
alors a est la somme de deux carr´es. Or, dans ce cas, c est le produit de nombres premiers
qui sont, d’apr`es le th´eor`eme pr´ec´edent, des sommes de deux carr´es. D’apr`es le corollaire
1.10, on a que c est la somme de deux carr´es et donc, d’apr`es le lemme 1.1, a est aussi la
somme de deux carr´es.
On finit la section par une caract´erisation des entiers de Gauss premiers :
Th´eor`eme 1.21. — Soit α ∈ Z[i]. Alors α est un entier de Gauss premier si, et seule-
ment si, l’une 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.
D´emonstration. — Si l’une des deux conditions est satisfaite, α est clairement un entier
de Gauss premier (en effet, si α = βγ alors N(α) = N(β)N(γ)). R´eciproquement, soit
α = a +bi un entier de Gauss premier. Si b = 0 (resp. a = 0) alors, par le th´eor`eme 1.19,
α satisfait `a la condition 2. Si ab ,= 0, montrons que N(α) est premier. Sinon, supposons
N(α) = cd avec c, d ≥ 2, c’est-`a-dire, α(a −bi) = cd. Alors α divise c ou d. Supposons α
divise c. Alors, c = αγ, avec γ ∈ Z[i]. On multiplie cette ´egalit´e par a − bi et on trouve
que (a−bi)c = cdγ, c’est-` a-dire d divise a−bi. Comme a−bi est premier, on a que d = 1
contradiction.
2. La loi de r´eciprocit´e quadratique
Le probl`eme qu’on va essayer de r´esoudre dans cette section est le suivant. Soient a, n
des entiers. L’´equation
x
2
≡ a mod n
a-t-elle des solutions?
Par exemple, si n = 7 on sait que les carr´es modulo 7 des entiers 0, 1, 2, 3, 4, 5, 6 sont
0, 1, 4, 2, 2, 4, 1. Ainsi l’´equation
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 pr´ec´edente (Th´eor`eme 1.3) que, si n = p est un nombre
premier positif, et a = −1, alors l’´equation
x
2
≡ −1 mod p
a une solution si, et seulement si, p n’est pas congru ` a 3 modulo 4.
Ici on va r´esoudre le cas o` u n = p est un entier premier positif : c’est le cas le plus
int´eressant, le cas g´en´eral se d´eduit de celui-ci sans beaucoup plus d’effort, en utilisant,
LM220 : ARITHM
´
ETIQUE 7
grosso modo, le th´eor`eme chinois. Puisque le cas o` u p = 2 est aussi trivial (tout le monde
est un carr´e modulo 2), on va consid´erer dor´enavant 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 carr´e (c’est-`a-
dire l’´equation x
2
≡ a mod p a une solution) si, et seulement si,
a
p−1
2
≡ 1 mod p.
D´emonstration. — Si a = b
2
alors a
p−1
2
≡ b
p−1
≡ 1 mod p, par le th´eor`eme de Fermat.
Prouvons la r´eciproque. Consid´erons le morphisme de groupes ab´eliens multiplicatifs
φ : (Z/pZ)
×
−→ (Z/pZ)
×
x → x
2
L’image de φ est l’ensemble de carr´es non nuls modulo p et son noyau est ¦±1¦. On
a donc que l’ensemble de carr´es non nuls modulo p est en bijection avec le quotient
(Z/pZ)
×
/¦±1¦. C’est-` a-dire, on a exactement
p−1
2
carr´es non nuls modulo p. Or chaque
carr´e non nul modulo p est, d’apr`es la premi`ere implication, une solution `a l’´equation
X
p−1
2
−1 = 0. Cette ´equation a
p−1
2
solutions et on a
p−1
2
carr´es donc a est un carr´e si, et
seulement si a
p−1
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, d’apr`es le th´eor`eme de Fermat, a
p−1
≡ 1 mod p, on que (a
p−1
2
−1)(a
p−1
2
+1) ≡
0 mod p, et donc a
p−1
2
∈ ¦±1¦.
D´efinition 2.3. — Soient a un entier et p un nombre premier impair tels que p ne divise
pas a. On d´efinit le symbole de Legendre
_
a
p
_
= a
p−1
2
= ±1 mod p, c’est-`a-dire
_
a
p
_
=
_
1 si a est un carr´e modulo p
−1 si a n’est pas un carr´e modulo p
Exemple 2.4. — (1)
_
1
p
_
= 1 (1 est toujours un carr´e, 1 = 1
2
).
(2)
_
−1
p
_
= (−1)
p−1
2
. (C’est une autre fa¸con d’´ecrire que (−1) est un carr´e modulo p
si, et seulement si, p n’est pas congru ` a 3 modulo 4.)
Remarque 2.5. — Par d´efinition de
_
a
p
_
, on a directement que
_
ab
p
_
=
_
a
p
__
b
p
_
.
On a maintenant deux probl`emes :
(1) Imaginez qu’on veut savoir si 29 est un carr´e modulo 43. Comment calculer de
fa¸con simple (sans calculette!)
_
29
43
_
? 29
21
modulo 43 est compliqu´e ` a faire ` a la main...
8 ALBERTO M
´
INGUEZ
(2) Etant donn´e p fix´e, on connaˆıt maintenant les a tels que x
2
≡ a mod p a une
solution. Mais si on fixe a comment calculer l’ensemble des nombres premiers p tels que
x
2
≡ a mod p a une solution?
C’est pour r´epondre `a ces deux probl`emes que Gauss a trouv´e la loi de r´eciprocit´e
quadratique. Il ´etait tr`es fier de son r´esultat, il l’a appel´e le Theorema Aureum, le th´eor`eme
d’or. Il trouva six preuves diff´erentes de son th´eor`eme. Aujourd’hui on en connaˆıt plus
de 200! Celle qu’on va expliquer ici, particuli`erement simple, est due ` a G. Einsenstein.
Pour plus de d´etails vous pouvez consulter le Cours d’Arithm´etique 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, . . . ,
p−1
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
_
=

s∈S
ε
s
(a).
D´emonstration. — Remarquons d’abord que si s, s

∈ S, s ,= s

alors s
a
,= s

a
. En effet,
si s
a
= s

a
, on aurait que s = ±s

et donc, puisque s, s

∈ S, on aurait s = s

. Donc
l’application
S → S
s → s
a
est injective et, puisque S est un ensemble fini, elle est une bijection de S sur lui-mˆeme.
On a :

s∈S
as =

s∈S
ε
s
(a)s
a
d’o` u
a
p−1
2

s∈S
s =

s∈S
ε
s
(a)

s∈S
s
a
donc
_
a
p
_
=

s∈S
ε
s
(a).
Exemple 2.7. — Calculons
_
2
p
_
. Alors ε
s
(2) = 1 si 2s ≤
p−1
2
et ε
s
(2) = −1 si 2s >
p−1
2
,
c’est-` a-dire,
_
2
p
_
= (−1)
n
p
o` u n
p
est le cardinal de l’ensemble ¦s ∈ Z :
p−1
4
< s ≤
p−1
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, c’est-` a-dire, p ≡ ±1
mod 8. On trouve finalement
_
2
p
_
=
_
1 si p ≡ ±1 mod 8
−1 si p ≡ ±3 mod 8.
Le lemme suivant, un exercice ´el´ementaire d’analyse, je le laisse comme exercice.
Lemme 2.8. — Soit m un entier positif impair. On a l’´egalit´e suivante :
sin(mx)
sin(x)
= (−4)
m−1
2

1≤t≤
m−1
2
_
sin
2
(x) −sin
2
_
2πt
m
__
.
Il suffit de voir que le terme de droite est un polynˆ ome de degr´e
m−1
2
en sin
2
(x). Ensuite
on prouve que les sin
2
_
2πt
m
_
, 1 ≤ t ≤
m−1
2
sont les racines de ce polynˆ ome. Le facteur
(−4)
m−1
2
on l’obtient en comparant les coefficients des deux polynˆ omes.
Th´eor`eme 2.9 (Loi de r´eciprocit´e quadratique). — Soient p, q deux nombres pre-
miers impairs distincts. Alors
_
q
p
__
p
q
_
= (−1)
(q−1)(p−1)
4
.
D´emonstration. — On rappelle que, d’apr`es le lemme
_
q
p
_
=

s∈S
ε
s
(q).
L’´egalit´e qs = ε
s
(q)s
q
implique que
sin
_
2πs
p
q
_
= ε
s
(q) sin
_

p
s
q
_
,
d’o` u

s∈S
ε
s
(q) =

s∈S
sin
_
2πs
p
q
_

s∈S
sin
_

p
s
q
_,
et comme les s
q
↔s est une bijection on trouve

s∈S
ε
s
(q) =

s∈S
_
_
sin
_
2πs
p
q
_
sin
_

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

s∈S
(−4)
q−1
2

1≤t≤
m−1
2
_
sin
2
_
2πs
p
_
−sin
2
_
2πt
q
__
.
10 ALBERTO M
´
INGUEZ
Si on note T = ¦1, 2, . . . ,
q−1
2
¦, on a que
_
q
p
_
= (−4)
(q−1)(p−1)
4

s∈S

t∈T
_
sin
2
_
2πs
p
_
−sin
2
_
2πt
q
__
.
En ´echangeant les rˆ oles de p et q on a que
_
p
q
_
= (−4)
(q−1)(p−1)
4

s∈S

t∈T
_
sin
2
_
2πt
q
_
−sin
2
_
2πs
p
__
= (−4)
(q−1)(p−1)
4

s∈S

t∈T
(−1)
_
sin
2
_
2πs
p
_
−sin
2
_
2πt
q
__
= (−4)
(q−1)(p−1)
4
(−1)
|S|×|T|

s∈S

t∈T
_
sin
2
_
2πs
p
_
−sin
2
_
2πt
q
__
= (−1)
|S|×|T|
_
q
p
_
donc
_
q
p
_
et
_
p
q
_
diff`erent d’un signe qui est le cardinal de ST, c’est-`a-dire, (−1)
(q−1)(p−1)
4
,
d’o` u la formule
_
q
p
__
p
q
_
= (−1)
(q−1)(p−1)
4
.
Remarque 2.10. — On a donc montr´e 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 l’´equitation
x
2
≡ 29 mod 43
n’a pas de solution.
Conclusion : avec les formules
(1)
_
−1
p
_
= (−1)
p−1
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)
(q−1)(p−1)
4
;
LM220 : ARITHM
´
ETIQUE 11
on peut calculer
_
q
p
_
pour tous nombres premiers p et q.
Alberto M´ınguez, Institut de Math´ematiques de Jussieu, Universit´e Paris 6. 175, rue de Chevaleret.
75013 Paris, France. URL: http://www.institut.math.jussieu.fr/∼minguez/
E-mail : minguez@math.jussieu.fr