Fibonacci
Moderatore: tutor
So che il problema se esistono infiniti primi nella successione di Fibonacci è aperto. Invece ho guardato quanti quadrati ci sono e dopo 1 e 144 non ne ho trovati (ho controllato fino ad un numero di circa 150 cifre). Qualcuno sa se si è dimostrato qualcosa in proposito? E per le altre potenze? <IMG SRC="images/forum/icons/icon_confused.gif">
----------------
Valentino
Valentino
Il problema 25 del giornalino n°4 è stata l\'occasione per approfondire sui numeri di Fibonacci: cercherò ora di spingermi un po\' più avanti recuperando questo vecchio post.
<BR>
<BR>Gli unici quadrati presenti nella serie sono F(1)=F(2)=1 e F(12)=144, mentre l\'unica altra potenza è F(6)=8.
<BR>
<BR>Diamo ora una parziale giustificazione della risposta.
<BR>A tale scopo, consideriamo la tabella sottostante con le fattorizzazioni dei primi 15 numeri di Fibonacci.
<BR>
<BR>F(1)=1
<BR>F(2)=1
<BR>F(3)=2
<BR>F(4)=3
<BR>F(5)=5
<BR>F(6)=8=2³
<BR>F(7)=13
<BR>F(<IMG SRC="images/forum/icons/icon_cool.gif">=21=3*7
<BR>F(9)=34=2*17
<BR>F(10)=55=5*11
<BR>F(11)=89
<BR>F(12)=144=2^4*3²
<BR>F(13)=233
<BR>F(14)=377=13*29
<BR>F(15)=610=2*5*61
<BR>...
<BR>
<BR>Si vede subito come, fatta eccezione per F(6) e F(12), nella fattorizzazione di ogni numero di Fibonacci compaia un nuovo numero primo mai apparso nelle fattorizzazioni dei precedenti numeri di Fibonacci.
<BR>Potremmo congetturare che F(6) e F(12) siano gli unici numeri che non sottostanno a questa regola, ed in effetti è proprio così: ciò è stato dimostrato sotto il nome di \"Teorema di Carmichael\" - o qualcosa del genere.
<BR>Da qui risulta ovvio che F(6)=8 e F(12)=144 sono le uniche \"potenze di Fibonacci\".
<BR>
<BR>
<BR>[addsig]
<BR>
<BR>Gli unici quadrati presenti nella serie sono F(1)=F(2)=1 e F(12)=144, mentre l\'unica altra potenza è F(6)=8.
<BR>
<BR>Diamo ora una parziale giustificazione della risposta.
<BR>A tale scopo, consideriamo la tabella sottostante con le fattorizzazioni dei primi 15 numeri di Fibonacci.
<BR>
<BR>F(1)=1
<BR>F(2)=1
<BR>F(3)=2
<BR>F(4)=3
<BR>F(5)=5
<BR>F(6)=8=2³
<BR>F(7)=13
<BR>F(<IMG SRC="images/forum/icons/icon_cool.gif">=21=3*7
<BR>F(9)=34=2*17
<BR>F(10)=55=5*11
<BR>F(11)=89
<BR>F(12)=144=2^4*3²
<BR>F(13)=233
<BR>F(14)=377=13*29
<BR>F(15)=610=2*5*61
<BR>...
<BR>
<BR>Si vede subito come, fatta eccezione per F(6) e F(12), nella fattorizzazione di ogni numero di Fibonacci compaia un nuovo numero primo mai apparso nelle fattorizzazioni dei precedenti numeri di Fibonacci.
<BR>Potremmo congetturare che F(6) e F(12) siano gli unici numeri che non sottostanno a questa regola, ed in effetti è proprio così: ciò è stato dimostrato sotto il nome di \"Teorema di Carmichael\" - o qualcosa del genere.
<BR>Da qui risulta ovvio che F(6)=8 e F(12)=144 sono le uniche \"potenze di Fibonacci\".
<BR>
<BR>
<BR>[addsig]
Naturalmente ciò che ho detto non è soddisfacente, perchè si rinvia il tutto ad un teorema forse ancora più difficile da dimostrare della proposizione originale.
<BR>Perciò proverò a tratteggiare le linee di una dimostrazione, perlomeno per ciò che riguarda i quadrati.
<BR>
<BR>TESI: gli unici quadrati di Fibonacci sono F(1)=F(2)=1 e F(12)=144.
<BR>
<BR>Assumiamo anzitutto la tesi del problema 25 del giornalino, ovvero che F(MCD(n,m))=MCD(F(n),F(m)). Ovviamente non la si può dimostrare a meno di pubblico linciaggio.
<BR>Sia ora F(m)=k² un quadrato di Fibonacci maggiore di 144. Dimostriamo che supporne l\'esistenza conduce ad un assurdo.
<BR>
<BR>CASO 1) m non è divisibile per 12.
<BR>Abbiamo MCD(k²,144)=F(MCD(12,m)). Ma MCD(k²,144)<144 è anch\'esso un quadrato r² e dunque, poichè anch\'esso è un numero di Fibonacci, può valere solo F(1)=F(2)=1. Dunque MCD(12,m)=1 oppure 2 da cui si evince facilmente che m deve essere della forma 12s±1, 12s±2, 12s±5, ovvero della forma 6s±1, 6s±2.
<BR>Analizzando le congruenze modulo F(6)=8 dei numeri di Fibonacci si vede come un numero del tipo F(12s±5) sia congruo a 5 modulo 8 e dunque non possa essere un quadrato. Lo stesso dicasi per i numeri del tipo F(12s-2).
<BR>Se invece consideriamo le congruenze modulo F(12)=144 vediamo che non tutti i numeri del tipo F(12±1), F(12s+2) sono accettabili: solo quelli del tipo F(24s±1), F(24s+2) danno un resto accettabile.
<BR>Se ora andiamo a considerare le congruenze modulo F(24)=46368 vediamo che sono accettabili sono i numeri del tipo F(48s±1), F(48s+2), e così via. Questo ragionamento può essere ripetuto tante volte quante vogliamo.
<BR>Perciò il candidato F(m)=k² dopo la prima analisi deve essere maggiore di 6, dopo la seconda maggiore di 12, dopo la terza maggiore di 24, dopo la n-esima maggiore di 6*2^(n-1), con n grande a piacere.
<BR>Pertanto non esiste nessun quadrato maggiore di 144 non divisibile per 144.
<BR>NOTA: Le proposizioni sulle congruenze sono tutte facilmente dimostrabili, visto che anche nei numeri di Fibonacci le congruenze sono cicliche.
<BR>
<BR>CASO 2) m è divisibile per 12.
<BR>Ecco, in apparenza questo secondo ed ultimo caso è facilmente risolvibile, ma proprio non ne vengo fuori.
<BR>Pertanto lo propongo come problema aperto: AIUTO!
<BR>Perciò proverò a tratteggiare le linee di una dimostrazione, perlomeno per ciò che riguarda i quadrati.
<BR>
<BR>TESI: gli unici quadrati di Fibonacci sono F(1)=F(2)=1 e F(12)=144.
<BR>
<BR>Assumiamo anzitutto la tesi del problema 25 del giornalino, ovvero che F(MCD(n,m))=MCD(F(n),F(m)). Ovviamente non la si può dimostrare a meno di pubblico linciaggio.
<BR>Sia ora F(m)=k² un quadrato di Fibonacci maggiore di 144. Dimostriamo che supporne l\'esistenza conduce ad un assurdo.
<BR>
<BR>CASO 1) m non è divisibile per 12.
<BR>Abbiamo MCD(k²,144)=F(MCD(12,m)). Ma MCD(k²,144)<144 è anch\'esso un quadrato r² e dunque, poichè anch\'esso è un numero di Fibonacci, può valere solo F(1)=F(2)=1. Dunque MCD(12,m)=1 oppure 2 da cui si evince facilmente che m deve essere della forma 12s±1, 12s±2, 12s±5, ovvero della forma 6s±1, 6s±2.
<BR>Analizzando le congruenze modulo F(6)=8 dei numeri di Fibonacci si vede come un numero del tipo F(12s±5) sia congruo a 5 modulo 8 e dunque non possa essere un quadrato. Lo stesso dicasi per i numeri del tipo F(12s-2).
<BR>Se invece consideriamo le congruenze modulo F(12)=144 vediamo che non tutti i numeri del tipo F(12±1), F(12s+2) sono accettabili: solo quelli del tipo F(24s±1), F(24s+2) danno un resto accettabile.
<BR>Se ora andiamo a considerare le congruenze modulo F(24)=46368 vediamo che sono accettabili sono i numeri del tipo F(48s±1), F(48s+2), e così via. Questo ragionamento può essere ripetuto tante volte quante vogliamo.
<BR>Perciò il candidato F(m)=k² dopo la prima analisi deve essere maggiore di 6, dopo la seconda maggiore di 12, dopo la terza maggiore di 24, dopo la n-esima maggiore di 6*2^(n-1), con n grande a piacere.
<BR>Pertanto non esiste nessun quadrato maggiore di 144 non divisibile per 144.
<BR>NOTA: Le proposizioni sulle congruenze sono tutte facilmente dimostrabili, visto che anche nei numeri di Fibonacci le congruenze sono cicliche.
<BR>
<BR>CASO 2) m è divisibile per 12.
<BR>Ecco, in apparenza questo secondo ed ultimo caso è facilmente risolvibile, ma proprio non ne vengo fuori.
<BR>Pertanto lo propongo come problema aperto: AIUTO!