🔢 mathematics

Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

Dit artikel analyseert de stoppi-tijd en de cyclische structuur van de genormaliseerde Collatz-iteratie om te bewijzen dat de triviale cyclus bij 1 de enige toegestane periodieke baan is door aan te tonen dat geen enkele eindige niet-triviale cyclus compatibel is met het proces.

Oorspronkelijke auteurs: Daohang Sha

Gepubliceerd 2026-01-28

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Daohang Sha

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

Het Grote Plaatje: Het "3n + 1"-spel

Stel je een spel voor dat gespeeld wordt met getallen. Je kiest een startgetal en je volgt twee eenvoudige regels:

Als het getal even is: Halveer het.
Als het getal oneven is: Verdrievoudig het, tel er één bij op, en halveer het daarna.

Je blijft dit steeds opnieuw doen. De beroemde Collatz-vermoeden vraagt: Kom je, ongeacht met welk getal je begint, altijd uiteindelijk bij het getal 1 uit?

De meeste wiskundigen geloven dat het antwoord "ja" is, maar niemand heeft het nog bewezen. Dit artikel van Daohang Sha probeert te bewijzen dat er geen "lussen" (cycli) bestaan, behalve die bij 1.

De Strategie van de Auteur: Het In kaart brengen van de Reis

Sha behandelt de opeenvolging van zetten (halveren versus verdrievoudigen) als een binaire code (een reeks enen en nullen).

0 staat voor een "halveringsstap".
1 staat voor een "verdrievoudigingsstap".

Beschouw een specifiek startgetal als een reiziger. Het artikel analyseert de "kaart" (de reeks van enen en nullen) die de reiziger volgt. De auteur richt zich op een specif kind van reizigers: diegenen die beginnen met getallen die een restwaarde van 3 laten bij deling door 4 (zoals 3, 7, 11, 15, enz.).

Kernconcepten Uitgelegd

1. De "Stopping Time" (Wanneer word je kleiner?)

Stel je voor dat je een berg op wandelt. Soms zet je een stap omhoog (de "1"-stap, die het getal groter maakt), en soms zet je een stap omlaag (de "0"-stap, die het getal kleiner maakt).

Stopping Time: Dit is het moment waarop je eindelijk genoeg stappen omlaag hebt gezet dat je lager bent dan waar je begon.
De claim van het artikel: Sha berekent de "best case" en "worst case" scenario's voor hoe lang deze wandeling duurt. Hij laat zien dat er voor elke specifieke lengte van de wandeling een wiskundige limiet is aan hoe laag je kunt gaan.

2. Het "Cycle" Probleem (De Oneindige Lus)

Een "cyclus" zou als een achtbaan kunnen zijn die op en neer gaat, maar uiteindelijk precies terugkeert naar de plek waar je begon, waardoor een oneindige lus ontstaat die nooit de bodem bereikt (1).

Het doel: Het artikel probeert te bewijzen dat zo's een lus onmogelijk is voor een eindige reis.

3. De Analogie van de "Perfecte Balans"

Om een cyclus te hebben, zou het getal op zo'n perfecte manier moeten groeien en krimpen dat het exact eindigt waar het begon.

De Wiskundige Metafoor: Stel je een weegschaal voor. Aan de ene kant heb je machten van 2 (halveren). Aan de andere kant heb je machten van 3 (verdrievoudigen).
Om een cyclus te hebben, zou de weegschaal perfect in balans moeten zijn: $2^s = 3^r$ (waarbij $s$ het aantal stappen omlaag is en $r$ het aantal stappen omhoog).
De Realiteit: Sha wijst erop dat een macht van 2 (zoals 2, 4, 8, 16...) nooit gelijk kan zijn aan een macht van 3 (zoals 3, 9, 27, 81...). Ze zijn als twee verschillende talen die nooit exact dezelfde zin kunnen vertalen. Omdat ze nooit gelijk kunnen zijn, kan de weegschaal nooit perfect in balans zijn.

De Belangrijkste Bevindingen

1. De "Bijna Daar" Valstrik
Naarmate de reis langer en langer wordt (meer stappen), komt de verhouding tussen "verdrievoudigen" en "halveren" ongelooflijk dicht bij een perfecte balans. Het is als een koorddanser die steeds dichter bij de middenlijn komt.

