O problema dos alunos dorminhocos

12 de Janeiro de 2012

Problema 1. Considere uma aula chata em que h n alunos. Cada um a destes alunos tira exatamente uma soneca na aula, isto , cai no sono em um e momento t e desperta num momento s > t sem dormir em qualquer outra hora (contamos t e s como momentos em que o aluno dorme). Suponha que para quaisquer dois alunos h pelo menos um instante de tempo em que a ambos dormem. Prove que h um momento em que todos os alunos dormem. a

Como resolver este problema? enunciado

Explorando o

E sempre importante entender a importncia das hipteses do problema. a o Eis uma boa maneira de fazer isto: Remova uma hiptese e veja se o resultado pretendido ainda o vale. Por exemplo, suponha que cada aluno pode tirar duas ou mais sonecas. Neste caso, fcil observar que o resultado no vale. Eis um contra-exemplo e a a com trs alunos que dormem nos tempos: e [1, 2] [3, 4], [3, 4] [6, 7] e [1, 2] [6, 7]. E, portanto, fundamental s termos uma soneca por aluno. o Eis agora uma dica fundamental para este problema. Desenhe o problema e explore seu desenho! Isto deve esclarecer duas coisas. Primeiro, o tempo que cada aluno gasta dormindo um intervalo fechado. Segundo, a validade da tese deve car e mais intuitiva: se dois intervalos se interceptam e um terceiro intercepta 1

estes dois, evidente que os trs se interceptam em algum lugar. O mesmo e e vale em desenhos com mais intervalos. A questo : ser que no estamos nos iludindo? Anal, pode ser que a e a a esta aparente impossibilidade seja s uma iluso. Um matemtico famoso o a a chamado Gian Carlo Rota escreveu:
Na maior parte do tempo, o trabalho de um matemtico um a e emaranhado de chutes, analogias, frustao e vontade de se crer que ca algumas coisas so simples. Demonstraes no so a parte central das a co a a descobertas; normalmente elas so apenas a maneira que termos para a impedir que nossas mentes nos enganem.[G. C. Rota]

Est impl a cito nesta prova que o momento para se provar as coisas formalmente quando j entendemos bem o problema e queremos ter certeza e a de que estamos certos. Este momento s vai chegar quando explorarmos o mais o desenho. Eis uma outra dica util, que bem vaga, mas geral. e e Procure extremos! No caso, observe que a soneca comum s pode comear quando o utimo o c aluno cai no sono, e tem de terminar com o primeiro que desperta. O desenho deve deixar claro que estes dois tempos so os limites da soneca a comum. Agora j temos mais clareza do que provar. a Objetivo novo: provar que a soneca comum vai do momento em que o ultimo aluno cai no sono at o primeiro despertar. e

A prova formal

Numere 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 . Vamos tentar provar que: Teorema 1. Hipotese: I1 , . . . , In s o intervalos da forma Ii = [ai , bi ] com a ai < bi . Temos ainda que Ij Ij = para quaisquer 1 i < j n. Tese: I1 I2 In = . A estratgia da prova ser provar que o intervalo e a J = [max ai , min bj ], que possivelmente degenerado, corresponde a momentos de soneca comum. e Fazemos isto em partes.

Parte 1: J mesmo um intervalo. Para provar isto, precisamos mostrar e que max ai min bj . Seja i um ndice tal que ai = max ai e seja j tal que bj = min bj . O fato que os intervalos Ii e Ij se interceptam implica que o meno ponto de um dos intervalos menor que o maior ponto do outro, ou e e amos mostrar. seja, ai bj . Isto exatamente o que quer 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 . Questo 1. Voce consegue mostrar que J = I1 I2 In ? a