Sociedade Brasileira de Matemtica



3A AXAfGXL    P

Elementar, no? A afirmao acima, que uma das mais simples e bvias da Matemtica, tambm uma ferramenta de grande utilidade na resoluo de muitos problemas envolvendo nmeros naturais. Vamos comentar neste artigo alguns deles, em graus diferentes de dificuldade, mas inicialmente precisamos recordar trs importantes propriedades: a) a soma de dois nmeros pares par. b) a soma de dois nmeros mpares par. c) a soma de um nmero par com um nmero mpar mpar. Dizemos que dois nmeros inteiros tm mesma paridade, quando so ambos pares ou ambos mpares. Assim, podemos dizer que a soma de dois nmeros inteiros par se, e somente se, eles tm mesma paridade. Vamos aos problemas.

 

Em um quartel existem 100 soldados e, todas as noites, trs deles so escolhidos para trabalhar de sentinela. possvel que aps certo tempo um dos soldados tenha trabalhado com cada um dos outros exatamente uma vez? No. Escolha um soldado. Em cada noite em que trabalha, ele est em companhia de dois outros. Como 99 um nmero mpar, no podemos formar pares de soldados sempre diferentes para trabalhar com o escolhido.

   

Um jogo consiste de 9 botes luminosos (de cor verde ou vermelha) dispostos da seguinte forma:

EUREKA! N 2, 1998

32

Sociedade Brasileira de Matemtica

1 4 7

2 5 8

3 6 9

Apertando um boto do bordo do retngulo, trocam de cor ele e seus vizinhos (do lado ou em diagonal). Apertando o boto do centro, trocam de cor todos os seus 8 vizinhos porm ele no. Exemplos: Apertando 1, trocam de cor 1, 2, 4 e 5. Apertando 2, trocam de cor 1, 2, 3, 4, 5 e 6. Apertando 5, trocam de cor 1, 2, 3, 4, 6, 7, 8 e 9. Inicialmente todos os botes esto verdes. possvel, apertando sucessivamente alguns botes, torn-los todos vermelhos? No possvel. Observe que apertando um boto do vrtice do retngulo, trocam de cor 4 botes. Apertando um boto do meio de um lado, trocam de cor 6 botes e apertando um boto do centro trocam de cor 8 botes. Assim, cada vez que apertamos um boto trocam de cor um nmero par de botes. Como existem 9 botes, no possvel que todos troquem de cor.

 


 
Escrevemos abaixo os nmeros naturais de 1 a 10. 1 2 3 4 5 6 7 8 9 10.

Antes de cada um deles, coloque sinais + ou de forma que a soma de todos seja zero. : No possvel fazer isto. Imaginando que fosse possvel, deveramos separar os nmeros dados em dois grupos com a mesma soma. Ento colocaramos sinais negativos nos
EUREKA! N 2, 1998

% y 

33

Sociedade Brasileira de Matemtica

nmeros de um dos grupos e sinais positivos nos nmeros do outro. Teramos ento uma soma igual a zero. Acontece que a soma dos nmeros naturais de 1 a 10 igual a 55. Como este nmero mpar, no podemos separar os nmeros dados em dois grupos que tenham a mesma soma. Como o leitor deve estar percebendo, os argumentos utilizados permitiram concluir que as respostas dos trs problemas propostos foram iguais: no possvel fazer tal coisa. Na maioria das vezes, um argumento de paridade serve exatamente para isto. Mostrar que um determinado fato no pode ocorrer e isto no desanimador, muito pelo contrrio. Serve para nos convencer que no adianta ficar gastando tempo demais fazendo tentativas inteis. As experincias so valiosas no sentido de nos abrir os olhos para a possibilidade do problema no ter soluo e, a partir da, buscar um argumento que resolva definitivamente a questo. muito importante tambm explorar um problema, ou seja, imaginar pequenas modificaes no enunciado e verificar o que ocorre com sua resposta. Por exemplo, o problema 3 no tem soluo porque a soma dos naturais de 1 at 10 55 (mpar). O que ocorreria se a soma fosse par? Este um novo e atrativo problema. Vamos enunci-lo: : Escrevemos abaixo os nmeros naturais de 1 a 11. 1 2 3 4 5 6 7 8 9 10 11

 H

Antes de cada um deles, coloque sinais + ou de forma que a soma de todos seja zero. : A soma dos nmeros naturais de 1 a 11 66. Como podemos separ-los em dois grupos de soma 33? Comeando pelos maiores observe que 11 + 10 + 9 = 30. Logo, 11 + 10 + 9 + 3 = 33. O problema 3A tem como uma soluo possvel: +1 + 2 3 + 4 + 5 + 6 + 7 + 8 9 10 11 = 0
% y 

EUREKA! N 2, 1998

34

Sociedade Brasileira de Matemtica

Fica ao encargo do leitor mostrar que sempre que a soma dos naturais de 1 at n par ento podemos separ-los em dois grupos de igual soma. Voc pode utilizar o caminho que utilizamos acima, ou buscar uma outra forma.
!"$#&%(')!*+&, #-'$, .0/1!", 2!#&'3#-4&5(6 '&2(&#

