2.

PARIDADE DE NUMEROS INTEIROS

Apesar de a ideia de paridade ser extremamente simples, combinada com um pouco de imaginao ela se torna
uma poderosa ferramenta na resoluo de problemas matemticos envolvendo nmeros inteiros, principal-
mente em problemas que pedem mostrar que impossvel que o resultado de algum tipo de contagem seja um
dado valor.

1). Conceito de paridade

2). Decidindo a paridade de um nmero via sua expanso decimal
3). Paridade de somas de inteiros
4). Paridade de produtos e quocientes de inteiros
5). Problemas envolvendo invarincia de paridade
6). Problemas famosos de paridade
7). Treinamento olmpico

1). Conceito de paridade

Definio
Denominamos nmeros pares aos inteiros 0, 2, 4, ... ,-2, -4, -6, ..., ou seja a todos os inteiros da forma 2 k,
onde k algum inteiro. Semelhantemente, denominamos nmeros mpares aos inteiros 1, 3, 5, . . . , -1, -3,
-5, . . . ., ou seja todos os inteiros da forma 2 k + 1, onde k algum nmero inteiro.

Teorema
Cada nmero inteiro ou par ou mpar. Consequentemente, o conjunto dos nmeros inteiros fica
particionado em dois subconjuntos: o dos nmeros pares e o dos nmeros mpares.

Prova.
Dado um nmero inteiro n, dividindo por 2, temos: n = 2k + r , para algum inteiro k e onde o resto r
verifica 0 r < 2 . Logo, ou r = 0 e ficamos com n = 2k (um par), ou r = 1 e ficamos com n = 2k + 1 (um
mpar). CQD.

Consequncia
Podemos dizer que os nmeros inteiros pares so os inteiros divisveis por 2. (Observe que a definio
nos diz que todo par divisvel por 2, mas a recproca precisa do teorema anterior.)

Definio
Dizemos que dois inteiros tm a mesma paridade quando, e s quando, ou ambos forem pares, ou ambos
forem mpares.
Exemplo
Zero par, pois 0 = 2 x 0. No existe nenhum inteiro que seja simultaneamente par e mpar, pois
teramos uma igualdade da forma 2k = n = 2k 0 + 1, a qual daria 2(kk 0 ) = 1, um absurdo.

2). Decidindo a paridade de um numero via sua expansao decimal

Teorema
Dado um nmero inteiro n, representado-o (escrevendo-o) no sistema posicional decimal:
n par quando, e s quando, sua expanso decimal terminar em 0, 2, 4, 6, ou 8;
n mpar quando, e s quando, sua expanso decimal terminar em 1, 3, 5, 7 ou 9.
Eventualmente, encontraremos problemas onde se indaga sobre a paridade de um inteiro escrito no sistema
binrio. Nesse sistema, um nmero par quando termina com o algarismo 0 e mpar quando termina com 1.
Existem resultados para outras bases (os detalhes dependem da paridade da base), mas no teremos utilidade
para eles.

Exemplo
No site do Yahoo, foi colocada a seguinte pergunta: O nmero 1,4 par ou mpar?" Os visitantes do
site escolheram como melhor resposta: Um nmero mpar apenas quando termina em 1, 3, 5, 7 ou
9. Logo, 1,4 par; a virgula no interfere em nada."
Um outro visitante, no concordando essa resposta, tentou corrigir o absurdo acima escrevendo: Meu
caro, antes de mais nada, saiba que os nmeros pares so aqueles que so divisveis por 2, dando um
resultado inteiro. Na base dessa sntese conclui-se que 1,4 mpar."
Pede-se apontar todos os erros, tanto da melhor resposta"como da correo".

3). Paridade de somas de inteiros

Antes de mais nada, observe que toda diferena de inteiros pode ser vista como uma soma. Exemplo:
5 2 = 5 + (2).

Paridade de somas de dois inteiros

par + par = par

par + mpar = mpar
mpar + mpar = par

Prova.
-Caso par + par: 2k + 2k 0 = 2(k + k 0 ) = 2k 00 = par.
-Caso par + mpar: 2k + (2k 0 + 1) = 2(k + k 0 ) + 1 = 2k 00 + 1 = mpar.
-Caso mpar + mpar: fica como exerccio.
Nos casos de subtrao, camos no caso de soma observando que dizer que n par o mesmo que
dizer que -n par; anlogo para n mpar.

2
 Paridade de somas de vrios inteiros

A soma de qualquer quantidade de inteiros pares um inteiro par.

