🔢 mathematics

Arithmetic progressions of integers that are relatively prime to their digital sums

Cet article étudie la longueur maximale des progressions arithmétiques d'entiers dont le plus grand commun diviseur avec la somme de leurs chiffres (en base $b$ ) est égal à 1.

Auteurs originaux : Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

Publié 2026-02-10

📖 3 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ryan Blau, Joshua Harrington, Sarah Lohrey, Eliel Sosis, Tony W. H. Wong

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

Le Mystère des Nombres "Rebelles" : Une Histoire de Sommes et de Partages

Imaginez que chaque nombre est un petit personnage qui porte sur son dos un sac à dos. La taille de ce sac à dos est déterminée par une règle simple : on additionne tous les chiffres qui composent le nombre.

Par exemple, pour le nombre 123, le sac à dos pèse 6 (car $1 + 2 + 3 = 6$ ).

1. Les "Niven" vs les "Anti-Niven" (Les Coopératifs vs les Rebelles)

Dans le monde des mathématiques, il existe deux types de caractères :

Les Niven (Les Coopératifs) : Ce sont des nombres qui sont "divisibles" par le poids de leur sac. Si vous avez 12 et que votre sac pèse 3 ( $1+2$ ), vous pouvez partager équitablement vos 12 objets en groupes de 3. Tout est fluide, tout est ordonné.
Les Anti-Niven (Les Rebelles) : Ce sont nos stars du papier. Un nombre est "Anti-Niven" s'il est totalement incompatible avec son sac à dos. Si vous essayez de diviser le nombre par le poids de son sac, il y aura toujours un reste. Ils refusent de se laisser diviser par leur propre essence. Ils sont imprévisibles et indépendants.

2. La Quête des "Files d'Attente" (Les Progressions Arithmétiques)

Le but des chercheurs ici n'est pas juste de trouver un rebelle isolé, mais de trouver des files d'attente de rebelles.

Imaginez une file de personnes qui marchent dans la rue en faisant toujours le même pas (par exemple, un pas de 2 mètres, puis encore 2 mètres, etc.). On appelle cela une progression arithmétique.

La question cruciale est : "Quelle est la file d'attente de rebelles la plus longue que l'on puisse trouver avant qu'un nombre 'coopératif' ne vienne casser la chaîne ?"

3. Ce que les chercheurs ont découvert (Les règles du jeu)

Les auteurs du papier ont exploré cette question pour différentes bases (le système de calcul, comme la base 10 que nous utilisons tous les jours). Voici leurs conclusions simplifiées :

L'impossible infini : On ne peut jamais avoir une file de rebelles qui dure éternellement. Tôt ou tard, la structure mathématique forcera l'apparition d'un nombre "coopératif" qui brisera la série. C'est comme une loi de la nature : le chaos (les rebelles) ne peut pas durer indéfiniment sans être interrompu par l'ordre.
Des files de toutes les tailles : Bien qu'on ne puisse pas avoir une file infinie, on peut trouver des files de n'importe quelle longueur (10, 100, 1 000 000 de rebelles !) si on cherche assez loin et qu'on choisit le bon "pas" de marche.
Les limites de la patience : Ils ont découvert que la longueur maximale de ces files dépend souvent des "petits nombres premiers" cachés dans la base de calcul. C'est comme si les petits nombres premiers étaient des agents de police qui patrouillent : plus ils sont petits et fréquents, plus ils cassent vite les files de rebelles.

4. En résumé

