Deje $n$ ser un entero positivo. A continuación, $\varphi(n)$ se define como el número de enteros en el intervalo de $[0,n-1]$ que son relativamente primos a $n$, es decir, no tienen ningún factor mayor que $1$ en común con $n$. La función de $\varphi$ se llama la phi de Euler-función.
El siguiente resultado, debido a Euler, generaliza de Fermat (poco) Teorema.
Teorema: (Euler) Supongamos que $a$ es relativamente primer a $n$. A continuación,$a^{\varphi(n)}\equiv 1\pmod{n}$. Equivalentemente, $n$ divide $a^{\varphi(n)}-1$.
Pruebas de el Teorema de Euler se puede encontrar en cualquier libro Elemental de la Teoría de números. En el artículo de Wikipedia sobre el Teorema de Fermat, usted encontrará, bastante profundo en el artículo, una discusión de cómo adaptar una de las pruebas del Teorema de Fermat.
Supongamos ahora que $n$ es divisible ni por $2$ ni $5$, y deje $a=10$. A continuación, $a$ $n$ son relativamente primos, y por lo tanto
$$10^{\varphi(n)}\equiv 1\pmod{n}.$$
Para cualquier $k\ge 1$, el número de $10^k-1$ tiene representación decimal que consta sólo de $9$'s. Así hemos demostrado que si $n$ es divisible ni por $2$ ni $5$, entonces el número que consta de $\varphi(n)$ $9$'s es divisible por $n$.
Que le da un inicio en resolver el problema que usted está buscando. Utilice el resultado, es posible que desee buscar una fórmula para $\varphi(n)$ en términos de la descomposición en factores primos de a $n$.
Ahora podemos añadir más detalles. Hay algunas pequeñas complicaciones que en su problema, un dígito. Que hace una pequeña diferencia para el análisis, pero afecta a los números de $n$ que son divisibles por $3$ (cuando la cifra es $3$, $6$, o $9$) y los números de $n$ divisible por $7$ (cuando la cifra es $7$).
Estamos frente a un número teóricamente más importante complicación. Es muy posible que un número "más barato" que $\varphi(n)$ va a hacer el trabajo. En nuestro caso, el número de $n$ es impar. Vamos
$$n=p_1^{a_1}p_2^{a_2}\cdots p_k^{a_k},$$
donde el $p_i$ son distintos de los números primos impares. Deje $\lambda$ ser el mínimo común múltiplo de los números de $(p_i-1)p_i^{a_i-1}$. Luego resulta que el número que consta de $\lambda$ $9$'s es divisible por $n$. Para los números de $n$ que son divisibles por más de $1$ impares primos, tenemos $\lambda<\varphi(n)$. Para más detalles acerca de estas ideas, es posible que desee buscar en el Carmichael función.
Sin embargo, $\varphi(n)$ o la (generalmente mejorada) estimación $\lambda$ dada en el párrafo anterior, en general no dan el mínimo exponente que hace el trabajo.
Pero una vez que han encontrado un número $k$ tal que $10^k\equiv 1 \pmod{n}$, todo más barato exponente debe ser un divisor de a $k$. Para un gran $n$, esta observación puede simplificar considerablemente la búsqueda de la más barata exponente. Por el enorme $n$, el problema puede ser extremadamente difícil de cómputo.