🔢 mathematics

On integers of the form $p+F_{2^k}+F_q$

Cet article démontre que l'ensemble des entiers représentables comme la somme d'un nombre premier, d'un nombre de Fibonacci dont l'indice est une puissance de deux, et d'un autre nombre premier possède une densité asymptotique inférieure positive, une propriété qui s'applique également à l'ensemble des entiers qui ne peuvent pas être représentés sous cette forme.

Auteurs originaux : Yang Gao

Publié 2026-06-30

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yang Gao

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 sac infini de blocs de construction. Certains blocs sont des Nombres Premiers (des nombres comme 2, 3, 5, 7 qui ne peuvent pas être divisés uniformément par autre chose), certains sont des Nombres de Fibonacci (une séquence spéciale où l'on ajoute les deux derniers nombres pour obtenir le suivant : 0, 1, 1, 2, 3, 5, 8, 13...), et certains sont simplement des Entiers réguliers (1, 2, 3, 4...).

Pendant longtemps, des mathématiciens ont joué à un jeu : « Pouvez-vous construire chaque entier avec une recette spécifique ? »

L'Ancienne Recette

En 1934, un mathématicien nommé Romanoff a demandé : « Pouvez-vous construire tous les nombres impairs en ajoutant un Nombre Premier et une Puissance de Deux (comme 1, 2, 4, 8, 16...) ? » Il a découvert que l'on peut construire beaucoup d'entre eux, mais pas tous. Plus tard, un autre mathématicien, Erdős, a montré qu'il existe en réalité une infinité de « lacunes » — des lignes entières de nombres qui ne peuvent tout simplement pas être construits de cette manière.

La Nouvelle Recette

Dans cet article, l'auteur, Yang Gao, change la recette. Au lieu des puissances de deux, il utilise des Nombres de Fibonacci. Mais il ajoute une nuance :

Il utilise un Nombre Premier ( $p$ ).
Il utilise un Nombre de Fibonacci dont la position est un nombre pair ( $F_{2k}$ , comme $F_0, F_2, F_4...$ ).
Il utilise un autre Nombre Premier ( $q$ ) comme indice pour un troisième nombre de Fibonacci ( $F_q$ ).

La recette est donc : $n = \text{Nombre Premier} + \text{Fibonacci de Position Paire} + \text{Fibonacci de Position Première}$ .

La grande question est la suivante : si vous essayez de construire des nombres en utilisant cette nouvelle recette, couvrez-vous suffisamment la ligne numérique ? Ou y a-t-il d'énormes lacunes ?

Les Deux Découvertes Principales

L'article prouve deux choses surprenantes sur cette nouvelle recette :

1. L'Autoroute « Inconstructible » (Théorème 1.1)

Imaginez une longue autoroute droite où chaque marqueur de kilomètre représente un nombre. L'auteur prouve que vous pouvez trouver une section spécifique de cette autoroute (une progression arithmétique infinie) où aucun des nombres ne peut être construit en utilisant la recette.

L'Analogie : Pensez à une serrure et une clé. L'auteur a conçu une « serrure » spécifique (un ensemble de règles basées sur les restes de la division par de petits nombres comme 2, 3, 5, 7, etc.). Il a montré qu'importe la façon dont vous mélangez vos Nombres Premiers et vos nombres de Fibonacci, le résultat ne rentrera jamais dans cette serrure spécifique.

Résultat : Il existe une ligne infinie de nombres qui ne peuvent pas être écrits sous la forme $p + F_{2k} + F_q$ . Comme cette ligne est infinie et régulière, cela signifie que les nombres « inconstructibles » constituent une part significative du monde des nombres.

2. La Foule « Constructible » (Théorème 1.2)

Voici le rebondissement : même s'il existe toute une autoroute de nombres « inconstructibles », les nombres qui peuvent être construits sont aussi partout.

L'Analogie : Imaginez une fête bondée. Même s'il y a un groupe spécifique de personnes qui ne peuvent pas entrer dans la salle VIP (les nombres inconstructibles), la salle VIP est tout de même remplie d'un « de densité positive » d'invités. En termes mathématiques, cela signifie que si vous regardez les premiers 1 000 000 de nombres, un pourcentage significatif d'entre eux (pas seulement une petite poignée) peut être construit en utilisant la recette.

Résultat : L'ensemble des nombres que vous pouvez construire est suffisamment grand pour être considéré comme ayant une « densité positive ». Ce ne sont pas juste quelques îles éparpillées ; c'est un continent substantiel.

Comment ont-ils fait ? (Les Outils)

Pour prouver ces choses, l'auteur a utilisé deux outils principaux :

Le Tamis (pour la preuve de l'« Inconstructible ») :
Pensez à un tamis utilisé pour séparer le sable des cailloux. L'auteur a mis en place une série de filtres (congruences) basés sur de petits nombres premiers. Il a montré que si vous essayez de construire un nombre en utilisant sa recette, il se fera toujours attraper par l'un de ces filtres. C'est comme essayer de traverser un labyrinthe où chaque chemin mène à une impasse pour un groupe spécifique de nombres.
Le Jeu de Comptage (pour la preuve du « Constructible ») :
Pour prouver que beaucoup de nombres peuvent être construits, l'auteur a dû compter de combien de manières vous pouvez fabriquer un nombre.
- D'abord, il a montré qu'il existe tellement de combinaisons de Nombres Premiers et de nombres de Fibonacci que vous pourriez théoriquement fabriquer presque autant de nombres qu'il y a d'entiers jusqu'à $x$ .
- Ensuite, il a dû prouver que vous ne fabriquez pas simplement le même nombre encore et encore (comme fabriquer 100 avec 50 combinaisons différentes). Il a prouvé que la plupart des nombres sont fabriqués de manière unique ou peu fréquente.
- L'astuce « Cauchy-Schwarz » : Il a utilisé une inégalité mathématique (une façon sophistiquée de dire « si vous avez beaucoup de combinaisons totales, et que vous ne les répétez pas trop souvent, alors vous devez avoir beaucoup de nombres différents »). Cela a prouvé que les nombres « constructibles » sont denses.

Résumé

En termes simples, cet article résout un casse-tête sur la façon dont les nombres sont construits. Il montre que si vous mélangez des Nombres Premiers et des Nombres de Fibonacci de cette manière spécifique :

Vous ne pourrez jamais construire une ligne spécifique et infinie de nombres (ils sont « inaccessibles »).
Cependant, vous pourrez construire une immense et significative partie du reste des nombres (ils sont « accessibles »).

C'est un peu comme dire : « Vous ne pouvez pas construire une maison avec ces briques spécifiques dans cette rue précise, mais sur le reste de la ville, vous pouvez construire des maisons sur presque tous les terrains. »

Résumé Technique : Entiers de la forme $p + F_{2k} + F_q$

Énoncé du Problème
Cet article étudie la distribution des entiers positifs représentables sous la forme $n = p + F_{2k} + F_q$ , où $p$ et $q$ sont des nombres premiers et $k$ est un entier non négatif. Ici, $\{F_n\}$ désigne la suite de Fibonacci définie par $F_0=0, F_1=1$ , et $F_{n+2}=F_{n+1}+F_n$ . L'étude traite d'un problème de type « Romanoff », étendant la question classique de savoir si les entiers peuvent s'écrire comme la somme d'un nombre premier et d'une puissance de deux ( $p + 2^n$ ) à des sommes impliquant des nombres premiers et des séquences creuses spécifiques (les nombres de Fibonacci). Plus précisément, l'article cherche à déterminer la densité asymptotique inférieure de l'ensemble des entiers représentables sous cette forme ainsi que la densité de son complémentaire.

Méthodologie
Les auteurs emploient une combinaison de théorie élémentaire des nombres, de propriétés des nombres de Fibonacci modulo les nombres premiers et de techniques de théorie analytique des nombres, plus précisément les méthodes de crible.

Lemmes Préliminaires : La preuve repose sur les propriétés fondamentales des nombres de Fibonacci, incluant leurs taux de croissance (approximations par la formule de Binet), les représentations de Zeckendorf et la périodicité modulo les entiers (périodes de Pisano). Les lemmes clés établissent des bornes sur le nombre de nombres de Fibonacci jusqu'à $x$ et la distribution des résidus modulo les nombres premiers.
Systèmes de Recouvrement (Théorème 1.1) : Pour prouver que l'ensemble des entiers non représentables possède une densité inférieure positive, les auteurs construisent une progression arithmétique infinie explicite $A$ . Ceci est réalisé en définissant un système de congruences modulo un produit de nombres premiers spécifiques ( $M = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 19 \cdot 23 \cdot 47$ ). En analysant la parité et les résidus modulaires de $F_{2k}$ et $F_q$ par rapport à ces modules, les auteurs démontrent qu'aucun entier dans cette progression ne peut satisfaire l'équation $n = p + F_{2k} + F_q$ .
Méthodes de Crible et Unicité (Théorème 1.2) : Pour prouver que l'ensemble des entiers représentables possède une densité inférieure positive, les auteurs utilisent l'inégalité de Cauchy–Schwarz. Cela nécessite d'estimer deux quantités :
- $R(x) = \sum_{n \le x} r(n)$ , le nombre total de représentations, où $r(n)$ compte le nombre de triplets $(p, k, q)$ tels que $n = p + F_{2k} + F_q$ .
- $\sum_{n \le x} r(n)^2$ , le second moment, qui compte le nombre de paires de représentations pour un même entier.
- Analyse de l'Unicité : Une étape critique implique le Lemme 4.1, qui établit que l'équation $F_{2k_1} + F_{q_1} = F_{2k_2} + F_{q_2}$ possède très peu de solutions (essentiellement uniquement des permutations triviales ou des cas spécifiques de petite taille). Cela garantit que le nombre de « collisions » (où différents triplets produisent la même somme) est contrôlé.
- Estimations de Crible : Les auteurs appliquent l'estimation de Bombieri–Davenport et l'inégalité de Brun–Titchmarsh pour borner le nombre de solutions où la différence entre deux sommes est un entier pair fixé. Ils gèrent soigneusement la somme sur les diviseurs du terme de différence en utilisant les propriétés des périodes de Pisano et la distribution des nombres premiers dans les progressions arithmétiques.

Contributions Clés et Résultats
L'article établit deux théorèmes principaux concernant l'ensemble des entiers de la forme $p + F_{2k} + F_q$ :

Théorème 1.1 : Il existe une progression arithmétique infinie d'entiers positifs telle qu'aucun entier de cette progression ne peut s'écrire sous la forme $p + F_{2k} + F_q$ . Par conséquent, l'ensemble des entiers non représentables sous cette forme possède une densité asymptotique inférieure positive.
Théorème 1.2 : L'ensemble des entiers positifs représentables comme $p + F_{2k} + F_q$ (avec $p, q$ premiers et $k \ge 0$ ) possède une densité asymptotique inférieure positive.

De plus, les auteurs notent dans la Remarque 1 que des résultats analogues sont valables pour les nombres de Lucas ( $L_n$ ), car la preuve repose sur des propriétés modulaires similaires.

Signification
Cet article contribue à la théorie plus large des problèmes de type Romanoff en traitant des sommes impliquant deux termes creux issus de suites récurrentes linéaires (spécifiquement les nombres de Fibonacci) et un nombre premier. Alors que des travaux antérieurs avaient établi une densité positive pour les sommes d'un nombre premier et d'un seul nombre de Fibonacci ( $p + F_k$ ) ou des sommes d'un nombre premier et de deux puissances de deux ( $p + 2^a + 2^b$ ), ce travail étend la compréhension aux formes mixtes impliquant des indices qui sont eux-mêmes des nombres premiers ( $q$ ) et des indices pairs ( $2k$ ). Le résultat confirme que malgré la rareté de la suite de Fibonacci et la restriction sur les indices, la combinaison additive avec les nombres premiers est suffisamment dense pour couvrir une proportion positive des entiers, tout en laissant simultanément une proportion positive non couverte, comme le démontre la progression arithmétique construite. La méthodologie démontre l'efficacité de la combinaison des systèmes de recouvrement avec les estimations de crible dans le contexte des récurrences linéaires.