A soma de uma quantidade par de inteiros todos mpares um inteiro par.
A soma de uma quantidade mpar de inteiros todos mpares um inteiro par.
A soma de uma mistura de inteiros pares e mpares um inteiro que tem a
mesma paridade que a quantidade de parcelas mpares que foram somadas.

Prova.
imediata aplicao dos resultados anteriores.

4). Paridade de produtos e quocientes de inteiros

Multiplicando dois inteiros

par par = par

par mpar = mpar par = par
mpar mpar = mpar

Prova.
Todos os casos so semelhantes, vejamos o segundo.
Temos (2k) (2k 0 + 1) = 4kk 0 + 2k = 2(2kk 0 + 1) = par.

Dividindo dois inteiros Menos

importante
Cuidado! A diviso de dois nmeros inteiros pode no resultar num nmero inteiro e a noo de pari-
dade s se aplica a nmeros inteiros. Assim, somente poderemos falar na paridade de um quociente
de inteiros quando o resultado da diviso for inteiro. Alm disso, raramente encontraremos problemas
envolvendo paridade de quocientes. Em todo o caso, o quadro seguinte resume as possibilidades.

par mpar tendo resultado inteiro, este ser par

mpar mpar tendo resultado inteiro, este ser mpar
par par tendo resultado inteiro, este pode ser tanto par como mpar, depen-
dendo de quem dividimos
mpar par nunca resulta num inteiro.

Prova. Precisaremos usar a fatorao em primos, assunto que recordaremos na aula seguinte, de modo
que se V. preferir pode deixar para estudar a demonstrao que se segue depois de assistir aquela aula.

Caso par mpar.

O numerador obrigatoriamente tem o fator 2 e o denominador no tem nenhum fator 2, de modo que se a
diviso resultar num inteiro, este inteiro herdar o fator 2 do numerador e, assim, ter de ser par.

3
 Caso mpar mpar.
Sejam m e n mpares e suponhamos que ocorra que q = m/n seja inteiro. Mostremos que a possibilidade q
par no pode ocorrer ( falsa). Com efeito, se q fosse par, de m = qn teramos m = par mpar = par, uma
contradio.
Caso par par.
Basta darmos exemplos. Temos 4/2 = 2 = par, e 6/2 = 3 = mpar.
Caso mpar par.
O numerador tem a forma 2k + 1 e o denominador 2k 0 . Mostremos que a possibilidade 2k+1 2k 0
= inteiro nos leva a
uma contradio, a um absurdo. Com efeito, se esse quociente fosse um inteiro k 00 , teramos 2k + 1 = k 00 2k 0 =
2 k 00 k 0 = par, ou seja: 2k + 1 seria mpar e par. CQD.

Exerccio
a). Como escrever dois inteiros pares consecutivos? E dois mpares consecutivos?
b). Mostrar que a soma de dois inteiros mpares consecutivos divisvel por 4. E a de dois pares
consecutivos?

Exerccio
a). Mostrar que todo inteiro mpar tem quadrado mpar.
b). Mostrar que todo mpar a diferena de dois quadrados.
c). Como aplicao do item anterior, calcule a soma dos n primeiros inteiros mpares.

Exerccio
a). Quando a soma de vrios inteiros mpares um par?
b). Idem mpar?
c). Somando vrios inteiros, uns pares e outros mpares, possvel resultar um inteiro par? Explique.
d). Mostrar que a soma de dois inteiros par se, e somente se, eles tm a mesma paridade.

Exerccio
Mostre que na igualdade abaixo impossvel que todos os denominadores sejam mpares:

1 1 1 1 1 1
+ + + + + =1
a b c d e f

Exerccio
Maria e colegas esto sentados em volta de uma mesa circular, e isso de modo que ambos os vizinhos
de cada colega so do mesmo sexo. Sabendo que cinco dos colegas de Maria so homens, pergunta-se
a quantidade de mulheres.
Dica.
Circule a partir de um dos vizinhos de Maria e observe que a regra obriga sairmos de um colega
homem e, indo alternando de sexo, chegarmos a um colega homem (o outro vizinho de Maria).
Consequentemente, tem de haver tantas mulheres como homens. Logo, existem cinco mulheres
(incluindo Maria).

4
5). Problemas envolvendo invariancia de paridade

A ideia de invarincia de capital importncia na Matemtica. Costuma-se

explorar a invarincia de uma paridade para provar que o resultado de uma
certa contagem no pode ter um certo valor.

