Loi de réciprocité quadratique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, en particulier en théorie des nombres, la loi de réciprocité quadratique, établit des liens entre les nombres premiers ; plus précisément, elle décrit la possibilité d'exprimer un nombre premier comme un carré modulo un autre nombre premier. Conjecturée par Euler[1] et reformulée par Legendre[2], elle a été correctement démontrée pour la première fois par Gauss en 1801[3].

Elle permet de résoudre les deux problèmes de base de la théorie des résidus quadratiques[4] :

  • étant donné un nombre premier , déterminer, parmi les entiers, lesquels sont des carrés modulo et lesquels n'en sont pas ;
  • étant donné un entier , déterminer, parmi les nombres premiers, modulo lesquels est un carré et modulo lesquels il n'en est pas un.

Elle est considérée comme un des théorèmes les plus importants de la théorie des nombres, et a de nombreuses généralisations.

Énoncés[modifier | modifier le code]

L'énoncé complet de Gauss comporte trois assertions : le « théorème fondamental » pour deux nombres premiers impairs et deux « lois complémentaires ».

Premier énoncé[modifier | modifier le code]

Théorème fondamental.
Étant donnés deux nombres premiers impairs distincts p et q :
  • si p ou q est congru à 1 modulo 4, alors p est un carré modulo q si et seulement si q est un carré modulo p.Plus explicitement : l'équation (d'inconnue ) a une solution si et seulement si l'équation (d'inconnue ) a une solution.
  • si p et q sont congrus à 3 modulo 4, alors p est un carré modulo q si et seulement si q n'est pas un carré modulo p.Plus explicitement : l'équation a une solution si et seulement si l'équation n'a pas de solution.
Première loi complémentaire.
–1 est un carré modulo p si et seulement si p est congru à 1 modulo 4.
Deuxième loi complémentaire.
2 est un carré modulo p si et seulement si p est congru à 1 ou –1 modulo 8.

Symbole de Legendre[modifier | modifier le code]

En utilisant le symbole de Legendre, ces trois énoncés peuvent être résumés respectivement par :

Théorème fondamental.
, autrement dit sauf si et sont tous deux congrus à , auquel cas .
Première loi complémentaire.
.
Deuxième loi complémentaire.
.

Exemples[modifier | modifier le code]

  • Modulo q = 3, le seul carré non nul est (±1)2 = 1. La loi de réciprocité quadratique (jointe à sa première loi complémentaire) fournit donc, pour tout nombre premier p différent de 2 et 3, l'équivalence :
    Le sens ⇒[5] peut se démontrer plus directement : si p ≡ 1 mod 3, pour montrer que –3 est un carré modulo p, il suffit de trouver dans ℤ/p un élément t vérifiant une équation du second degré at2 + bt + c = 0 de discriminant b2 – 4ac égal à –3. En effet, on aura alors –3 ≡ (b + 2at)2 (mod p).
  • Modulo q = 5, les carrés non nuls sont (±1)2 = 1 et (±2)2 ≡ –1. La loi de réciprocité quadratique fournit donc, pour tout nombre premier p différent de 2 et 5, l'équivalence :
    Mais dès 1775, Lagrange, parmi ses nombreux cas particuliers de la loi de réciprocité — fruits de son étude des formes quadratiques binaires — démontra le sens direct[6] (⇒) et étendit la réciproque (⇐)[7] au cas où p n'est pas premier[8]. Gauss, en préambule à sa première démonstration de la loi générale, fit de même[9].
  • Déterminons si 219 est un carré modulo 383[14]. La multiplicativité du symbole de Legendre montre que :.Le théorème fondamental permet de simplifier les deux facteurs :.À nouveau par multiplicativité du symbole de Legendre, on simplifie encore le second facteur :.On conclut à l'aide des deux lois complémentaires : comme et ,.Par conséquent, 219 est un carré modulo 383.
  • Déterminons modulo quels nombres premiers l'entier est un carré[15]. D'après le théorème fondamental,,or dépend de et dépend de . On trouve ainsi que
    .

Démonstrations de la loi de réciprocité quadratique[modifier | modifier le code]

Dans un livre publié en 2000, Franz Lemmermeyer (de) expose l'histoire mathématique des lois de réciprocité en couvrant leurs développements et rassemble des citations de la littérature pour 196 différentes démonstrations[16] du théorème fondamental.

Les premières démonstrations de ce dernier aujourd'hui considérées comme complètes sont publiées par Gauss dans ses Disquisitiones arithmeticae en 1801. Gauss disposait des preuves dès 1796 (à l'âge de 19 ans). La première de ces preuves repose sur un raisonnement par récurrence. Dans sa correspondance avec son élève Gotthold Eisenstein, Gauss qualifie cette première preuve de laborieuse[17]. Ses troisième et cinquième preuves reposent sur le lemme de Gauss, qu'il démontra à cette occasion[16].

Généralisations[modifier | modifier le code]

