F_m divide a F_mn.
La propiedad de divisibilidad de Fibonacci es un resultado fundamental en la teoría de números y la combinatoria que establece un vínculo directo entre la divisibilidad de los índices y la divisibilidad de los mismos números de Fibonacci. Específicamente, el teorema dice que si un entero $m$ divide a un entero $n$, entonces el $m$-ésimo número de Fibonacci $F_m$ divide al $n$-ésimo número de Fibonacci $F_n$. Esta propiedad transforma relaciones aritméticas entre índices en relaciones aritméticas entre los términos de la sucesión.
Este concepto es clave en las olimpiadas de matemáticas, especialmente en el AMC 10/12 y el AIME, para simplificar problemas que involucran números de Fibonacci muy grandes. La usas seguido para calcular el máximo común divisor de dos números de Fibonacci sin tener que calcular sus valores masivos, o para determinar factorizaciones en primos. La propiedad implica que la sucesión de Fibonacci es una "sucesión de divisibilidad".
Intuitivamente, puedes entender esto observando la sucesión módulo $F_m$. Como $F_m \equiv 0 \pmod{F_m}$ y defines la sucesión con una recurrencia lineal, el patrón de los residuos módulo $F_m$ es periódico. Los ceros en esta sucesión aparecen en los índices que son múltiplos de $m$. Por lo tanto, $F_{km} \equiv 0 \pmod{F_m}$ para cualquier entero $k$, lo que significa que $F_m$ divide