Alunos dorminhocos

5 de Janeiro de 2015

Resumo
Objetivos principais da aula de hoje: entender a necessidade de se
explorar um problema para chegar a uma solucao; criar o habito (ou
pelo menos entender a importancia) das demonstracoes formais; ver
algumas primeiras dicas de como resolver um problema.

O problema dos alunos dorminhocos

Imagine uma aula de matem

atica com a seguinte propriedade:
Cada aluno nesta aula tira uma u
nica soneca: isto e, ele cai no sono
num certo instante de tempo s e acorda no instante de tempo t > s.
(Contaremos s, t e todos os n
umeros entre eles como momentos em
que o dado aluno est
a dormindo.)
Dados quaisquer dois alunos, h
a ao menos um instante de tempo em
que ambos est
ao dormindo.
Demonstre que h
a pelo menos um instante de tempo em que todos os alunos est
ao dormindo simultaneamente.

1.1

Introduc
ao

Vamos usar este problema como nosso ponto de partida no curso. Como
veremos, ele e um tpico problema em que a tese e intuitiva, mas uma solucao
correta pode n
ao ser muito simples de escrever. Alguns dos pontos que
buscaremos enfatizar s
ao:
1. O que podemos ganhar tentando imaginar uma solucao?
2. Ser
a que desenhar o problema nos ajudara?
1

3. Como descobrimos quais tecnicas e conceitos matematicos devem estar

envolvidos na soluc
ao do problema?
4. O que e a hip
otese? O que e a tese? Como podemos enuncia-las de
forma formal?
5. Como devemos apresentar a solucao do problema?

1.2

Explorando o enunciado

Eis uma dica fundamental para este problema.

Desenhe o problema e explore seu desenho!
Como se pode desenhar bem este problema? Vamos partir da maneira
habitual de pensar no tempo como uma linha reta. O que voce enxerga
quando faz isto?
Com alguma sorte, voce deve enxergar algumas coisas. Primeiro, o
tempo que cada aluno gasta dormindo e um intervalo fechado na reta, isto e,
um conjunto de n
umeros reais entre t e s (incluindo os dois extremos). Alem
disto, quando falamos que dois alunos tem algum instante comum de soneca,
isto quer dizer que os intervalos correspondentes tem intersecao nao-vazia.
Isto nos d
a um ponto fundamental para a solucao formal do problema.
Do ponto de vista formal, este e um problema sobre
interse
c
oes de intervalos.
Em segundo lugar, a validade da tese deve ficar mais intuitiva: se dois
intervalos se interceptam e um terceiro intercepta estes dois, e evidente que
os tres se interceptam em algum lugar. O mesmo vale em desenhos com
mais intervalos. Para se convencer disto, voce deve seguir um princpio u
til.
Ser
a que o enunciado funciona?
Isto e, ser
a que eu consigo desenhar intervalos que respeitam a restricao
do problema (quaisquer dois se interceptam) sem satisfazer a conclusao de
que todos tem um ponto comum de intersecao? Tente bastante ate se convencer de que isto n
ao e possvel.
H
a uma outra maneira de tentar fazer o problema quebrar que frequentemente nos ajuda a entende-lo.
Mude um pouco o enunciado e veja se o resultado
pretendido ainda vale.
2

 um pouco difcil entender como isto deve ser feito de incio, portanto
E
eis uma dica simples. Vamos supor que cada aluno pode tirar duas ou mais
sonecas. Neste caso, e f
acil observar que o resultado nao vale. Eis um
contra-exemplo com tres alunos que dormem nos tempos:
[1, 2] [3, 4], [3, 4] [6, 7] e [1, 2] [6, 7].
portanto, fundamental s
E,
o termos uma soneca por aluno.
O valor desta constatac
ao e o seguinte. Imagine que um estudante apresenta o que acredita ser uma solucao deste problema que n
ao faz uso do fato
que cada aluno tira uma u
nica soneca. O exemplo que exibimos acima mostra que esta soluc
ao tem de estar errada, porque ela se aplicaria a situacoes
em que n
ao vale a conclus
ao final do problema. 1

1.3

Por que buscar uma soluc

ao formal?

A esta altura voce e eu j