Voc pode propor aos seus amigos os problemas 3 ou 3A com uma lista grande de nmeros naturais consecutivos. O problema ter ou no soluo caso a soma desses nmeros seja par ou mpar, respectivamente. Entretanto, possvel encontrar o resultado desta soma rapidamente, sem precisar somar todas as parcelas. A soma de todos os naturais de 1 at n (1 + n)n igual a . Por exemplo, a soma de todos os naturais de 1 at 10 2 (1 + 10)10 11 10 = = 55 . Procure demonstrar este fato e, se no conseguir, 2 2 pergunte ao seu professor ou escreva para a EUREKA!


 

Mostre que se a, b e c so inteiros mpares, a equao ax + bx + c = 0 no tem raiz racional. Comentrios: 1) Um nmero raiz de uma equao dada se quando for substitudo no 2 raiz (ou lugar do x a igualdade ficar correta. Por exemplo, x = 3 2 soluo) da equao 3 x 2 = 0 porque 3 2 = 0 . Ainda, x = 2 3 4 3 soluo da equao x x + x 10 = 0 porque 2 4 2 3 + 2 10 = 0 . Freqentemente no sabemos como resolver uma equao mas, em geral, podemos verificar se um certo valor de x ou no uma de suas razes.

EUREKA! N 2, 1998

35

Sociedade Brasileira de Matemtica

2) Um nmero racional quando puder ser escrito como uma frao de 2 4 e so exemplos de numerador e denominador inteiros. Por exemplo, 7 1 nmeros racionais. 3) Quando desejamos demonstrar que certo fato impossvel utilizamos freqentemente o mtodo da reduo ao absurdo. Este mtodo consiste em imaginar o contrrio, ou seja, que tal fato seja possvel. A partir da procuramos chegar a uma contradio, a um absurdo. Conseguindo isso, teremos mostrado que nossa hiptese (a do contrrio) falsa e conseqentemente, que a afirmao inicial verdadeira. Vamos ver tudo isso na soluo do problema. No se preocupe se voc ainda no sabe resolver uma equao do segundo grau. Isto no ser necessrio. Tudo o que precisamos verificar se um nmero racional pode ser uma raiz.

t  >s t t ;> A


Imaginemos que o nmero racional

p q

seja raiz da equao

substituio, devemos ter,

ax 2 + bx + c = 0 onde a, b e c so inteiros mpares. Logo, fazendo a

p p a +c = 0 q + b q
a p p2 +b +c = 0 2 q q

ap 2 + bpq + cq 2 = 0
Vamos acrescentar agora uma hiptese importante para facilitar nosso p trabalho. Vamos supor que a nossa frao seja irredutvel, ou seja, que q
EUREKA! N 2, 1998

36

Sociedade Brasileira de Matemtica

ela j foi simplificada ao mximo. Por exemplo, no lugar de considerando

2

4 6

estaremos

o que a mesma coisa. Consideramos ento, para a 3 soluo do problema, que p e q no so ambos pares. Observe agora a equao ap + bpq + cq = 0 nos seguintes casos:
2 2

a) p e q so mpares: neste caso, ap mpar, bpq mpar e cq mpar. Como a soma de trs nmeros mpares mpar, o resultado no pode ser zero. b) p par e q mpar: neste caso, ap par, bpq par e cq mpar. Como a soma de dois nmeros pares e um mpar mpar, o resultado no pode ser zero. c) p mpar e q par: vale o mesmo argumento do caso b). Demonstramos ento que nenhuma frao de numerador e denominador inteiros pode ser raiz da equao ax 2 + bx + c = 0 onde a, b e c so inteiros mpares.

 
2 2

Um tabuleiro 6 6 est coberto com domins 2 1. Mostre que existe uma reta que separa as peas do tabuleiro sem cortar nenhum domin. : Cada domin formado por dois quadrados e portanto, se o tabuleiro est inteiramente coberto, 18 domins foram utilizados. Imagine agora uma reta (horizontal, por exemplo) que separe o tabuleiro em duas partes. Se ela no corta nenhum domin, est resolvido o problema. Suponha ento que ela corte ao meio um domin. Neste caso, acima desta reta teremos n domins inteiros mais meio domin, ou seja, teremos acima desta reta 2n + 1 quadrados, que um nmero mpar. Mas isto impossvel porque se o tabuleiro tem 6 unidades de largura, qualquer reta o dividir em partes que contm nmeros pares de quadrados acima e abaixo dela. Assim, se uma reta corta um domin, dever cortar um outro domin. Para a diviso do
EUREKA! N 2, 1998

% y 

37

Sociedade Brasileira de Matemtica

tabuleiro, existem 10 retas possveis e, se cada uma delas cortar dois domins, deveramos ter 20 domins no tabuleiro. Como eles so apenas 18 ento existe uma reta (pelo menos) que no corta nenhum domin.

t; A At t  T

 

Os nmeros naturais de 1 at 1998 so escritos em um imenso quadro negro. Em seguida, um aluno apaga dois quaisquer colocando no lugar sua diferena (no negativa). Depois de muitas operaes, um nico nmero ficar escrito no quadro. possvel que esse nmero seja zero?

 7

Em uma ilha plana existem 11 cidades numeradas de 1 a 11. Estradas retas ligam 1 a 2, 2 a 3, 3 a 4, ..., 10 a 11 e 11 a 1. possvel que uma reta corte todas as estradas?

EUREKA! N 2, 1998

38