🔢 mathematics

Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

Cet article présente une preuve certifiée établissant la fermeture des cinq branches de nombres premiers minimaux ( $q=5,7,11,13,17$ ) pour les nombres parfaits impairs en combinant des contraintes de valuation $q$ -adique exacte avec l'évitement de nombres premiers plus petits, vérifiées par une publication spécifique de certificat gelé, tout en notant explicitement que l'existence de nombres parfaits impairs demeure non prouvée et que d'autres branches de nombres premiers ne sont pas traitées.

Auteurs originaux : Marco Mantovanelli

Publié 2026-07-07

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Marco Mantovanelli

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

La Grande Chasse aux Nombres Premiers : Fermer les Portes sur les « Nombres Parfaits Impairs »

Imaginez que vous êtes un détective essayant de trouver une créature mythique très spécifique appelée un Nombre Parfait Impair.

Dans le monde des mathématiques, un « nombre parfait » est comme une balance parfaitement équilibrée. Si vous prenez un nombre, trouvez tous les nombres plus petits qui le divisent sans reste (ses diviseurs), et que vous les additionnez tous, le total doit être exactement égal à deux fois le nombre d'origine.

Exemple : Le nombre 6 est parfait. Ses diviseurs sont 1, 2 et 3. $1 + 2 + 3 = 6$ . Et $6 \times 2 = 12$ ? Attendez — la règle est que la somme des diviseurs est égale à deux fois le nombre. Donc pour 6 : $1 + 2 + 3 + 6 = 12$ . Oui !
Le Mystère : Nous savons que les nombres parfaits pairs existent (comme 6, 28, 496). Mais depuis des siècles, personne n'a jamais trouvé de Nombre Parfait Impair. Personne n'a même prouvé qu'ils n'existent pas. Ils sont les « licornes » de la théorie des nombres.

Ce document, de Marco Mantovanelli, ne prouve pas que les licornes n'existent pas. Il fait quelque chose de très spécifique : il verrouille les portes de cinq pièces spécifiques où une licorne pourrait se cacher.

Le Travail de Détective du « Plus Petit Premier »

Chaque nombre est construit à partir de « briques premières » (comme 2, 3, 5, 7, 11, etc.).

Si un nombre est impair, il ne peut pas utiliser la brique « 2 ».
Le document se concentre sur la plus petite brique utilisée pour construire le nombre. Appelons cela la « Brique Clé ».

L'auteur demande : « Et si la Brique Clé est 5 ? Et si c'est 7 ? Et si c'est 11, 13 ou 17 ? »

L'analogie de l'Hôtel :
Imaginez un hôtel géant où chaque chambre représente un possible Nombre Parfait Impair.

La Brique Clé détermine à quel étage vous vous trouvez.
Si la Brique Clé est 3, vous êtes au 3ème étage.
Si la Brique Clé est 5, vous êtes au 5ème étage.
Si la Brique Clé est 7, vous êtes au 7ème étage.

Le document ne dit pas que l'hôtel est vide. Il admet que nous n'avons pas vérifié le 3ème étage (Brique Clé = 3) ni les étages au-dessus de 17.

Cependant, le document prétend avoir complètement fouillé et verrouillé les portes du 5ème, 7ème, 11ème, 13ème et 17ème étages. Il prouve que si vous essayez de construire un nombre parfait en utilisant 5 comme votre plus petite brique, les mathématiques s'effondrent tout simplement. Il en va de même pour 7, vais 11, 13 et 17.

Comment ont-ils fait ? (La « Balance » et la « Liste Interdite »)

L'auteur utilise deux outils principaux pour prouver que ces étages sont vides :

1. La Balance (La Balance de Valuation)
Pensez à l'équation $\sigma(N) = 2N$ comme à une balance.

D'un côté, vous avez la somme de tous les diviseurs.
De l'autre, vous avez deux fois le nombre.
Pour que la balance soit équilibrée, le « poids » contribué par le plus petit nombre premier (la Brique Clé) doit être parfaitement compensé par les autres nombres premiers.
L'auteur calcule exactement quel « poids » la Brique Clé doit apporter. Ensuite, il regarde les autres briques pour voir si elles peuvent fournir ce poids.

2. La Liste Interdite (Évitement des Petits Premiers)
C'est la partie ingénieuse.

Si la Brique Clé est 5, alors le nombre ne peut pas être construit avec la brique 3. (Parce que 3 est plus petit que 5, et 5 est censé être la plus petite).
Ainsi, quand l'auteur vérifie si les autres briques peuvent équilibrer la balance, il a une règle stricte : « Pas de 3 autorisés ! »
Il essaie de construire le nombre en utilisant uniquement des briques de 5 et plus. Il essaie toutes les combinaisons possibles.
Le Résultat : Chaque fois qu'il essaie d'équilibrer la balance sans utiliser de 3, les mathématiques se brisent. Soit la balance penche trop loin, soit ils sont forcés d'utiliser une brique qui est interdite, soit ils manquent de briques.

