Mathematics · Livro 1 · Grades 1–9

Matemática do ensino fundamental

Matemática do ensino fundamental · Grades 1–9

64Aritmética: divisores e números primos

A aritmética estuda os números inteiros e o modo como eles se dividem uns aos outros. As personagens centrais dela são os números primos, os tijolos com que todo inteiro é montado por multiplicação. O capítulo termina com o máximo divisor comum, a ferramenta certa para simplificar frações de uma vez por todas. Essa história continua, muito mais longe, no volume do ensino médio e além.

64.1 Divisores e múltiplos

Definição 64.1 (Divisor, múltiplo)

Sejam aa e bb números inteiros positivos. Dizemos que bb divide aa (ou que bb é um divisor de aa, ou que aa é um múltiplo de bb) quando a=b×ka = b \times k para algum inteiro kk — isto é, quando a divisão de aa por bb deixa resto 00.

Exemplo 64.2

Os divisores de 2424 são 1,2,3,4,6,8,12,241, 2, 3, 4, 6, 8, 12, 24 — eles vêm em pares cujo produto é 2424: (1,24)(1,24), (2,12)(2,12), (3,8)(3,8), (4,6)(4,6). Os múltiplos de 77 são 7,14,21,28,7, 14, 21, 28, \dots

Proposição 64.3 (Critérios de divisibilidade)

Um número inteiro é divisível:

  • por 22 quando o último algarismo dele é par (0,2,4,6,80, 2, 4, 6, 8);
  • por 55 quando o último algarismo é 00 ou 55;
  • por 1010 quando o último algarismo é 00;
  • por 33 (resp. 99) quando a soma dos algarismos é divisível por 33 (resp. 99);
  • por 44 quando os dois últimos algarismos formam um número divisível por 44.

Demonstração. Admitido neste nível.

Exemplo 64.4

72157\,215 termina em 55: divisível por 55. A soma dos algarismos dele é 7+2+1+5=157 + 2 + 1 + 5 = 15, divisível por 33, mas não por 99: então 72157\,215 é divisível por 33 e não por 99. De fato, 7215=3×5×4817\,215 = 3 \times 5 \times 481.

64.2 Números primos

Definição 64.5 (Número primo)

Um número primo é um inteiro 2\geq 2 cujos únicos divisores são 11 e ele mesmo. Os primos abaixo de 3030 são

2, 3, 5, 7, 11, 13, 17, 19, 23, 29.2,\ 3,\ 5,\ 7,\ 11,\ 13,\ 17,\ 19,\ 23,\ 29 .

O número 11 não é primo (por convenção), e um inteiro 2\geq 2 que não é primo se diz composto.

Teorema 64.6 (Decomposição em fatores primos)

Todo número inteiro 2\geq 2 é um produto de números primos, e essa decomposição é única, a menos da ordem dos fatores.

Demonstração. Admitido neste nível.

Método 64.7 (Decompor um inteiro)

Divida pelo menor primo possível, repetidamente, até chegar a 11:

  1. tente 22 enquanto o número for par;
  2. depois tente 33, depois 55, depois 77 … (só primos);
  3. pare quando o quociente for 11; reúna os fatores com os expoentes.

Basta testar os primos pp com p2p^2 não maior que o número atual: se nenhum o divide, o próprio número é primo.

Exemplo 64.8

Decomponha 360360, uma divisão de cada vez:

360=2×180,180=2×90,90=2×45,45=3×15,15=3×5,360 = 2 \times 180, \quad 180 = 2 \times 90, \quad 90 = 2 \times 45, \quad 45 = 3 \times 15, \quad 15 = 3 \times 5,

então

360=2×2×2×3×3×5=23×32×5.360 = 2 \times 2 \times 2 \times 3 \times 3 \times 5 = 2^3 \times 3^2 \times 5 .
A árvore de fatores de 360: cada passo separa o menor fator primo (em vermelho). Lendo as folhas vermelhas e o 5 final: 360 = 23 × 32 × 5.
A árvore de fatores de 360360: cada passo separa o menor fator primo (em vermelho). Lendo as folhas vermelhas e o 55 final: 360=23×32×5360 = 2^3 \times 3^2 \times 5.

Teorema 64.9 (Euclides)

Existem infinitos números primos.

Demonstração. Suponha que houvesse apenas uma quantidade finita deles, digamos p1,p2,,pkp_1, p_2, \dots, p_k, e considere