Het artikel laat zien dat naarmate de sequentie langer wordt, het eindgetal steeds dichter bij het startgetal komt ( $F_q(m)/m \to 1$ ).
Echter, het bereikt nooit daadwerkelijk 1. Het komt er oneindig dichtbij, maar er blijft altijd een kleine, niet-nul afstand bestaan.

2. De "Eindige" Barrière
Omdat de afstand tussen de machten van 2 en 3 nooit nul kan zijn, is een "perfecte lus" wiskundig gezien onmogelijk voor een eindig aantal stappen.

Analogie: Stel je voor dat je een brug probeert te bouwen met bakstenen die net iets verschillende maten hebben. Je kunt de uiteinden heel dicht bij elkaar krijgen, maar als de bakstenen nooit exact dezelfde grootte hebben, kun je de opening nooit perfect sluiten zonder dat er een gat overblijft.
Daarom kan een "niet-triviale cyclus" (een lus die het getal 1 niet bevat) niet bestaan.

3. De Enige Veilige Haven
Het artikel concludeert dat de enige keer dat het proces zich daadwerkelijk herhaalt, de triviale lus bij het getal 1 is (1 $\to$ 4 $\to$ 2 $\to$ 1). Elk ander startgetal zal uiteindelijk het patroon doorbreken en richting 1 bewegen, in plaats van vast te komen zitten in een andere lus.

Samenvatting

Daohang Sha gebruikt een gedetailleerde kaart van "op" en "af" stappen om aan te tonen dat hoewel getallen in het Collatz-spel heel dicht bij het vormen van een perfecte lus kunnen komen, de fundamentele wiskunde van de machten van 2 en 3 het onmogelijk maakt om de cirkel volledig te sluiten.

De kernboodschap: Als je met een getal begint, kun je misschien vast komen te zitten in een zeer lange, ingewikkelde dans, maar je zult nooit een dansvloer vinden die terugkeert naar het begin zonder uiteindelijk van de vloer af te stappen en op 1 te landen. De "oneindige lus" is een wiskundige onmogelijkheid.

Technische Samenvatting: Over de Grenzen van de Stop- en Cyclusgetallen in het Collatz-proces

Probleemstelling
Dit artikel behandelt het 3n + 1-probleem (Collatz-vermoeden), met specifieke aandacht voor de genormaliseerde Collatz-iteratie gedefinieerd als $F_0(n) = n/2$ voor even $n$ en $F_1(n) = (3n+1)/2$ voor oneven $n$ . Het primaire doel is het analyseren van de stoppertijd en de cyclusstructuur van dit proces. De auteur beperkt de analyse tot oneven startwaarden $m \equiv 3 \pmod 4$ met een stoppertijd $s \ge 4$ , aangezien kleinere gevallen triviaal verifieerbaar zijn. De centrale vraag is of er eindige niet-triviale cycli (periodieke banen andere dan de triviale cyclus bij 1) kunnen bestaan binnen deze iteratie.

Methodologie
Het artikel maakt gebruik van een recursieve beschrijving van toelaatbare binaire sequenties om het Collatz-proces te modelleren. Een sequentie $q$ van lengte $s$ met $r$ enen (die oneven stappen vertegenwoordigen) en $s-r$ nullen (die even stappen vertegenwoordigen) wordt gebruikt om de transformatie $F_q(n)$ te definiëren.

Belangrijke methodologische componenten zijn:

Binaire Sequentie-representatie: De transformatie wordt uitgedrukt als $F_q(n) = \frac{3^r n + \sum_{i=1}^r 3^{r-i} 2^{l(i)-1}}{2^s}$ , waarbij $l(i)$ de positie van de $i$ -de '1' in de sequentie is.
Recursieve Boomconstructie: De auteur introduceert een gemodificeerde gewortelde sequentieboom (Figuur 1) om toelaatbare sequenties te genereren. Deze boom wordt geconstrueerd door specifieke substrings ("1" of "10") vóór het terminale blok nullen in te voegen, wat een unieke mapping tussen sequenties en startintegers waarborgt.
Getaltheoretische Analyse: Het artikel maakt gebruik van eigenschappen van modulaire aritmetica (specifiek modulo $2^s$ en modulo 4) en de uniciteit van binaire expansies om een bijectie tussen toelaatbare binaire sequenties $q$ en integers $m \equiv 3 \pmod 4$ vast te stellen.
Afleiding van Ongelijkheden: Door de Rearrangement Inequality toe te passen, leidt de auteur grenswaarden af voor de sommatieterm $\sum_{i=1}^r 3^{r-i} 2^{l(i)-1}$ , die de additieve component van de iteratie vertegenwoordigt.

