Questão 5 (Nível 2) da 2ª fase da OBMEP 2023

Question

Zequinha quer colorir os inteiros positivos de branco ou preto, obedecendo às regras abaixo:

se n é inteiro, então n e n + 5 devem ter a mesma cor;
se a e b são inteiros e n = ab for branco, então pelo menos um dos fatores a ou b deve ser branco.

a) Explique por que se o 38 for branco, o 3 também deve ser branco.

b) Explique por que se o 4 for branco, o 2 também deve ser branco.

c) Explique por que se o 1 for branco, o 4 também deve ser branco.

d) Explique por que o 2 e o 3 sempre devem ter a mesma cor.

Answer 1

PRÁTICA COM QUESTÕES OFICIAIS

Questão 5 (Nível 2) da 2ª fase da OBMEP 2023

Nível 2 · Matemática: Divisibilidade, MMC e MDC

Zequinha quer colorir os inteiros positivos de branco ou preto, obedecendo às regras abaixo:

se n é inteiro, então n e n + 5 devem ter a mesma cor;
se a e b são inteiros e n = ab for branco, então pelo menos um dos fatores a ou b deve ser branco.

a) Explique por que se o 38 for branco, o 3 também deve ser branco.

b) Explique por que se o 4 for branco, o 2 também deve ser branco.

c) Explique por que se o 1 for branco, o 4 também deve ser branco.

d) Explique por que o 2 e o 3 sempre devem ter a mesma cor.

Reportar erro na questão

Resolução comentada

Solução oficial da OBMEP

a) Aplicando a primeira regra para os inteiros n = 33 e n + 5 = 38, segue que

• 33 e 33 + 5 = 38

devem ter a mesma cor, bem como os inteiros

• 28 e 28 + 5 = 33
• 23 e 23 + 5 = 28
• 18 e 18 + 5 = 23
• 13 e 13 + 5 = 18
• 8 e 8 + 5 = 13
• 3 e 3 + 5 = 8

Concluímos assim, pela primeira regra, que os inteiros 3, 8, 13, 18, 23, 28 e 33 devem ter a mesma cor. Logo, se Zequinha colorir o 38 de branco, a cor do 3 deve ser branca.

b) De acordo com a segunda regra, se a e b são inteiros e n = ab for branco, então pelo menos um dos fatores a ou b deve ser branco. No caso em que a = b = 2 e n = ab = 2 \cdot 2 = 4 for branco, temos dois fatores a e b iguais a 2 em que pelo menos um deles, no caso o 2, deve ser branco. A segunda regra aplicada em quadrados perfeitos n = a^2 diz que se n = a^2 for branco então a deve ser branco.

c) Se o 1 for branco então, pela primeira regra, os inteiros 1, 1 + 5 = 6, 6 + 5 = 11 e 11 + 5 = 16 devem ter a mesma cor branca. Por outro lado, a segunda regra aplicada ao quadrado perfeito 16 = 4^2 diz que se 16 for branco então 4 deve ser branco. Logo, se o 1 for branco, o 16 e o 4 também serão brancos.

d) Temos que explicar por que o 2 e o 3 sempre terão a mesma cor segundo as regras de pintura que Zequinha deve obedecer. Vamos fazer isso justificando por que essas regras não permitem que o 2 e o 3 sejam pintados de cores diferentes. Temos duas possibilidades para o 2 e o 3 terem cores diferentes:

• Caso em que 2 é preto e 3 é branco:

Nesse caso, como 3 é branco segue, pela primeira regra, que 8 = (3 + 5) será branco. Como 8 = 2 \cdot 4 e 2 é preto, segue, pela segunda regra, que 4 será necessariamente branco. Sendo 4 = 2^2 branco segue, pela segunda regra, que 2 será branco. Mas 2 não pode ser branco porque estamos no caso em que 2 é preto.

• Caso em que 2 é branco e 3 é preto:

Nesse caso, como 2 é branco segue pela primeira regra que 12 = (2 + 5) + 5 será branco. Como 12 = 3 \cdot 4 e 3 é preto, segue, pela segunda regra, que 4 será necessariamente branco. Sendo 4 branco, segue, pela primeira regra, que 9 = 4 + 5 será branco. Sendo 9 = 3^2 branco, segue pela segunda regra, que 3 será branco. Mas 3 não pode ser branco porque estamos no caso em que 3 é preto.

Assim, os casos em que 2 e 3 tem cores diferentes nunca ocorrem segundo as regras de pintura que Zequinha deve obedecer.

Ver como a OBMEP publicou

Publicada pela banca.

Resolução comentada

a) A primeira regra diz que n e n+5 têm a mesma cor. Aplicando-a várias vezes, n e n+5k têm a mesma cor para qualquer k inteiro positivo.

Como 38 = 3 + 5\cdot 7, o 38 tem a mesma cor do 3. Logo, se o 38 é branco, o 3 também é branco.

O 3 também deve ser branco.

b) Temos 4 = 2\cdot 2. Pela segunda regra, se 4 é branco, pelo menos um dos fatores deve ser branco. Os dois fatores são o número 2, então o 2 é branco.

O 2 deve ser branco.

c) Como 16 = 1 + 5\cdot 3, o 16 tem a mesma cor do 1. Se o 1 é branco, o 16 é branco.

Como 16 = 4\cdot 4, pelo menos um dos fatores deve ser branco, e ambos são o 4. Logo, o 4 é branco.

O 4 deve ser branco.

d) Separamos dois casos, conforme a cor do 4.

Caso 1: o 4 é branco. Pelo item (b), o 2 é branco. Além disso, 9 = 4 + 5 também é branco, e 9 = 3\cdot 3, então o 3 é branco. Os dois são brancos.

Caso 2: o 4 é preto. Mostramos que 2 e 3 são brancos juntos ou pretos juntos.

Se o 2 é branco, então 12 = 2 + 10 é branco. Como 12 = 3\cdot 4 e o 4 é preto, o 3 deve ser branco.
Se o 3 é branco, então 8 = 3 + 5 é branco. Como 8 = 2\cdot 4 e o 4 é preto, o 2 deve ser branco.

Assim, no caso 2, o 2 é branco se e somente se o 3 é branco. Portanto, se um é branco o outro também é, e se um é preto o outro também é, pois um branco forçaria o outro a ser branco.

Em todos os casos, 2 e 3 têm a mesma cor.

O 2 e o 3 sempre têm a mesma cor.

Assunto: Divisibilidade, MMC e MDC.

Reportar erro na resolução

Esta questão também caiu em

OBMEP 2ª fase 2023 · Questão 2 (Nível 3)d) Explique por que o 2 e o 3 sempre devem ter a mesma cor.

Ver como caiu na prova

Questão 5 no caderno Nível 2 da 2ª fase da OBMEP 2023

Fonte: OBMEP 2ª fase 2023 · Nível 2. Prova oficial ↗