La ecuación de $a^2 = a$ tiene exactamente dos soluciones de ( $0$ $1$ ) modulo de cualquier fuente primaria de energía, debido a que:
- Mod $p$, sólo tiene dos raíces $0$$1$, porque es cuadrática, y $\mathbb F_p$ es un campo;
- Por Hensel del lexema, ya que la derivada de $a^2-a$ $2a-1$ y es distinto de cero al $a=0$ o $a=1$ podemos levantar esas soluciones.
Así que debemos saber que:
- $a^2 \equiv a \pmod{2^4}$ si $a \equiv 0 \pmod{2^4}$ o $a \equiv 1 \pmod{2^4}$,
- $a^2 \equiv a \pmod{5^4}$ si $a \equiv 0 \pmod{5^4}$ o $a \equiv 1 \pmod{5^4}$.
Sin embargo, modulo $10^4$, tenemos más libertad, porque nos puede pegar estas soluciones de cualquier manera que nos gusta por el teorema del resto Chino. Nuestras opciones son
\begin{align}
a\equiv 0 \pmod{2^4}\text{ and }a\equiv 0 \pmod{5^4} &\implies a \equiv 0 \pmod{10^4} \\
a\equiv 0 \pmod{2^4}\text{ and }a\equiv 1 \pmod{5^4} &\implies a \equiv 9376 \pmod{10^4} \\
a\equiv 1 \pmod{2^4}\text{ and }a\equiv 0 \pmod{5^4} &\implies a \equiv 625 \pmod{10^4} \\
a\equiv 1 \pmod{2^4}\text{ and }a\equiv 1 \pmod{5^4} &\implies a \equiv 1 \pmod{10^4}
\end{align}
(Para calcular los dos valores del medio, tome $2^4$ multiplicado por el inverso de a $2^4$ modulo $5^4$, e $5^4$ multiplicado por el inverso de a $5^4$ modulo $2^4$, respectivamente).
Así que en general (modulo $10^n$ otros $n$) hay dos soluciones distintas de $0$$1$, pero debido a $625$ no es en realidad un número de cuatro dígitos, el correcto aquí es $9376$.
Supongo que de una manera más simple de obtener para el resto Chino paso es observar que si $10^4 \mid a(a-1)$, $a$ $a-1$ es impar, y uno de $a$ $a-1$ no es divisible por $5$, por lo que debemos tener $2^4 \mid a$ $5^4 \mid a-1$ o a la inversa para obtener una solución no trivial. Pero no veo una manera de evitar el teorema del resto Chino.