Fibonacci senza binomiali
Fibonacci senza binomiali
Calcolare $ F_n^2+F_{n+1}^2 $, dove $ F_n $ indica i numeri di Fibonacci.
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
Intendi così: cazzata?Thebear ha scritto:EDIT: cazzata gigantesca...
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
UauSepp ha scritto:$ \left( \begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array} \right) $ è proprio una bella matrice, ma le sue potenze ancora di più!
Sia $ $F_0=0, F_1=1$ $.
Sia $ $A=\left( \begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array} \right)$ $. Si dimostra per induzione che $ $A^n=\left( \begin{array}{cc} F_{n+1} & F_n \\ F_n & F_{n-1} \end{array} \right)$ $.
Ora $ $A^n*A^{n+1}=\left( \begin{array}{cc} F_{n+1}F_{n+2}+F_nF_{n+1} & F_n^2+F_{n+1}^2 \\ F_nF_{n+2}+F_{n-1}F_{n+1} & F_nF_{n+1}+F_nF_{n-1} \end{array} \right)$ $
Ma $ $A^n*A^{n+1}=A^{2n+1}=\left( \begin{array}{cc} F_{2n+2} & F_{2n+1} \\ F_{2n+1} & F_{2n} \end{array} \right)$ $
da cui (tra le altre cose) :
$ $F_n^2+F_{n+1}^2=F_{2n+1}$ $
Grazie del consiglio Sepp!
Bene, prendiamo un pentagono di [tex]$n$[/tex] lati...
-
ziotasipapaboa
- Messaggi: 8
- Iscritto il: 04 giu 2008, 22:16
Suvvia
Rilancio: dimostrate che $ F_{3n}=F_{n+1}^3+F_n^3-F_{n-1}^3 $ oppure per i più vogliosi
$ F_{n+m+p}=F_{n+1}F_{m+1}F_{p+1}+F_nF_mF_p-F_{n-1}F_{m-1}F_{p-1} $
Ciao
$ F_{n+m+p}=F_{n+1}F_{m+1}F_{p+1}+F_nF_mF_p-F_{n-1}F_{m-1}F_{p-1} $
Ciao
Figliolo il papaboa non vuole che bestemmi... (zioTasi)
Chiamiamo $ T(m,n,p) $ il RHS. Notiamo che $ T $ è simmetrica nelle variabili. Per dimostrare la formula con l'induzione, basta quindi indurre rispetto a una sola delle variabili, wlog $ m $.
Verifichiamo innanzi tutto che la formula è vera per $ T(0,0,0) $ e $ T(1,0,0)=T(0,1,0)=T(0,0,1) $: si ha infatti
$ T(0,0,0)=F_1^3+F_0^3-F_{-1}^3=1^3+0^3-1^3=0=F_{0+0+0} $;
$ T(1,0,0)=F_2F_1^2+F_1F_0^2-F_0F_{-1}^2=1+0+0=F_{1+0+0} $.
Ora dimostriamo che supponendo valide le formule per $ T(m,n,p) $ e $ T(m-1,n,p) $ si ottiene $ T(m+1,n,p) $. Abbiamo infatti
$ \begin{array}{l} F_{(m+1)+n+p}=F_{m+n+p}+F_{(m-1)+n+p}=T(m,n,p)+T(m-1,n,p)=\\ =(F_{m+1}F_{n+1}F_{p+1}+F_mF_nF_p-F_{m-1}F_{n-1}F_{p-1})+ (F_{m}F_{n+1}F_{p+1}+F_{m-1}F_nF_p-F_{m-2}F_{n-1}F_{p-1})=\\ =F_{m+2}F_{n+1}F_{p}+F_{m+1}F_nF_p-F_mF_{n-1}F_{p-1}=\\ =T(m+1,n,p) \end{array} $
Verifichiamo innanzi tutto che la formula è vera per $ T(0,0,0) $ e $ T(1,0,0)=T(0,1,0)=T(0,0,1) $: si ha infatti
$ T(0,0,0)=F_1^3+F_0^3-F_{-1}^3=1^3+0^3-1^3=0=F_{0+0+0} $;
$ T(1,0,0)=F_2F_1^2+F_1F_0^2-F_0F_{-1}^2=1+0+0=F_{1+0+0} $.
Ora dimostriamo che supponendo valide le formule per $ T(m,n,p) $ e $ T(m-1,n,p) $ si ottiene $ T(m+1,n,p) $. Abbiamo infatti
$ \begin{array}{l} F_{(m+1)+n+p}=F_{m+n+p}+F_{(m-1)+n+p}=T(m,n,p)+T(m-1,n,p)=\\ =(F_{m+1}F_{n+1}F_{p+1}+F_mF_nF_p-F_{m-1}F_{n-1}F_{p-1})+ (F_{m}F_{n+1}F_{p+1}+F_{m-1}F_nF_p-F_{m-2}F_{n-1}F_{p-1})=\\ =F_{m+2}F_{n+1}F_{p}+F_{m+1}F_nF_p-F_mF_{n-1}F_{p-1}=\\ =T(m+1,n,p) \end{array} $
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
-
Tibor Gallai
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
Curiosità: prendendo il determinante di $ A^n $, si ricava immediatamente l'identità di Cassini:fede90 ha scritto:Sia $ $A=\left( \begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array} \right)$ $. Si dimostra per induzione che $ $A^n=\left( \begin{array}{cc} F_{n+1} & F_n \\ F_n & F_{n-1} \end{array} \right)$ $.
$ F_{n-1}F_{n+1}-F^2_n=(-1)^n $.
[quote="Pigkappa"]Penso che faresti un favore al mondo se aprissi un bel topic di bestemmie da qualche parte in modo che ti bannino subito.[/quote]
