Loi de réciprocité quadratique
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, et plus précisément en théorie des nombres, la loi de réciprocité quadratique, conjecturée par Euler et Legendre et correctement démontrée pour la première fois par Gauss, établit un lien entre la résolubilité de deux équations quadratiques voisines d'arithmétique modulaire. Cette loi permet en fait de déterminer la résolubilité de n'importe quelle équation quadratique en arithmétique modulaire.
Étant donné des nombres premiers distincts p et q impairs, la loi de réciprocité quadratique comprend deux résultats qui dépendent chacun des valeurs respectives de p et de q :
-
- si au moins l'un des nombres p et q est congru à 1 modulo 4, alors l'équation d'inconnue x :
- a une solution si et seulement si l'équation d'inconnue y :
- a une solution (les deux solutions sont en général différentes).
- si p et q sont congrus à 3 modulo 4, alors l'équation d'inconnue x :
- a une solution si et seulement si l'équation d'inconnue y :
- n'a pas de solution.
En utilisant le symbole de Legendre, ces deux résultats peuvent être résumés par l'énoncé unique suivant :
Par exemple, si p vaut 11 et q vaut 19, il est possible de ramener le calcul de à celui de , qui est égal à (puisque ). Pour aller plus loin, nous avons besoin de propriétés supplémentaires qui permettent de calculer et explicitement, par exemple :
En utilisant cela, nous ramenons successivement le calcul de à (car ), puis à et enfin à , ce qui termine le calcul.
[modifier] Démonstrations de la loi de réciprocité quadratique
Dans un livre publié en 2000, Lemmermeyer 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 de cette loi de réciprocité quadratique.
Les premières démonstrations 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 Ferdinand Eisenstein, Gauss qualifie cette preuve de laborieuse[1].
[modifier] Généralisations
Il existe des lois de réciprocité cubique, biquadratique (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.
Le lemme de Gauss concerne les propriétés des résidus quadratiques et sert dans la démonstration établie par Gauss de la loi de réciprocité quadratique.
[modifier] Liens externes
- Une comparaison de deux démonstrations de la loi de réciprocité quadratique (en anglais)
- Liste des démonstrations de la loi de réciprocité quadratique établie par Franz Lemmermeyer (en anglais)
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |