OBM - Nı́vel 2

TD 2 - 9 de fevereiro de 2024

1. Eliaquim comprou um caderno com 148 folhas, com páginas numeradas de 1 a 296. Ele arrancou
25 folhas aleatórias do caderno e somou os 50 números escritos nessas folhas.

(a) É possı́vel que essa soma seja 2024?

(b) É possı́vel que essa soma seja 2025?

2. (Argentina) Determine o menor inteiro positivo n que é igual à soma de 11 inteiros positivos
consecutivos, que também é igual à soma de 12 inteiros positivos consecutivos e que também é
igual à soma de 13 inteiros positivos consecutivos.

3. Sejam m e d inteiros positivos. Prove que, se m e d deixam resto 3 quando divididos por 4, então
a equação x2 − dy 2 = m não possui soluções inteiras.

4. Mostre que

(a) Se 7 | (5a + 4b) então 7 | (9a + 10b).

(b) Se 17 | (2a + 3b) então 17 | (a + 10b).

5. (Olimpı́ada de Maio) Encontre todos os naturais a e b tais que a | (b + 1) e b | (a + 1).

21n + 4
6. (IMO) Mostre que é irredutı́vel, quelquer que seja n natural.
14n + 3

5a4 + a2
7. (Argentina) Sejam a e b números inteiros positivos tais que é inteiro. Mostre que a
b4 + 3b2 + 4
não é primo.

8. Encontre todos os inteiros positivos n tais que 2n2 + 1 divide n3 + 9n − 17.

9. (Leningrado) Sejam a e b números naturais tais que b2 + ba + 1 divide a2 + ab + 1. Prove que

a = b.

1
 Aprofundamento

1. (OIM) Um conjunto X de inteiros positivos é dito ibérico se X for um subconjunto de {2, 3, . . . ,

2018}, e sempre que m, n estiverem ambos em X, mdc(m, n) também estará em X. Um conjunto
ibérico é considerado olı́mpico se não for subconjunto próprio de qualquer outro conjunto ibérico.
Encontre todos os conjuntos olı́mpicos ibéricos que contenham o número 33.

2. (Cone Sul) Dados 2021 inteiros positivos distintos não divisı́veis por 21010 , mostre que, dentre
eles, é sempre possı́vel escolher 3, digamos a, b e c, tais que |b2 −4ac| não é um quadrado perfeito.

3. (Cone Sul) Sejam a, b e c inteiros positivos. Três sequências são definidas como segue:

a1 = a, b1 = b, c1 = c,
p p √
an+1 = ⌊ an bn ⌋, bn+1 = ⌊ bn cn ⌋, cn+1 = ⌊ cn an ⌋ ∀n ≥ 1.

(a) Prove que, para quaisquer a, b, c, existe um inteiro positivo N tal que aN = bN = cN .
(b) Encontre o menor N tal que aN = bN = cN para alguma escolha de a, b e c tal que a ≥ 2 e
b + c = 2a − 1.

4. (Argentina) Encontre todos os inteiros positivos n tais que qualquer fator primo de 2n − 1 é
menor ou igual a 7.

5. (EGMO) Seja S o conjunto formado pelos inteiros positivos n tais que n4 tem um divisor no
conjunto {n2 + 1, n2 + 2, . . . , n2 + 2n}. Prove que existem infinitos elementos de S de cada uma
das formas 7m, 7m + 1, 7m + 2, 7m + 5, 7m + 6 e não existe nenhum elemento de S da forma
7m + 3 e 7m + 4, em que m é inteiro.