Logo, 3n + 1 é par, e não é congruente a 0, mod 4.
b)
[tex]2(2q + 1)[/tex] é um modo de dizer "o dobro de um ímpar". Desse modo, sempre será par, mas nunca divisível por 4 (pois, para isso, deveria ser divisível por [tex]2 \cdot 2[/tex], mas [tex]2q + 1[/tex] não é divisível por 2).
Lista de comentários
Verified answer
a)
[tex]n \equiv 3 \pmod 4\\n = 4k + 3\\n = 2 \cdot 2k + 2 + 1\\n = 2k' + 1[/tex]
n é ímpar.
[tex]n \equiv 3 \pmod 4\\3n \equiv 9 \pmod 4\\3n \equiv 1 \pmod 4\\3n + 1 \equiv 2 \pmod 4\\\\3(2k' + 1) + 1 \equiv 2 \pmod 4\\6k' + 3 + 1 \equiv 2 \pmod 4\\2 \cdot 3k' + 2^2 \equiv 2 \pmod 4\\2q \equiv 2 \pmod 4[/tex]
Logo, 3n + 1 é par, e não é congruente a 0, mod 4.
b)
[tex]2(2q + 1)[/tex] é um modo de dizer "o dobro de um ímpar". Desse modo, sempre será par, mas nunca divisível por 4 (pois, para isso, deveria ser divisível por [tex]2 \cdot 2[/tex], mas [tex]2q + 1[/tex] não é divisível por 2).
[tex]3n + 1 \equiv 2(2q+1) \pmod 4\\3n \equiv 4q + 2 - 1 \pmod 4\\3n \equiv 1 \pmod 4[/tex]
Multiplicando 3n pela classe inversa de 3, mod 4:
[tex]3(3n) \equiv 3 \cdot 1 \pmod 4\\9n \equiv 3 \pmod 4\\n \equiv 3 \pmod 4[/tex]