Primero, permítanme hacer una pregunta más simple: ¿por qué hay un patrón en los restos?
Supongamos que tengo algún número entero positivo $b$ (en tu caso $b=7$ ). Luego los restos respetan la multiplicación Si $x, x'$ son números enteros positivos que producen el mismo resto cuando se dividen por $b$ y $y, y'$ son números enteros positivos que producen el mismo resto cuando se dividen por $b$ Entonces $xy$ y $x'y'$ producen el mismo resto cuando se dividen por $b$ .
Esto es aritmética modular para un número entero positivo $b$ podemos desarrollar la aritmética en el conjunto $R_b=\{0, 1, 2, . . . , b-1\}$ interpretando elementos de $R_b$ como restos. Por ejemplo, cada vez que multiplico dos números pares obtengo un número par; esto se representa como $$0 \times 0=0 \quad \mbox {(in $ R_2 $)}.$$ Debido a que los residuos respetan la multiplicación, esto tiene sentido y funciona de la manera que queremos.
Entonces, ¿qué tiene que ver esto con los poderes? Bueno, arregla $b$ y considerar la secuencia $a, a^2, a^3, . . .$ . Desde $R_b$ es finito, hay algunos $m<n$ de tal manera que $a^m$ y $a^n$ dejan el mismo resto cuando se dividen por $b$ . Una vez que esto ocurra, los restos se repetirán: el resto de $a^{n+1}$ cuando se divide por $b$ será el mismo que el resto de $a^{m+1}$ cuando se divide por $b$ etc. Así que la secuencia de restos de poderes de algún número siempre será eventualmente repitiendo .
Tenga en cuenta que "eventualmente" es crucial aquí: considere $a=3$ , $b=27$ . Entonces la secuencia de residuos es $3, 9, 0, 0, 0, 0, . . .$ . De manera similar, si tomamos $a=2$ y $b=12$ tenemos $2, 4, 8, 4, 8, 4, 8, . . .$ Esto sucede porque $a$ y $b$ comparten los factores principales. El teorema de Euler dice que si, por el contrario, $a$ y $b$ son coprime (no tienen otros factores además de $1$ en común), entonces este patrón sólo se repite, punto y aparte, y de hecho nos dice cuánto tiempo tardará en repetirse.