🔢 mathematics

Cullen and Woodall numbers in Padovan and Perrin sequences

Questo articolo identifica tutte le intersezioni tra i numeri di Cullen e di Woodall e le successioni di Padovan e di Perrin, dimostrando che 1 e 7 sono gli unici numeri di Woodall nella successione di Padovan, mentre 3 è l'unico numero di Cullen nella successione di Perrin.

Autori originali: Herbert Batte, Eric F. Bravo, Florian Luca

Pubblicato 2026-05-25

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Herbert Batte, Eric F. Bravo, Florian Luca

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di essere un detective che cerca tesori nascosti in due lunghissime e misteriose linee numeriche. Queste linee numeriche sono chiamate la sequenza di Padovan e la sequenza di Perrin. Sono generate da una regola semplice: per ottenere il numero successivo, si somma il numero di due passi indietro a quello di tre passi indietro. È come un gioco di sedia musicale in cui i numeri continuano a riorganizzarsi secondo un ritmo rigoroso.

Dall'altra parte della stanza, hai due borse speciali di "monete del tesoro".

Le monete Woodall hanno la forma di $m \cdot 2^m - 1$ .
Le monete Cullen hanno la forma di $m \cdot 2^m + 1$ .

Queste monete crescono incredibilmente velocemente, raddoppiando e raddoppiando di dimensioni. La grande domanda che gli autori di questo articolo si sono posti è stata: "Alcune di queste monete speciali atterrano mai esattamente su un punto delle linee numeriche di Padovan o di Perrin?"

Il Mistero Risolto

Gli autori, agendo come detective matematici, si sono lanciati in una caccia per trovare ogni singola corrispondenza. Ecco cosa hanno scoperto:

Nella Sequenza di Padovan (La Caccia Woodall):
Hanno cercato monete Woodall ( $m \cdot 2^m - 1$ ) nascoste nella linea di Padovan.
- Il Risultato: Hanno trovato solo due corrispondenze. Il numero 1 (che è un numero Woodall quando $m=1$ ) e il numero 7 (che è un numero Woodall quando $m=2$ ).
- La Conclusione: Nessuna altra moneta Woodall si adatta alla linea di Padovan. Se continui a contare per sempre, non ne troverai mai un'altra.
Nella Sequenza di Perrin (La Caccia Cullen):
Hanno cercato monete Cullen ( $m \cdot 2^m + 1$ ) nascoste nella linea di Perrin.
- Il Risultato: Hanno trovato solo una corrispondenza. Il numero 3 (che è un numero Cullen quando $m=1$ ).
- La Conclusione: Nessuna altra moneta Cullen si adatta alla linea di Perrin.

Come l'hanno Risolto?

Potresti chiederti: "Come si controlla una linea numerica infinita?" Non puoi semplicemente contare all'infinito. Gli autori hanno utilizzato una strategia astuta in due fasi, come un detective che restringe la lista dei sospetti.

Fase 1: La "Lente d'Ingrandimento" (Forme Lineari in Logaritmi)
Innanzitutto, hanno utilizzato uno strumento matematico potente (la teoria di Baker) che agisce come una super-lente d'ingrandimento. Questo strumento ha permesso loro di dimostrare che, se esistesse una corrispondenza, non poteva essere troppo lontana. Ha stabilito un "tetto" su quanto grandi potevano essere i numeri.

Analogia: Immagina di aver dimostrato che, se esiste un tesoro, deve essere sepolto da qualche parte entro le prime 500 milioni di miglia della linea numerica, piuttosto che essere perso nell'universo infinito. Questo ha ridotto il problema da "infinito" a "molto grande ma finito".

Fase 2: Lo "Scanner per Impronte Digitali" (Valutazione 2-adica)
Anche con il tetto fissato, 500 milioni sono ancora troppi da controllare a mano. Quindi, hanno utilizzato un secondo strumento chiamato valutazione 2-adica. Pensa a questo come a uno scanner per impronte digitali che esamina quante volte un numero può essere diviso per 2.

