🔢 mathematics

Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

En utilisant l'analyse mathématique non standard et une matrice bidimensionnelle basée sur la fonction de couplage de Pepis-Kalmar, l'article propose que la densité naturelle des nombres de Mersenne est une valeur infinitésimale équivalente à l'inverse de la somme infinie des inverses des nombres impairs.

Auteurs originaux : Gennady Eremin

Publié 2026-07-07

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Gennady Eremin

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 question : À quel point les nombres de Mersenne sont-ils « encombrés » ?

Imaginez que vous avez une ligne infinie de personnes numérotées 0, 1, 2, 3, et ainsi de suite. C'est l'ensemble de tous les nombres naturels. Maintenant, sélectionnez un groupe spécifique de personnes dans cette ligne : les nombres de Mersenne (0, 1, 3, 7, 15, 31...). Ce sont des nombres qui sont inférieurs d'une puissance de deux.

Les mathématiciens se demandent depuis longtemps : Si vous regardez un énorme segment de cette ligne, quel pourcentage de ces personnes sont des nombres de Mersenne ?

Est-ce 50 % ? (Comme les nombres pairs).
Est-ce 10 % ?
Ou est-ce si minuscule que c'est effectivement zéro ?

Pendant longtemps, c'était un mystère non résolu. Ce papier prétend le résoudre en utilisant un type spécial de mathématiques appelé Analyse Non Standard.

L'outil : Un tableur géant (La Matrice)

Pour résoudre cela, l'auteur ne regarde pas seulement une simple ligne de nombres. Il construit un immense tableur bidimensionnel (une matrice) qui contient chaque nombre naturel exactement une fois. Pas de doublons, pas de manquants.

Il utilise une règle de tri ingénieuse (la fonction de couplage de Pepis-Kalmar) pour organiser ce tableur :

Les lignes (Horizontales) : Ce sont des motifs arithmétiques simples. Si vous regardez n'importe quelle ligne, les nombres sont espacés uniformément.
Les colonnes (Verticales) : C'est la partie intéressante. Chaque colonne commence par un nombre pair (la « racine ») puis suit une règle spécifique pour générer le nombre suivant : Multiplier par 2 et ajouter 1.
- Exemple : Commencez par 0. Le suivant est $2(0)+1 = 1$ . Le suivant est $2(1)+1 = 3$ . Le suivant est $2(3)+1 = 7$ .
- Cela crée un « arbre » de nombres qui croît vers le haut. La toute première colonne est les nombres de Mersenne. La suivante est une famille similaire appelée nombres de Thabit, et ainsi de suite.

Le tournant « Non Standard » : Infini et Infinitésimal

