🔢 mathematics

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

Dit artikel bewijst de conjectuur van Büyükaşık et al. dat de verzameling gehele getallen $k \geq 1$ waarvoor $\varphi_1(n)$ deelbaar is door $\varphi_k(n)$ voor alle $n$ exact $\{1, 3, 15\}$ is, gebruikmakend van een bewijsstrategie die is ontwikkeld door uitgebreide interacties met GPT-5.5 Pro.

Oorspronkelijke auteurs: John M. Campbell

Gepubliceerd 2026-06-02

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: John M. Campbell

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een gigantische, oneindige doos hebt met genummerde tegels, van 1 tot $n$ . Sommige van deze tegels zijn "speciaal" omdat ze geen gemeenschappelijke factoren delen met het getal $n$ (behalve 1). Wiskundigen noemen deze getallen "copriem".

De Euler-totientfunctie ( $\phi$ ) is een beroemde regel die al eeuwenlang bestaat. Het telt simpelweg hoeveel speciale tegels er in de doos zitten. Als je 10 tegels hebt, zijn de speciale tegels 1, 3, 7 en 9, dus het antwoord is 4.

Het Nieuwe Spel: Machten Optellen

In dit artikel speelt de auteur (John Campbell) en enkele collega's een complexer spel met deze zelfde speciale tegels. In plaats van ze alleen maar te tellen, vragen ze: "Wat gebeurt er als we elke speciale tegel tot een macht $k$ verheffen en ze allemaal bij elkaar optellen?"

Als $k=0$ , tellen we ze alleen maar (de oorspronkelijke regel).
Als $k=1$ , tellen we de getallen op: $1 + 3 + 7 + 9$ .
Als $k=2$ , kwadrateren we ze: $1^2 + 3^2 + 7^2 + 9^2$ .

Deze som wordt $\phi_k(n)$ genoemd.

De Grote Vraag: De "Deelbaarheidsclub"

De onderzoekers stelden een zeer specifieke vraag over deze sommen. Ze wilden een speciale "club" van getallen vinden (laten we die club $D_1$ noemen).

De Regel voor de Club:
Een getal $k$ komt in de club als, voor elke mogelijke doosgrootte $n$ , de som van de speciale tegels tot de macht 1 ( $\phi_1$ ) altijd deelbaar is door de som van de speciale tegels tot de macht $k$ ( $\phi_k$ ).

Denk er zo over na: Als je een stapel koekjes hebt ( $\phi_1$ ), kun je dan altijd een grotere stapel koekjes ( $\phi_k$ ) verdelen in exacte, hele aantallen van de eerste stapel, ongeacht hoeveel koekjes er in de oorspronkelijke stapel zitten?

Het Mysterie

Eerdere wiskundigen (Büyükaşık et al.) hebben zwaar werk verricht. Ze bewezen dat de club eindig is (hij gaat niet eeuwig door) en ze deden enkele computerberekeningen die suggereerden dat de club slechts drie leden heeft: 1, 3 en 15.

Ze zeiden: "We zijn voor 99% zeker dat dit de enige zijn, maar we kunnen het niet bewijzen."

De Oplossing: Een Mens-AI Team-up

John Campbell stapte in om het mysterie op te lossen. Hij gebruikte een mix van diepe wiskundige hulpmiddelen (zoals Bernoulli-getallen, die als geheime codes verborgen zitten in getalpatronen) en een zeer unieke partner: GPT-5.5 Pro, een geavanceerde AI.

Hoe ze het oplosten:

