Quiero demostrarlo: $$\forall x,m\ \exists n:x\equiv_mF_n$$
Supongo que se puede demostrar esto por el principio de encasillamiento, pero no he conseguido encontrar una serie de $m+1$ números que cada uno quiere ocupar un número diferente.
Quiero demostrarlo: $$\forall x,m\ \exists n:x\equiv_mF_n$$
Supongo que se puede demostrar esto por el principio de encasillamiento, pero no he conseguido encontrar una serie de $m+1$ números que cada uno quiere ocupar un número diferente.
Interesante, ¡gracias! Tengo esto como un reto divertido para tratar de probar. ¿Podría ser que mi amigo mezclara algo? ¿Quizás quiso decir sólo módulo de un primo?
Esto no es cierto módulo 8, un cálculo muestra que ningún número de Fibonacci es equivalente a $ 4$ o $6 \mod 8$ .
De hecho, se puede utilizar el principio de encasillamiento para demostrar que esto nunca es cierto módulo a prime módulo $m$ que satisface $m\equiv 1$ o $4\mod 5$ es decir, siempre hay algún residuo $a$ tal que $$ a \not\equiv F_n \mod m \quad\text{for any }n.$$
Pista: Recuerda la ecuación de forma cerrada para los números de Fibonacci $$ F_n = A\phi^n + B\bar{\phi}^n \quad$$ donde $\phi = \frac12(1+\sqrt{5})$ es la proporción áurea y $\bar{\phi} = \frac12(1 -\sqrt{5})$ es su conjugado de Galois, y $A$ y $B$ son constantes que no son importantes en este momento.
Prueba: Si el primo $m$ satisface la condición de congruencia anterior módulo $5$ entonces por reciprocidad cuadrática los números $\pm\sqrt{5}$ están en el campo finito $\mathbb F_m$ y por lo tanto $\phi, \bar \phi \in \mathbb F_m$ . Dado que el grupo multiplicativo módulo $m$ tiene orden $\#\mathbb F_m^\times = m-1$ , la expresión de forma cerrada anterior implica que modulo $m$ los números de Fibonnaci son periódicos con periodo (dividiendo) $m-1$ . Por lo tanto, puede haber como máximo $m-1$ residuos disticos que aparecen en $\{F_n \mod m\}_n$ .
Por otro lado, si $m \equiv 2,3$ modulo $5$ (y $m \neq 5$ ), los números $\phi, \bar\phi$ se encuentran en la extensión cuadrática $\mathbb F_{m^2}$ y los números de Fibonacci $\{F_n \mod m\}_n$ tener el periodo $m^2 - 1$ . Así que el principio de encasillamiento no ayuda en este caso.
La secuencia de Fibonacci módulo $n$ es periódica, porque un par de números consecutivos se repetirá necesariamente después de un máximo de $n^2$ pasos.
Si $p>5$ es primo y $5$ es un residuo cuadrático módulo $p$ , lo que significa que $5$ es un cuadrado módulo $p$ Entonces, trabajando en el $p$ -campo de elementos, la ecuación característica de la recurrencia $a_{n+2}-a_{n+1}-a_n=0$ tiene raíces $$ r_+=\frac{1+u}{2}\qquad r_-=\frac{1-u}{2} $$ donde $u^2=5$ por lo que el término general tiene la forma $$ \alpha r_+^n+\beta r_-^n $$ Como queremos $a_0=0$ y $a_1=1$ necesitamos \begin{cases} \alpha+\beta=0\\ \alpha r_+ +\beta r_-=1 \end{cases} es decir, $\beta=-\alpha$ y $\alpha=1/u$ . Por lo tanto, $$ a_n=\frac{1}{u}(r_+^n-r_-^n) $$ Ya que por el pequeño Fermat tenemos $s^p=s$ por cada $s$ el período es como máximo $p-1$ y $1$ aparece dos veces en el período, por lo que no pueden aparecer al menos dos restos.
¿Quiere decir que $p-1$ para el período? Según es.wikipedia.org/wiki/Pisano_periodo A veces es incluso menor, por ejemplo cuando $p = 29$ el período es $14$ .
Valores con un sistema de residuos completo $\{0, 1, \dots, n-1 \}$ son números cualesquiera de la forma $$5^k, 2 \cdot 5^k, 4 \cdot 5^k, 3^j 5^k, 6 \cdot 5^k, 7 \cdot 5^k, 14 \cdot 5^k$$
con $k \ge 0, j \ge 1$ .
Fuentes (de A079002 ):
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
3 votos
Sin embargo, es cierto que para cualquier $m$ hay un número de Fibonacci no nulo $F_n$ tal que $F_n \equiv 0 \mod m$ . ¿Ha visto una prueba de esto?
0 votos
No, no lo he hecho. Lamentablemente, no hay muchos recursos en línea sobre los números de Fibonacci módulo m. Se agradece cualquier aportación.
4 votos
Si se calcula la secuencia de números de Fibonacci módulo $m$ la secuencia será finalmente periódica por el principio de encasillamiento - la secuencia está determinada por dos valores consecutivos cualesquiera y sólo hay $m^2$ tales parejas para elegir, así que una de ellas debe repetirse.
2 votos
Entonces, basta con demostrar que hay un 0 en esta parte periódica. ¿Ves por qué no puedes obtener una secuencia como $0,1,1,2,3,2,3,2,3,...$ para algunos $m$ ?
1 votos
Sí, ahora lo veo. Gracias
1 votos
(Hay explicaciones completas aquí si alguien tiene curiosidad).
9 votos
El $m$ valores para los que tiene razón, es decir, aquellos para los que la secuencia de Fibonacci módulo $m$ llega a todos los valores (modulo $m$ ), son 1, 2, 3, 4, 5, 6, 7, 9, 10, 14, 15, 20, 25, 27, 30, 35, 45, 50, 70, 75, 81, ... (OEIS A079002) . Verás $m=8$ y $m=11$ no están entre ellos, y la gente utiliza estos $m$ en sus contraejemplos en las respuestas.
0 votos
@JeppeStigNielsen No parece figurar en la descripción de esa secuencia, pero su complemento es A249104 ( Números defectuosos: No existe un sistema completo de residuos mod a(n) en la secuencia de Fibonacci. )
0 votos
@LegionMammal978 Exactamente. Ya he iniciado un proceso de edición que llevará a que esas dos entradas de la OEIS se refieran entre sí.