Q26 Matemática  (IMO Shortlist 2017)

Seja um número primo. Eduardo e Fernando jogam o seguinte jogo fazendo lances alternadamente: em cada lance, o jogador atual escolhe um índice no conjunto que não foi escolhido antes por qualquer um dos dois jogadores e então escolhe um elemento do conjunto . Eduardo tem o primeiro movimento. O jogo termina depois que todos os índices forem escolhidos. Então o seguinte número é calculado: . O objetivo de Eduardo é fazer divisível por , e o objetivo de Fernando é evitar isso. Prove que Eduardo tem uma estratégia vencedora. Proposto por Amine Natik, Marrocos