Kernbijdragen en Resultaten

Uniciteit van Representatie (Stelling 2.10): Het artikel stelt een bijectie vast tussen toelaatbare binaire sequenties $q$ en integers $m \equiv 3 \pmod 4$ . Elk dergelijk integer komt uniek voort uit een specifieke sequentie in de geconstrueerde boom, en elke sequentie komt overeen met een uniek integer dat voldoet aan $F_q(m) < m$ .
Grenswaarden voor de Additieve Term (Stelling 2.3 & 2.4): De sommatieterm in de iteratieformule is begrensd. De minimale waarde is $3^r - 2^r$ (voorkomend wanneer alle '1's aan het begin van de sequentie staan), en de maximale waarde wordt bereikt wanneer de '1's verdeeld zijn volgens de logaritmische afstand van de sequentieboom.
Niet-bestaan van Eindige Niet-Triviale Cycli (Stelling 2.11 & 3.1):
- Het artikel bewijst dat voor elke eindige sequentie, $F_q(4i-1) \neq 4i-1$ . Een cyclus zou een gelijkheid vereisen van $2^s = 3^r$ , wat onmogelijk is voor integers $s, r > 0$ .
- Bijgevolg kan er geen eindige niet-triviale cyclus optreden. De enige toelaatbare periodieke baan is de triviale cyclus bij 1.
Asymptotisch Gedrag van de Ratio (Stelling 3.2): Het artikel leidt grenswaarden af voor de ratio $F_q(m)/m$ $F_{q} (m) / m$ . Het toont aan dat naarmate de sequentielengte toeneemt (en $r \to \infty$ $r \to \infty$ ), de ratio $3^r/2^s$ $3^{r} / 2^{s}$ de 1 nadert, maar nooit gelijk wordt aan 1.
- De ratio $F_q(m)/m$ is begrensd door $1 - \epsilon_1 < F_q(m)/m < 1 + \epsilon_2$ .
- Naarmate $r \to \infty$ , geldt $\lim F_q(m)/m \to 1$ .
Cyclusgetal Grenswaarden: Het artikel biedt onder- en bovengrenzen voor een hypothetisch niet-triviaal cyclusgetal $m_c$ . De ondergrens wordt gegeven door $m_c \ge \frac{3^r - 2^r}{2^s - 3^r}$ . Voor grote $r$ (bijv. $r \approx 4.3 \times 10^{14}$ ) is de ondergrens ongeveer $7.5 \times 10^{14}$ , terwijl de bovengrens ongeveer $5.12 \times 10^{29}$ is.

Betekenis en Claims
Het artikel beweert aan te tonen dat de structurele vereisten voor een eindige niet-triviale cyclus in de genormaliseerde Collatz-iteratie onbereikbaar zijn. Specifiek zou het bestaan van een dergelijke cyclus een exacte identiteit tussen machten van 2 en 3 vereisen ( $2^s = 3^r$ ), wat wiskundig onmogelijk is.

De auteur concludeert dat:

De stoppertijd in het Collatz-proces geen eindige bovengrens kent.
De ratio $F_q(m)/m$ de eenheid nadert naarmate de sequentielengte toeneemt, maar deze voor geen enkele eindige sequentie bereikt.
Deze structurele obstructie, gecombineerd met de afgeleide grenswaarden, de mogelijkheid van eindige niet-triviale cycli uitsluit.
Daarom is de triviale cyclus bij 1 de enige toelaatbare periodieke baan.

Het artikel vertrouwt op computationele verificatie voor kleine gevallen en theoretische grenswaarden voor grote $r$ , waarbij wordt opgemerkt dat hoewel het gat tussen $3^r$ en $2^s$ infinitesimaal klein wordt voor grote parameters (bijv. $1 - 3^r/2^s \approx 10^{-15}$ ), het strikt niet-nul blijft, wat de vorming van een cyclus voorkomt.