Binet formula (source code)

= Binet formula
{c}
{wiki}

For $\phi=(1+\sqrt5)/2$ and $\psi=(1-\sqrt5)/2$, the Fibonacci numbers satisfy
$$
F_n=\frac{\phi^n-\psi^n}{\sqrt5}.
$$