🔢 mathematics

Another inequality inspired by Erdős

Cet article présente une preuve arithmétique élémentaire d'une inégalité spécifique inspirée par la preuve classique de Paul Erdős du postulat de Bertrand, dans le cadre d'un effort plus large visant à établir une preuve arithmétiquement pure du postulat lui-même.

Auteurs originaux : Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Publié 2026-07-21

📖 7 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 soyez un détective travaillant dans la vaste et silencieuse bibliothèque de la théorie des nombres, une branche des mathématiques dédiée aux secrets cachés des nombres entiers. Dans ce monde, les nombres ne sont pas seulement des outils pour compter des pommes ; ils sont des personnages dotés de leurs propres personnalités, de leurs relations et de règles strictes. L'une des règles les plus célèbres de cette bibliothèque est la « conjecture de Bertrand », une observation séculaire qui stipule que si vous choisissez un nombre supérieur à 6, il existe toujours au moins un nombre premier (un nombre divisible uniquement par 1 et par lui-même) caché dans un voisinage spécifique juste en dessous de lui. Pendant longtemps, des mathématiciens comme le légendaire Paul Erdős ont utilisé des astuces ingénieuses impliquant des coefficients binomiaux (qui sont comme les nombres que l'on obtient en comptant les combinaisons d'éléments) pour prouver ces règles. Mais parfois, les mystères les plus intéressants ne sont pas les grands théorèmes bruyants, mais les inégalités étranges et discrètes qui surgissent lorsque l'on tente de simplifier ces preuves. Ce sont ces « curiosités » qui font gratter la tête aux mathématiciens et les font se demander : « Est-ce que cela sera toujours vrai, ou y a-t-il une exception sournoise cachée dans les nombres ? »

Cet article, intitulé « Une autre inégalité inspirée par Erdős », plonge profondément dans l'une de ces inégalités sournoises. Les auteurs, Barora Batíková, Tomáš J. Kepka et Petr C. Němec, étudient une relation mathématique spécifique impliquant des entiers positifs. Ils définissent quelques « personnages » spéciaux pour chaque nombre $n$ : une valeur $z(n)$ liée au nombre de fois que 3 entre dans $2n$ , une valeur $m(n)$ liée à la racine carrée de $2n$ , et une valeur $r(n)$ liée aux puissances de 2. Ils combinent ensuite ces éléments en une expression complexe, $y(n)$ , et posent une question simple : cette expression est-elle toujours négative, toujours positive, ou change-t-elle de signe ? Le papier prouve que cette expression n'est jamais égale à zéro (elle ne retombe jamais parfaitement sur la ligne) et elle cartographie exactement quels nombres la rendent négative et quels nombres la rendent positive. C'est un peu comme vérifier chaque maison le long d'une très longue rue pour voir si les lumières sont allumées ou éteintes, découvrant que si la plupart des maisons suivent un schéma, il existe quelques adresses spécifiques où les lumières se comportent différemment.

La Grande Chasse aux Nombres

L'histoire commence par un regard vers le passé. En 1845, un mathématicien nommé J. Bertrand a fait une supposition audacieuse : pour tout nombre $n$ supérieur à 6, il existe toujours un nombre premier entre $n-2$ et $n^2$ . Plus tard, Paul Erdős, un génie connu pour ses preuves élégantes et simples, a conçu une nouvelle façon de prouver une version légèrement différente de cette idée. En faisant cela, il est tombé sur des inégalités inhabituelles. L'une d'entre elles, impliquant une valeur appelée $x(n)$ , avait déjà été étudiée dans un article précédent par ces mêmes auteurs. Ils avaient découvert que $x(n)$ est généralement négatif, mais qu'il atteint exactement zéro pour une poignée infime de nombres : 436, 451, 529, 545 et 546.

Maintenant, les auteurs tournent leur attention vers une inégalité « parente », une sœur de la première, qu'ils appellent $y(n)$ . Cette nouvelle expression est un peu plus complexe, mélangeant des puissances de 2 et des puissances de $n$ . L'objectif de cet article est de résoudre un puzzle : pour quels entiers positifs $n$ , $y(n)$ est-il inférieur à zéro ? Et, de manière cruciale, $y(n)$ est-il jamais exactement égal à zéro ?

L'Attaque à Deux Volets

Pour résoudre cela, les auteurs utilisent deux stratégies différentes, comme un détective utilisant à la fois une loupe et un scanner de haute technologie.

Stratégie 1 : L'approche d'arithmétique pure
D'abord, ils utilisent l'« arithmétique pure », ce qui signifie qu'ils s'en tiennent strictement aux règles des nombres entiers sans utiliser les courbes lisses du calcul infinitésimal. Ils décomposent la ligne numérique infinie en segments gérables. Ils réalisent que pour certaines plages de nombres, les valeurs de $m(n)$ et $r(n)$ restent constantes. Cela leur permet de regrouper les nombres en intervalles.