Het Detectiewerk: Campbell gokte niet zomaar. Hij gebruikte een logische "val". Hij toonde aan dat als een getal in de club zit, het aan zeer strikte regels moet voldoen.
De "Oneven" Vereiste: Eerst bewees hij dat elk getal in de club een oneven getal moet zijn. Even getallen werden direct de club uitgezet.
De "Priem" Filter: Vervolgens gebruikte hij een reeks logische tests met behulp van priemgetallen (getallen die alleen deelbaar zijn door 1 en zichzelf). Hij toonde aan dat als een getal te groot is of de verkeerde "vorm" heeft, het faalt voor de deelbaarheids-test voor een specifieke doosgrootte $n$ .
De Eliminatie:
- Hij bewees dat als $k$ in de club zit, $k+1$ een macht van 2 moet zijn (zoals 2, 4, 8, 16, 32...).
- Dit verkleinde de lijst tot getallen zoals 3, 7, 15, 31, 63, enzovoort.
- Daarna gebruikte hij complexere patronen om aan te tonen dat 7, 31, 63 en alle grotere getallen falen.
- Alleen 1, 3 en 15 overleefden de hindernisbaan.

Het Resultaat

Het artikel concludeert dat de "Deelbaarheidsclub" ( $D_1$ ) exacte de getallen {1, 3, 15} bevat. Geen meer, geen minder.

Een Opmerking over de "AI"

De auteur is zeer transparant over hoe hij dit heeft gedaan. Hij geeft toe dat hij uitgebreide gesprekken heeft gevoerd met een AI (GPT-5.5 Pro) om te helpen bij het brainstormen over de bewijsstappen. Hij benadrukt echter dat de AI slechts een hulpmiddel was. De auteur deed al het zware werk van het controleren, corrigeren en verifiëren van elke stap. Hij neemt de volledige verantwoordelijkheid voor de wiskunde en garandeert dat het uiteindelijke bewijs solide en door mensen geverifieerd is.

Kortom: Het artikel lost een langlopende puzzel op over een specifiek type getalpatroon, door te bewijzen dat slechts drie specifieke getallen een unieke "deelbaarheidssuperkracht" hebben, met behulp van een combinatie van traditionele wiskunde en moderne AI-assistentie.

Technische Samenvatting van "On a problem on a generalization of Euler's totient function"

Probleemstelling
Dit artikel behandelt een vermoeden met betrekking tot een familie van generalisaties van de Euler-totiëntfunctie, $\phi(n)$ , geïntroduceerd door B¨uy¨uka¸sik et al. (2024). De gegeneraliseerde functie wordt gedefinieerd als:
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
waarbij $\phi_0(n) = \phi(n)$ . De auteurs definiëren de verzameling $D_s$ voor een vaste niet-negatieve integer $s$ als:
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik et al. bewezen dat $D_s$ voor elke $s \ge 0$ eindig is en vermoedden dat $D_1 = \{1, 3, 15\}$ . Hoewel zij computationeel bewijs leverden, bleef het vermoeden openstaan. Het primaire doel van dit werk is het leveren van een rigoureus bewijs dat $D_1 = \{1, 3, 15\}$ .

Methodologie
Het bewijs verloopt via het vaststellen van de omgekeerde inclusie $D_1 \subseteq \{1, 3, 15\}$ , aangezien de inclusie $\{1, 3, 15\} \subseteq D_1$ reeds door B¨uy¨uka¸sik et al. was vastgesteld. De methodologie berust op een synthese van klassieke getaltheoretische instrumenten en een nieuw structureel argument met betrekking tot Bernoulli-getallen en -polynomen.