a estamos convencidos de que o problema esta correto
e de que sua conclus
ao e intuitiva. A questao e: sera que nao estamos nos
iludindo? H
a v
arios casos em que um enunciado que parece verdadeiro se
revela falso. Um matem
atico ilustre chamado Gian Carlo Rota (1932 - 1999)
escreveu:
Na maior parte do tempo, o trabalho de um matematico e um
emaranhado de chutes, analogias, frustacao e a vontade de acreditar
que as coisas s
ao simples. Demonstracoes nao sao a parte central das
descobertas; normalmente elas sao apenas a maneira que termos para
impedir que nossas mentes nos enganem.[G. C. Rota]

Duas coisas est

ao implcitas nestas frases. A primeira e que a demonstrac
ao formal s
o deve ser tentada quando ja entendemos bem o problema e
queremos ter certeza de que estamos certos. Em varios casos isto nos exigira
voltar v
arias vezes `
a fase de exploracao do problema, buscando detalhes que
podem nos ter passado desapercebidos e tentando novas ideias.
Em segundo lugar, Rota nos alerta que `as vezes nossas mentes nos enganam. Isto e, se queremos estar certos, devemos usar a intuicao como
caminho para descobrir uma demonstracao formal.
1

E claro que, ao menos em princpio, h

a a possibilidade do estudante fazer uso de uma
hip
otese que impede o exemplo acima, mas e mais geral do que os intervalos fechados. O
professor deve ter cuidado para n
ao ser injusto com este aluno, que pode ter tido uma
ideia brilhante; mas, na pr
atica, e bem mais prov
avel que estejamos diante de um erro.

H
a tambem um argumento pedag
ogico para a busca de provas corretas.
Um dos principais motivos para se aprender Matematica e desenvolver o
exatamente esta forma de raciocinar que
pensamento l
ogico-dedutivo. E
exercitamos ao buscar uma demonstracao formal. A intuicao e a luz que
ilumina nosso caminho dedutivo, mas e o rigor que nos da seguranca e
firmeza.

1.4

Explorar com vistas a resolver

Nossa explorac
ao do problema ja nos deu motivos para acreditar no problema. Agora vamos voltar a explorar o enunciado tentando achar caminhos
para resolve-lo. Esta frequentemente e a parte mais difcil, na qual so nos
tornamos melhores com tranquilidade e bastante treino.
Esta explorac
ao de caminhos e em grande parte uma maneira de buscar
a tecnica certa para cada problema. Infelizmente os problemas nao vem com
etiquetas indicando o que podemos fazer, entao grande parte do nosso treino
ser
a na direc
ao de tentar desenvolver nosso faro para as boas ideias.
Por ora, vai ser u
til usar dicas. Eis uma que e muito boa para o caso.
Procure extremos!
Este e um princpio geral vago. No nosso contexto particular, ele consiste
em se observar que, se h
a uma soneca comum, ela so pode comecar quando
ou
timo aluno cai no sono e tem de terminar com o primeiro que desperta.
Alguns desenhos devem deixar claro que estes dois tempos sao os limites da
soneca comum. Agora j
a temos mais clareza do que provar.
Objetivo novo: provar que ha uma soneca comum, que vai
do momento em que o u
ltimo aluno cai no sono ate o primeiro
despertar.
Note: em geral e necess
ario tentar varios objetivos ate que um funcione.
Neste caso isto n
ao ser
a necessario.

1.5

Do enunciado ao formalismo: hip

otese e tese

Este e um passo que frequentemente omitimos na pratica, mas que tem

sempre de estar presente (ainda que de forma implcita), porque a nocao de
corretude em Matem
atica passa necessariamente pelo formalismo.
Primeiro vamos lembrar que temos um problema sobre intervalos fechados. Para sermos mais formais, vamos supor que temos n alunos, onde n > 1
4

e natural. Numeraremos os alunos de 1 a n. O tempo em que um aluno

1 i n dorme e um intervalo Ii = [ai , bi ] com ai < bi .
Agora vamos formular nossas hipotese e tese. A hipotese deve esclarecer
que temos intervalos fechados que se interceptam dois a dois. A tese deve
afirmar que todos os intervalos se interceptam. Em matematiques, isto se
escreve assim.
tese: I1 , . . . , In s
Teorema 1. Hipo
a o intervalos da forma Ii = [ai , bi ] com
ai < bi . Temos ainda que Ij Ij 6= para quaisquer 1 i < j n.
Tese: I1 I2 In 6= .

1.6

A demonstrac
ao

