Fernando e Isaura inventaram um jogo diferente, cujas regras são as seguintes:
eles começam uma partida com 128 palitos cada um;
em cada jogada, eles tiram par ou ímpar; se sai par, Fernando dá metade dos palitos que tem para Isaura e, se sai ímpar, Isaura dá a metade dos palitos que tem para Fernando.
eles repetem o procedimento da regra 2 até que um deles fique com um número ímpar de palitos, quando a partida acaba. Ganha quem ficar com maior número de palitos.
Veja o que acontece em uma partida onde a seqüência das três primeiras jogadas é par, ímpar, par:
(b) Uma partida acabou quando Fernando ficou com 101 palitos. Na última jogada saiu par ou ímpar?
(c) Qual foi a seqüência de pares e ímpares da partida que acabou quando Fernando ficou com 101 palitos?
(d) Mostre que qualquer partida acaba com exatamente sete jogadas.
Reportar erro na questãoResolução comentada
Resolução comentada
a) Se sai ímpar, Isaura dá metade dos palitos dela a Fernando.
1ª jogada (ímpar): Isaura dá 64, então Fernando fica com 192 e Isaura com 64.
2ª jogada (ímpar): Isaura dá 32, então Fernando fica com 224 e Isaura com 32.
3ª jogada (par): Fernando dá metade de 224, que é 112, então Fernando fica com 112 e Isaura com 144.
O esquema fica (128,128)\to(192,64)\to(224,32)\to(112,144).
Resposta: (192,64), (224,32), (112,144).
b) O total de palitos é sempre 256. Se Fernando termina com 101, Isaura termina com 155.
Se a última jogada fosse ímpar, Isaura teria dado metade dos palitos dela e ficado com 155. Antes ela teria 310, mais que o total de 256. Isso é impossível.
Se a última jogada foi par, Fernando tinha 202 e deu 101. Isaura tinha 54 e passou a ter 155. Isso é possível.
Resposta: saiu par.
c) Vamos voltar no tempo a partir de (101,155). Desfazer um par dobra os palitos de Fernando e tira de Isaura o que ele deu. Desfazer um ímpar dobra os de Isaura e tira de Fernando o que ela deu. Nenhum número pode passar de 256, e todos os estados anteriores têm números pares, senão a partida teria acabado antes.
(101,155) veio de (202,54) por par.
(202,54): desfazer par daria 404, impossível. Veio de (148,108) por ímpar.
(148,108): desfazer par daria 296, impossível. Veio de (40,216) por ímpar.
(40,216): desfazer ímpar daria 432, impossível. Veio de (80,176) por par.
(80,176): desfazer ímpar daria 352, impossível. Veio de (160,96) por par.
(160,96): desfazer par daria 320, impossível. Veio de (64,192) por ímpar.
(64,192): desfazer ímpar daria 384, impossível. Veio de (128,128) por par.
Lendo do início ao fim, a sequência é par, ímpar, par, par, ímpar, ímpar, par.
d) Vamos mostrar por indução que, depois de k jogadas (k\le 7), os dois números são múltiplos ímpares de 2^{7-k}, ou seja, da forma 2^{7-k}\cdot(\text{ímpar}).
Para k=0: 128=2^7\cdot 1 para os dois. Vale.
Passo: antes de uma jogada, seja u=2^{7-k} com u\ge 2 (ou seja, k\le 6). Os números são up e uq, com p e q ímpares. Quem dá fica com \frac{u}{2}p. Quem recebe fica com uq+\frac u2 p=\frac u2(2q+p). Como 2q+p é ímpar, os dois números são múltiplos ímpares de \frac u2=2^{7-(k+1)}.
Para k\le 6, os números são múltiplos de 2^{7-k}\ge 2, portanto ambos pares, e a partida não terminou. Para k=7, os dois são múltiplos ímpares de 2^0=1, ou seja, ambos ímpares, e a partida acaba.
Logo, qualquer partida acaba exatamente na 7ª jogada.
Resposta: qualquer partida acaba com exatamente 7 jogadas.