Reductie naar oneven integers: De auteurs tonen eerst aan dat als $k \in D_1$ en $k > 1$ , dan $k$ een oneven integer moet zijn. Dit wordt afgeleid uit de voorwaarde $\phi_1(3) \mid \phi_k(3)$ , wat impliceert dat $3 \mid (1 + 2^k)$ , wat $k$ oneven dwingt.
Bernoulli-sommen en integrale eigenschappen: De kern van het argument betreft de sequentie $C_k(v)$ , gedefinieerd via Bernoulli-getallen $B_{2j}$ :
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
De auteurs bewijzen een cruciaal lemma: als $C_k(v)$ een integer is voor alle $v \ge 1$ , dan moet voor elke even integer $h \in [2, k-1]$ , de hoeveelheid $\frac{2k!}{h!}B_h$ een integer zijn.
Constructie van vierkantvrije integers: Om vast te stellen dat $C_k(v) \in \mathbb{Z}$ voor alle $v$ , maken de auteurs gebruik van de stelling van Dirichlet over priemgetallen in rekenkundige progressies. Zij construeren vierkantvrije integers $n$ die bestaan uit priemgetallen congruent aan $1 \pmod L$ (waarbij $L$ het kleinste gemene veelvoud is van de noemers van specifieke Bernoulli-gerelateerde termen). Door de deelbaarheid van $\phi_k(n)/\phi_1(n)$ voor deze specifieke $n$ te analyseren, concluderen zij dat $C_k(\omega(n))$ een integer moet zijn, waarbij $\omega(n)$ het aantal verschillende priemfactoren van $n$ is. Omdat $\omega(n)$ elke integer $v \ge 1$ kan aannemen, is $C_k(v)$ een integer voor alle $v$ .
Toepassing van de von Staudt–Clausen-stelling: Gebruikmakend van de integrale voorwaarde afgeleid in de vorige stap, passen de auteurs de von Staudt–Clausen-stelling toe, die de noemers van Bernoulli-getallen karakteriseert. Dit leidt tot een kritieke eigenschap: voor elke even $h \in [2, k-1]$ en elke oneven priem $p$ waarvoor $(p-1) \mid h$ , moet er een veelvoud van $p$ bestaan in de verzameling $\{h+1, \dots, k\}$ .
Modulaire tegenstrijdigheden: De auteurs vertalen deze eigenschap naar een strikte ongelijkheid betreffende modulaire residuen: voor elke oneven priem $p \le k$ $p \leq k$ ,
$k \pmod p < k \pmod{p-1}$
Door specifieke priemgetallen te testen en de structuur van $k+1$ $k + 1$ te analyseren, elimineren zij systematisch de mogelijkheden voor $k$ $k$ :
- Zij bewijzen dat $k+1$ geen oneven priemfactoren kan hebben, wat impliceert dat $k+1 = 2^a$ .
- Zij tonen aan dat $a$ even moet zijn, wat leidt tot $k = 2^{2\lambda} - 1$ .
- Door modulaire rekenkunde met de priemgetallen $p=7, 11, 29$ , demonstreren zij dat $\lambda \ge 3$ leidt tot tegenstrijdigheden met de hierboven afgeleide strikte ongelijkheid.

Belangrijkste bijdragen en resultaten

Bewijs van het vermoeden: Het artikel bewijst succesvol dat $D_1 = \{1, 3, 15\}$ .
Lemma over Bernoulli-sommen: De auteurs vestigen een nieuwe verbinding tussen de integrale eigenschappen van specifieke Bernoulli-sommen $C_k(v)$ en de deelbaarheids eigenschappen van faculteiten en Bernoulli-getallen.
Structurele karakterisering: Het werk biedt een gedetailleerde karakterisering van de integers $k$ waarvoor $\phi_1(n)$ de $\phi_k(n)$ deelt, wat het probleem reduceert tot een eindige verzameling modulaire restricties.

Betekenis en claims
Het artikel beweert een openstaand vermoeden uit recente literatuur (B¨uy¨uka¸sik et al., 2024) te hebben opgelost. De auteurs stellen expliciet dat het vermoeden vóór hun werk openstond. Een onderscheidend kenmerk van de methodologie van het artikel is de "uitgebreide interactie met GPT-5.5 Pro" tijdens de exploratieve en bewijsontwikkelingsfasen. De auteur merkt op dat hoewel AI-suggesties zijn gebruikt, alle wiskundige inhoud substantieel is herzien, gecorrigeerd en onafhankelijk is geverifieerd door de menselijke auteur, die de volledige verantwoordelijkheid draagt.

Het artikel sluit bescheiden af door te suggereren dat het uitbreiden van deze technieken om $D_s$ voor $s > 1$ te evalueren een natuurlijke richting is voor toekomstig onderzoek, zonder specifieke experimentele toepassingen of bredere implicaties voorbij de reikwijdte van dit aritmetische probleem voor te stellen.