N=p1×p2××pk+1.N = p_1 \times p_2 \times \dots \times p_k + 1 .

Dividir NN por qualquer pip_i deixa resto 11, então nenhum pip_i divide NN. Mas N2N \geq 2 tem pelo menos um divisor primo (Teorema 64.6) — um primo que não está na nossa lista. Contradição: nenhuma lista finita pode conter todos os primos.

64.3 O máximo divisor comum

Definição 64.10 (MDC)

O máximo divisor comum de dois números inteiros positivos aa e bb, escrito gcd(a,b)\gcd(a, b), é o maior inteiro que divide os dois. Quando gcd(a,b)=1\gcd(a, b) = 1, os inteiros são ditos primos entre si: não têm divisor comum além de 11.

Exemplo 64.11

Divisores de 1818: 1,2,3,6,9,181, 2, 3, 6, 9, 18. Divisores de 2424: 1,2,3,4,6,8,12,241, 2, 3, 4, 6, 8, 12, 24. Divisores comuns: 1,2,3,61, 2, 3, 6; então gcd(18,24)=6\gcd(18, 24) = 6. Os inteiros 1515 e 2828 são primos entre si.

Proposição 64.12 (MDC pelas decomposições)

O MDC de dois inteiros é o produto dos primos que aparecem nas duas decomposições, cada um tomado com o menor dos dois expoentes.

Demonstração. Admitido neste nível.

Exemplo 64.13

360=23×32×5360 = 2^3 \times 3^2 \times 5 e 84=22×3×784 = 2^2 \times 3 \times 7. Primos comuns: 22 (expoentes 33 e 22: fica 22) e 33 (expoentes 22 e 11: fica 11). Então

gcd(360,84)=22×3=12.\gcd(360, 84) = 2^2 \times 3 = 12 .

Teorema 64.14 (Algoritmo de Euclides)

Se a=bq+ra = bq + r é a divisão de aa por bb com resto rr, então

gcd(a,b)=gcd(b,r).\gcd(a, b) = \gcd(b, r).

Repetindo as divisões até o resto ser 00, o MDC de aa e bb é o último resto não nulo.

Demonstração. De a=bq+ra = bq + r: todo inteiro que divide bb e rr divide bq+r=abq + r = a; e de r=abqr = a - bq: todo inteiro que divide aa e bb divide rr. Então os pares (a,b)(a, b) e (b,r)(b, r) têm exatamente os mesmos divisores comuns — em particular, o mesmo maior deles. Como os restos diminuem estritamente, o algoritmo termina, e gcd(x,0)=x\gcd(x, 0) = x entrega o último resto não nulo.

Exemplo 64.15

Calcule gcd(1071,462)\gcd(1071, 462):

1071=462×2+147,462=147×3+21,147=21×7+0.\begin{align*} 1071 &= 462 \times 2 + 147, \\ 462 &= 147 \times 3 + 21, \\ 147 &= 21 \times 7 + 0 . \end{align*}

O último resto não nulo é 2121: gcd(1071,462)=21\gcd(1071, 462) = 21.

Método 64.16 (Simplificar uma fração completamente)

Para escrever ab\dfrac ab na forma mais simples:

  1. calcule d=gcd(a,b)d = \gcd(a, b), por exemplo pelo algoritmo de Euclides;
  2. divida numerador e denominador por dd: ab=a÷db÷d\dfrac ab = \dfrac{a \div d}{b \div d};
  3. a fração obtida é irredutível: o numerador e o denominador dela são primos entre si.

Exemplo 64.17

4621071=462÷211071÷21=2251\dfrac{462}{1071} = \dfrac{462 \div 21}{1071 \div 21} = \dfrac{22}{51}, e gcd(22,51)=1\gcd(22, 51) = 1: irredutível.

64.4 Exercícios

Exercício 64.1

Liste todos os divisores de 3636, de 4545 e de 1717.

Solução

Solução de Exercício 64.1.

Divisores de 3636: 1,2,3,4,6,9,12,18,361, 2, 3, 4, 6, 9, 12, 18, 36. Divisores de 4545: 1,3,5,9,15,451, 3, 5, 9, 15, 45. Divisores de 1717: apenas 11 e 1717 (1717 é primo).

Exercício 64.2

Usando os critérios de divisibilidade, determine se 23462\,346 é divisível por 22, por 33, por 44, por 55, por 99.

Solução

Solução de Exercício 64.2.

