Editing Fibonacci sequence (section)

=== Binet formula proofs ===

The Binet formula is
<math display=block>\sqrt5F_n = \varphi^n - \psi^n.</math>
This can be used to prove Fibonacci identities.

For example, to prove that <math display=inline>\sum_{i=1}^n F_i = F_{n+2} - 1</math>
note that the left hand side multiplied by <math>\sqrt5</math> becomes
<math display=block>
\begin{align}
1 +& \varphi + \varphi^2 + \dots + \varphi^n - \left(1 + \psi + \psi^2 + \dots + \psi^n \right)\\
&= \frac{\varphi^{n+1}-1}{\varphi-1} - \frac{\psi^{n+1}-1}{\psi-1}\\
&= \frac{\varphi^{n+1}-1}{-\psi} - \frac{\psi^{n+1}-1}{-\varphi}\\
&= \frac{-\varphi^{n+2}+\varphi + \psi^{n+2}-\psi}{\varphi\psi}\\
&= \varphi^{n+2}-\psi^{n+2}-(\varphi-\psi)\\
&= \sqrt5(F_{n+2}-1)\\
\end{align}</math>
as required, using the facts <math display=inline>\varphi\psi =- 1</math> and <math display=inline>\varphi-\psi=\sqrt5</math> to simplify the equations.