Enviado por coquitao el 7 de Mayo de 2013 - 21:20.
Puesto que 3≡−1(mod4) se sigue que
t2=3m+3n+1≡(−1)m+(−1)n+1(mod4).
Luego como el cuadrado de un entero sólo puede ser 0 ó 1 módulo 4, los números m y n no pueden ser de la misma paridad. Supongamos entonces que m=2u y n=2v+1. Se tiene entonces que
t2=3m+3n+1=32u+32v+1+1=9u+3⋅9v+1≡5(mod8),
lo cual es una contradicción pues el cuadrado de un entero sólo puede ser 0, 1 ó 4 en módulo 8.
Puesto que $3 \equiv -1
Puesto que 3≡−1(mod4) se sigue que
t2=3m+3n+1≡(−1)m+(−1)n+1(mod4).
Luego como el cuadrado de un entero sólo puede ser 0 ó 1 módulo 4, los números m y n no pueden ser de la misma paridad. Supongamos entonces que m=2u y n=2v+1. Se tiene entonces que
t2=3m+3n+1=32u+32v+1+1=9u+3⋅9v+1≡5(mod8),
lo cual es una contradicción pues el cuadrado de un entero sólo puede ser 0, 1 ó 4 en módulo 8.