Como j
a dissemos acima, a estrategia da prova sera provar que o intervalo
J = [max ai , min bj ],
que possivelmente e degenerado, corresponde a momentos de soneca comum.
Fazemos isto em partes.
Parte 1: J e mesmo um intervalo. Para provar isto, precisamos mostrar
que max ai min bj . Seja i um ndice tal que ai = max ai e seja j tal
que bj = min bj . Sabemos que os intervalos Ii e Ij se interceptam (por
hip
otese).
Afirma
c
ao n
ao-trivial: se dois intervalos fechados se interceptam, o menor ponto de um e menor que o maior ponto do
outro.
Esta afirmac
ao e destacada por ser o ponto chave da prova formal. Ela
e o principal ponto da prova em que usamos o fato de que lidamos com
intervalos.
Para demonstrar a afirmacao, sejam A = [x, y] e B = [z, w] dois intervalos fechados quaisquer com x y e z w. A afirmacao diz que y z
sempre que A B 6= . Vejamos porque isto e verdade.
Se A B e n
ao-vazio, tome t A B e note que:
t A x t y e t B z t w.
Portanto, z t y, o que implica z y, como desejado.
No nosso caso particular, isto diz que ai bj , o que completa a primeira parte da prova.

Parte 2: J I1 In . Basta mostrar que J Ik para todo 1 k n.

Mas isto segue claramente do fato que ak max ai min bj bk .
Exerccio 1. Voce consegue mostrar que J = I1 I2 In ?
Exerccio 2. Voce consegue mostrar que dois intervalos fechados se interceptam se e somente se o menor ponto de um deles e menor que o maior
ponto do outro? No que isto difere da afirmac
ao n
ao-trivialacima?
Exerccio 3. O que mudaria na prova se os intervalos fossem abertos?
Exerccio 4. Recorde os coment
arios feitos nas sec
oes anteriores. De que
maneira eles apareceram na prova formal? O que lhe pareceu mais ou menos
importante para o resultado final?

Um jogo e um roteiro

Jogos matem
aticos oferecem um dos melhores caminhos para treinarmos a
ideia de explorar o problema, seja preliminarmente, seja ja com vistas a
resolve-lo. Eis um exemplo adaptado da OBM 2011 (note que usamos a
convenc
ao de que 0 n
ao e natural).
Vamos jogar o seguinte jogo. Eu comeco escolhendo dois naturais i N
(o incio) e a N (o alvo) com i > 1. Escrevo a numa folha de papel e i no
quadro negro. A partir da s
o voce age. A cada rodada voce tem um n
umero
0
0
b N no quadro negro e pode substitui-lo por qualquer b da forma b = n.m,
onde n, m N e n + m = b. Seu objetivo e conseguir escrever o alvo a no
quadro ao fim de um n
umero finito de rodadas (em particular, voce ganha
em 0 rodadas se i = a). Por exemplo, se eu escolho i = 5 e a = 50, voce
pode vencer com a seguinte sequencia de substituic
oes:
5 6 = 2 3 8 = 2 4 15 = 3 5 50 = 5 10.
Do mesmo modo, voce pode ganhar se i = 10 e a = 194.
10 25 = 5 5 100 = 5 20 99 = 1 99 194 = 2 97.
Por outro lado, se i = 4 e a = 5, voce pode se convencer que eu ganho.
Prove que, se i > 4, voce sempre pode vencer o jogo.

2.1

Explorando o jogo

A explorac
ao deste problema comeca testando as regras do jogo para ver se
a entendemos. Depois disso, podemos lembrar de um princpio geral muito
importante:
Princpio das hist
orias de detetive: tudo que e mencionado
no enunciado do problema deve ser encarado como uma possvel
pista para a soluc
ao.
O que e mencionado no enunciado? Alem das regras, a u
ica coisa dita e

