Arthur Benjamin en realidad escribió un libro que me parecía ser nada distinto de propiedades combinatorias de Fibonacci y otros números similares, llamados "las Pruebas de que Realmente cuenta". Me pareció bastante interesante. $F_n$ tiene una representación popular como una combinatoria de objeto, y que es el número de secuencias de 1s y 2s que se suma a la forma $n-1$. Esto es $F_n$ porque $F_1 = F_2 = 1$ y el número de maneras de hacer $n-1$ es el número de secuencias que se suma a $n-3$ con un dos en la final, y el número de maneras en que la suma de a $n-2$ con un 1 al final. Esto puede ser refundida con un número de otras situaciones, como colorante de las secuencias de las baldosas o la colocación de fichas de dominó, pero es la misma idea.
Ahora esta identidad viene de contar el número de maneras para formar esta suma que contienen exactamente $k$ $2s$ en la secuencia. Sumando esta de $0$ $n$es lo mismo que sumar de a $0$ $[\frac{n}{2}]$y es encontrar cómo muchas secuencias con 1 de dos, 2 de dos en dos, y así sucesivamente. Esto termina siendo el número total de maneras de hacer la secuencia, a pesar de que viene a ser $F_{n+1}$ e no $F_n$, como la secuencia de Fibonacci es generalmente indexadas en $1$ e no $0$ (por lo tanto, ¿por qué estamos sumando a $n-1$).