Ce papier est une exploration de la tension entre l'ordre (la divisibilité) et l'indépendance (le fait d'être premier avec sa propre somme de chiffres). Les mathématiciens ont cartographié les limites de cette indépendance, prouvant que si les rebelles peuvent former des groupes impressionnants, ils finiront toujours par rencontrer l'ordre mathématique.

En une phrase : Les chercheurs ont calculé jusqu'où l'on peut aligner des nombres qui refusent d'être divisés par la somme de leurs propres chiffres avant que la logique mathématique ne les force à devenir "coopératifs".

Résumé Technique : Progressions Arithmétiques d'Entiers Relativement Premiers à leur Somme des Chiffres

Problématique

L'article explore une variante des nombres de Niven (ou nombres Harshad). Un entier $n$ est dit $b$ -Niven si la somme de ses chiffres en base $b$ , notée $s_b(n)$ , divise $n$ . À l'inverse, l'article définit un nombre $b$ -anti-Niven comme un entier $n$ tel que $\gcd(n, s_b(n)) = 1$ .

L'objectif principal est d'étudier la structure des progressions arithmétiques (PA) composées exclusivement de nombres $b$ -anti-Niven. Plus précisément, les auteurs cherchent à déterminer la longueur maximale possible de ces progressions pour différentes valeurs de la base $b$ et de la raison $d$ .

Méthodologie

Les auteurs utilisent une combinaison de théorie des nombres (notamment les propriétés des sommes de chiffres et les congruences), de la théorie des densités et de méthodes constructives. Leur approche repose sur :

L'analyse des propriétés de divisibilité : Utilisation du lemme selon lequel si $\delta | (b-1)$ , alors $\delta | n \iff \delta | s_b(n)$ .
La construction de séquences : Utilisation du théorème de Dirichlet et de propriétés de congruences (via le lemme 3.1) pour construire des exemples de progressions de longueur arbitraire.
L'établissement de bornes supérieures et inférieures : Utilisation de l'analyse de parité et de la distribution des multiples de nombres premiers pour limiter la longueur des progressions.

Contributions Clés et Résultats

1. Existence et limites de longueur :

Absence de PA infinies : Les auteurs prouvent qu'il n'existe aucune progression arithmétique de longueur infinie composée uniquement de nombres $b$ -anti-Niven (Théorème 2.3).
Longueur arbitraire : Ils démontrent que pour toute longueur $t$ , il existe des valeurs de $n$ et $d$ telles qu'une PA de longueur $t$ est entièrement $b$ -anti-Niven (Théorème 2.4).

2. Bornes sur les progressions de raison $d=1$ (nombres consécutifs) et $d=2$ :

Pour $d=1$ : Si $p$ est le plus petit nombre premier divisant $(b-1)$ , la longueur maximale d'une suite de nombres $b$ -anti-Niven consécutifs est $p-1$ (Théorème 3.2).
Pour $d=2$ : Sous certaines conditions sur la parité de $b$ , la longueur maximale est également $p-1$ (Théorème 3.3).

3. Cas spécifiques et bornes supérieures :

Bornes pour $d$ impair : Pour une base $b$ paire et une raison $d$ impaire ( $3 \leq d \leq b/2$ ), la longueur maximale est bornée par $\lceil 2b/d \rceil + 2$ (Théorème 3.4).
Cas de la raison $d = b-1$ : Pour $b$ pair, la longueur maximale est de $2b+1$ (Théorème 3.5).

4. Bornes inférieures (Existence) :

L'article fournit des preuves de l'existence de progressions de longueur $b$ pour les raisons $d=2$ quand $b$ est impair (Théorème 4.1), et de longueur $2b+1$ quand $b$ est un nombre premier impair (Théorème 4.2).

Signification et Perspectives

Ce travail enrichit la compréhension de la distribution des nombres dont la somme des chiffres est "indépendante" (au sens du PGCD) de l'entier lui-même. Alors que la littérature s'est largement concentrée sur les nombres de Niven (divisibilité), cette étude sur les nombres "anti-Niven" (coprimalité) ouvre de nouvelles perspectives sur l'interaction entre la structure additive des chiffres et la structure multiplicative des entiers.

L'article se conclut par des conjectures (4.3 et 4.4) suggérant que les bornes établies sont souvent atteignables et que des structures régulières existent même pour des raisons $d$ plus complexes, ouvrant la voie à des recherches futures en théorie analytique des nombres.