Disuguaglianza Fibonaccica
Disuguaglianza Fibonaccica
Eccoti la tua disuguaglianza, Biagio
Sia $ \{F_n\} $ la successione di Fibonacci, provare che:
$ \displaystyle \sum_{i=1}^{n}\frac{F_n}{2^n}<2 $
comunque preso $ n\in\mathbb{N}_0 $
P.S. La successione di Fibonacci è definita come:
$ F_1=1 $
$ F_2=1 $
$ F_n=F_{n-1}+F_{n-2} $ per $ n\ge 3 $
Sia $ \{F_n\} $ la successione di Fibonacci, provare che:
$ \displaystyle \sum_{i=1}^{n}\frac{F_n}{2^n}<2 $
comunque preso $ n\in\mathbb{N}_0 $
P.S. La successione di Fibonacci è definita come:
$ F_1=1 $
$ F_2=1 $
$ F_n=F_{n-1}+F_{n-2} $ per $ n\ge 3 $
Ultima modifica di Boll il 19 mag 2005, 20:13, modificato 1 volta in totale.
Successione di Fibonacci...
Boll, per favore, definisci i primi $ \displaystyle F_n $ della successione di Fibonacci? E' come segue?
$ \displaystyle F_0=1 $
$ \displaystyle F_1=1 $
$ \displaystyle F_2=2 $
Ecc...
Bye,
#Poliwhirl#
$ \displaystyle F_0=1 $
$ \displaystyle F_1=1 $
$ \displaystyle F_2=2 $
Ecc...
Bye,
#Poliwhirl#
- HumanTorch
- Messaggi: 281
- Iscritto il: 01 gen 1970, 01:00
- Località: Tricase
$ 2^1>1 $ e il primo membro della disuguaglianza raddoppia, mentre il secondo non può mai raddoppiare se $ n>4 $ (e pertanto è vero, per induzione, che $ F_n<2^n $).
A questo punto: si è dimostrato che $ 2^n $ cresce più rapidamente di $ F_n $. La serie è convergente; prendiamo ora un'altra serie convergente, ovvero $ \displaystyle \sum_{k=1}^{n}\frac{1}{2^n} $, che avrà limite
$ $\lim_{n\to\infty}\frac{1}{2^n}=1 $.
Il limite della serie iniziale invece, è pari a $ $\lim_{n\to\infty}\frac{F_n}{2^n}=l>1 $, poichè, avendo il numeratore maggiore di $ 1 $, ogni termine di tale successione è maggiore del corrispondente nella seconda, ma minore del suo doppio (per ciò che è stato detto in precedenza): quindi al somma di tutte i termini sarà $ >2*1 $, ovvero minore (ma tendente) di $ 2 $.
A questo punto: si è dimostrato che $ 2^n $ cresce più rapidamente di $ F_n $. La serie è convergente; prendiamo ora un'altra serie convergente, ovvero $ \displaystyle \sum_{k=1}^{n}\frac{1}{2^n} $, che avrà limite
$ $\lim_{n\to\infty}\frac{1}{2^n}=1 $.
Il limite della serie iniziale invece, è pari a $ $\lim_{n\to\infty}\frac{F_n}{2^n}=l>1 $, poichè, avendo il numeratore maggiore di $ 1 $, ogni termine di tale successione è maggiore del corrispondente nella seconda, ma minore del suo doppio (per ciò che è stato detto in precedenza): quindi al somma di tutte i termini sarà $ >2*1 $, ovvero minore (ma tendente) di $ 2 $.
Ultima modifica di HumanTorch il 19 mag 2005, 22:56, modificato 3 volte in totale.
Io ho utilizzato lo stesso procedimento di biagio(almeno credo).E' un po' contoso ma piuttosto semplice da applicare.Scrivo i conti per chiarezza:
Per la formula di Binet
$ \displaymatch \frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}\left( {\left( {\frac{{1 + \sqrt 5 }}{4}} \right)^n - \left( {\frac{{1 - \sqrt 5 }}{4}} \right)^n } \right) $
quindi
$ \displaymatch \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}} \sum\limits_{i = 1}^n {\left( {\left( {\frac{{1 + \sqrt 5 }}{4}} \right)^n - \left( {\frac{{1 - \sqrt 5 }}{4}} \right)^n } \right)} $
Applicando la serie geometrica alla somma di prima si ricava
$ \displaymatch \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}} \left( {x\frac{{\left( {x^n - 1} \right)}}{{x - 1}} - y\frac{{\left( {y^n - 1} \right)}}{{y - 1}}} \right) $
dove $ \displaymatch x = \frac{{1 + \sqrt 5 }}{4} < 1\,\,;\,\,\,y = \frac{{1 - \sqrt 5 }}{4}\,\, > -1 $
Infine passando al limite si trova che la serie converge a 2:
$ \displaymatch \mathop {\lim }\limits_{n \to + \infty } \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = - \frac{1}{{\sqrt 5 }}} \left( {\frac{x}{{x - 1}} - \frac{y}{{y - 1}}} \right) = 2 $
Per la formula di Binet
$ \displaymatch \frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}\left( {\left( {\frac{{1 + \sqrt 5 }}{4}} \right)^n - \left( {\frac{{1 - \sqrt 5 }}{4}} \right)^n } \right) $
quindi
$ \displaymatch \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}} \sum\limits_{i = 1}^n {\left( {\left( {\frac{{1 + \sqrt 5 }}{4}} \right)^n - \left( {\frac{{1 - \sqrt 5 }}{4}} \right)^n } \right)} $
Applicando la serie geometrica alla somma di prima si ricava
$ \displaymatch \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = \frac{1}{{\sqrt 5 }}} \left( {x\frac{{\left( {x^n - 1} \right)}}{{x - 1}} - y\frac{{\left( {y^n - 1} \right)}}{{y - 1}}} \right) $
dove $ \displaymatch x = \frac{{1 + \sqrt 5 }}{4} < 1\,\,;\,\,\,y = \frac{{1 - \sqrt 5 }}{4}\,\, > -1 $
Infine passando al limite si trova che la serie converge a 2:
$ \displaymatch \mathop {\lim }\limits_{n \to + \infty } \sum\limits_{i = 1}^n {\frac{{F_n }}{{2^n }} = - \frac{1}{{\sqrt 5 }}} \left( {\frac{x}{{x - 1}} - \frac{y}{{y - 1}}} \right) = 2 $
- HumanTorch
- Messaggi: 281
- Iscritto il: 01 gen 1970, 01:00
- Località: Tricase
Innanzitutto la serie in questione è non decrescente, quindi monotona, quindi regolare. Presa la seconda serie (la somma delle potenze di $ \frac{1}{2} $ da $ 0 $ a $ n $), essa tende a $ 2 $.
Per il resto ho considerato il fatto che massimo tre termini (passando poi a due)consecutivi possono essere maggiori o uguali di $ \frac{1}{2^k} $, dimostrato per induzione, e qualche proprietà sui limiti e le funzioni in questione, in particolare sulla convergenza dei loro termini.
Chiedo venia per la confusione, ma a quest'ora sclero.
Per il resto ho considerato il fatto che massimo tre termini (passando poi a due)consecutivi possono essere maggiori o uguali di $ \frac{1}{2^k} $, dimostrato per induzione, e qualche proprietà sui limiti e le funzioni in questione, in particolare sulla convergenza dei loro termini.
Chiedo venia per la confusione, ma a quest'ora sclero.
-
- Messaggi: 78
- Iscritto il: 25 feb 2005, 22:07
- Località: Padova
- HumanTorch
- Messaggi: 281
- Iscritto il: 01 gen 1970, 01:00
- Località: Tricase
-
- Messaggi: 78
- Iscritto il: 25 feb 2005, 22:07
- Località: Padova
- HumanTorch
- Messaggi: 281
- Iscritto il: 01 gen 1970, 01:00
- Località: Tricase
Parli di ogni termine (lo si trova sostituendo il numero desiderato a $ n $, o forse cerchi una funzione polinomiale o un'altra funzione che integri le due) o di un'espressione per il calcolo della sommatoria?AlessandroSfigato ha scritto:come si fa a trovare l'ennesimo numero della sequenza in forma di espressione?
Per quanto riguarda la serie, essa si dice convergente se, al tendere a infinito di $ n $, $ a_n $ tende a un dato numero $ l $.
Oppure, se preferisci, una serie converge se, preso un qualsiasi intero $ m $, si ha, per ogni $ k \in \mathbb{N} $, $ a_{m+k}-l<m $.
Un esempio pratico: se si fissa un dato valore per lo spazio, velocità e tempo sono inversamente proporzionali; quindi, presa la velocità come variabile indipendente $ x $, se $ x $ tende a infinito, il tempo tende a $ 0 $. Ciò che vale per le funzioni lo puoi applicare alle serie.
Credo che Alessandro chiedesse come si arriva dalla successione di Fibonacci alla "formula più brutta del mondo" alias "formula che se non la provi non ci credi" alias "formula di Binet". Invero la dimostrazione è abbastanza semplice
Chiamo $ \{F_n\} $ la successione di Fibonacci.
Innanzitutto prendo l'equazione $ x^2=x+1 $, dette $ \alpha $ e $ \beta $ le sue radici avremo che:
$ {\alpha}^{n+2}={\alpha}^{n+1}+{\alpha}^n $, basta moltiplicare la precedente per $ \alpha^n $, e che
$ {\beta}^{n+2}={\beta}^{n+1}+{\beta}^n $
quindi le successioni $ \{F_n\},\{\alpha^n\},\{\beta^n\} $ ricorrono allo stesso modo. Moltiplicando per $ A $ e $ B $, reali arbitrari avremo che
$ A{\alpha}^{n+2}=A{\alpha}^{n+1}+A{\alpha}^n $,
$ B{\beta}^{n+2}=B{\beta}^{n+1}+B{\beta}^n $
e quindi anche le successioni $ \{A\alpha^n\},\{B\beta^n\} $ ricorrono come quelle sopra, sommando le due espressioni sopra si avrà che anche $ \{A\alpha^n+B\beta^n\} $ ricorre allo stesso modo.
A questo punto per eguagliare le due successioni ci basta prendere uguali i primi due termini, ciò equivale a risolvere il sistema
$ \displaystyle A\frac{1+\sqrt{5}}{2}+B\frac{1-\sqrt{5}}{2}=1 $
$ \displaystyle A\left(\frac{1+\sqrt{5}}{2}\right)^2+B\left(\frac{1-\sqrt{5}}{2}\right)^2=1 $
si avrà quindi esattamente la formula di Binet
Chiamo $ \{F_n\} $ la successione di Fibonacci.
Innanzitutto prendo l'equazione $ x^2=x+1 $, dette $ \alpha $ e $ \beta $ le sue radici avremo che:
$ {\alpha}^{n+2}={\alpha}^{n+1}+{\alpha}^n $, basta moltiplicare la precedente per $ \alpha^n $, e che
$ {\beta}^{n+2}={\beta}^{n+1}+{\beta}^n $
quindi le successioni $ \{F_n\},\{\alpha^n\},\{\beta^n\} $ ricorrono allo stesso modo. Moltiplicando per $ A $ e $ B $, reali arbitrari avremo che
$ A{\alpha}^{n+2}=A{\alpha}^{n+1}+A{\alpha}^n $,
$ B{\beta}^{n+2}=B{\beta}^{n+1}+B{\beta}^n $
e quindi anche le successioni $ \{A\alpha^n\},\{B\beta^n\} $ ricorrono come quelle sopra, sommando le due espressioni sopra si avrà che anche $ \{A\alpha^n+B\beta^n\} $ ricorre allo stesso modo.
A questo punto per eguagliare le due successioni ci basta prendere uguali i primi due termini, ciò equivale a risolvere il sistema
$ \displaystyle A\frac{1+\sqrt{5}}{2}+B\frac{1-\sqrt{5}}{2}=1 $
$ \displaystyle A\left(\frac{1+\sqrt{5}}{2}\right)^2+B\left(\frac{1-\sqrt{5}}{2}\right)^2=1 $
si avrà quindi esattamente la formula di Binet
-
- Messaggi: 78
- Iscritto il: 25 feb 2005, 22:07
- Località: Padova
forse mi sono spiegato male o più probabilmente non ho capito la risposta di boll, io chiedevo la formula in funzione di n con la quale si ottiene l'ennesimo numero della sequenza di fibonacci.
la tua dimostrazione boll non ho capito cosa sia cioè cosa voglia dimostrare oltre ad alcuni passaggi che non mi sono chiari.
la tua dimostrazione boll non ho capito cosa sia cioè cosa voglia dimostrare oltre ad alcuni passaggi che non mi sono chiari.
Ehm, esattamente quello che hai chiesto, Alessandro, la mia dimostrazione dimostra (scusate l'italiano) che, detta $ \{F_n\} $ la successione di Fibonacci si avrà:
$ \displaystyle F_n=\frac{1}{\sqrt5}\left(\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right) $
tale formula è detta appunto "formula di Binet"
Riguardo ai passaggi che non ti sono chiari, sarò felice di fugare i tuoi dubbi
$ \displaystyle F_n=\frac{1}{\sqrt5}\left(\left(\frac{1+\sqrt{5}}{2}\right)^n-\left(\frac{1-\sqrt{5}}{2}\right)^n\right) $
tale formula è detta appunto "formula di Binet"
Riguardo ai passaggi che non ti sono chiari, sarò felice di fugare i tuoi dubbi