23462\,346 termina em 66: divisível por 22, não por 55. Soma dos algarismos 2+3+4+6=152 + 3 + 4 + 6 = 15: divisível por 33, não por 99. Os dois últimos algarismos formam 4646, e 46=4×11+246 = 4 \times 11 + 2 não é divisível por 44: 23462\,346 não é divisível por 44.

Exercício 64.3

Dê a decomposição em fatores primos de 7272, 150150, 210210 e 121121.

Solução

Solução de Exercício 64.3.

72=23×3272 = 2^3 \times 3^2; 150=2×3×52150 = 2 \times 3 \times 5^2; 210=2×3×5×7210 = 2 \times 3 \times 5 \times 7; 121=112121 = 11^2.

Exercício 64.4

101101 é primo? E 9191? E 143143? Justifique usando a regra de parada do Método 64.7.

Solução

Solução de Exercício 64.4.

101101: teste os primos pp com p2101p^2 \leq 101, ou seja, 2,3,5,72, 3, 5, 7. Nenhum divide 101101ímpar, soma dos algarismos 22, não termina em 00 nem em 55, 101=7×14+3101 = 7 \times 14 + 3): 101101 é primo.

91=7×1391 = 7 \times 13: não é primo.

143=11×13143 = 11 \times 13: não é primo.

Exercício 64.5

Calcule gcd(48,60)\gcd(48, 60) de dois jeitos: listando os divisores comuns e pelas decomposições em fatores primos.

Solução

Solução de Exercício 64.5.

Divisores comuns de 4848 e 6060: os divisores de 4848 são 1,2,3,4,6,8,12,16,24,481, 2, 3, 4, 6, 8, 12, 16, 24, 48; os de 6060 são 1,2,3,4,5,6,10,12,15,20,30,601, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60; os comuns são 1,2,3,4,6,121, 2, 3, 4, 6, 12, então gcd(48,60)=12\gcd(48,60) = 12.

Pela decomposição: 48=24×348 = 2^4 \times 3 e 60=22×3×560 = 2^2 \times 3 \times 5; primos comuns com os menores expoentes: 22×3=122^2 \times 3 = 12.

Exercício 64.6 ★★

Use o algoritmo de Euclides para calcular gcd(255,154)\gcd(255, 154) e depois gcd(1053,325)\gcd(1053, 325). Escreva cada linha de divisão.

Solução

Solução de Exercício 64.6.

gcd(255,154)\gcd(255, 154):

255=154×1+101,154=101×1+53,101=53×1+48,53=48×1+5,48=5×9+3,5=3×1+2,3=2×1+1,2=1×2+0.\begin{align*} 255 &= 154 \times 1 + 101, \\ 154 &= 101 \times 1 + 53, \\ 101 &= 53 \times 1 + 48, \\ 53 &= 48 \times 1 + 5, \\ 48 &= 5 \times 9 + 3, \\ 5 &= 3 \times 1 + 2, \\ 3 &= 2 \times 1 + 1, \\ 2 &= 1 \times 2 + 0 . \end{align*}

Último resto não nulo: gcd(255,154)=1\gcd(255, 154) = 1 (eles são primos entre si).

gcd(1053,325)\gcd(1053, 325):

1053=325×3+78,325=78×4+13,78=13×6+0.\begin{align*} 1053 &= 325 \times 3 + 78, \\ 325 &= 78 \times 4 + 13, \\ 78 &= 13 \times 6 + 0 . \end{align*}

gcd(1053,325)=13\gcd(1053, 325) = 13.

Exercício 64.7 ★★

Torne irredutível a fração 588504\dfrac{588}{504}. (Calcule o MDC pelo método que preferir e depois divida.)

Solução

Solução de Exercício 64.7.

Algoritmo de Euclides: 588=504×1+84588 = 504 \times 1 + 84; 504=84×6+0504 = 84 \times 6 + 0: gcd(588,504)=84\gcd(588, 504) = 84. Então

588504=588÷84504÷84=76,\frac{588}{504} = \frac{588 \div 84}{504 \div 84} = \frac{7}{6},

que é irredutível.

Exercício 64.8 ★★

Uma florista tem 8484 rosas e 126126 tulipas e quer montar buquês idênticos, usando todas as flores, com a maior quantidade possível de buquês. Quantos buquês ela consegue montar, e o que cada um contém?

Solução

Solução de Exercício 64.8.

