Olimφı́ada

Fase Única - Nı́vel 2

20 de Julho de 2022

Instruções

• A prova tem duração de 4 horas;

• Não use calculadora, celular, computador, livros ou qualquer outra forma de consulta externa;
• Qualquer dúvida, consulte os aplicadores;

• Mantenha sua câmera aberta (aos que farão online);

• Problemas de geometria devem ter na primeira página de solução a figura feita em régua e compasso.
Caso isso não seja cumprido, o problema valerá apenas 8 de 10 pontos;
• Ao terminar a prova, entre em contato com um dos aplicadores da prova.

Problema 1. Seja ABC um triângulo e H e D os pés da altura e da bissetriz relativa a A em BC,

respectivamente. Seja E a interseção da tangente ao circuncı́rculo de ABC por A com BC e M o ponto
médio de AD. Finalmente, seja r a reta perpendicular a BC que passa por M . Mostre que r é tangente
ao circuncı́rculo de AHE.
Problema 2. A sequência de Fibonacci é definida por F1 = F2 = 1 e Fn+2 = Fn+1 +Fn para todo inteiro
n. Uma sequência (an ) de inteiros é dita phirme se existe um inteiro k fixo tal que an + an+1 = Fn+k
para todo n ≥ 1. Mostre que se (an ) é uma sequência phirme, então existe um inteiro c tal que

an = Fn+k−2 + (−1)n c.

Problema 3. Seja n inteiro positivo. Em uma lousa está uma circunferência, e ao redor dela estão
escritos n inteiros não negativos. Raphinha joga um jogo em que uma operação consiste em apagar um
número a vizinho de b e c, com b ≥ c, e escrever no seu lugar b + c se b + c ≤ 45 a e b − c caso contrário.
Seu objetivo é fazer com que todos os números da lousa fiquem iguais a 0. Encontre todos os n tais que
Raphinha sempre consegue alcançar seu objetivo.
Problema 4. Dizemos que um primo p é philé se existe um polinômio P de coeficientes inteiros não
negativos menores que p e de grau 3, ou seja, P (x) = ax3 + bx2 + cx + d com a, b, c, d < p, tal que

{P (n) | 1 ≤ n ≤ p}

é um sistema completo de resı́duos módulo p. Ache todos os primos philé.

Obs: Um conjunto A é um sistema completo de resı́duos módulo p se para todo inteiro k, com 0 ≤ k ≤
p − 1, existe um elemento a ∈ A tal que
p | a − k.