Ils créent une carte géante de ces intervalles. Par exemple, ils examinent les nombres de 1 à 403 et vérifient le signe de $y(n)$ dans chaque bloc. Ils constatent que pour les petits nombres (comme 1, 2, 3, 4), $y(n)$ est positif. Mais à partir de $n=5$ , il bascule au négatif. Il reste négatif sur une longue période, mais ensuite, tel un roller coaster, il descend et remonte dans des sections spécifiques.

En utilisant des calculs et des comparaisons de puissances méticuleux (comme vérifier si $2^{20}$ est plus grand que $3^{15}$ ), ils prouvent que $y(n)$ est négatif pour un ensemble spécifique de plages :

De 5 jusqu'à 335.
De 338 jusqu'à 350.
De 365 jusqu'à 368.

Ils prouvent également que $y(n)$ n'est jamais nul. C'est une situation de type « soit l'un, soit l'autre » ; le nombre est soit positif, soit négatif, sans jamais s'asseoir pile sur la clôture. Pour tous les autres nombres (de 1 à 4, et ensuite 336, 337, 351 à 364, et tout ce qui est supérieur à 369), la valeur est positive.

Stratégie 2 : L'approche par le calcul différentiel
Pour vérifier leur travail et montrer que ces résultats tiennent la route même lorsqu'ils sont examinés à travers le prisme des mathématiques continues, les auteurs utilisent le calcul élémentaire. Ils inventent une fonction lisse et ondulante $F(x)$ qui imite le comportement de leur problème d'entiers discrets.

Ils analysent la forme de cette courbe. Ils montrent que la courbe finit par grimper indéfiniment. En trouvant l'endroit où la courbe traverse la « ligne du zéro » (l'axe des abscisses), ils peuvent prédire où les valeurs entières de $y(n)$ doivent être positives ou négatives.

Ils prouvent que si $n$ est très grand (spécifiquement $n \ge 404$ ), la valeur est définitivement positive.
Ils utilisent la courbe pour restreindre la zone de recherche, confirmant que tout comportement « négatif » doit se produire dans une fenêtre spécifique (approximativement entre 5 et 379).
En vérifiant les points entiers spécifiques à l'intérieur de cette fenêtre, ils confirment les limites exactes trouvées avec la première stratégie.

Le Verdict Final