Les mathématiques standards traitent généralement des limites (l'approche vers zéro). Ce papier utilise l'Analyse Non Standard, qui traite les nombres « infiniment petits » et « infiniment grands » comme des valeurs réelles et fixes.

Voyez cela comme ceci :

Infiniment Grand ( $\omega$ ) : Imaginez un nombre si grand qu'il est plus grand que n'importe quel nombre que vous pouvez compter.
Infinitésimal ( $\epsilon$ ) : Imaginez un nombre si petit qu'il est plus petit que n'importe quelle fraction que vous puissiez écrire, mais il n'est pas zéro. C'est le « fantôme » d'un nombre.

Le calcul : Équilibrer l'équation

L'auteur examine la « densité » (à quel point les nombres sont encombrés) dans les colonnes de son tableur.

Les lignes sont faciles : Si vous regardez les lignes, le calcul est simple. La première ligne a une densité de 1/2, la deuxième 1/4, la troisième 1/8, et ainsi de suite. Si vous additionnez tout cela ( $1/2 + 1/4 + 1/8...$ ), vous obtenez exactement 1. Cela fait sens car l'ensemble du tableur représente 100 % des nombres.
Les colonnes sont délicates :
- La première colonne (nombres de Mersenne) est si rare que sa densité est un nombre infinitésimal. Appelons cette infime quantité $\epsilon$ .
- La deuxième colonne (nombres de Thabit) est encore plus rare. Sa densité est $\epsilon / 3$ .
- La troisième colonne est encore plus rare : $\epsilon / 5$ .
- La quatrième : $\epsilon / 7$ .
- Et ainsi de suite, pour toujours.

L'auteur soutient que si vous additionnez la densité de chaque colonne, vous devez revenir à 1 (car les colonnes couvrent tous les nombres naturels).

Il pose donc cette équation :
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots$

Si vous factorisez le petit $\epsilon$ , cela ressemble à ceci :
$1 = \epsilon \times \left( 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots \right)$

La conclusion

La partie entre parenthèses est la somme des inverses de tous les nombres impairs ( $1 + 1/3 + 1/5...$ ). Dans les mathématiques standards, cette somme tend vers l'infini. Dans la vue non standard de ce papier, cette somme est un nombre infiniment grand, que l'auteur appelle $\omega$ .

L'équation devient donc :
$1 = \epsilon \times \omega$

Pour trouver la densité des nombres de Mersenne ( $\epsilon$ ), il suffit de diviser 1 par ce nombre énorme :
$\epsilon = \frac{1}{\omega}$

Ce que cela signifie

Le papier revendique deux choses principales :

La densité n'est PAS nulle. Parce que $\epsilon$ est un nombre infinitésimal spécifique et non nul, les nombres de Mersenne existent dans l'ensemble des nombres naturels avec une densité « positive » (bien qu'incroyablement petite).
La valeur exacte. La densité est exactement l'inverse de la somme des inverses de tous les nombres impairs.

En termes simples : L'auteur a construit une grille géante pour organiser tous les nombres. Il a découvert que bien que les nombres de Mersenne soient incroyablement rares (si rares que leur densité est un « infinitésimal »), ils ne sont pas inexistants. Leur « rareté » est mathématiquement équilibrée par la somme infinie des fractions impaires pour égaler exactement 1.

Note : Le papier présente cela comme une solution théorique utilisant des outils mathématiques non standards spécifiques. Il ne discute pas d'applications pratiques, telles que les usages en cryptographie ou en informatique, mais se concentre purement sur la résolution de ce puzzle théorique de la théorie des nombres.

Résumé Technique : Calcul de la densité naturelle des nombres de Mersenne en utilisant l'analyse mathématique non standard

Énoncé du problème
L'article traite d'un problème ouvert de longue date en théorie des nombres : la détermination de la densité naturelle de la suite des nombres de Mersenne au sein de l'ensemble des entiers non négatifs ( $\mathbb{N} = \{0, 1, 2, \dots\}$ ). Plus précisément, l'auteur examine si cette densité est nulle ou si elle possède une valeur positive. Alors que l'analyse standard suggère que la densité tend vers zéro à mesure que l'étendue augmente, l'article cherche à résoudre la nature de cette limite en utilisant l'analyse mathématique non standard.

Méthodologie
L'auteur emploie une approche à deux volets combinant la théorie combinatoire des nombres et l'analyse non standard :

Construction de matrice via le couplage de Pepis-Kalmar :
L'auteur construit une matrice bidimensionnelle $\mathbb{M}$ contenant tous les entiers non négatifs sans répétition. Cette matrice est générée par la fonction de couplage de Pepis-Kalmar :
$f(x, y) = (2x + 1) \times 2^y - 1$
- Structure : L'axe des $x$ représente les nombres pairs (partant de 0) et l'axe des $y$ représente la profondeur de la séquence.
- Colonnes (Arbres de Mersenne) : Chaque colonne correspond à une valeur $x$ $x$ spécifique et forme un « arbre unaire » (ou arbre de Mersenne) où les termes sont générés par la récurrence $t' = 2t + 1$ $t^{'} = 2 t + 1$ .
  - La colonne initiale ( $x=0$ ) contient les nombres de Mersenne ( $2^y - 1$ ).
  - La deuxième colonne ( $x=1$ ) contient les nombres de Thabit ( $3 \times 2^y - 1$ ).
  - Les colonnes suivantes suivent le modèle $(2x+1) \times 2^y - 1$ .
- Unicité : L'auteur prouve que tous les termes de cette matrice sont uniques, garantissant que la matrice partitionne l'ensemble des entiers naturels $\mathbb{N}$ .
Cadre de l'analyse non standard :
L'article utilise l'analyse non standard, qui introduit des quantités réellement infinitésimales ( $\epsilon$ ) et infiniment grandes ( $\omega$ ) comme des quantités constantes plutôt que des variables.
- Lignes : La densité naturelle de chaque ligne (une progression arithmétique) est calculée comme l'inverse de sa différence commune ( $1/2, 1/4, 1/8, \dots$ ). La somme de ces densités est égale à 1, ce qui est cohérent avec la densité de $\mathbb{N}$ .
- Colonnes : L'auteur analyse la densité des colonnes. Pour la colonne initiale (nombres de Mersenne), la densité est notée comme un infinitésimal $\epsilon$ . Pour les colonnes suivantes ( $x=1, 2, \dots$ ), les densités sont dérivées comme $\epsilon/3, \epsilon/5, \dots$ , correspondant aux facteurs impairs $(2x+1)$ .

Contributions principales et résultats
La principale contribution est la dérivation d'une équation spécifique reliant la densité naturelle des nombres de Mersenne à la somme des inverses des nombres impairs.

Dérivation de la densité : En sommant les densités de toutes les colonnes de la matrice, l'auteur égale la densité totale à 1 (la densité de $\mathbb{N}$ ). Cela donne l'équation :
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots = \epsilon \times \left(1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots\right)$
Définition de $\omega$ : Le terme entre parenthèses est identifié comme $\omega$ , la somme des inverses de tous les nombres impairs, qui est une valeur infiniment grande dans l'analyse non standard.
L'équation principale : La relation est formalisée comme :
$\epsilon \times \omega = 1 \quad \text{ou} \quad \epsilon = \frac{1}{\omega}$
Théorème 2 : L'article conclut que la densité naturelle des nombres de Mersenne ( $\epsilon$ ) et l'inverse de la somme des inverses des nombres impairs ( $1/\omega$ ) sont des nombres infinitésimaux équivalents.

Signification et affirmations
L'article prétend résoudre le problème ouvert concernant la densité naturelle des nombres de Mersenne en prouvant que cette densité est positive (non nulle).

Preuve de positivité : L'auteur soutient que si $\epsilon$ était zéro, la somme des densités des colonnes serait nulle, ce qui contredirait le fait que la matrice couvre tous les nombres naturels (densité = 1). Par conséquent, $\epsilon$ doit être un infinitésimal positif.
Détermination concrète : Tout en reconnaissant que la densité de distribution des nombres de Mersenne est traditionnellement inconnue en mathématiques standard, l'article affirme avoir obtenu une « équation concrète » pour déterminer cette densité dans le cadre de l'analyse non standard.
Équivalence : Le résultat établit une équivalence entre la densité des nombres de Mersenne et l'inverse de la série harmonique divergente des nombres impairs, traitant les deux comme des valeurs infinitésimales spécifiques et non nulles au sein du système de nombres non standard.

L'article ne propose pas d'applications expérimentales ou d'extensions futures au-delà de la dérivation mathématique présentée. La signification est formulée strictement dans le contexte de la résolution de la question théorique de la densité des nombres de Mersenne à l'aide des outils de l'analyse non standard.