Documente Academic
Documente Profesional
Documente Cultură
b) Suponha que r1 ∈ {0, 1, 2} e r2 ∈ {0, 1, 2, 3}. Mostre que o resto da divisão do produto
A × B por 7 é o produto dos restos r1 × r2 .
Solução:
1
Questão 2: Seja Z o conjunto dos número inteiros. Dados a e b números inteiros, diremos
que a ∼ b quando a − b for múltiplo de 3.
b) Mostre que esta relação possui exatamente três classes de equivalência em Z. Descreva
estas classes.
c) Mostre que as classes de equivalência determinam uma partição de Z. Isto é, que duas
classes distintas não possuem interseção e que a união das três classes contém todos os
números inteiros.
Solução:
(a) Afim de mostrar que a relação é de equivalência precisamos mostrar que a relação é
reflexiva, simétrica e transitiva.
Simetria: Se a ∼ b, então 3 divide a−b, logo existe q ∈ Z tal que a−b = 3q. Multiplicando
por −1 temos que b − a = 3(−q), donde conclui-se que b ∼ a.
(b) e (c) Fixe um inteiro b ∈ Z. O Teorema de Divisão de Euclides garante que qualquer
que seja a ∈ Z existem q e r, com r = 0, 1 ou 2 tais que a − b = 3q + r (q e r unicamente
determinados por estas propriedades). Então a − b − r = 3q, portanto, a ∼ (b + r), onde
r = 0, 1 ou 2.
2
isto implica que b ∼ b + 1, ou seja, que b − (b + 1) = 3q para algum q ∈ Z. Uma
contradição! (a contradição também poderia ser encontrada assim: a ∼ b e a ∼ (b + 1)
implica que existem q1 e q2 tais que a − b = 3q1 e a − b = 3q2 + 1. Mas isto contraria a
unicidade fornecida no Teorema de Divisão de Euclides.) Portanto, as classes não podem
ter interseção. A demonstração de que as classes de b e b + 2, assim como as classes
de b + 1 e b + 2 são disjuntas é inteiramente análoga e será deixada para exercitar o
estudante.
Solução:
c) Contra-exemplo. Como não estamos exigindo que 0 ≤ r < d então podemos ter por
exemplo 4 = 2 · 2 + 0 e 4 = 1 · 2 + 2.
3
b) Se p é um inteiro tal que p2 é par, então p é par.
Solução:
a) Note que é mais simples provarmos a contrapositiva, isto é, se p é um inteiro par então
p3 também será par.
De fato, sendo p par, pelo Teorema da Divisão de Euclides tem-se que p = 2k para algum
inteiro k > 0 e portanto p3 = 8k 3 , ou seja, p3 = 2 · (4k 3 ). Fazendo k1 = 4k 3 concluimos
que p3 = 2 · k1 , com k1 inteiro, mostrando que p3 é par.
Seja então p um inteiro ı́mpar, pelo Teorema da Divisão de Euclides temos que p = 2k + 1
para algum inteiro k. elevando ao quadrado de ambos os lados concluimos que p2 =
4k 2 + 4k + 1, isto é, p2 = 2(2k 2 + 2k) + 1, donde concluimos que p2 é ı́mpar.