🔢 mathematics

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

Ce papier fournit une caractérisation complète des nombres 2-presque parfaits ayant exactement deux facteurs premiers en démontrant la non-existence de tels nombres impairs et en classant tous les cas pairs de la forme $2^kp^m$ (avec $m \ge 3$ ) dans une famille spécifique.

Auteurs originaux : Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

Publié 2026-05-26

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

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 avez un puzzle géant composé de nombres. Dans le monde des mathématiques, il existe une pièce de puzzle spéciale appelée Nombre Parfait. Un nombre parfait est un nombre tel que, si vous additionnez tous ses « blocs de construction » (ses diviseurs), le total est exactement égal au double du nombre lui-même. Par exemple, le nombre 6 est parfait car ses diviseurs sont 1, 2 et 3, et $1+2+3 = 6$ (ce qui correspond à la moitié de 12, soit $2 \times 6$ ).

Mais que se passe-t-il si la somme des blocs de construction est presque le double du nombre, mais légèrement décalée ? C'est là que cet article intervient.

Le concept de « Presque Parfait »

Les auteurs étudient les nombres 2-presque parfaits. Imaginez-les comme des nombres qui sont « presque » parfaits, mais qui manquent exactement deux blocs de construction spécifiques dans la somme finale.

Si vous prenez un nombre $n$ , que vous additionnez tous ses diviseurs, et que le total est égal à $2n$ plus deux diviseurs supplémentaires ( $d_1$ et $d_2$ ), alors $n$ est un nombre 2-presque parfait.

L'analogie : Imaginez que vous essayez de remplir un seau qui contient exactement $2n$ litres d'eau. Vous versez toute l'eau provenant des diviseurs, mais le seau déborde exactement de deux tasses d'eau spécifiques ( $d_1$ et $d_2$ ). L'article se demande : « Quels nombres provoquent ce type spécifique de débordement ? »

Le mystère spécifique : Deux ingrédients premiers

L'article se concentre sur un type de nombre très spécifique : ceux composés exactement de deux ingrédients premiers distincts.

Un ingrédient est le nombre 2 (la partie « paire »).
L'autre ingrédient est un nombre premier impair (comme 3, 5, 7, etc.), élevé à une certaine puissance.

Les auteurs voulaient savoir : Si nous avons un nombre composé de 2 et d'un nombre premier impair, et qu'il est 2-presque parfait, à quoi ressemble-t-il ?

La grande découverte

Des chercheurs précédents avaient résolu le puzzle pour les cas où le nombre premier impair n'apparaissait qu'une ou deux fois (comme $2^k \times p$ ou $2^k \times p^2$ ). Ils avaient trouvé quelques nombres spécifiques.

Cependant, il existait une hypothèse persistante (une conjecture) selon laquelle si le nombre premier impair apparaissait trois fois ou plus (comme $2^k \times p^3$ ), il n'y aurait aucun nombre de ce type, ou seulement une poignée infime et finie.

Cet article prouve que cette hypothèse est fausse.

Voici une explication simple de leurs résultats :

La famille « infinie » : Ils ont découvert qu'il existe en réalité toute une famille de ces nombres qui s'étend à l'infini (si un célèbre mystère mathématique concernant les « nombres premiers de Mersenne » est vrai).
La recette : Chaque nombre 2-presque parfait unique avec deux facteurs premiers (où le nombre premier impair apparaît 3 fois ou plus) suit exactement cette recette :
- Il est composé d'une puissance de 2 ( $2^k$ ).
- Il est multiplié par un type spécifique de nombre premier impair appelé nombre premier de Mersenne (un nombre premier qui ressemble à $2^{k+1} - 1$ ).
- Le nombre premier impair doit être cubé (élevé à la puissance 3).
- La formule : Le nombre est $2^k \times (2^{k+1}-1)^3$ .
Les pièces manquantes : Pour que ces nombres fonctionnent, les deux « diviseurs supplémentaires » qui causent le débordement sont toujours le nombre premier lui-même ( $p$ ) et le nombre premier au carré ( $p^2$ ).

Pourquoi cela compte (en termes mathématiques)

Les auteurs n'ont pas trouvé un ou deux exemples ; ils ont prouvé que c'est la seule façon dont ces nombres peuvent exister.

Si vous essayez de construire un nombre 2-presque parfait avec deux facteurs premiers où le nombre premier impair apparaît 3 fois ou plus, il doit suivre ce modèle spécifique.
S'il existe une infinité de nombres premiers de Mersenne (un fait largement cru mais non prouvé en mathématiques), alors il existe une infinité de ces nombres 2-presque parfaits.

Le cas « impair »

L'article aborde également brièvement les nombres composés de deux nombres premiers impairs (sans 2 impliqué). Ils ont prouvé un fait simple : Vous ne pouvez pas créer un nombre 2-presque parfait avec deux nombres premiers impairs. C'est mathématiquement impossible, comme essayer de construire un carré rond.

Résumé

Imaginez les auteurs comme des détectives résolvant une affaire de « Nombres Presque Parfaits ».

Les suspects : Des nombres composés de 2 et d'un nombre premier impair.
Le crime : Être « 2-presque parfait » (somme des diviseurs = $2n$ + 2 pièces supplémentaires).
Le verdict : Si le nombre premier impair apparaît 3 fois ou plus, le suspect doit être de la forme $2^k \times p^3$ , où $p$ est un nombre premier de Mersenne spécial. Les « pièces manquantes » sont toujours $p$ et $p^2$ .

