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 :
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.
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.