I numeri di Padovan e di Perrin hanno "impronte digitali" molto specifiche e prevedibili riguardo a quante volte possono essere divisi per 2.
I numeri Woodall e Cullen hanno le proprie impronte digitali uniche.
Gli autori si sono resi conto che, affinché si verifichi una corrispondenza, le impronte digitali dovevano allinearsi perfettamente. Analizzando questi schemi, hanno capito che per la maggior parte dei numeri, le impronte digitali semplicemente non corrispondono.
Analogia: È come cercare di inserire un piolo quadrato in un foro rotondo. Hanno dimostrato che per quasi tutti i numeri, il "piolo quadrato" (il numero Woodall/Cullen) ha la forma sbagliata per adattarsi al "foro rotondo" (il numero di Padovan/Perrin).

Fase 3: Il Controllo Finale (Verifica al Computer)
Dopo aver usato la matematica per ridurre l'area di ricerca a una dimensione piccola e gestibile (controllando i numeri fino a circa 56 per Woodall e 51 per Cullen), hanno lasciato che un computer svolgesse il lavoro finale. Il computer ha controllato ogni singola possibilità rimanente e ha confermato: Non esistono altre corrispondenze.

La Conclusione

L'articolo è un caso definitivamente "chiuso".

Numeri Woodall in Padovan: Solo 1 e 7.
Numeri Cullen in Perrin: Solo 3.

Gli autori non hanno solo indovinato; hanno utilizzato una profonda teoria matematica per escludere le possibilità infinite e poi hanno usato un computer per verificare i piccoli residui. Hanno dimostrato che queste sequenze sono come due lingue diverse che raramente, se mai, parlano la stessa parola.

Sintesi Tecnica: Numeri di Cullen e Woodall nelle Successioni di Padovan e Perrin

Enunciato del Problema
Questo articolo affronta l'intersezione di due classi specifiche di numeri esponenziali diofantei con successioni a ricorrenza lineare. Nello specifico, gli autori investigano la presenza di numeri di Woodall (interi della forma $W_m = m \cdot 2^m - 1$ ) all'interno della successione di Padovan $\{P_n\}$ , e di numeri di Cullen (interi della forma $C_m = m \cdot 2^m + 1$ ) all'interno della successione di Perrin $\{R_n\}$ .

Le successioni di Padovan e Perrin sono entrambe definite dalla relazione di ricorrenza $U_{n+3} = U_{n+1} + U_n$ , ma con condizioni iniziali distinte:

Padovan: $P_0 = P_1 = P_2 = 1$ .
Perrin: $R_0 = 3, R_1 = 0, R_2 = 2$ .

Mentre lavori precedenti di Bravo e Irmak [4] avevano determinato i numeri di Cullen nella successione di Padovan e i numeri di Woodall nella successione di Perrin, i casi complementari (Woodall in Padovan, Cullen in Perrin) rimanevano aperti. Gli autori mirano a risolvere completamente questi casi rimanenti.

Metodologia
La strategia di dimostrazione segue un quadro standard per la risoluzione di equazioni diofantee in successioni a ricorrenza lineare, combinando la teoria analitica dei numeri con la verifica computazionale:

