Cosa ti dice il nome Collatz? La sua congettura è tanto semplice quanto intrigante...
La congettura di Collatz (anche chiamata problema 3n + 1), come tutte le congetture, è un enunciato che i singoli esempi mostrano essere vero in particolare, ma che ancora non è stato dimostrato in generale.
Deve il suo nome al matematico Lothar Collatz che l'ha teorizzata nel 1937 ed è uno dei problemi più interessanti ancora aperti della Teoria dei Numeri.
Ha a che fare con il seguente algoritmo, rappresentato con il diagramma di flusso qui a lato:
PASSO 1. si sceglie un numero naturale n;
PASSO 2. se n è pari, lo si divide per 2 (n/2);
se n è dispari, lo si moltiplica per 3 e gli si somma 1 (3n + 1);
PASSO 3. se si ottiene 1, ci si ferma
(poiché 1 genera il ciclo: 1 → 4 → 2 → 1);
altrimenti si itera il procedimento, a partire dal PASSO 2.
Ogni naturale, grazie a questo algoritmo, genera via via, a ogni passo, una propria sequenza di naturali.
Per esempio:
3 dispari
→ 3 ∙ 3 + 1 = 10 pari
→ 10 : 2 = 5 dispari
→ 5 ∙ 3 + 1 = 16 pari
→ 16 : 2 = 8 pari
→ 8 : 2 = 4 pari
→ 4 : 2 = 2 pari
→ 2 : 2 = 1
Quindi:
Come hai visto, la sequenza dei naturali può essere rappresentata anche graficamente con un diagramma cartesiano in cui l'asse x delle ascisse indica il numero ordinale del passo e l'asse y delle ordinate il valore del passo.
Per esempio:
Puoi provare tu stesso a simulare l'algoritmo con questo tool che rappresenta anche graficamente la sequenza dei naturali via via generati.
Ora: cosa rende avvincente questo algoritmo? Proprio lo zig-zag della sequenza...
Le sequenze che l'algoritmo genera sono difficilmente previdibili, senza calcolarle: non è cioè facilmente prevedere né a quali numeri conduca un numero scelto in partenza né quanto sia lunga la sequenza. Quest'ultima non è, ad esempio, proporzionale alla grandezza del numero iniziale, cioè non è detto che, dati 2 naturali, al minore corrisponda la sequenza più corta fra le 2 e al maggiore quella più lunga.
Controesempio: 6 < 8, ma la sequenza di 6 è più lunga della sequenza di 8 (9 passi > 4 passi)
Inoltre, i naturali di partenza possono avere o meno una parte finale della sequenza in comune con altri, come si vede in questo grafo, ma anche questo è difficilmente prevedibile.
Quindi... non si può proprio dire nulla a priori? Ci sono numeri per i quali la sequenza non finisce mai? Collatz lo esclude: ha intuito che almeno un fatto sia prevedibile...
CONGETTURA DI COLLATZ: per ogni numero naturale n la sequenza dell'algoritmo ha una lunghezza finita (cioè un numero finito di passi) e termina con il naturale 1 (da cui poi il ciclo 4 → 2 → 1 ).
Riguarda gli esempi appena visti: tutte le sequenze terminano con 1. Ha proprio l'aria di essere vera, questa intuizione... ma se non la si dimostra, resta pur sempre una congettura! Qualche passo avanti comunque è stato fatto nel 2019 dal matematico Terence Tao... magari sarai tu a dimostrarla?
Nel frattempo prosegui e divertiti con intervalli ed espressioni!