que o n
umero i deve ser maior do que tres. Esta informacao e relevante? E
u
til? Eis um outro princpio geral.
Uma hip
otese e u
til sempre que o enunciado quebra quando a
removemos.
Veja que a hip
otese e u
til: se tomamos i = 1, nem da para sair do lugar,
enquanto que com i = 2, 3, 4 so conseguimos diminuir o valor no quadro.
O que muda quando i > 4? A esta altura quem explorou o problema ja
sabe (ou pelo menos intui): se o n
umero no quadro e pelo menos quatro,
sempre d
a para subir! Vamos tentar ser mais formais e indicar como se
faz isto. Veja que, dado b N, sempre podemos transformalo em b0 :=
2 (b 2) = 2b 4. Para que b0 > b, e necessario e suficiente que b > 4.
Agora vem uma outra ideia geral:
Explorar involve descobrir como voc
e pode se mexer!
De fato, j
a vimos que, partindo de um n
umero maior que 4, podemos
criar n
umeros cada vez maiores. Isso nos diz que podemos ultrapassar qualquer alvo estabelecido, mas ainda nao e claro que podemos atingir exatamente os alvos.
Explorando mais um pouco, no entanto, fica claro que tambem da para
descer usando a passagem b b 1 = (b 1) 1. O ponto crucial e que a
queda e controlada: ao contrario da subida, sabemos exatamente o quanto
descemos em cada passo!
A esta altura a maioria dos alunos ja sabe o que fazer para atingir o alvo:
basta subir ate ultrapassar o alvo e depois descer de um em um. Isto ainda
n
ao e uma soluc
ao formal porque para isso precisamos de algo que esta certo
sem deixar margem a d
uvidas. Ou seja, precisamos escrever melhor e mais
precisamente nossa ideia.

2.2

Enunciado e prova formais

Vamos procurar exprimir nosso problema da forma mais formal possvel.

Para facilitar, comecamos com uma definicao.
o: dados x, y N, escrevemos x y se existem n, m N com
Definic
a
x = n + m e y = n m.
Ou seja, x y significa que podemos passar de x para y em um estagio
do nosso jogo.
tese: i N com i > 4; a N.
Hipo
Tese: existem k N {0} e (i0 , . . . , ik ) Nk+1 com i0 = i, ik = a e
i0 i1 i2 ik .
Prova. Vamos dividir a prova em duas partes, usando dois conceitos diferentes. Fixamos um i > 4 o tempo todo e dizemos que
1. a N e ultrapass
avel se existem k N {0} e (i0 , . . . , ik ) Nk+1 com
i0 = i, ik a e i0 i1 i2 ik .
2. a N e atingvel se existem k N {0} e (i0 , . . . , ik ) Nk+1 com
i0 = i, ik = a e i0 i1 i2 ik .
Nosso objetivo pode ser reformulado como provar que todo natural e
atingvel. Nossa ideia de prova sera fazer isto em duas partes.
Lema 2. Todo a N e ultrapass
avel.
Lema 3. Todo a N que e ultrapass
avel e tambem atingvel.
Veja que esta divis
ao respeita a ideia de que temos duas maneiras de andar no jogo: uma e subir sem controle ate ultrapassar e a outra e descer
ate atingir o alvo. Note ainda que a tese segue trivialmente da combinacao
dos dois lemas.
Prova do primeiro lema. Vamos provar isto por inducao em a. Note que
a = 1 e ultrapass
avel e que, de fato, todo a 5 e ultrapassavel com k = 0,
porque i = i0 a automaticamente.
Para fazer o passo indutivo, queremos mostrar que se a e ultra, a + 1
tambem e ultra. Fixe ent
ao um a que e ultra e tome k N, (i0 , . . . , ik ) com
8

i = i0 i1 . . . toik a. Veja que, se ik > a, entao ja ultrapassamos

a + 1. Por outro lado, se ik = a, podemos tomar a = 2 + (a 2) e fazer
ik+1 = 2 (a 2) = 2a 4.
ik+1 ultrapassa a + 1 sempre que 2a 4 > a, ou seja, a 5. Por outro lado,
se a < 5, ent
ao a + 1 5 e neste caso e automaticamente ultrapassavel,
como observado acima.
Prova do segundo lema. Observe primeiramente que dizer que a e ultrapass
avel significa dizer que ` N {0} tal que a + ` e atingvel. Portanto,
fixado um a N ultrapass
avel, podemos definir
`(a) := min{` N {0} : a + ` e atingvel.}
Afirmamos que `(a) = 0, de modo que o proprio a e atingvel. Para provar
isto, vamos supor (por absurdo) que `(a) = ` > 0, de modo que a + `
e atingvel, mas obrigatoriamente a + (` 1) nao e atingvel (afinal, ` e
mnimo!).
Como a + ` e atingvel, a + ` = ik para alguma sequencia (i0 , . . . , ik )
como vimos acima. Agora observe que
a + ` = 1 + (a + ` 1)
e tome ik+1 := a + ` 1. Veja que ik ik+1 , logo (i0 , . . . , ik+1 ) atinge
a + ` 1. No entanto, isto contradiz o fato de que a + ` 1 nao e atingvel,
que seguiu da suposic
ao de que `(a) > 0. Deduzimos que `(a) = 0, CQD.