O número de buquês tem de dividir 8484 e 126126; o maior possível é gcd(84,126)\gcd(84, 126). Decomposições: 84=22×3×784 = 2^2 \times 3 \times 7, 126=2×32×7126 = 2 \times 3^2 \times 7, então o MDC é 2×3×7=422 \times 3 \times 7 = 42. Ela consegue montar 4242 buquês, cada um com 8442=2\frac{84}{42} = 2 rosas e 12642=3\frac{126}{42} = 3 tulipas.

Exercício 64.9 ★★

Duas barcas saem do mesmo cais às 8:00. Uma parte a cada 2424 minutos, a outra a cada 3636 minutos. A que horas elas saem juntas pela próxima vez? (Procure o menor múltiplo comum de 2424 e 3636; as decomposições ajudam.)

Solução

Solução de Exercício 64.9.

Precisamos do menor múltiplo comum. 24=23×324 = 2^3 \times 3 e 36=22×3236 = 2^2 \times 3^2; tomando cada primo com o maior expoente: lcm=23×32=72\lcm = 2^3 \times 3^2 = 72. As barcas voltam a sair juntas 7272 minutos depois das 8:00, às 9:12.

Exercício 64.10 ★★★

Seja nn um número inteiro positivo.

  1. Mostre que gcd(n,n+1)=1\gcd(n, n+1) = 1 (inteiros consecutivos são sempre primos entre si).
  2. Deduza que a fração nn+1\dfrac{n}{n+1} é sempre irredutível.
Solução

Solução de Exercício 64.10.

1. Todo divisor comum dd de nn e n+1n+1 divide também a diferença deles, (n+1)n=1(n+1) - n = 1, então d=1d = 1: gcd(n,n+1)=1\gcd(n, n+1) = 1.

2. Uma fração é irredutível exatamente quando o numerador e o denominador dela são primos entre si, o que é o caso de nn e n+1n + 1 pela parte 1.

64.5 Problema: jarros de água, cigarras e cem armários

Problema 64.1

Problema de fim de semana — o MDC decide que quantidades dois jarros conseguem medir; os primos protegem as cigarras; e os armários que ficam abertos são os quadrados perfeitos

Três quebra-cabeças que parecem adivinhações e são, na verdade, aritmética: medir água com jarros sem marcação (o MDC disfarçado), ciclos de vida de insetos que evoluíram para números primos e um famoso corredor de cem armários cujo estado final é decidido pela contagem dos divisores. Tudo funciona com a maquinaria deste capítulo: divisibilidade, decomposição em fatores primos (Teorema 64.6) e algoritmo de Euclides (Teorema 64.14).

Parte I — Os jarros de água. Você está diante de uma fonte com dois jarros sem marcação, de 55 L e 33 L. Movimentos permitidos: encher um jarro até a borda, esvaziar completamente um jarro, despejar um jarro no outro até a origem ficar vazia ou o destino ficar cheio.

  1. Meça exatamente 11 L. (Descreva a sua sequência de movimentos e o conteúdo dos dois jarros depois de cada um.)
  2. Meça exatamente 44 L — o quebra-cabeça de um famoso filme de ação. (Dá para fazer em seis movimentos.)
  3. Que números inteiros de litros de 11 a 88 você consegue exibir (num jarro, ou repartidos entre os dois)? Complete a lista, reaproveitando as suas sequências.
  4. Jarros novos: 66 L e 44 L. Tente medir 11 L — e depois explique por que é impossível: verifique que cada um dos três movimentos permitidos mantém o conteúdo de todo jarro múltiplo de 22, então toda quantidade alcançável é par.
  5. O argumento da questão 4 vale em geral: com jarros de aa e bb litros, toda quantidade alcançável é múltipla de gcd(a,b)\gcd(a, b). Calcule gcd(6,4)\gcd(6, 4) e gcd(5,3)\gcd(5, 3) e diga o que a lei prevê para cada par de jarros.