Ils ont également vérifié la version « déficitaire » du problème (où la somme est inférieure à $2n$ de deux pièces) et ont trouvé un ensemble de règles différent et plus simple pour ceux-ci.

En bref, ils ont fermé le livre sur ce type spécifique de nombre, montrant que bien que la liste puisse être infinie, le modèle est rigide et prévisible.

Résumé technique : Caractérisation complète des nombres 2-presque parfaits ayant exactement deux facteurs premiers

Énoncé du problème
L'article traite de la classification des nombres 2-presque parfaits, définis comme des entiers positifs $n$ vérifiant $\sigma(n) = 2n + d_1 + d_2$ , où $d_1$ et $d_2$ sont des diviseurs positifs distincts de $n$ . Alors que les cas pour $k=1$ (1-presque parfait) et $k \ge 4$ (k-presque parfait) sont bien compris, les cas pour $k=2$ et $k=3$ restent plus ouverts. Plus précisément, les auteurs se concentrent sur les nombres de la forme $n = 2^k p^m$ , où $p$ est un nombre premier impair et $m \ge 3$ . Ce travail complète la classification de tous les nombres 2-presque parfaits ayant exactement deux facteurs premiers distincts, s'appuyant sur des résultats antérieurs qui traitaient les cas $m \in \{1, 2\}$ .

Méthodologie
Les auteurs emploient une approche rigoureuse de théorie des nombres combinant la manipulation algébrique de la fonction somme des diviseurs $\sigma(n)$ , des arguments de parité et une analyse de la valuation $p$ -adique. La stratégie de preuve est divisée en deux régimes principaux basés sur la relation entre $2^{k+1}$ et $p$ :

Lemmes fondamentaux : Les auteurs établissent qu'aucun nombre 2-presque parfait impair n'existe avec exactement deux facteurs premiers, restreignant ainsi le problème aux nombres pairs $n = 2^k p^m$ . Ils dérivent des identités clés, telles que $(2^{k+1} - p)(1 + p + \dots + p^{m-1}) = 1 + d_1 + d_2$ , et analysent la parité des diviseurs omis en fonction de l'exposant $m$ .
Cas I ( $2^{k+1} \ge p^2 + 1$ ) : Les auteurs supposent que cette inégalité est vraie et en déduisent une contradiction. Ils établissent des bornes inférieures sur les diviseurs omis, montrant que le plus grand diviseur omis doit être $n/2^j$ (où $2^j < p < 2^{j+1}$ ). Par une série de propositions, ils contraignent l'exposant $m$ , prouvant qu'il doit être impair et finissant par imposer $m=3$ . En analysant les valuations 2-adiques et les contraintes de divisibilité (spécifiquement $p^3 \mid 2^{k+1}-1$ ), ils démontrent qu'aucune solution n'existe dans ce régime, même pour le candidat spécifique $n = 2^5 \cdot 3^3$ .
Cas II ( $2^{k+1} < p^2 + 1$ ) : Dans ce régime, les auteurs éliminent les formes impossibles pour les diviseurs omis. Ils prouvent qu'aucun des deux diviseurs omis ne peut être une puissance de 2 et que $p^2$ ne peut pas diviser les deux diviseurs. En analysant les exposants de $p$ dans les diviseurs omis, ils déduisent que les diviseurs doivent être de la forme $2^a p$ et $2^c p^d$ . Une manipulation algébrique ultérieure force $d = m-1$ et finalement $m=3$ . Finalement, ils prouvent que $p$ doit être un nombre premier de Mersenne de la forme $2^{k+1}-1$ .

Contributions et résultats clés
L'article fournit une classification complète des nombres 2-presque parfaits de la forme $n = 2^k p^m$ avec $m \ge 3$ . Le résultat principal est le Théorème 3, qui énonce :

Si $n = 2^k p^m$ $n = 2^{k} p^{m}$ est 2-presque parfait avec $p$ $p$ un nombre premier impair et $m \ge 3$ $m \geq 3$ , alors :
- $m = 3$ ,
- $p = 2^{k+1} - 1$ (un nombre premier de Mersenne),
- Les diviseurs omis sont $p$ et $p^2$ .

Ce résultat implique que l'existence d'une infinité de tels nombres est équivalente à l'existence d'une infinité de nombres premiers de Mersenne. Par conséquent, l'article réfute la Conjecture 1 (proposée par Aryan et al.), qui hypothétisait qu'un nombre fini seulement de nombres 2-presque parfaits de la forme $2^k p^m$ existent pour $m \ge 3$ .

Combiné avec les travaux antérieurs traitant $m=1$ et $m=2$ , cela produit une caractérisation complète de tous les nombres 2-presque parfaits ayant exactement deux facteurs premiers distincts.

Signification
Les auteurs déclarent que ce travail résout le problème de classification des nombres 2-presque parfaits à deux facteurs premiers, une lacune laissée par les recherches antérieures. En réfutant la conjecture de finitude (sous réserve de l'infinité largement crue des nombres premiers de Mersenne), l'article clarifie la densité et la structure de ces nombres. Les auteurs notent également que leurs résultats ont été formellement vérifiés à l'aide de l'assistant de preuve Lean 4 et de la bibliothèque Mathlib, garantissant l'exactitude des dérivations algébriques complexes.

Perspectives futures
L'article se termine en exposant des problèmes ouverts, incluant la classification des nombres 2-presque parfaits à trois facteurs premiers distincts, l'étude des nombres 3-presque parfaits, et l'investigation de formes « hybrides » où les diviseurs sont à la fois ajoutés et soustraits ( $\sigma(n) = 2n + d_1 - d_2$ ).