Forma cerrada usando la proporción áurea.
La Fórmula de Binet te da una expresión cerrada para el $n$-ésimo número de Fibonacci, lo que te permite calcular $F_n$ directamente sin tener que calcular todos los términos anteriores de la sucesión. Aunque definimos la sucesión de Fibonacci de forma recursiva como $F_n = F_{n-1} + F_{n-2}$ con los casos base $F_0=0$ y $F_1=1$, la Fórmula de Binet expresa $F_n$ en función de las raíces de la ecuación característica $x^2 - x - 1 = 0$. Sorprendentemente, esta fórmula depende de números irracionales que involucran a $\sqrt{5}$, pero siempre te va a dar un número entero para cualquier entero no negativo $n$.
En el contexto de competencias de matemáticas como el AMC y el AIME, la Fórmula de Binet es una herramienta muy poderosa para analizar el comportamiento asintótico de la sucesión de Fibonacci y para resolver problemas con índices muy grandes. Transforma problemas combinatorios discretos en problemas algebraicos. Por ejemplo, la puedes usar seguido para determinar cuántos dígitos tiene $F_n$, para demostrar propiedades de divisibilidad o para simplificar sumatorias complejas con números de Fibonacci. La fórmula resalta la conexión profunda entre las relaciones de recurrencia lineales y la Razón Áurea.
La intuición detrás de la fórmula viene de la teoría de las relaciones de recurrencia lineales homogéneas con coeficientes constantes. Como la recurrencia de Fibonacci