Parte II — Euclides na fonte.

  1. Calcule com o algoritmo de Euclides: gcd(91,65)\gcd(91, 65) e gcd(2026,46)\gcd(2\,026, 46).
  2. Explique, com as suas palavras, por que as quantidades que aparecem nos jarros são os restos de Euclides disfarçados: com jarros de 1313 L e 55 L, encha repetidamente o jarro pequeno e despeje-o no grande (esvaziando o grande sempre que ele encher). Que quantidades novas aparecem primeiro — e compare com os restos do algoritmo de Euclides para (13,5)(13, 5).
  3. Deduza a resposta de campeão: com jarros de 1313 e 55 litros, dá para medir exatamente 11 L? Justifique em uma linha, com a questão 5 e gcd(13,5)\gcd(13, 5).
  4. Uma demonstraçãozinha de “primos entre si” no estilo do Exercício 64.10: mostre que gcd(n,2n+1)=1\gcd(n, 2n + 1) = 1 para todo inteiro positivo nn. (O que um divisor comum de nn e 2n+12n + 1 tem de dividir?)
  5. Dois ônibus saem juntos do terminal às 7:00; um parte a cada 1212 minutos, o outro a cada 1818. Liste os horários seguintes de partida de cada um e encontre o primeiro momento em que eles saem juntos de novo. Verifique nesse exemplo a lei bonita: (primeiro múltiplo comum) ×\times MDC == produto dos dois números — e teste-a de novo com 55 e 33.

Parte III — Cigarras, divisores e armários.

  1. Certas cigarras norte-americanas emergem apenas a cada 1717 anos; suponha que a população de um predador atinja o pico a cada 44 anos. Se as duas coisas acontecem neste ano, em quantos anos uma emergência voltará a coincidir com um pico? Mesma pergunta se o ciclo das cigarras fosse de 1616 anos — com que frequência elas seriam massacradas? Explique numa frase por que a evolução empurrou o ciclo para um comprimento primo.
  2. Usando a decomposição 360=23×32×5360 = 2^3 \times 3^2 \times 5, conte os divisores de 360360 sem listá-los: um divisor escolhe um expoente para o 22 (quatro escolhas: 0,1,2,30, 1, 2, 3), um para o 33 e um para o 55. Quantos divisores no total?
  3. Mostre que, na decomposição de um quadrado perfeito n=m2n = m^2, todo primo carrega um expoente par. Deduza, sem calcular raiz quadrada nenhuma, que 360360 não é um quadrado perfeito.
  4. Emparelhe cada divisor dd de nn com o parceiro nd\frac{n}{d} dele (para n=36n = 36: 1361 \leftrightarrow 36, 2182 \leftrightarrow 18, 3123 \leftrightarrow 12, 494 \leftrightarrow 9, 666 \leftrightarrow 6). Quando um divisor é o próprio parceiro? Deduza o critério: nn tem um número ímpar de divisores exatamente quando nn é um quadrado perfeito. Confira em 3636 e em 360360.
  5. Os cem armários. Os armários 11 a 100100 começam fechados. O aluno 11 inverte o estado de todos os armários; o aluno 22 inverte os armários 2,4,6,2, 4, 6, \dots; o aluno kk inverte os múltiplos de kk; e assim por diante, até o aluno 100100. Explique que alunos tocam o armário nn, quantas vezes ele é invertido e — usando a questão 14 — exatamente que armários terminam abertos. Quantos ficam abertos?
Solução

Solução de Problema 64.1.

1. Encha o de 33 e despeje-o no de 55 (conteúdos: 0/330/3 \to 3 no grande). Encha o de 33 de novo e despeje no de 55 até ele encher: o jarro grande só aceita mais 22, deixando

32=1 L no jarro pequeno.3 - 2 = 1 \text{ L no jarro pequeno.}

Movimentos: encher o 33; despejar 353 \to 5; encher o 33; despejar 353 \to 5.

2. Encha o de 55; despeje no de 33 (sobram 22 no grande); esvazie o de 33; despeje os 22 no de 33; encha o de 55; despeje no de 33 até encher — ele aceita 11, deixando 4\mathbf{4} L no jarro grande. Seis movimentos.

3. Todos: 11 (questão 1), 22 (depois de dois movimentos da questão 2), 33 e 55 (enchimentos simples), 44 (questão 2), 6=3+36 = 3 + 3 (um jarro pequeno cheio mais 33 despejados no grande), 7=5+27 = 5 + 2, 8=5+38 = 5 + 3 (os dois cheios). Toda quantidade inteira de 11 a 88 L é mensurável com o 55 e o 33.

4. Início: os dois jarros contêm 00, múltiplo de 22. Encher põe um conteúdo em 66 ou 44: par. Esvaziar põe em 00: par. Despejar move água entre jarros cujos conteúdos eram pares, e a quantidade despejada é uma diferença de números pares (o espaço que sobra, ou a quantidade disponível): todos os conteúdos permanecem pares para sempre. Um alvo ímpar como 11 L é inalcançável.

