🔢 mathematics

On a problem on a generalization of Euler's totient function

Cet article démontre la conjecture de Büyükaşık et al. selon laquelle l'ensemble des entiers $k \geq 1$ pour lesquels $\varphi_1(n)$ divise $\varphi_k(n)$ pour tout $n$ est exactement $\{1, 3, 15\}$ , en utilisant une stratégie de preuve développée à travers des interactions approfondies avec GPT-5.5 Pro.

Auteurs originaux : John M. Campbell

Publié 2026-06-02

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : John M. Campbell

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 une boîte géante et infinie de tuiles numérotées, de 1 à $n$ . Certaines de ces tuiles sont « spéciales » car elles ne partagent aucun facteur commun avec le nombre $n$ (hormis 1). Les mathématiciens appellent ces nombres des nombres « premiers entre eux ». On dit qu'ils sont « coprims ».

La fonction de l'Euler ( $\phi$ ) est une règle célèbre qui compte simplement combien de ces tuiles spéciales se trouvent dans la boîte. Si vous avez 10 tuiles, les plus spéciales sont 1, 3, 7 et 9, donc la réponse est 4.

Le nouveau jeu : La somme des puissances

Dans cet article, l'auteur (John Campbell) et ses collègues jouent à un jeu plus complexe avec ces mêmes tuiles spéciales. Au lieu de simplement les compter, ils se demandent : « Que se passe-t-il si nous élevons chaque tuile spéciale à une puissance $k$ et que nous les additionnons toutes ? »

Si $k=0$ , nous comptons simplement (la règle originale).
Si $k=1$ , nous additionnons les nombres : $1 + 3 + 7 + 9$ .
Si $k=2$ , nous les élevons au carré : $1^2 + 3^2 + 7^2 + 9^2$ .

Cette somme est appelée $\phi_k(n)$ .

La grande question : Le « Club de la Divisibilité »

Les chercheurs ont posé une question très spécifique sur ces sommes. Ils voulaient trouver un « club » spécial de nombres (appelons ce club $D_1$ ).

La règle du Club :
Un nombre $k$ entre dans le club si, pour chaque taille de boîte possible $n$ , la somme des tuiles spéciales élevées à la puissance 1 ( $\phi_1$ ) divise toujours exactement la somme des tuiles spéciales élevées à la puissance $k$ ( $\phi_k$ ).

Voyez cela comme ceci : Si vous avez un tas de biscuits ( $\phi_1$ ), pouvez-vous toujours diviser un tas plus grand de biscuits ( $\phi_k$ ) en groupes entiers et exacts du premier tas, peu importe le nombre de biscuits dans la boîte d'origine ?

Le Mystère

Des mathématiciens précédents (Büyükaşık et al.) ont fait un travail colossal. Ils ont prouvé que le club est fini (il ne s'étend pas à l'infini) et ont effectué des calculs informatiques qui suggéraient que le club ne possède que trois membres : 1, 3 et 15.

Ils ont déclaré : « Nous sommes sûrs à 99 % que ce sont les seuls, mais nous ne pouvons pas le prouver. »

La Solution : Une collaboration Humain-IA

John Campbell est intervenu pour résoudre le mystère. Il a utilisé un mélange d'outils mathématiques profonds (comme les nombres de Bernoulli, qui sont comme des codes secrets cachés dans des motifs numériques) et un partenaire très particulier : GPT-5.5 Pro, une IA avancée.

Comment ils ont résolu le problème :

Le travail de détective : Campbell n'a pas simplement deviné. Il a utilisé un « piège » logique. Il a montré que si un nombre $k$ est dans le club, il doit suivre des règles très strictes.
L'exigence de l'« Impar » : D'abord, il a prouvé que tout nombre du club doit être un nombre impair. Les nombres pairs ont été expulsés immédiatement.
Le filtre des « Premiers » : Il a ensuite utilisé une série de tests logiques impliquant des nombres premiers (des nombres divisibles uniquement par 1 et par eux-mêmes). Il a montré que si un nombre est trop grand ou a la mauvaise « forme », il échoue au test de divisibilité pour une taille de boîte $n$ spécifique.
L'élimination :
- Il a prouvé que si un nombre $k$ est dans le club, alors $k+1$ doit être une puissance de 2 (comme 2, 4, 8, 16, 32...).
- Cela a réduit la liste à des nombres comme 3, 7, 15, 31, 63, etc.
- Ensuite, il a utilisé des motifs plus complexes pour montrer que 7, 31, 63 et tous les nombres plus grands échouent au test.
- Seuls 1, 3 et 15 ont survécu au parcours du combattant.

Le Résultat

L'article conclut que le « Club de la Divisibilité » ( $D_1$ ) contient exactement les nombres {1, 3, 15}. Ni plus, ni moins.

Une note sur l'« IA »

L'auteur est très transparent sur la manière dont il a procédé. Il admet avoir eu des conversations approfondies avec une IA (GPT-5.5 Pro) pour l'aider à élaborer les étapes de la preuve. Cependant, il souligne que l'IA n'était qu'un outil. C'est l'auteur qui a fait tout le travail difficile de vérification, de correction et de validation de chaque étape. Il assume l'entière responsabilité des mathématiques, garantissant que la preuve finale est solide et vérifiée par un humain.

En bref : L'article résout un puzzle de longue date concernant un type spécifique de motif numérique, prouvant que seuls trois nombres spécifiques possèdent un « super-pouvoir de divisibilité » unique, grâce à un mélange de mathématiques traditionnelles et d'assistance par IA moderne.

Résumé technique de « On a problem on a generalization of Euler's totient function »