Le Système de « Certificat » : Un Audit Numérique

Le document n'est pas seulement une histoire ; c'est un audit massif, vérifié par ordinateur.

Imaginez un immense tableur (un « Certificat ») qui liste chaque façon possible de construire un nombre au 5ème étage.
L'auteur a écrit un programme informatique pour vérifier chaque ligne de ce tableur.
Pour chaque ligne, le programme dit : « Cela échoue parce qu'il nécessite un 3 », ou « Cela échoue parce que les nombres deviennent trop grands », ou « Cela échoue parce que l'équation mathématique n'a pas de solution ».
Le document fournit les « reçus » numériques (fichiers et code) afin que quiconque puisse exécuter le programme et voir les mêmes résultats. C'est comme un audit bancaire où chaque transaction est vérifiée par une machine.

Qu'en est-il des autres étages ?

L'auteur est très prudent pour ne pas faire de déclarations excessives.

Le 3ème Étage (Brique Clé = 3) : C'est un cas spécial. Comme 3 est le plus petit nombre premier impair, il n'y a pas de « Liste Interdite » en dessous de lui. Les règles sont différentes, donc ce document n'y touche pas.
Les étages 19 et supérieurs : Il y a trop de combinaisons à vérifier avec cette méthode spécifique pour le moment. L'auteur dit : « Nous avons fermé les cinq premiers étages difficiles. Les autres sont laissés aux futurs détectives. »

L'Essentiel à Retenir

Ce document est une preuve certifiée que les Nombres Parfaits Impairs ne peuvent pas exister si leur plus petit facteur premier est 5, 7, 11, 13 ou 17.

Il ne prouve pas que les Nombres Parfaits Impairs n'existent pas du tout. Il prouve simplement que s'ils existent, ils doivent être construits avec un plus petit nombre premier de 3 (qui est un puzzle différent et non résolu) ou un nombre premier très grand (19 ou plus).

Voyez cela comme l'auteur qui débarrasse cinq greniers encombrés dans une maison hantée, prouvant avec une lampe de poche et une liste de contrôle qu'aucun fantôme ne se cache dans ces pièces spécifiques. La maison est peut-être encore hantée, mais ces cinq pièces sont certainement vides.

Résumé Technique : Fermetures de Branches de Primes Minimaux Certifiées pour les Nombres Parfaits Impairs

Énoncé du Problème
Le document traite du problème classique ouvert de l'existence des nombres parfaits impairs (NPI), définis comme des entiers positifs impairs $N$ satisfaisant $\sigma(N) = 2N$ , où $\sigma$ est la fonction somme des diviseurs. Bien qu'une littérature abondante ait établi des bornes inférieures globales pour $N$ et le nombre de ses facteurs premiers, une preuve complète de non-existence demeure insaisissable. Ce travail se concentre spécifiquement sur le problème de la « branche du premier premier minimal » : déterminer si un NPI peut exister où le plus petit diviseur premier, $q = \min\{p : p \mid N\}$ , prend des valeurs petites spécifiques.

Le document isole et tente de fermer les branches pour $q \in \{5, 7, 11, 13, 17\}$ . Il précise explicitement qu'il s'agit d'assertions sur le premier premier minimal ; une fermeture de la branche $q=5$ , par exemple, prouve qu'aucun NPI n'existe avec 5 comme plus petit diviseur premier (impliquant que $3 \nmid N$ ), mais ne permet pas d'exclure des NPI divisibles par 5 si 3 est également un facteur (ce qui relèverait de la branche $q=3$ ). Les cas $q=3$ et $q \ge 19$ sont explicitement exclus du champ d'application de ce travail.

Méthodologie
L'approche utilise une stratégie de certification par « branchement et bornage » (branch-and-bound) pilotée par des valuations $q$ -adiques locales et des contraintes d'évitement de nombres premiers inférieurs. La méthodologie procède à travers les couches logiques suivantes :

