Second Order Fibonacci Number in terms of Fibonacci Numbers

Theorem
The second order Fibonacci number $\FF_n$ can be expressed in terms of Fibonacci numbers as:


 * $\dfrac {3 n + 3} 5 F_n - \dfrac n 5 F_{n + 1}$

Proof
Let $\map \GG z = \ds \sum_{n \mathop \ge 0} \mathop F_n z^n$ be a generating function for $\FF_n$.

Then we have:

Thus:

Then from Summation over k to n of Product of kth with n-kth Fibonacci Numbers, the coefficient of $z^n$ in $\paren {\map G z}^2$ is:
 * $\dfrac {\paren {n - 1} F_n + 2n F_{n - 1} } 5$

Thus the coefficient of $z^{n + 1}$ in $z \paren {\map G z}^2$ is likewise:
 * $\dfrac {\paren {n - 1} F_n + 2n F_{n - 1} } 5$

and so the coefficient of $z^n$ in $\map G z + z \paren {\map G z}^2$ is:


 * $F_n + \dfrac {\paren {n - 2} F_{n - 1} + 2 \paren {n - 1} F_{n - 2} } 5$

Hence: