🔢 mathematics

The Quadratic and Cubic Characters of 2

Cet article explore la solvabilité de la congruence cubique $x^3 \equiv 2 \pmod{p}$ en employant les entiers d'Eisenstein, les sommes de Gauss et de Jacobi, ainsi que la loi de réciprocité cubique, tout en fournissant un contexte historique sur le développement des lois de réciprocité supérieures et du caractère quadratique de 2 à travers les contributions de Fermat, Euler, Legendre, Jacobi et Eisenstein.

Auteurs originaux : Matias C. Relyea

Publié 2026-02-03

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Matias C. Relyea

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un détective essayant de résoudre un mystère sur les nombres. Plus précisément, vous cherchez un motif caché qui vous indique si un casse-tête mathématique particulier peut être résolu. Le casse-tête est simple à énoncer : Pouvez-vous trouver un nombre qui, lorsqu'il est multiplié par lui-même trois fois, laisse un reste de 2 lorsqu'il est divisé par un nombre premier spécifique ?

Par exemple, si votre nombre premier est 7, pouvez-vous trouver un nombre $x$ tel que $x \times x \times x = 2$ (plus un multiple de 7) ? Parfois, la réponse est « oui », et parfois, elle est « non ». Ce document traite de la manière de déterminer exactement quand la réponse est « oui ».

Voici l'histoire de la façon dont l'auteur, Matias C. Relyea, résout ce mystère, expliquée en termes courants.

La Mise en Place : Le « Théorème d'Or » et ses Cousins

Le document commence par examiner un mystère célèbre et plus ancien appelé le Caractère Quadratique de 2. C'est le même casse-tête, mais au lieu de multiplier un nombre par lui-même trois fois ( $x^3$ ), vous ne le multipliez que deux fois ( $x^2$ ).

L'Ancien Mystère : Pouvez-vous trouver $x$ tel que $x^2 \equiv 2 \pmod p$ ?
La Solution : Des mathématiciens comme Gauss ont découvert une règle simple : si votre nombre premier $p$ ressemble à $8n+1$ ou $8n+7$ , la réponse est « oui ». S'il ressemble à $8n+3$ ou $8n+5$ , la réponse est « non ».

L'auteur utilise ce vieux mystère résolu comme terrain d'entraînement. Il veut appliquer une logique similaire au mystère plus difficile et plus récent : Le Caractère Cubique de 2 (la version $x^3$ ).

Le Problème : Le Casse-tête devient plus Difficile

Autrefois, des mathématiciens comme Euler et Fermat ont supposé qu'il existait une règle simple similaire pour le cas cubique ( $x^3 \equiv 2$ ). Ils ont remarqué que si un nombre premier $p$ peut être écrit sous une forme très spécifique, le casse-tête est soluble.

