Résultat fondamental en théorie des nombres élémentaire qui relie la résiduosité quadratique entre deux premiers impairs distincts p et q via le symbole de Legendre : (p/q)(q/p) = (-1)^{((p-1)/2)((q-1)/2)} ; il détermine si p est un résidu quadratique modulo q en fonction de la question réciproque à un signe explicite près.

Principe

La règle organisatrice est une symétrie de réciprocité : l'interaction des caractères quadratiques entre deux premiers impairs est symétrique à un signe calculable dépendant des classes de congruence des nombres premiers modulo 4.

Démonstration

Exemple : prendre p=3 et q=11. Calculer les symboles de Legendre (3/11) et (11/3) ; la loi prédit que leur produit vaut (-1)^{((3-1)/2)((11-1)/2)} = (-1)^{1*5} = -1, ce qui correspond aux calculs directs de résiduosité quadratique dans chaque module.

Mauvaise application

Appliquer la loi en incluant le premier 2 ou des modules composés sans passer aux symboles généralisés, ou l'utiliser sans convertir aux symboles de Legendre ou de Jacobi conduit à des tests de résiduosité erronés. Interpréter la loi comme donnant directement des valeurs de résiduosité plutôt qu'une relation entre symboles est aussi une mauvaise application.

Conséquence

Une utilisation correcte réduit les tests de résiduosité quadratique entre grands premiers impairs à des calculs plus petits et sous-tend des algorithmes de test de primalité et la théorie des corps de classes ; elle organise le comportement des résidus quadratiques et permet des évaluations efficaces fondées sur la réciprocité.

Inversion

L'inversion consiste à passer aux lois de réciprocité d'ordre supérieur (cubique, biquadratique, etc.), où une symétrie subsiste mais des données auxiliaires et des caractères supplémentaires sont nécessaires ; ces lois sont structurellement similaires mais plus complexes.

Limite

Portée : l'énoncé classique s'applique aux premiers impairs distincts et au symbole de Legendre ; les extensions exigent l'usage du symbole de Jacobi pour les composés ou des théorèmes de réciprocité généraux dans les corps de nombres. La loi ne détermine pas directement la résiduosité modulo des puissances de premiers sans travail supplémentaire.

Tension sémantique

La tension réside entre la formulation par le symbole de Legendre (premiers) et la généralisation par le symbole de Jacobi (composés) : une valeur 1 du symbole de Jacobi n'assure pas la résiduosité, et la confusion entre les deux induit des erreurs. Il existe aussi une tension entre preuves élémentaires et interprétations plus profondes en théorie des corps.

Synthèse

La Loi de Réciprocité Quadratique est une affirmation de symétrie précise concernant les caractères quadratiques des premiers impairs : elle exprime comment la question «p est-il un carré modulo q?» et sa réciproque sont équivalentes à un signe simple déterminé par les résidus modulo 4, fournissant un outil puissant pour décider la résiduosité quadratique et amorcer les théories de réciprocité supérieures.