# Binet's formula

## Theorem

The following formula holds: $$F_n = \dfrac{\phi^n - (-\phi)^{-n}}{\sqrt{5}},$$ where $F_n$ denotes a Fibonacci number and $\phi$ denotes the golden ratio.