La Grande Conjecture (La Conjecture d'Euler) :
Si vous pouvez écrire un nombre premier $p$ sous la forme $C^2 + 27D^2$ (où $C$ et $D$ sont des nombres entiers), alors le casse-tête $x^3 \equiv 2$ est soluble. Si vous ne pouvez pas l'écrire sous cette forme, il n'est pas soluble.

Euler a fait cette supposition basée sur l'intuition pure, mais il n'a pas pu la prouver. Gauss a plus tard trouvé des notes suggérant qu'il en connaissait la preuve, mais elle n'a été pleinement développée que bien plus tard. Ce document vise à parcourir l'histoire et à fournir une preuve claire et étape par étape de cette règle spécifique.

La Boîte à Outils : Construire un Nouveau Monde

Pour résoudre le casse-tête cubique, l'auteur explique que nous ne pouvons pas nous contenter d'utiliser des nombres entiers réguliers (comme 1, 2, 3). Nous devons construire un nouveau « monde » de nombres.

Les Entiers d'Eisenstein (Le Nouveau Quartier) :
Imaginez que les nombres réguliers vivent sur une ligne droite. Pour résoudre des problèmes cubiques, nous devons passer dans un plan en 2D. Nous introduisons un nombre spécial appelé $\omega$ (oméga), qui est une « racine cubique de l'unité ». Considérez $\omega$ comme une clé magique qui, lorsque vous la tournez trois fois, vous ramène là où vous avez commencé.
Dans ce nouveau quartier, les nombres ressemblent à $a + b\omega$ . L'auteur appelle ces nombres les Entiers d'Eisenstein. Ce nouveau monde possède ses propres règles de multiplication et de division, mais il est suffisamment structuré pour que nous puissions toujours faire des mathématiques dessus.
Les Sommes Magiques (Sommes de Gauss et de Jacobi) :
Pour trouver des motifs dans ce nouveau quartier, l'auteur utilise des outils appelés Sommes de Gauss et Sommes de Jacobi.

Analogie : Imaginez que vous avez un grand sac de billes colorées (des nombres). Vous voulez savoir si un motif spécifique existe. Au lieu de les compter une par une, vous secouez le sac et écoutez le son qu'elles font. Si le son est d'une tonalité spécifique, vous savez que le motif existe. Ces « sommes » sont comme cette tonalité spéciale — ce sont des calculs complexes qui révèlent les propriétés cachées des nombres sans que vous ayez à vérifier chacun d'entre eux.

Le Filtre « Primaire » :
Dans ce nouveau monde, les nombres peuvent paraître différents mais agir de la même manière (comme le fait que $1$ et $-1$ sont liés). Pour éviter la confusion, l'auteur utilise un filtre appelé Nombres Primaires. C'est comme trier votre courrier dans des bacs spécifiques afin de ne regarder qu'un seul représentant de chaque groupe. Cela rend les mathématiques beaucoup plus claires.

La Solution : Relier les Points

Le document parcourt un voyage logique pour prouver la conjecture d'Euler :

Étape 1 : Le Cas Simple. D'abord, l'auteur montre que si vous choisissez un nombre premier qui est « bizarre » (spécifiquement, s'il laisse un reste de 2 lorsqu'il est divisé par 3), le casse-tête est toujours soluble. C'est comme un laissez-passer gratuit.
Étape 2 : Le Cas Complexe. Le véritable défi survient lorsque le nombre premier est « normal » (laisse un reste de 1 lorsqu'il est divisé par 3). Ici, l'auteur utilise les Entiers d'Eisenstein et les Sommes Magiques pour montrer que la solubilité du casse-tête dépend entièrement de la forme du nombre premier.
Étape 3 : Le Changement de Forme. En utilisant les propriétés du nouveau monde des nombres, l'auteur prouve que si le casse-tête est soluble, le nombre premier $p$ $p$ doit pouvoir être réarrangé sous la forme $C^2 + 27D^2$ .
- L'Analogie : C'est comme dire : « Si vous pouvez ouvrir cette porte, votre clé doit être en or. » L'auteur prouve que si la porte s'ouvre (l'équation a une solution), la clé (le nombre premier) doit avoir la forme spécifique de $C^2 + 27D^2$ .
Étape 4 : L'Inverse. Il prouve également le contraire : si vous avez un nombre premier qui est de la forme $C^2 + 27D^2$ , alors la porte s'ouvrira.

La Conclusion

Le document conclut en confirmant la conjecture séculaire d'Euler. Il nous dit que la solubilité de l'équation cubique $x^3 \equiv 2 \pmod p$ n'est pas aléatoire. Elle est strictement déterminée par le fait que le nombre premier $p$ puisse être écrit comme la somme d'un carré et de 27 fois un autre carré.

En bref :

Le Mystère : $x^3 = 2$ peut-il être résolu pour un nombre premier donné ?
L'Indice : Regardez la forme du nombre premier.
La Réponse : Si le nombre premier correspond à la formule $C^2 + 27D^2$ , la réponse est Oui. S'il ne correspond pas, la réponse est Non.

L'auteur y parvient en empruntant des outils du passé (l'induction de Gauss), en construisant un nouveau quartier mathématique (les Entiers d'Eisenstein) et en utilisant des « sommes magiques » complexes pour révéler la géométrie cachée des nombres. C'est l'histoire de la façon dont les mathématiciens ont construit un pont entre l'arithmétique simple et l'algèbre complexe pour résoudre un casse-tête qui a dérouté les plus grands esprits pendant des centaines d'années.

Résumé Technique : Les Caractères Quadratiques et Cubiques de 2

Énoncé du Problème
L'article traite de la solvabilité de la congruence cubique $x^3 \equiv 2 \pmod p$ pour les nombres premiers $p \equiv 1 \pmod 3$ . Cette solvabilité est définie comme le « caractère cubique de 2 ». Alors que le caractère quadratique de 2 (la solvabilité de $x^2 \equiv 2 \pmod p$ ) est un résultat standard de la théorie élémentaire des nombres, le cas cubique nécessite les outils de la théorie algébrique des nombres, plus précisément la théorie des entiers d'Eisenstein et des lois de réciprocité supérieures. L'article vise à fournir une preuve de la conjecture d'Euler concernant le caractère cubique de 2, qui stipule que $x^3 \equiv 2 \pmod p$ est solvable si et seulement si $p$ peut être représenté sous la forme $p = C^2 + 27D^2$ pour des entiers $C$ et $D$ .

Méthodologie
L'article emploie une approche historique et constructive, utilisant les cadres mathématiques suivants :

Contexte Historique et Induction : L'auteur commence par l'examen de la preuve inductive de Gauss concernant le caractère quadratique de 2 (Théorème 2) issue des Disquisitiones Arithmeticae. Cela sert de fondement motivationnel, illustrant comment des méthodes élémentaires peuvent établir des résultats souvent réservés à des traitements plus avancés.
Entiers d'Eisenstein ( $\mathbb{Z}[\omega]$ ) : Le cœur de la méthodologie se déplace vers l'anneau des entiers d'Eisenstein, où $\omega = e^{2\pi i/3}$ . L'article établit que $\mathbb{Z}[\omega]$ est un domaine de factorisation unique (UFD) et un domaine euclidien. Il définit la norme $N(a+b\omega) = a^2 - ab + b^2$ et introduit les nombres « primaires » (éléments $\pi \equiv \pm 1 \pmod 3$ ) pour gérer les problèmes de factorisation unique.
Sommes de Gauss et de Jacobi : L'article définit les caractères multiplicatifs sur les corps finis $\mathbb{F}_p$ et construit les sommes de Gauss ( $g(\chi)$ ) et les sommes de Jacobi ( $J(\chi, \lambda)$ ). Il prouve des propriétés fondamentales, incluant la relation $J(\chi, \lambda) = g(\chi)g(\lambda)/g(\chi\lambda)$ et la magnitude $|J(\chi, \chi)| = \sqrt{p}$ pour les caractères non triviaux d'ordre 3.
Représentation des Nombres Premiers : En utilisant les propriétés des sommes de Jacobi, l'article démontre que pour $p \equiv 1 \pmod 3$ , il existe des entiers $a, b$ tels que $p = a^2 - ab + b^2$ . Il affine ensuite cela pour montrer l'existence d'entiers uniques $A, B$ tels que $4p = A^2 + 27B^2$ (Théorème 15).
Réciprocité Cubique : La loi de réciprocité cubique (Théorème 3) est énoncée pour les éléments primaires dans $\mathbb{Z}[\omega]$ . L'article utilise le caractère de résidu cubique $(\alpha/\pi)_3$ et la propriété que $(\alpha/\pi)_3 = \alpha^{(N\pi-1)/3} \pmod \pi$ .

Contributions Clés et Résultats
L'article synthétise des conjectures historiques avec des preuves rigoureuses pour établir les résultats suivants :

Théorème 4 (Résultat Principal) : Pour un nombre premier $p \equiv 1 \pmod 3$ $p \equiv 1 (mod 3)$ , la congruence $x^3 \equiv 2 \pmod p$ $x^{3} \equiv 2 (mod p)$ est solvable si et seulement si il existe des entiers $C$ $C$ et $D$ $D$ tels que $p = C^2 + 27D^2$ $p = C^{2} + 27 D^{2}$ .
- Stratégie de Preuve : La preuve connecte la solvabilité de $x^3 \equiv 2 \pmod \pi$ (où $\pi$ est un premier dans $\mathbb{Z}[\omega]$ de norme $p$ ) à la parité de $\pi$ . Par le Lemme 19, la solvabilité exige $\pi \equiv 1 \pmod 2$ . Cette contrainte de parité, combinée à la représentation $p = a^2 - ab + b^2$ et à la condition $b \equiv 0 \pmod 3$ (dérivée des propriétés des sommes de Jacobi), force les coefficients à s'aligner de telle sorte que $p$ prenne la forme $C^2 + 27D^2$ .
Proposition 18 : Établit que si $q \equiv 2 \pmod 3$ est un nombre premier rationnel, tout entier est un résidu cubique modulo $q$ . Par conséquent, $x^3 \equiv 2 \pmod q$ est toujours solvable dans ce cas.
Théorème 15 : Prouve que si $p \equiv 1 \pmod 3$ , il existe des entiers uniques $A$ et $B$ (à un signe près) tels que $4p = A^2 + 27B^2$ . Cette unicité est critique pour la preuve finale du Théorème 4.
Clarification Historique : L'article clarifie la chronologie des contributions, notant que bien qu'Euler ait conjecturé le résultat basé sur la forme $a^2 + 3b^2$ , et que Gauss ait fourni des preuves dans des notes posthumes, l'article vise à éclairer les nuances historiques spécifiques et la nature « élémentaire » de la preuve utilisant les sommes de Gauss et de Jacobi.

Signification et Revendications
L'article affirme sa signification en comblant le fossé entre la théorie élémentaire des nombres et la machinerie plus complexe de la théorie algébrique des nombres.

Accessibilité : Il soutient que bien que les lois de réciprocité supérieures (cubique, biquadratique) soient souvent perçues comme nécessitant une théorie algébrique des nombres avancée, leurs cas particuliers (comme le caractère de 2) peuvent être abordés avec « quelques idées algébriques supplémentaires », spécifiquement les sommes de Gauss et de Jacobi.
Récit Historique : L'article met en avant la riche histoire des lois de réciprocité, retraçant le développement de Fermat et Euler à travers Gauss, Jacobi et Eisenstein. Il souligne que les intuitions de Gauss sur les résidus cubiques reposaient sur l'introduction de quantités imaginaires (les entiers d'Eisenstein), un concept qui n'a été pleinement réalisé que lors des travaux d'Eisenstein en 1844.
Valeur Pédagogique : L'auteur note que la preuve du caractère quadratique de 2 (Théorème 2) est rarement couverte dans les textes élémentaires, et de même, le cas cubique est souvent omis. Cet article fournit une dérivation autonome du caractère cubique de 2, motivée par le développement historique du domaine.

L'article ne propose pas de nouvelles applications ou de nouvelles directions de recherche, mais se concentre sur la fourniture d'une preuve rigoureuse et historiquement fondée d'une conjecture classique, démontrant comment les propriétés fondamentales des sommes de Gauss et de Jacobi peuvent résoudre des questions spécifiques concernant la solvabilité des congruences cubiques.