Vous êtes sur la page 1sur 12

Encore un peu d'arithmtique

par Andr Warusfel, Paul Attali, Michel Collet,


Christian Gautier et Serge Nicolas
Le chapitre du livre d'arithmtique pour Terminale S dont nos lecteurs ont eu la primeur dans
notre numro 3 (pages 225 332) est complt par une annexe dans laquelle sont prsentes les
clefs de l'un des plus clbres thormes de Thorie des Nombres (la rciprocit quadratique).
Au passage, on y trouvera quelques rsultats concernant les diviseurs possibles des nombres de
Fermat (avec les noncs d'Euler et de Lucas) et la preuve trs lmentaire de l'infinitude des
nombres premiers termins par le chiffre 9.
La partie obligatoire du programme de spcialit en arithmtique s'arrte ici. Celle qui suit figure
dans ce livre aux fins de rfrence, pour l'lve qui, avant (ou aprs) le baccalaurat, dsire
complter ses connaissances sur les congruences, se prparant ainsi par exemple l'tude des
anneaux et corps finis usuels (mme si ces structures n'ont pas t mises en vidence dans ces
quelques pages, ce qui est dommage car appeler un chat un chat simplifie parfois bien la vie).

On a choisi d'noncer et de dmontrer le thorme le plus clbre de la Thorie des Nombres
naissante, la fameuse loi de rciprocit quadratique dcouverte indpendamment par Euler et
Legendre vers 1780 (elle sera publie sous forme de conjecture par ce dernier en 1785), enfin
dmontre par Gauss le 18 avril 1796 et publie en 1801 (les preuves antrieures ou
concomitantes, y compris celle de Legendre de 1798, taient en effet incompltes). Au passage,
on obtient le caractre quadratique de certains entiers modulo un nombre premier impair, par
exemple (respectivement 5 ou 2), d'o l'on dduit l'existence d'une infinit de nombres
premiers de la forme (respectivement , c'est--dire termins par un chiffre 9, ou
), ce qui complte une premire tude d'ensembles contenant une infinit de nombres
premiers figurant dans le chapitre prcdent ( , , et ). Ces
complments se terminent par la dmonstration d'un autre thorme clbre d'Euler, sur l'infinit
des nombres premiers de la forme , o est une puissance de 2, obtenus en tudiant la
suite des nombres de Fermat.On retrouve ainsi les cas particuliers et , mais on
on obtient de nouveaux, par exemple les nombres premiers de la forme .

La dmonstration centrale de la rciprocit quadratique s'appuie en grande partie sur le livre Les
nombres premiers, malheureusement puis, de J ean Itard (Collection Que Sais-je ?, Presses
Universitaires de France, Paris 1969) qui fait rfrence, pour sa part, un article de H. Reichardt
de 1958. L'origine en est une preuve de Gauss (la troisime, publie en 1808). Il semble qu'il
s'agisse-l d'une faon courte et instructive d'arriver ce rsultat formidable, dont le nombre de
preuves dpasse aujourd'hui largement la centaine, dont six de la main de Gauss lui-mme. Pour
des raisons pdagogiques, elle a t dcoupe en une srie de propositions disposes de faon
trs progressive.

A. Restes et rsidus revisits
B. Critre d'Euler et lemme de Gauss
Page 1sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
C. Loi de rciprocit quadratique
D. Un thorme d'Euler de 1739 sur les nombres de Fermat

A. Restes et rsidus revisits
Dans toute la suite, reprsente un nombre premier impair et est un entier relatif,
gnralement non multiple de .
A.1 Restes centrs (modulo )
Dfinition L'entier relatif est le reste centr de l'entier relatif (modulo le nombre premier
) s'il est congru (modulo ) et infrieur ou gal en valeur absolue.

EXEMPLE Ainsi est le reste centr de 20 (modulo 11), et est le reste centr de 20 (modulo
17).

Remarque
Il convient de ne pas confondre cette notion et celle de rsidu minimum (ou minimal, ou
principal) dfini dans le chapitre I, pour laquelle on dispose de l'encadrement , et qui
n'est autre que le reste dans la division euclidienne de par .

Proposition 1 Les valeurs absolues des restes centrs modulo des multiples de
compris entre et sont exactement les entiers compris entre 1 et .

DEMONSTRATION Par dfinition, aucun de ces multiples n'est multiple de ; leurs rsidus
minimums sont donc des entiers compris entre 1 et . S'ils sont infrieurs ou gaux
, ce sont des restes centrs positifs. Sinon, il sont suprieurs ou gaux , et les valeurs
absolues des restes centrs correspondant sont les entiers compris entre 1 et .

Soit inversement un entier vrifiant l'encadrement . Il existe un entier tel que
(modulo ), entier que l'on peut toujours supposer compris entre 1 et , d'o le
rsultat (on peut remarquer qu'il en existe d'ailleurs un autre vrifiant ).
A.2 Rsidus quadratiques (modulo )
Page 2sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
Dfinition L'entier relatif non multiple de est un rsidu quadratique (modulo ) si, et
seulement si, il existe un entier relatif tel que (modulo ), et un non-rsidu sinon.
EXEMPLE Ainsi le choix montre que 1 est un rsidu quadratique modulo n'importe quel
nombre premier (pair ou impair), par exemple si . Dans ce dernier cas, 2 est un non-rsidu.

Dfinition Le symbole de Legendre (ou caractre quadratique) de relatif est
l'entier gal 0 si divise , et sinon 1 si est un rsidu quadratique (modulo ) et si
est un non-rsidu.

Proposition 2 L'galit quivaut l'existence d'un entier vrifiant l'galit
.
DEMONSTRATION Les entiers non multiples de 3 sont de la forme ou . Dans le
premier cas, on a dj remarqu qu'il s'agissait bien de rsidus quadratiques et que c'tait le
contraire dans le second.
Proposition 3 Pour tout entier premier impair , le nombre des rsidus quadratiques entre 1 et
est gal au nombre des non-rsidus.
DEMONSTRATION La somme de ces deux nombres est videmment . Par ailleurs, la
congruence (modulo ) tant quivalente ou avec
(modulo ), on voit que le nombre de rsidus quadratiques est exactement d'o le rsultat.
Remarque
Les deux propositions prcdentes ne seront pas utilises dans la suite. Elles ne figurent ici que
pour donner un exemple et une proprit fondamentale de la notion de rsidu quadratique.

B. Critre d'Euler et lemme de Gauss
Proposition 4 (Critre d'Euler - 1755) Pour tout entier relatif non multiple du nombre
premier on dispose de la congruence (modulo ).

DEMONSTRATION L'tude des congruences du premier degr montre qu'il existe une application
de dans lui-mme dfinie par la congruence (modulo ), et que
Page 3sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
par unicit des solutions ventuelles. Par suite l'involution est bijective. Elle ne
possde des points fixes que si est rsidu : elle en possde alors exactement deux,
nots et .

Si est non-rsidu, il n'y a pas de points fixes et est la runion de paires
dfinies par . En rsultent les relations (modulo ).

Sinon, est la runion de et des paires dfinies par
. En rsultent les relations
(modulo ).

Le cas particulier donne (modulo ) : le lemme d'Euler en dcoule aussitt.

Remarque
La dmonstration initiale reposait sur une assez lourde itration de diffrences finies pour
montrer que la relation ne pouvait tre vrifie par tous les entiers non multiples de .
L'involution remonte pourtant Euler, au moins pour ; elle est explicite en 1828 pour
quelconque dans une dmonstration par Dirichlet du thorme de Wilson partir du critre
d'Euler.

Celle-ci mle, non sans clat, le critre d'Euler, le thorme de Wilson (dmontr au passage), et
le petit thorme de Fermat qui en est un corollaire immdiat : ces trois joyaux de l'arithmtique
sont donc en quelque sorte, quivalents.

Remarque
Une dmonstration plus traditionnelle traite d'abord le cas o est rsidu quadratique par le
thorme de Fermat. Si est non-rsidu, on peut utiliser la proposition 3 et la factorisation
, condition de montrer qu'une congruence polynomiale unitaire
de degr possde essentiellement au plus racines : c'est possible, soit par rcurrence sur
partir d'une galit , soit plutt en forgeant une
structure de corps (malheureusement hors programme) sur l'ensemble .

Proposition 5 Pour tout nombre premier et tout couple d'entiers relatifs, on dispose
Page 4sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
de l'galit

DEMONSTRATION C'est clair si ou si divise ou , et rsulte de la proposition
prcdente sinon.

Proposition 6 Pour tout nombre premier on dispose de l'galit



DEMONSTRATION C'est une consquence triviale du critre d'Euler.

Remarque
Les deux propositions prcdentes ne seront pas utilises dans la suite. Elles ne figurent ici que
pour montrer la puissance du critre d'Euler.

Proposition 7 (Lemme de Gauss - 1808)
Pour tout entier relatif non multiple du nombre premier on dispose de la
congruence (modulo ) o est le nombre de restes centrs ngatifs de la suite
des multiples de compris entre et .

DEMONSTRATION Effectuons le produit des congruences (modulo ) o dcrit
le segment et o est le reste centr de : la proposition 1 montre que l'on obtient
justement la congruence (modulo ), qui se simplifie en puisque
est le produit des valeurs absolues des et que et sont premiers entre eux.

Proposition 8 L'entier est rsidu quadratique des nombres premiers de la forme et
non-rsidu des nombres premiers de la forme .

DEMONSTRATION Soit un nombre premier impair autre que 3 et un entier vrifiant les
ingalits Des calculs immdiats montrent que :

Page 5sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...


Il en rsulte l'galit . Par suite, si et
si , d'o le rsultat en appliquant le lemme de Gauss.

Proposition 9 Il existe une infinit de nombres premiers de la forme .

DEMONSTRATION Soit un nombre premier arbitraire impair et le produit de tous les
nombres premiers de 2 sauf 3. Alors il existe un diviseur premier de l'entier impair
, lui-mme impair, distinct de 3 et strictement suprieur . L'entier est donc un
rsidu quadratique (modulo ), ce qui implique d'aprs la proposition prcdente que
. L'ensemble des nombres n'tant pas born, le rsultat en dcoule.

Proposition 10 L'entier est rsidu quadratique des nombres premiers de la forme et
, et non-rsidu des nombres premiers de la forme et .

DEMONSTRATION La preuve est analogue celle de la proposition 8. Soit un nombre premier
impair autre que 3 ou 5 et un entier vrifiant les ingalits Des calculs immdiats
montrent que :



Il en rsulte l'galit . Par suite, si
ou et si ou , d'o le rsultat en appliquant le
lemme de Gauss.
Page 6sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...

Proposition 11 Il existe une infinit de nombres premiers de la forme .

DEMONSTRATION Soit un nombre premier arbitraire suprieur ou gal 5 et le produit de
tous les nombres premiers de 2 . Alors tout diviseur premier de l'entier est
lui-mme impair, distinct de 5 (puisque est multiple de 10), et strictement suprieur . Il
divise galement . L'entier est donc un rsidu quadratique
(modulo ), ce qui implique d'aprs la proposition prcdente que ou .
Comme un produit de nombres de la forme ne peut tre gal
(modulo 10), l'un au moins des diviseurs possibles est donc de la forme . L'ensemble
des nombres n'tant pas born, le rsultat en dcoule.

Proposition 12 L'entier est rsidu quadratique des nombres premiers de la forme et
, et non-rsidu des nombres premiers de la forme et .

DEMONSTRATION La preuve est analogue celles des propositions 8 et 10. Soit un nombre
premier impair et un entier vrifiant les ingalits Des calculs immdiats
montrent que si et si Il en rsulte
l'galit . Par suite, si ou , si
ou , d'o le rsultat en appliquant le lemme de Gauss.

Proposition 13 Pour tout nombre premier on dispose de l'galit



DEMONSTRATION Cela rsulte aussitt de la proposition prcdente.

Proposition 14 Il existe une infinit de nombres premiers de la forme .

DEMONSTRATION Soit un nombre premier arbitraire impair 5 et le produit de tous les
Page 7sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
nombres premiers de 2 . Alors tout diviseur premier de l'entier est lui-mme
impair et strictement suprieur , et divise . L'entier est donc un rsidu
quadratique (modulo ), ce qui implique d'aprs la proposition prcdente que ou
. Comme un produit de nombres de la forme ne peut tre gal
(modulo 8), l'un au moins des
diviseurs possibles est donc de la forme . L'ensemble des nombres n'tant pas born,
le rsultat en dcoule.

Remarque
Les sept propositions prcdentes ne seront pas utilises dans la suite. Elles ne figurent ici que
pour montrer la puissance du lemme de Gauss.

C. Loi de rciprocit quadratique
Proposition 15 Pour tout entier relatif non multiple du nombre premier , on
dispose de l'galit , o est le cardinal de l'ensemble des couples
d'entiers relatifs vrifiant les relations et .
DEMONSTRATION Le lemme de Gauss dfinit comme le nombre de restes centrs ngatifs de
la suite des multiples de compris entre et , donc comme le cardinal de l'ensemble
des tels que le rsidu minimum de appartienne . Notant la partie entire
de cet ensemble est donc aussi l'ensemble des tels que appartienne
, et vrifie pour au moin un entier , savoir .

tout lment de , on peut donc associer au moins un couple de . En fait, il est
immdiat de voir qu'un tel est unique puisque l'intervalle ne contient au plus
qu'un seul multiple de , et que l'on dfinit ainsi une bijection de sur , d'o le rsultat.

Proposition 16 Pour tout entier naturel non multiple du nombre premier
, on dispose de l'galit , o est le cardinal de l'ensemble des
couples d'entiers naturels vrifiant les relations , et
Page 8sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
.

DEMONSTRATION L'ensemble est videmment inclus dans . En fait, ils sont gaux puisque
implique , soit , et


soit .

Proposition 17 Pour tout couple d'entiers premiers distincts, on
dispose de l'galit , o est le cardinal de l'ensemble des couples
d'entiers naturels vrifiant les relations , et

DEMONSTRATION Le rsultat de la proposition prcdente appliqu montre
que , o est le cardinal de l'ensemble des couples d'entiers naturels
vrifiant les relations , et . De manire analogue,
, o est le cardinal de l'ensemble des couples d'entiers naturels
vrifiant les relations , et .

Ces ensembles et sont disjoints. Leur runion est de cardinal , et peut tre
dfinie comme l'ensemble des couples d'entiers naturels vrifiant les relations ,
et , puisque l'galit est impossible ( , strictement
suprieur , est premier avec et ne peut diviser qui est premier et distinct de ). C'est
donc , d'o le rsultat.

Proposition 18 Avec les notations prcdentes, les entiers et ont mme parit.

DEMONSTRATION L'ensemble est l'intersection de l'ensemble des points coordonnes
entires de la plaque rectangulaire , de cardinal , et de l'ensemble des
points coordonnes entires de la bande dfinie par les ingalits
Page 9sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...

Chacun des six ensembles , , , , , , admet un mme centre de symtrie, le point
de coordonnes . C'est immdiat pour , et ; pour et
, cela rsulte des relations :


Enfin .

Il est clair que appartient . S'il est coordonnes entires, il appartient alors
et n'appartient donc pas ; sinon, il en va de mme car il n'appartient alors
pas . Enfin est aussi un centre de symtrie de auquel il n'appartient pas, et dont le
cardinal est par consquent pair, d'o le rsultat.

Proposition 19 Pour tout couple d'entiers premiers impairs distincts, on dispose de
l'galit .

DEMONSTRATION Cela rsulte aussitt des deux propositions prcdentes.

EXEMPLE Ainsi , puisque (modulo 7). Comme et sont tous
deux impairs, on a , ce qui se vrifie d'ailleurs facilement en calculant les
rsidus minimaux des carrs (modulo 11) des entiers de 1 5.

La figure correspondant la dmonstration ci-dessus comporte exactement cinq points, dont le
centre de symtrie , d'o la confirmation du rsultat.


Page 10sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...


Remarque
On pourra noter que cette dmonstration de la loi de rciprocit quadratique proprement dite ne
comportent que huit tapes, puisque les propositions 2, 3, 5, 6, 8, 9, 10, 11, 12, 13 et 14, bien
qu'instructives par elles-mmes, n'en sont pas constitutives.

D. Un thorme d'Euler de 1739 sur les nombres de Fermat
Proposition 20 Pour tout entier naturel , il existe une infinit de nombres premiers de la
forme .
DEMONSTRATION Soit en effet un diviseur premier de . Tout repose sur un
lemme, qui pourrait d'ailleurs recevoir un statut pdagogique beaucoup plus important (par
exemple si la structure de groupe tait au programme) : tous les entiers tels que
(modulo ) sont les multiples du plus petit d'entre eux, not , car le residu minimum de
modulo vrifie la congruence (modulo ) et les ingalits , et ne peut donc
qu'tre nul.