Équilibre de la Valuation : Basé sur la forme d'Euler $N = \pi^\alpha M^2$ (où $\pi$ est le premier d'Euler), le document établie une équation d'équilibre de la valuation $q$ -adique : la valuation $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ doit être fournie entièrement par les sommes de diviseurs des autres puissances de nombres premiers dans $N$ , car $\sigma(q^{e_q}) \equiv 1 \pmod q$ .
Évitement de Primes Inférieurs : Puisque $q$ est le premier minimal, aucun nombre premier $\ell < q$ ne peut diviser $N$ . Par conséquent, pour chaque puissance de nombre premier $p^e$ dans la factorisation de $N$ , la condition $v_\ell(\sigma(p^e)) = 0$ doit être respectée. Cela crée un filtre d'« évitement » strict qui élimine de nombreuses configurations potentielles.
Témoins d'Entrée et Séparation de Couverture : La preuve identifie des « témoins d'entrée » — des nombres premiers $p \neq q$ dans le support de $N$ qui contribuent à l'équilibre de la valuation $q$ -adique. Le document classifie ces témoins par leur ordre modulo $q$ (noté $d = \text{ord}_q(p)$ ). Cela conduit à une « séparation de couverture » finie de la branche en sous-cas (par exemple, des témoins non-Euler d'ordres spécifiques, ou le premier d'Euler agissant comme témoin).
Cofacteurs Réduits et Primes Forcés : Pour chaque sous-cas, le document analyse le « cofacteur réduit » (le facteur cyclotomique $\Phi_d(p)$ $Φ_{d} (p)$ divisé par la puissance nécessaire de $q$ $q$ ).
- Si le cofacteur possède un diviseur premier $\ell < q$ , la branche est réfutée par l'évitement de nombres premiers inférieurs.
- Si le cofacteur possède un diviseur premier $r > q$ , ce nombre premier est « forcé » dans le support de $N$ . Cela impose une nouvelle contrainte sur la structure de $N$ .
- Si le cofacteur est un cas « pur » (par exemple, une puissance de 2), il est traité via des filtres diophantiens spécifiques ou des certificats de queue.
Contrôle de la Queue et Certificats : Pour les branches qui ne sont pas immédiatement réfutées ou forcées dans une contradiction, le document emploie des « enveloppes de queue ». Celles-ci utilisent l'inégalité $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$ , où $H$ est le produit des facteurs premiers $(p/(p-1))$ , $B$ est une borne inférieure pour les nombres premiers restants, et $M$ est une borne supérieure sur le compte des nombres premiers restants. Si ce produit est inférieur à 2, la branche ne peut pas contenir de NPI.

La preuve est hybride : le cadre logique (lemmes, séparations de couverture et théorèmes) est écrit à la main, tandis que la vérification exhaustive des branches finies est effectuée par des certificats lisibles par machine (fichiers JSONL et vérificateurs Python).

Contributions Clés

Certification Formelle de Cinq Branches : Le document fournit une fermeture complète et vérifiable par machine des branches de premier minimal pour $q = 5, 7, 11, 13, 17$ .
Mécanisme Uniforme : Il établit un mécanisme uniforme « forcé-ou-pur » pour traiter ces branches, réduisant les problèmes arithmétiques complexes à des séparations de couverture finies et des inégalités de contrôle de queue.
Publication de Certificats Reproductibles : L'auteur publie un ensemble gelé de certificats ( $C_{small}$ ) contenant les données spécifiques (factorisations, enregistrements d'ordre, comptes de queue) nécessaires pour vérifier les fermetures. Cela inclut un « contrat de vérificateur » qui sépare la logique mathématique manuscrite des données arithmétiques vérifiées par machine.
Modèle d'Audit Détaillé : La branche $q=5$ est présentée comme un modèle d'audit détaillé, démontrant la dérivation complète depuis la séparation initiale jusqu'aux certificats de contrôle de queue finaux, servant de modèle pour les autres branches.

Résultats
Le théorème principal (Théorème 1.1 et Théorème 14.1) stipule que, par rapport à la publication de certificats $C_{small}$ , il n'existe pas de nombre parfait impair $N$ tel que $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$ .

Plus précisément :

$q=5$ : La branche est divisée en trois enfants ( $Q5E2, Q5E1, Q5N$ ) basés sur le résidu du premier d'Euler et l'existence de témoins non-Euler. Tous les sous-cas sont fermés via des vérifications de fenêtres finies, des certificats de queue paramétriques et des exclusions de familles pures.
$q=7, 11, 13, 17$ : Ces branches sont fermées en vérifiant que leurs « feuilles de frontière stricte » respectives (les nœuds terminaux des séparations de couverture) sont soit réfutées par l'évitement de nombres premiers inférieurs, soit forcées dans un état contrôlé par la queue, soit éliminées par des écrans diophantiens purs (par exemple, la résolution d'équations telles que $\Phi_5(x) = 11^c$ ).

Signification et Portée
Le document revendique une importance en tant que « théorème de certificat » plutôt qu'en tant que nouvelle borne inférieure globale pour $N$ . Il ne prouve pas que les nombres parfaits impairs n'existent pas ; il prouve seulement qu'ils ne peuvent pas exister avec 5, 7, 11, 13 ou 17 comme leur plus petit diviseur premier.

L'auteur souligne la modularité du résultat :

Il isole le problème du premier minimal du problème complet des NPI.
Il fournit un cadre reproductible et auditable par machine pour vérifier des obstructions arithmétiques spécifiques.
Il laisse la branche $q=3$ (qui manque de contraintes d'évitement de nombres premiers inférieurs) et la branche $q \ge 19$ (nécessitant un traitement séparé des ordres d'entrée) comme des problèmes ouverts pour des travaux futurs.

Le travail s'appuie sur les filtres globaux existants (par exemple, les bornes inférieures de Nielsen sur le nombre de facteurs premiers) uniquement comme vérifications de cohérence, tandis que les fermetures réelles sont pilotées par l'entrée cyclotomique étiquetée par la valuation et les certificats finis fournis dans la publication.