Fibonacci senza binomiali

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Avatar utente
FeddyStra
Messaggi: 403
Iscritto il: 19 set 2006, 15:34
Località: 45° 7' 19.2'' N 7° 23' 20.1'' E

Fibonacci senza binomiali

Messaggio da FeddyStra » 17 lug 2009, 11:57

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]

Thebear
Messaggi: 311
Iscritto il: 13 feb 2008, 16:23
Località: Torino

Messaggio da Thebear » 17 lug 2009, 19:06

EDIT: cazzata gigantesca... :oops: :oops:
Edoardo

Avatar utente
Maioc92
Messaggi: 778
Iscritto il: 21 apr 2009, 21:07
Località: REGGIO EMILIA

Messaggio da Maioc92 » 17 lug 2009, 19:37

credo sia invece $ F_{2n+1} $. Però dimostrarlo è un'altra cosa...
Il tempo svela ogni cosa......ma allora perchè quel maledetto problema non si risolve da solo?!

Avatar utente
FeddyStra
Messaggi: 403
Iscritto il: 19 set 2006, 15:34
Località: 45° 7' 19.2'' N 7° 23' 20.1'' E

Messaggio da FeddyStra » 17 lug 2009, 20:19

Thebear ha scritto:EDIT: cazzata gigantesca... :oops: :oops:
Intendi così: cazzata?
[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]

Sepp
Messaggi: 87
Iscritto il: 01 gen 1970, 01:00
Località: Vicenza

Messaggio da Sepp » 18 lug 2009, 13:33

$ \left( \begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array} \right) $ è proprio una bella matrice, ma le sue potenze ancora di più! :D

fede90
Messaggi: 287
Iscritto il: 04 apr 2007, 21:36
Località: Udine

Messaggio da fede90 » 18 lug 2009, 15:33

Sepp ha scritto:$ \left( \begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array} \right) $ è proprio una bella matrice, ma le sue potenze ancora di più! :D
Uau :!:

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...

Avatar utente
ziotasipapaboa
Messaggi: 8
Iscritto il: 04 giu 2008, 22:16

Suvvia

Messaggio da ziotasipapaboa » 18 lug 2009, 16:21

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
Figliolo il papaboa non vuole che bestemmi... (zioTasi)

Avatar utente
FeddyStra
Messaggi: 403
Iscritto il: 19 set 2006, 15:34
Località: 45° 7' 19.2'' N 7° 23' 20.1'' E

Messaggio da FeddyStra » 19 lug 2009, 17:45

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} $
[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]

Tibor Gallai
Messaggi: 1776
Iscritto il: 17 nov 2007, 19:12

Messaggio da Tibor Gallai » 19 lug 2009, 18:11

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)$ $.
Curiosità: prendendo il determinante di $ A^n $, si ricava immediatamente l'identità di Cassini:

$ 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]

Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn » 20 lug 2009, 10:05

Maioc92 ha scritto:credo sia invece $ F_{2n+1} $. Però dimostrarlo è un'altra cosa...
Si poteva mostrare per induzione insieme a $ F_{2n+2}=F_{n+1}(2F_n+F_{n+1}) $
Viviamo intorno a un mare come rane intorno a uno stagno. (Socrate)

Rispondi