Exemplo
Mostrar que em 1 2 3 4 . . . 10 no h maneira de se escolher os sinais de modo que a soma fique
igual a zero.
Soluo:
Certamente, o valor do resultado depende da escolha dos sinais. Contudo, sua paridade invariante
(no muda) com a escolha dos sinais. Com efeito, podemos at afirmar mais, pelo que vimos em (3), a
paridade desse resultado a paridade da quantidade de mpares na expresso acima, ou seja mpar
(pois temos cinco mpares: 1, 3, 5, 7, 9). Ora, ento nunca conseguiremos obter zero como resultado,
pois este par.

Exemplo
Em cada um dos dez degraus de uma escada est uma r. Cada r pode, de um pulo, pular para qualquer
outro degrau, mas quando fizer isso, ao mesmo tempo, uma outra r pular a mesma quantidade de
degraus em sentido contrrio: uma sobe e outra desce. Conseguiro as rs colocar-se todas juntas num
mesmo degrau?
Soluo:
Uma maneira muito utilizada para atacar problemas onde dada uma condio inicial e um conjunto
de operaes para manipul-la tentar procurar o que no muda, independentemente dos movimen-
tos que utilizamos. Note que se uma r vai de um degrau par para um mpar (muda de paridade), a
outra r que se movimenta com ela tambm pular um nmero mpar de degraus, mudando tambm
a paridade. Caso a primeira no mude, a sua parceira de movimento tambm permanecer num
degrau de mesma paridade.

INVARIANTE: paridade da quantidade de rs nos degraus de nmero par.

(comprove testando os movimentos possveis)

Como na posio inicial h 5 rs nos degraus de posio par e na posio final h ou dez ou zero rs
nos degraus de posio par, a posio final no pode ser obtida da posio inicial apenas fazendo
essas operaes permitidas.

Problema
Todo final de tarde, perto de minha casa, trs andorinhas costumam voar brincando. Elas voam
enfileiradas e, de tanto em tanto, uma delas passa na frente da seguinte. Pergunta: aps 2013 trocas de
posio, seria possvel vermos as andorinhas nas posies que ocupavam no incio da brincadeira?
Dica:
Denominemos as andorinhas de A, B e C. Para facilitar o raciocnio, imaginemos que elas voam em

5
um crculo (no h perda de generalidade supormos isso!) e sempre no sentido horrio. Considere a
seguinte evoluo tpica de posies:

CBA BCA BAC ABC.

Colocando-as no crculo (vide figura abaixo), e lendo-as sempre na ordem A, B, C, a configurao

CBA lida no sentido anti-horrio ; dela, passamos para BCA que lida (lembre que a ordem de
leitura sempre ser na ordem A, B, C), o que pode dar um sentido de leitura diferente do sentido
de vo) no sentido horrio; para a configurao BAC que no crculo lida no sentido anti-horrio;
semelhantemente, a configurao seguinte, ABC, lida no sentido horrio.

Comparando as configuraes das andorinhas com as respectivas leituras na ordem A, B, C, o que V.

pode concluir sobre a pergunta do problema?

6). Problemas famosos de paridade

Estes problemas, com algumas adaptaes, frequentemente podem ser usados para resolvermos
outros problemas envolvendo paridade. , ento, importante que guardemos tanto a essncia de seus
enunciados como os raciocnios envolvidos.

Problema do aperto de mos

Cada um de ns, ao longo da vida, teremos saudado com um aperto de mo muitas pessoas. Mostrar que
em qualquer grupo par o nmero de pessoas que j apertaram um nmero mpar de mos no grupo.
Soluo-
Indiquemos por N o nmero de pessoas do grupo, por n k o nmero de apertos de mo dados pela
pessoa k, e seja m o nmero total de apertos de mo trocados. Temos:

n 1 + n 2 + n 3 + + n N = 2m .

Ora, como o resultado dessa soma par, ela tem de ter um nmero par de parcelas mpares.

Problema do barman
Um barman tem na sua frente 10 copos, 5 dos quais esto virados para baixo. Conseguir ele, sempre
virando simultneamente um par de copos de cada vez, e isso tantas vezes quantas desejar, finalmente
conseguir colocar todos os copos virados para baixo, ou todos virados para cima?
Soluo-
No! Para provarmos isso, observemos que ao virar dois copos, a paridade do nmero de copos virados
para baixo no muda (fica invariante). Com efeito, se um dos copos est virado para baixo e o outro
para cima, a invarincia bvia; se os dois copos esto virados para baixo, aps o movimento o nmero