L'article conclut par une carte définitive du territoire. L'inégalité $y(n) < 0$ (signifiant que l'expression est négative) est vraie si et seulement si $n$ appartient à l'un de ces trois groupes :

$5 \le n \le 335$
$338 \le n \le 350$
$365 \le n \le 368$

Inversement, $y(n) > 0$ (signifiant que l'expression est positive) si $n$ est compris entre 1 et 4, ou dans les interstices entre les zones négatives, ou si $n$ est de 369 ou plus.

Plus important encore, les auteurs prouvent avec une certitude absolue que $y(n)$ n'est jamais égal à zéro pour aucun entier positif. Il n'existe pas de « nombres magiques » où l'expression s'annule parfaitement. C'est un monde binaire strict de positif et de négatif, sans terrain neutre.

Ce travail est un témoignage de la puissance de la combinaison du calcul numérique « à l'ancienne » et des outils analytiques modernes. Bien que le résultat puisse sembler être un puzzle de niche pour les non-initiés, il représente le genre de vérification méticuleuse, étape par étape, qui maintient solides les fondations des mathématiques. Cela montre que même dans le monde des nombres abstraits, chaque cas compte, et que parfois, les découvertes les plus intéressantes consistent à savoir précisément là où les exceptions n'existent pas.

Résumé technique de « Another Inequality Inspired by Erdős »

Énoncé du problème
L'article étudie une inégalité spécifique impliquant des entiers positifs, définie par un ensemble de fonctions auxiliaires dérivées des propriétés des puissances de 2 et des racines carrées. Les auteurs cherchent à déterminer le signe de la fonction $y(n)$ pour tous les entiers positifs $n$ .

La fonction $y(n)$ est définie comme :
$y(n) = 2^{2n - 2z(n) - m(n) + 2} - n^{m(n) - 1}$
où :

$z(n)$ est le plus grand entier tel que $3z(n) < 2n$ .
$m(n)$ est le plus grand entier tel que $m(n)^2 \le 2n$ .
$r(n)$ est le plus petit entier non négatif tel que $n \le 2^{r(n)}$ .

Le problème central consiste à résoudre l'inégalité $y(n) < 0$ et à identifier tous les $n$ pour lesquels $y(n) = 0$ . Ce travail fait suite à l'examen précédent par les mêmes auteurs d'une inégalité connexe $x(n) < 0$ , où $x(n) = z(n) - (r(n) + 1)m(n)$ . Les auteurs inscrivent cette investigation dans le contexte de l'arithmétique élémentaire, motivés par le désir de trouver des preuves de théorèmes de théorie des nombres (comme le postulat de Bertrand) qui reposent sur des méthodes élémentaires, potentiellement au sein du fragment de l'« Arithmétique Élémentaire des Fonctions ».

Méthodologie
L'article emploie deux approches méthodologiques distinctes pour résoudre l'inégalité :

Approche purement arithmétique (Section 2) :
- Partitionnement par intervalles : Les auteurs définissent des intervalles où les valeurs de $m(n)$ et $r(n)$ restent constantes. Ils construisent une séquence d'intervalles $[g(i), g(i+1)-1]$ où ces paramètres sont fixes, permettant l'analyse de $x(n)$ et $y(n)$ comme des séquences croissantes ou monotones au sein de ces bornes.
- Bornes comparatives : À l'aide de lemmes, les auteurs établissent des bornes comparant les puissances de 2 ( $2^{c(n)-m(n)}$ ) contre les puissances de $n$ ( $n^{m(n)-1}$ ). Ils utilisent des inégalités spécifiques pour montrer que si certaines conditions sur $c(n)$ , $m(n)$ et $r(n)$ sont remplies, $y(n)$ doit être strictement négatif ou strictement positif.
- Vérification par cas : Pour la plage où les bornes générales sont insuffisantes (spécifiquement $17 \le n \le 403$ ), les auteurs effectuent une analyse détaillée, intervalle par intervalle. Cela implique de calculer des valeurs spécifiques de $c(n)$ et de les comparer aux puissances de $n$ calculées pour déterminer le signe de $y(n)$ .
Approche par le calcul élémentaire (Section 3) :
- Approximation continue : Les auteurs définissent des fonctions continues $F(x)$ qui approximent le comportement discret de $x(n)$ et $y(n)$ . Ces fonctions impliquent des termes tels que $x^{2/3}$ , $\sqrt{x}$ et $\log_2 x$ .
- Analyse de convexité : En analysant les dérivées secondes ( $F''(x)$ ), les auteurs prouvent que ces fonctions sont convexes pour des valeurs de $x$ suffisamment grandes. Cette convexité implique que les fonctions possèdent au plus un minimum local et traversent le zéro au plus une fois dans des domaines spécifiques.
- Bornage des racines : Les auteurs calculent des valeurs spécifiques pour localiser les racines de ces fonctions continues (par exemple, trouver $k$ tel que $f(k) \approx 0$ ). Ils utilisent ensuite la relation entre la fonction continue et la séquence entière discrète pour borner la plage d'entiers où l'inégalité est vérifiée.

Contributions clés et résultats

Solution complète de l'inégalité (2) : L'article fournit une classification définitive du signe de $y(n)$ pour tous les entiers positifs $n$ .
- $y(n) < 0$ : Cela est vrai si et seulement si $5 \le n \le 335$ , $338 \le n \le 350$ , ou $365 \le n \le 368$ .
- $y(n) > 0$ : Cela est vrai si et seulement si $1 \le n \le 4$ , $3 \le n \le 337$ , $351 \le n \le 364$ , ou $n \ge 369$ .
- $y(n) = 0$ : Les auteurs prouvent que $y(n)$ n'est jamais nul pour aucun entier positif $n$ .
Raffinement des travaux précédents (Inégalité 1) : Bien que l'objectif principal soit $y(n)$ , l'article revisite également l'inégalité $x(n) < 0$ en utilisant la méthode du calcul. Il reconfirme le résultat de leur travail précédent [1] selon lequel $x(n) = 0$ uniquement pour $n \in \{436, 451, 529, 545, 546\}$ et $x(n) < 0$ pour $n \le 435$ , $n=450$ , ou $513 \le n \le 528$ .
Démonstration méthodologique : L'article démontre que des inégalités complexes dans les entiers positifs peuvent être abordées en utilisant le « calcul élémentaire » (impliquant des logarithmes et des racines) pour restreindre l'espace de recherche, suivi d'une vérification arithmétique finie.

Signification et prétentions
Les auteurs positionnent ce travail comme un exercice méthodologique et didactique. Ils ne prétendent pas résoudre une conjecture majeure ouverte, mais plutôt explorer des « inégalités inhabituelles dans les entiers positifs » qui découlent des tentatives de simplification des preuves du postulat de Bertrand.

La signification revendiquée est double :

Pureté arithmétique : Les auteurs soutiennent que les méthodes utilisées peuvent être « transmogrifiées » pour produire des démonstrations au sein ou proches de l'« Arithmétique Élémentaire des Fonctions », un fragment faible de l'arithmétique. Cela s'aligne sur l'objectif de trouver des preuves pour des assertions de théorie des nombres qui ne dépendent pas d'une lourde machinerie analytique (le calcul), bien que l'article lui-même utilise le calcul comme un outil pour guider la preuve arithmétique.
Valeur didactique : L'inclusion d'une solution purement arithmétique et d'une solution basée sur le calcul sert à illustrer différentes manières d'aborder de tels problèmes. Les auteurs notent que si la preuve arithmétique est « pure », l'approche par le calcul offre un moyen de « faciliter » le calcul et de restreindre la plage d'entiers nécessitant une vérification manuelle.

L'article conclut modestement, affirmant que les résultats fournissent une solution complète aux inégalités spécifiques présentées, sans extrapoler vers des applications plus larges ou des directions de recherche futures au-delà du contexte immédiat de ces inégalités entières spécifiques.

La Grande Chasse aux Nombres

L'Attaque à Deux Volets

Le Verdict Final

Articles similaires