5. gcd(6,4)=2\gcd(6, 4) = 2: só quantidades pares — confirmado pela questão 4. gcd(5,3)=1\gcd(5, 3) = 1: toda quantidade inteira é permitida pela lei, e a questão 3 realizou todas elas. O MDC é exatamente a unidade de medida dos jarros.

6. 91=1×65+2691 = 1 \times 65 + 26; 65=2×26+1365 = 2 \times 26 + 13; 26=2×13+026 = 2 \times 13 + 0: gcd(91,65)=13\gcd(91, 65) = 13. E 2026=44×46+22\,026 = 44 \times 46 + 2; 46=23×2+046 = 23 \times 2 + 0: gcd(2026,46)=2\gcd(2\,026, 46) = 2.

7. Despejando o de 55 no jarro de 1313 repetidamente: depois de dois enchimentos, o jarro grande contém 1010; o terceiro enchimento só cabe em 33, deixando 53=25 - 3 = 2 no jarro pequeno — o resto de 1313 por 55 era 33, e as quantidades 33 (espaço) e 22 (sobra) são exatamente os números de Euclides (13=2×5+313 = 2 \times 5 + 3, 5=1×3+25 = 1 \times 3 + 2). Continuando, aparece 32=13 - 2 = 1: o resto seguinte do algoritmo. A fonte executa as divisões de Euclides com água.

8. gcd(13,5)=1\gcd(13, 5) = 1, então a lei da questão 5 permite toda quantidade inteira — e a cascata da questão 7 de fato produziu 11 L. Sim.

9. Um divisor comum de nn e 2n+12n + 1 divide 2n+12×n=12n + 1 - 2 \times n = 1: ele tem de ser 11. Logo, gcd(n,2n+1)=1\gcd(n, 2n+1) = 1 sempre.

10. Ônibus A: 7:12, 7:24, 7:36, 7:48, 8:00 …; ônibus B: 7:18, 7:36, 7:54 … Primeira partida em comum: 7:36, depois de 3636 minutos — o primeiro múltiplo comum de 1212 e 1818. Lei: 36×gcd(12,18)=36×6=216=12×1836 \times \gcd(12, 18) = 36 \times 6 = 216 = 12 \times 18. Para 55 e 33: primeiro múltiplo comum 1515, e 15×gcd(5,3)=15×1=15=5×315 \times \gcd(5,3) = 15 \times 1 = 15 = 5 \times 3.

11. Com ciclo de 1717 anos: a próxima coincidência é o primeiro múltiplo comum de 1717 e 44; como gcd(17,4)=1\gcd(17, 4) = 1, ele é 17×4=6817 \times 4 = 68 anos — as cigarras encontram o pico uma vez a cada quatro emergências. Com ciclo de 1616 anos: 1616 é múltiplo de 44, então toda emergência cai num pico. Um comprimento de ciclo primo não compartilha fator nenhum com nenhum ciclo de predador mais curto, afastando ao máximo as coincidências: aritmética como camuflagem.

12. Quatro escolhas de expoente para o 22, três para o 33, duas para o 55: 4×3×2=244 \times 3 \times 2 = 24 divisores.

13. Se m=2a×3b×m = 2^{a} \times 3^{b} \times \cdots, então m2=22a×32b×m^2 = 2^{2a} \times 3^{2b} \times \cdots: todo expoente é dobrado, logo par. Em 360=23×32×5360 = 2^3 \times 3^2 \times 5, os expoentes do 22 e do 55 são ímpares: 360360 não é um quadrado perfeito.

14. Um divisor é o próprio parceiro exatamente quando d=ndd = \frac nd, isto é, n=d2n = d^2: só os quadrados têm um divisor central assim. Para todos os outros nn, os divisores se repartem em pares, numa contagem par. Então: número ímpar de divisores \Leftrightarrow quadrado perfeito. Conferindo: 3636 tem os divisores 1,2,3,4,6,9,12,18,361, 2, 3, 4, 6, 9, 12, 18, 36 — nove deles, número ímpar, e 36=6236 = 6^2; já 360360 tem 2424 (questão 12), número par, e não é quadrado (questão 13).

15. O armário nn é invertido uma vez por cada aluno kk cujo número divide nn: ao todo, tantas vezes quantos divisores nn tem. Um armário termina aberto quando é invertido um número ímpar de vezes — pela questão 14, exatamente quando nn é um quadrado perfeito. Armários abertos: 1,4,9,16,25,36,49,64,81,1001, 4, 9, 16, 25, 36, 49, 64, 81, 100 — dez deles.