Il existe des lois de réciprocité cubique, biquadratique (en) (c'est-à-dire de degré 4) et ainsi de suite. Cependant, la véritable généralisation de toutes ces lois — généralisation monumentale — est la théorie des corps de classes. Voir « Neuvième problème de Hilbert ».

Notes et références[modifier | modifier le code]

  1. (la) « Observationes circa divisionem quadratorum per numeros primos (E552) », (écrit en 1772).
  2. Il croit l'avoir démontrée (A.-M. Legendre, « Recherches d'analyse indéterminée », Histoire de l'Académie royale des sciences de Paris, 1785, p. 465-559 : démonstration p. 516-520, reprise dans Essai sur la théorie des nombres, 1798) mais Gauss (trad. du latin par A.-C.-M. Poullet-Delisle), Recherches arithmétiques [« Disquisitiones arithmeticae »], (1re éd. 1801) (lire sur Wikisource), § 296-297, analyse les failles. La première est que Legendre admet à plusieurs reprises le théorème de la progression arithmétique, question qui s'avère encore plus difficile que celle de la réciprocité quadratique et ne sera démontrée qu'en 1837. Legendre percevait cette première difficulté (p. 552) mais crut dès 1808 l'avoir résolue. Une autre faille était « un imbroglio de raisonnement circulaire. […] Lors de la 3e édition (1830) de son Essai, il y avait eu suffisamment de critiques de la preuve de Legendre pour qu'il ajoute la 3e preuve de Gauss de la réciprocité, ainsi qu'une communiquée par Jacobi (tout en maintenant que sa première preuve était valide). » ((en) David A. Cox, Primes of the Form x2 + ny2, Wiley, (1re éd. 1989) (lire en ligne), p. 39).
  3. Gauss 1801, § 125-151 et 262.
  4. (en) Tom M. Apostol, Introduction to Analytic Number Theory, Springer, (lire en ligne), p. 178.
  5. La réciproque (⇐), utile dans la détermination des nombres premiers d'Eisenstein, peut se déduire de la factorialité de ℤ[j].
  6. J.-L. Lagrange, « Recherches d'arithmétique (suite) », Mémoires de l'Académie de Berlin,‎ , p. 323-356 rééd. Joseph-Alfred Serret, Œuvres de Lagrange, vol. III, Gauthier-Villars, (lire en ligne), p. 759-795.
  7. Cette réciproque, utile dans la détermination des irréductibles de ℤ[φ], peut aussi se déduire de la factorialité de cet anneau.
  8. J.-L. Lagrange, « Recherches d'arithmétique », Mémoires de l'Académie de Berlin,‎ , p. 265-312 (Œuvres, III, p. 695-758, [lire en ligne]), établit plus précisément que « les diviseurs impairs des nombres de la forme t2 – 5u2 ou 5u2t2 sont en même temps de chacune de ces deux formes y2 – 5z2, 5z2y2. »
  9. Gauss 1801, § 123 et 121.
  10. Preuve de Lagrange et Gauss, présentée ici dans un style plus moderne.
  11. Voir aussi la fin de (la) « Demonstrationes circa residua ex divisione potestatum per numeros primos resultantia (E449) », Novi Comment. Acad. Sci. Petrop., vol. 18,‎ , p. 85-135 (lire en ligne) (écrit en 1772).
  12. On peut alors conclure plus vite, exactement comme dans le premier cas. En effet, avec ce choix plus précis, yp+1 = 1 donc y + 1/y appartient bien à Fp car il est fixe par l'automorphisme de Frobenius.
  13. Lagrange et Gauss choisissent arbitrairement une base (1, x) telle que, au contraire, x2 appartienne à Fp.
  14. Apostol 1976, p. 186-187, Example 1.
  15. Apostol 1976, p. 187, Example 2.
  16. a et b (en) F. Lemmermeyer, « Proofs of the Quadratic Reciprocity Law ».
  17. (en) Reinhard Laubenbacher et David Pengelley, « Gauß, Eisenstein, and the "third" proof of the Quadratic Reciprocity Theorem: Ein kleines Schauspiel ».
  18. (la) Gauss, « Theorematis fandamentalis in doctrina de residuis quadraticis demonstrationes et ampliationes novae », 1818.
  19. André Weil, « La cyclotomie jadis et naguère », Séminaire Bourbaki, vol. 16, 1973-1974, no 452, p. 318-338, § 6.
  20. Pour une preuve analogue de la deuxième loi complémentaire, voir (en) Kenneth Ireland et Michael Rosen, A Classical Introduction to Modern Number Theory, coll. « GTM » (no 84) (lire en ligne), p. 69-70.
  21. Voir aussi « Théorème des deux carrés de Fermat ».
  22. T. J. Stieltjes, « Sur le caractère quadratique du nombre 2 », Annales de la Faculté des sciences de Toulouse, 1e série, vol. 11, no 1,‎ (lire en ligne).
  23. (en) André Weil, Number Theory : An approach through history from Hammurapi to Legendre [détail des éditions], p. 212 et 85. Gauss 1801, § 116, fait donc erreur lorsqu'il affirme qu'Euler n'en possédait pas encore de démonstration « quand il a écrit la dissertation que renferme le T. 1 des Opuscula analyt., p. 259 », c'est-à-dire E449, p. 108.

Article connexe[modifier | modifier le code]

Symbole de Jacobi