Hola, tengo una demostración que no entiendo muy bien. La escribo primero:
"Demostrar a partir del algoritmo de la división que el cuadrado de todo número impar se puede escribir en la forma \( 8k+1 \)"
Por el algoritmo de la división sabemos que para todo número entero \( a \) se tiene
\( a=4q+r \), donde \( 0\leq{r}<4 \)
Así pues \( r \) sólo puede tomar los valores 0,1,2 y 3. Por lo tanto todo número \( a \) es de la forma,
\( 4q,\;4q+1,\;4q+2\;ó\;4q+3 \),
Los números \( 4q=2\cdot{2}q \) y \( 4q+2=2(2q+1) \) son pares, por lo que debemos considerar los números de la forma \( 4q+1 \) y \( 4q+3 \).
Elevándolos al cuadrado tenemos
\( (4q+1)^2=16q^2+8q+1=8(2q^2
+1)+1=8k+1 \),
\( (4q+3)^2=16q^2+24q+9=8(2q^2+3q+1)+1=8k+1 \)
La duda es: ¿por qué llama \( k \) a dos expresiones diferentes?. Un saludo!.