Énoncé du problème
Cet article traite d'une conjecture concernant une famille de généralisations de la fonction totient d'Euler, $\phi(n)$ , introduite par B¨uy¨uka¸sik et al. (2024). La fonction généralisée est définie par :
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
où $\phi_0(n) = \phi(n)$ . Les auteurs définissent l'ensemble $D_s$ pour un entier non négatif $s$ fixé comme étant :
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik et al. ont prouvé que $D_s$ est fini pour tout $s \ge 0$ et ont conjecturé que $D_1 = \{1, 3, 15\}$ . Bien qu'ils aient fourni des preuves computationnelles, la conjecture est restée ouverte. L'objectif principal de ce travail est de fournir une preuve rigoureuse que $D_1 = \{1, 3, 15\}$ .

Méthodologie
La preuve procède en établissant l'inclusion inverse $D_1 \subseteq \{1, 3, 15\}$ , car l'inclusion $\{1, 3, 15\} \subseteq D_1$ avait déjà été établie par B¨uy¨uka¸sik et al. La méthodologie repose sur une synthèse d'outils classiques de la théorie des nombres et d'un nouvel argument structurel impliquant les nombres de Bernoulli et les polynômes de Bernoulli.

Réduction aux entiers impairs : Les auteurs démontrent d'abord que si $k \in D_1$ et $k > 1$ , alors $k$ doit être un entier impair. Ceci est déduit de la condition $\phi_1(3) \mid \phi_k(3)$ , qui implique $3 \mid (1 + 2^k)$ , forçant $k$ à être impair.
Sommes de Bernoulli et intégralité : Le cœur de l'argument implique la séquence $C_k(v)$ , définie via les nombres de Bernoulli $B_{2j}$ :
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
Les auteurs prouvent un lemme clé : si $C_k(v)$ est un entier pour tout $v \ge 1$ , alors pour tout entier pair $h \in [2, k-1]$ , la quantité $\frac{2k!}{h!}B_h$ doit être un entier.
Construction d'entiers sans facteur carré : Pour établir que $C_k(v) \in \mathbb{Z}$ pour tout $v$ , les auteurs utilisent le théorème de Dirichlet sur les nombres premiers dans les progressions arithmétiques. Ils construisent des entiers sans facteur carré $n$ composés de nombres premiers congrus à $1 \pmod L$ (où $L$ est le plus petit commun multiple des dénominateurs de termes spécifiques liés aux nombres de Bernoulli). En analysant la divisibilité de $\phi_k(n)/\phi_1(n)$ pour ces $n$ spécifiques, ils en déduisent que $C_k(\omega(n))$ doit être un entier, où $\omega(n)$ est le nombre de facteurs premiers distincts de $n$ . Puisque $\omega(n)$ peut être n'importe quel entier $v \ge 1$ , $C_k(v)$ est un entier pour tout $v$ .
Application du théorème de von Staudt–Clausen : En utilisant la condition d'intégralité dérivée de l'étape précédente, les auteurs appliquent le théorème de von Staudt–Clausen, qui caractérise les dénominateurs des nombres de Bernoulli. Cela conduit à une propriété critique : pour tout nombre premier impair $p$ tel que $(p-1) \mid h$ , il doit exister un multiple de $p$ dans l'ensemble $\{h+1, \dots, k\}$ .
Contradictions modulaires : Les auteurs traduisent cette propriété en une inégalité stricte impliquant des résidus modulaires : pour tout nombre premier impair $p \le k$ $p \leq k$ ,
$k \pmod p < k \pmod{p-1}$
En testant des nombres premiers spécifiques et en analysant la structure de $k+1$ $k + 1$ , ils éliminent systématiquement les possibilités pour $k$ $k$ :
- Ils prouvent que $k+1$ ne peut pas avoir de diviseurs premiers impairs, impliquant $k+1 = 2^a$ .
- Ils montrent que $a$ doit être pair, conduisant à $k = 2^{2\lambda} - 1$ .
- Par l'arithmétique modulaire avec les nombres premiers $p=7, 11, 29$ , ils démontrent que $\lambda \ge 3$ conduit à des contradictions avec l'inégalité stricte dérivée ci-dessus.

Contributions clés et résultats

Preuve de la conjecture : L'article prouve avec succès que $D_1 = \{1, 3, 15\}$ .
Lemme sur les sommes de Bernoulli : Les auteurs établissent un nouveau lien entre l'intégralité de sommes de Bernoulli spécifiques $C_k(v)$ et les propriétés de divisibilité des factorielles et des nombres de Bernoulli.
Caractérisation structurelle : Le travail fournit une caractérisation détaillée des entiers $k$ pour lesquels $\phi_1(n)$ divise $\phi_k(n)$ , réduisant le problème à un ensemble fini de contraintes modulaires.

Signification et affirmations
L'article affirme résoudre une conjecture issue de la littérature récente (B¨uy¨uka¸sik et al., 2024). Les auteurs déclarent explicitement que la conjecture était restée ouverte avant leurs travaux. Une caractéristique distinctive de la méthodologie de l'article est son recours à des « interactions étendues avec GPT-5.5 Pro » lors des étapes exploratoires et de développement de la preuve. L'auteur note que bien que des suggestions d'IA aient été utilisées, tout le contenu mathématique a été substantiellement révisé, corrigé et vérifié de manière indépendante par l'auteur humain, qui assume l'entière responsabilité.

L'article conclut modestement, suggérant que l'extension de ces techniques pour évaluer $D_s$ pour $s > 1$ représente une direction naturelle pour la recherche future, sans proposer d'applications expérimentales spécifiques ou d'implications plus larges au-delà de la portée de ce problème arithmétique.