Paridade

Definição. Denominamos números pares aos inteiros 0, 2, 4, ... ,-2, -4, -6, ..., ou
seja a todos os inteiros da forma 2𝑘, onde 𝑘 é algum inteiro. Semelhantemente,
denominamos números ímpares aos inteiros 1, 3, 5, . . . , -1, -3, -5, . . . ., ou seja
todos os inteiros da forma 2𝑘 + 1, onde 𝑘 é algum número inteiro.
Teorema. Cada número inteiro é ou par ou ímpar. Consequentemente, o
conjunto dos números inteiros fica particionado em dois subconjuntos: o dos
números pares e o dos números ímpares.
Prova. Dado um número inteiro 𝑛, dividindo por 2, temos: 𝑛 = 2𝑘 + 𝑟 , para
algum inteiro 𝑘 e onde o resto 𝑟 verifica 0 ≤ 𝑟 < 2 . Logo, ou 𝑟 = 0 e ficamos
com 𝑛 = 2𝑘 (um par), ou 𝑟 = 1 e ficamos com 𝑛 = 2𝑘 + 1 (um ímpar).
Consequência. Podemos dizer que os números inteiros pares são os inteiros
divisíveis por 2. (Observe que a definição nos diz que todo par é divisível por 2,
mas a recíproca precisa do teorema anterior.)
Definição. Dizemos que dois inteiros têm a mesma paridade se, e somente se, ou
ambos forem pares, ou ambos forem ímpares.
Exemplo. Zero é par, pois 0 = 2 𝑥 0. Não existe nenhum inteiro que seja
simultaneamente par e ímpar, pois teríamos uma igualdade da forma 2𝑘 = 𝑛 =
2𝑘’ + 1, a qual daria 2𝑘 = 2𝑘’ + 1 → 2𝑘 − 2𝑘 ′ = 1 → 2 𝑘 − 𝑘 ′ = 1, um
absurdo.
Teorema. Dado um número inteiro n, representando-o no sistema posicional
decimal:
o n é par quando, e só quando, sua expansão decimal terminar em 0, 2, 4, 6, ou
8;
o n é ímpar quando, e só quando, sua expansão decimal terminar em 1, 3, 5, 7
ou 9.
 Algumas consequências da aritmética da paridade.
(1) Todo número inteiro ou é par ou é ímpar.
(2) Paridade da soma e do produto em ℤ:
Prova.
Caso par + par: 2𝑘 + 2𝑘’ = 2(𝑘 + 𝑘’) = 2𝑘’’ = par.
Caso par + ímpar: 2𝑘 + (2𝑘’ + 1) = 2(𝑘 + 𝑘’) + 1 = 2𝑘’’ + 1 = ímpar.
Nos casos de subtração, caímos no caso de soma observando que dizer que n é
par é o mesmo que dizer que -n é par; análogo para n ímpar.
Cuidado! A divisão de dois números inteiros pode não resultar num número
inteiro e a noção de paridade só se aplica a números inteiros. Assim, somente
poderemos falar na paridade de um quociente de inteiros quando o resultado da
divisão for inteiro.
o par ÷ ímpar tendo resultado inteiro, este será par;
o ímpar ÷ ímpar tendo resultado inteiro, este será ímpar;
o par ÷ par tendo resultado inteiro, este pode ser tanto par como ímpar,
dependendo de quem dividimos;
o ímpar ÷ par nunca resulta num inteiro.
Exercício 1. Você pode encontrar cinco números ímpares cuja soma seja 100?
Exercício 2. Sem fazer a conta, determine se o seguinte número é par ou ímpar
5 × (7135 − 5317)963 + (9876 − 6789)24 .
Para analisar a paridade desse número, vamos utilizar as propriedades já vistas,
assim:
o A diferença 7135 − 5317 é um número par, pois é a diferença entre dois
números ímpares.
o A potência (7135 − 5317)963 é um número par, pois ela representa uma
multiplicação de vários números pares.
o O produto 5 × (7135 − 5317)963 é par, pois é o resultado da multiplicação
de um número ímpar por um número par.
o Na outra parcela da soma, a diferença 9876 − 6789 é um número ímpar, pois é
a diferença entre um par e um ímpar.
o A potência (9876 − 6789)24 é um número ímpar, pois ela representa uma
multiplicação de vários números ímpares.
Dessa forma, concluímos que na expressão dada, a primeira parcela da soma é
par e a segunda parcela da soma é ímpar, consequentemente o resultado da
soma é ímpar.
Exercício 3. Peças de um dominó comum
Vamos chamar de cadeia, o conjunto formado por todas as peças do dominó,
uma ao lado da outra de forma seguida, em que as extremidades tenham o
mesmo valor, ou seja:
Dada essa cadeia, independente no número que ela começar, é possível definir
qual o ultimo número?
Exercício 4. Em uma brincadeira, João e Maria retiram cartões numerados de 1 a
7 que estão sobre uma mesa, com as faces numeradas viradas para baixo. Em
cada rodada, João retira três cartões e Maria retira dois, restando dois cartões na
mesa. Depois de cada rodada, todos os cartões são embaralhados e devolvidos à
mesa.
(a) Na primeira rodada, João retirou um cartão com um número ímpar e dois
cartões com números pares. Maria retirou dois cartões com números ímpares.
Explique por que a soma dos números dos cartões que sobraram na mesa é
ímpar.
(a) Na listagem 1, 2, 3, 4, 5, 6, 7, há quatro números ímpares e três pares. Após
João e Maria terem retirado seus cartões, sobraram na mesa um cartão ímpar e
um cartão par. Desse modo, a soma dos cartões que sobraram na mesa é a soma
de um número par com um número ímpar sendo, portanto, ímpar.
(b) Na segunda rodada, João observou que o produto dos números de seus três
cartões era ímpar. O produto dos números dos dois cartões de Maria era par ou
era ímpar? Explique sua resposta.
Como o produto dos três cartões retirados por João era ímpar, seus três cartões
certamente eram ímpares. Assim, sobraram na mesa três cartões com números
pares e um cartão com número ímpar para Maria retirar. Como Maria retirou dois
desses cartões restantes, certamente retirou pelo menos um cartão par.
Consequentemente, o produto dos números dos cartões retirados por Maria na
segunda rodada foi par.
(c) Na terceira rodada, João olhou seus três cartões e concluiu, acertadamente,
que a soma dos números dos dois cartões de Maria era par. Quais foram os
cartões que João retirou? Explique sua resposta.
João concluiu acertadamente que a soma dos números dos cartões de Maria é
par porque ele retirou os três cartões pares. Caso contrário, sempre haveria a
possibilidade de Maria retirar um cartão par e um cartão ímpar, que somados
resultaria em um número ímpar.