Molto divertente...
Io sono arrivato a qualcosa del genere: $ \displaystyle F(2n) = F(n) \sqrt{5 F(n)^2 + 4 (-1)^n} $
L'idea di base è lavorare con la forma matriciale dei numeri di Fibonacci (
http://en.wikipedia.org/wiki/Fibonacci_ ... atrix_form).
Data $ A=\left(\begin{array}{ccc}0&1\\1&1\end{array}\right) $
$
\left(\begin{array}{ccc}F(n)\\F(n+1)\end{array}\right)=A^n \left(\begin{array}{ccc}F(0)\\F(1)\end{array}\right)=A^n \left(\begin{array}{ccc}0\\1\end{array}\right) $
Da cui con qualche osservazione si può arrivare a :$ A^n=\left(\begin{array}{ccc}F(n-1)&F(n)\\F(n)&F(n+1)\end{array}\right) $
Facendo il denominatore ad entrambi i lati: $ (-1)^n=F(n+1)F(n-1)-F(n)^2 $ (nota come Identità di Cassini)
Possiamo anche scrivere:
$ A^{2n}=A^nA^n= $$ \left(\begin{array}{ccc}F(n-1)&F(n)\\F(n)&F(n+1)\end{array}\right)^2 $$ \displaystyle= $$ \left(\begin{array}{ccc}{F(n-1)^2+F(n)^2}&{F(n)F(n-1)+F(n)F(n+1)}\\{F(n)F(n-1)+F(n)F(n+1)}&{F(n)^2+F(n+1)^2}\end{array}\right) $
Quindi $ F(2n)=\left(\begin{array}{ccc}{F(n-1)^2+F(n)^2}\\{F(n)F(n-1)+F(n)F(n+1)}\\\end{array}\right)\left(\begin{array}{ccc}{0}\\{1}\end{array}\right) $$ =F(n)F(n-1)+F(n)F(n+1) $
Combinando quest'ultima espressione, l'identità di Cassini e la definizione di successione di Fibonacci $ \displaystyle F(n+1)=F(n)+F(n-1) $
si dovrebbe appunto ottenere $ F(2n) = F(n) \sqrt{5 F(n)^2 + 4 (-1)^n} $