26 votos

¿Forman los números de Fibonacci un sistema completo de residuos en cada módulo?

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.

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.

38voto

Exodd Puntos 2144

No, porque:

Si $m=11$ entonces los números de Fibonacci son $\pmod {11}$

$$ 0,1,1,2,3,5,8,2,10,1,0,1,1,\dots $$

así que $x = 4,6,7,9$ nunca se alcanzan.

0 votos

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?

32 votos

El 11 es un primo..

3 votos

@LionCoder: Lo más probable es que tuvieras que demostrar que para cada módulo $m$ hay un número de Fibonacci congruente con $0$ mod $m$ .

26voto

Dieter Meemken Puntos 121

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.

13voto

egreg Puntos 64348

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.

0 votos

¿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$ .

0 votos

@HarryRichman Sí, conté mal.

2voto

merkuro Puntos 4077

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.com

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.

Powered by:

X