Encontrar $ n\geq1 $ tales que 7 divide $n^n-3$.
Aquí es lo que he encontrado:
$ n\equiv 0 \mod7, n^n\equiv 0 \mod7,n^n-3\equiv -3 \mod7$ ninguna solución.
$ n\equiv 1 \mod7, n^n\equiv 1 \mod7,n^n-3\equiv -2 \mod7 $ ninguna solución.
$ n\equiv 2 \mod7, n^n\equiv 2^n \mod7, n^n-3\equiv 2^n-3 \mod7$. Es $2^n\equiv 3 \mod7 $ posible?
$ n=7k+2,..., 2^{7k+2}\equiv 2^{k+2} \mod7$. Es $2^{k+2}\equiv 3 \mod7$ posible?
El estudio de $k$ modulo 6: $2^{6q+2}\equiv 4 \mod7, 2^{6q+3}\equiv 1 \mod7, 2^{6q+4}\equiv 2 \mod7, 2^{6q+5}\equiv 4 \mod7, 2^{6q+6}\equiv 1 \mod7, 2^{6q+7}\equiv 2 \mod7 $
La congruencia nunca es 3, así que no hay ninguna solución para $n\equiv 2 \mod7$.
$ n\equiv -2 \mod7,..., n=42q+5 $
$ n\equiv-1 \mod7, n^n-3\equiv (-1)^n-3 \mod7 $: no hay solución.
$ n\equiv 3 \mod7, n^n-3 \equiv 3^n-3 \mod7$. Es $3^n\equiv 3 \mod 7$ posible?
$n=7k+3,..., 3^{7k+3}\equiv -3^k \mod7 $. Es $3^k \equiv 4 \mod 7 $ posible?
El estudio de $k$ modulo 6:
$ 3^{6q} \equiv 1 \mod7, 3^{6q+1} \equiv 3 \mod7, 3^{6q+2} \equiv 2 \mod7, 3^{6q+3} \equiv -1 \mod7, 3^{6q+4} \equiv 4 \mod7 , 3^{6q+5} \equiv -2 \mod7 $ Por lo $ n=7k+3=7(6q+4)+3=42q+31 $ es una solución.
$ n\equiv -3 \mod7 $,..., no es la solución.
$42q+31 \equiv 3 \mod 7, (42q+31)^{42q+31} \equiv 3^{42q+31} \mod 7 \equiv 3 \mod7$ OK
$ 42q+5 \equiv 4 \mod7, (42q+5)^{42q+5} \equiv 5^{42q+5} \mod 7 \equiv 3 \mod7$ OK
Así que 7 divide $ n^n-3 $ si y sólo si $ n\equiv 31 \mod 42$ o $ n\equiv 5 \mod 42$