Analisi in Forma Chiusa: Gli autori utilizzano formule di tipo Binet per entrambe le successioni, esprimendo i termini come combinazioni lineari di potenze delle radici del polinomio caratteristico $\phi(X) = X^3 - X - 1$ . Ciò consente stime di crescita e la derivazione di disuguaglianze che limitano gli indici $n$ e $m$ .
Forme Lineari in Logaritmi: Per stabilire un limite superiore assoluto per la variabile $m$ , gli autori applicano il teorema di Matveev sulle forme lineari in tre logaritmi di numeri algebrici. Costruendo una forma lineare $\Lambda$ che coinvolge $\log 2$ , $\log \alpha$ (dove $\alpha$ è la radice reale di $\phi(X)$ ) e $\log m$ , derivano un limite inferiore per $|\Lambda|$ . Confrontando questo con un limite superiore derivato dalla crescita della ricorrenza, ottengono un limite superiore iniziale, sebbene grande, per $m$ (circa $5.6 \times 10^{14}$ per il caso Padovan e $5.4 \times 10^{14}$ per il caso Perrin).
Analisi della Valutazione 2-adica: Per ridurre i limiti massivi ottenuti dal teorema di Matveev a un intervallo computazionalmente fattibile, gli autori eseguono un'analisi dettagliata della valutazione 2-adica ( $\nu_2$ $ν_{2}$ ) delle successioni traslate $\{P_n + 1\}$ ${P_{n} + 1}$ e $\{R_n - 1\}$ ${R_{n} - 1}$ .
- Stabiliscono formule esplicite per $\nu_2(P_n + 1)$ e $\nu_2(R_n - 1)$ basate sul residuo di $n$ modulo interi specifici (ad esempio, 112 per Padovan, 14 per Perrin).
- Per le classi di residuo "eccezionali" dove non esiste un'espressione in forma chiusa uniforme, impiegano un algoritmo greedy basato su ricorrenze di raddoppio (Lemma 2.10 e 2.11) per calcolare la valutazione massima possibile per $n$ entro i limiti precedentemente stabiliti.
- Questa analisi produce la disuguaglianza $m \leq \nu_2(\text{termine traslato})$ , che riduce drasticamente lo spazio di ricerca per $m$ .
Verifica Computazionale: Una volta ridotti i limiti per $m$ a costanti piccole (specificamente $m \leq 56$ per Padovan e $m \leq 51$ per Perrin), gli autori eseguono una ricerca computazionale esaustiva utilizzando SageMath per verificare l'esistenza di soluzioni negli intervalli ridotti.

Contributi e Risultati Chiave
L'articolo fornisce soluzioni complete ai due problemi aperti riguardanti i numeri di Woodall e Cullen in queste specifiche successioni:

Teorema 1.1: Gli unici numeri di Woodall nella successione di Padovan sono 1 e 7.
- Corollario 1.2: Di conseguenza, l'unico numero primo di Woodall nella successione di Padovan è 7.
Teorema 1.3: L'unico numero di Cullen nella successione di Perrin è 3.
- Corollario 1.4: Di conseguenza, l'unico numero primo di Cullen nella successione di Perrin è 3.

Le dimostrazioni si basano sulle proprietà specifiche delle valutazioni 2-adiche di $P_n + 1$ e $R_n - 1$ . In modo notevole, gli autori identificano zeri 2-adici non razionali per queste successioni traslate, il che ha reso necessario l'approccio algoritmico per le classi di residuo eccezionali.

Significato e Affermazioni
Gli autori posizionano questo lavoro come il completamento naturale della ricerca avviata da Bravo e Irmak [4]. Determinando gli insiemi complementari di numeri, l'articolo caratterizza completamente l'intersezione dei numeri di Woodall e Cullen con le successioni di Padovan e Perrin.

Il significato risiede in:

Completezza: Risolve i casi aperti rimanenti per queste specifiche successioni a ricorrenza lineare di ordine 3.
Raffinamento Metodologico: L'articolo dimostra la necessità di analizzare le valutazioni 2-adiche delle successioni traslate ( $P_n+1$ e $R_n-1$ ) piuttosto che delle successioni stesse, evidenziando la complessità introdotta dalle condizioni iniziali specifiche e dalla forma dei numeri target ( $m \cdot 2^m \pm 1$ ).
Applicazione Algoritmica: Il lavoro utilizza e affina algoritmi per il calcolo delle valutazioni 2-adiche nelle classi di residuo eccezionali, fornendo approssimazioni esplicite di zeri 2-adici non razionali per queste successioni.

L'articolo non rivendica applicazioni più ampie oltre ai specifici problemi diofantei affrontati, ma contribuisce al crescente corpo di letteratura sull'intersezione tra equazioni diofantee esponenziali e successioni a ricorrenza lineare.

Il Mistero Risolto

Come l'hanno Risolto?

La Conclusione

Articoli simili