Bien, entonces sea x un número que no es divisible por 5, por lo que tendrá la forma [matemática] 5m + y [/ matemática] donde y puede tomar valores de [matemática] 1–4 [/ matemática]. cuadrando [matemática] x = 5m + y [/ matemática], obtenemos [matemática] x ^ 2 = (5m + y) ^ 2 = 25m ^ 2 + 10 * m * y + y ^ 2 [/ matemática].
En esto, los primeros dos términos son obviamente divisibles por 5 y tenemos el último término que es [matemática] 1, 4, 9 o 16 [/ matemática]. puede ver claramente si restamos 1 de [matemáticas] x ^ 2 [/ matemáticas] cuando y es 1 o 4, el número resultante se convierte en un múltiplo de 5. De manera similar, si sumamos 1 a [matemáticas] x ^ 2 [/ matemáticas] cuando y = 2 o 3 el número se convierte en un múltiplo de 5. Esta es la razón por la cual [matemática] x ^ 2 +1 [/ matemática] o [matemática] x ^ 2 -1 [/ matemática] es divisible por 5 incluso si x no es