Par exemple, le thorme de Fermat montre que (modulo ), ce qui implique que
divise et qu'il existe un entier naturel vrifiant l'galit .

Puisque est congru modulo , l'entier ne divise pas . Toutefois, les congruences
Page 11sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...
montrent que divise . L'unicit de la dcomposition en
facteur premiers de implique alors l'galit , d'o l'existence d'un entier vrifiant
.

On possde donc maintenant au moins un nombre premier de la forme dsire. Il en existe en fait
une infinit, car tout nombre premier s'crivant est aussi de cette forme si l'on
pose .

EXEMPLE Ainsi peut-on trouver une infinit de nombres premiers de la forme , ou
(deux cas dj connus), ou enfin - ce qui est nouveau - et ainsi de suite.

Remarque
Le cas particulier est particulirement intressant. C'est par le thorme prcdent
qu'Euler (dans son tout premier article d'arithmtique) a dcouvert la forme possible des
diviseurs de , ncessairement du type , parmi lesquels figure qui
divise effectivement qui n'est donc pas premier. (Il en va naturellement de mme pour l'autre
diviseur, ).

Remarque
Le thorme d'Euler possde une extension assez tonnante, due douard Lucas, professeur de
mathmatiques spciales au lyce Saint-Louis, qui a prouv en 1878 que, pour , le
nombre pouvait mme s'crire sous la forme (exemple : ).

En effet, puisque la proposition prcdente montre que est de la forme , le critre
d'Euler implique la congruence (modulo ). Par suite, divise
, et est donc pair.

Page 12sur 12 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=396&Type=enonce&Num=0&Mode=...