6
de copos virados para baixo diminui de 2 e o dos para cima aumentou de 2, logo no houve mudana
na paridade; anlogo exame para o caso em que os dois copos esto virados para cima. Ora, como o
processo iniciou com um nmero mpar de copos virados para baixo, esta imparidade se conservar,
de modo que ser impossvel obter 10 ou 0 copos virados para baixo, pois esses dois nmeros so
pares.

Problema do tabuleiro
(Existe uma enorme quantidade de problemas baseados em tabuleiros de jogo de xadrez e assemelhados.
Segue-se um exemplo simples deles.)
Um tabuleiro colorido de branco e preto imitando um tabuleiro de xadrez, e cada casa contm um
inteiro. Sabemos que a soma dos nmeros em cada coluna e a soma dos nmeros em cada linha par.
Mostre que a soma dos nmeros nas casas pretas par.
Soluo-
Suponha, sem perda de generalidade, que o quadrado do canto esquerdo superior preto.
A partir desse quadrado, enumere as colunas da esquerda para a direita e as linhas de cima para
baixo. Some os nmeros das colunas em posies mpares e os nmeros das linhas em posies pares.
Perceba que cada quadrado preto do tabuleiro contado apenas uma vez nessa soma enquanto que
os quadrados brancos das linhas e colunas mencionadas so contados duas vezes. Logo, esse soma
tem a mesma paridade que a soma de todos os nmeros escritos nos quadrados pretos. Como a soma
de quaisquer linhas e colunas par, a soma dos nmeros nos quadrados pretos par.

TREINAMENTO OLIMPICO
Problema 1
possvel desenhar uma linha poligonal de 11 segmentos, cada um dos quais intercepta (num ponto
interior) exatamente um dos demais segmentos?

Dica.
Por contradio, mostremos que impossvel fazer tal desenho. Se fosse, poderamos agrupar os
segmentos da linha poligonal em duplas de segmentos que se interceptam. Ora, como cada segmento
corta exatamente um outro, poderamos agrupar os segmentos em duplas. Agora, responda: isso daria
que paridade para o nmero total de segmentos? Esta paridade possvel?

Problema 2
Em um quartel existem 100 soldados e, todas as noites, trs deles so escolhidos para trabalhar na
sentinela. possvel que aps certo tempo um dos soldados tenha trabalhado com cada um de todos os
outros exatamente uma vez?
Dica.
Resolveremos facilmente este problema se usarmos a ideia de paridade. Escolhido um soldado

7
qualquer, que denominaremos soldado 1, em cada noite em que ele trabalhar, ele ter uma dupla
de companheiros. Denominemos de soldados 2 e 3 os de sua primeira dupla de companheiros, de
soldados 4 e 5 os de sua segunda dupla (lembre que no pode haver repetio), e assim por diante.
Agora, responda: qual a paridade do nmero do soldado que inicia cada dupla? Disso, o que podemos
afirmar sobre o soldado 100? Concluso?

Teste sua compreenso desse raciocnio estudando os casos de quartel com 5 e 6 soldados. Depois,
tente generalizar a concluso para o caso de quartel com n soldados.

Problema 3
Numa regio, temos nove casas muito distantes entre si. Seria possvel ligar cada uma dessas casas a
exatamente sete outras atravs de estradas?
Dica.
Some a quantidade de estradas que saem de cada casa; qual sua paridade? Ora, como cada estrada
liga duas casas, a contagem conta cada estrada duas vezes, logo o nmero deveria ser par.

Problema 4
Mostre que se em qualquer festa, a quantidade de pessoas que conhecem um nmero mpar de outras
pessoas na festa sempre um inteiro par.
Dica.
J encontramos um problema parecido.

Para guardar!

Resultados bsicos sobre a paridade de somas de nmeros inteiros:

4 a soma de qualquer quantidade de inteiros pares um inteiro par;

4 a soma de uma quantidade par de inteiros todos mpares um inteiro par;
4 a soma de uma quantidade mpar de inteiros todos mpares um inteiro par;
4 a soma de uma mistura de inteiros pares e mpares um inteiro que tem a mesma
paridade que a quantidade de parcelas mpares que foram somadas.
Um uso importante da paridade ocorre quando queremos provar que impossvel valer uma
certa propriedade. Fazemos isso, associando algum conjunto ao problema, conjunto esse
que ao ser enumerado de dois modos distintos produz paridades distintas, o que constitui
um absurdo.