Binetova formula je izraz za računanje
-tog Fibonaccijevog broja kojeg označavamo s
, počevši od
Formula je nazvana po francuskom matematičaru Jacquesu Philippeu Binetu, iako je poznato da je za nju, stoljeće prije njega, znao Abraham de Moivre.
Ako s
označimo
tada formula glasi
[1]
Uočimo da su
oba rješenja zlatne jednadžbe
Dokaz Binetove formule će zbog toga biti skriven upravo u toj jednadžbi.
- ↑ Andrej Dujella, Teorija brojeva, Školska knjiga, 2019.