Cada número entero es de una de las formas $\color{green}4k$ , $\color{green}4k+\color{red}1$ , $\color{green}4k+\color{red}2$ o $\color{green}4k+\color{red}3$ con $k$ entero. El cuadrado de un número entero tiene por tanto una de las formas
- $(\color{green}4k)^2 = 16k^2 = \color{green}4(4k^2) = \color{green}4k_0$ ,
- $(\color{green}4k+\color{red}1)^2 = 16k^2+8k+1 = \color{green}4(4k^2+2k)+\color{red}1 = \color{green}4k_1+\color{red}{1}$ ,
- $(\color{green}4k+\color{red}2)^2 = 16k^2+16k+4 = \color{green}4(4k^2+4k+1)=\color{green}4k_2$ o
- $(\color{green}4k+\color{red}3)^2 = 16k^2+24k+9 = \color{green}4(4k^2+6k+2)+\color{red}1 = \color{green}4k_3+\color{red}1$ .
Es decir, un cuadrado perfecto equivale a $\color{red}0$ o a $\color{red}1$ modulo $\color{green}4$ .
Por otro lado, $R_n=\underbrace{1\ldots1}_n=(10^n-1)/9$ para $n>1$ tiene la forma
- $R_n=100R_{n-2}+11 = \color{green}4(25R_{n-2}+2)+\color{red}3 = \color{green}4k_r+\color{red}3$ .
Es decir, para $n>1$ , $R_n$ equivale a $\color{red}3$ modulo $\color{green}4$ que, como se ha demostrado anteriormente, no se da en el caso de los cuadrados perfectos.
3 votos
@DrammaFreak, no estoy seguro de tu expectativa. Puedes echar un vistazo a math.stackexchange.com/questions/418161/