Dado un número natural de \( m \) cifras tal número se puede escribir como \( \sum_{k=0}^{m-1}c_k 10^k \), donde \( c_k\in\{0,\ldots,9\} \) para cada \( k \). Entonces como \( 4 \) divide a \( 10^k \) cuando \( k\geqslant 2 \) entonces la divisibilidad por \( 4 \) de cualquier número natural dependerá únicamente de sus dos últimas cifras, es decir, de \( c_0 \) y \( c_1 \).
Por tanto con un poco de análisis se puede ver que un número natural es divisible por cuatro si y solo si la última cifra es par y, además, esta última cifra dividida por dos tiene la misma paridad que la penúltima cifra (en un número natural de una cifra la penúltima cifra se puede considerar cero). Lo mismo usando fórmulas se puede escribir como
\( \displaystyle{
4 \mid \sum_{k=0}^{m-1}c_k10^k \iff 2\mid c_0 \,\land\, 2\mid\frac{c_0}{2}+ c_1\iff 4\mid c_0+2c_1
} \)
Por consiguiente en el caso que nos ocupa tenemos que \( n^2 \) debe ser divisible por \( 4 \), además de ser un número de una cifra, es decir que \( n^2\in \{0,4,8\} \). Si \( n \) tiene que ser un número natural y además consideramos (con acierto
) que el cero no es número natural, entonces la única solución es \( n=2 \). Si por el contrario asumimos que \( n \) puede ser cualquier número real, entonces el conjunto solución será \( \{-2\sqrt{2},-2,0,2,2\sqrt{2}\} \).